«reference-request» 태그된 질문

참조 요청은 저자가 질문과 관련된 작업에 대해 알아야 할 때 사용됩니다.

2
온라인 알고리즘 책
온라인 알고리즘에 관한 최근 책이 있습니까? 나는 그 주제에 관한 두 권의 책만 알고 있습니다. Allan Borodin과 Ran El-Yaniv의 온라인 계산 및 경쟁 분석 :이 책은 고전적이지만 오래된 책이며이 분야의 최근 발전 내용이 많이 포함되어 있지 않습니다. Niv Buchbinder와 Joseph (Seffi) Naor 의 Primal-Dual Approach를 통한 경쟁 온라인 알고리즘의 설계 …
1
최소 각도를 최대화하는 그래프 임베딩
평면 그래프가 주어지면 선형 시간에 격자를 자유롭게 가로 질러 포함시킬 수 있습니다 . 효율적인 알고리즘이 n c × n c 그리드에 자유롭게 교차하는 평면 그래프를 직선으로 포함시키는 것으로 알려져 있는지 , 작은 c에 대해 두 모서리 사이의 최소 각도가 최대화되도록 관심이 있습니까?n × nn×nn \times n엔씨× n씨nc×ncn^c \times n^c씨cc
1
화음 그래프의 특정 서브 클래스에서 지배적 인 세트 문제의 복잡성
나는 화음 그래프의 서브 클래스 인 특정 그래프 클래스에서 지배적 인 세트 문제 (DSP)의 복잡성에 관심이 있습니다 . 무 방향 트리에있는 경로 패밀리의 정점 교차 그래프 인 경우 그래프는 무 방향 경로 그래프 입니다. UP을 무 방향 경로 그래프의 클래스로 둡니다. 그래프는 경로가 지정되지 않은 트리에서 경로 패밀리의 모서리 교차 …
2
램지 번호의 적용
램지 번호의 정의는 다음과 같습니다. 하자 적어도 위해 모든 그래프되도록 양수 R ( , B는 ) 중 하나에 도당 포함 정점거나 안정된 세트 정점.R ( a , b )R(a,b)R(a,b)R ( a , b )R(a,b)R(a,b)ㅏaa비bb Ramsey Numbers의 일부 확장을 위해 노력하고 있습니다. 이 연구에는 이론적 인 관심이 있지만 이러한 수치의 동기를 …
4
종속 유형 이론의 모델링 객체 (OOP)
객체 지향 프로그래밍에서 종속 유형 이론으로 객체를 모델링하는 데 관심이 있습니다. 가능한 응용 프로그램으로, 명령형 프로그래밍 언어의 다른 기능을 설명 할 수있는 모델을 갖고 싶습니다. 종속 유형 이론에서 객체 모델링에 관한 논문을 하나만 찾을 수 있었다 . A. Setzer (2006)의 종속 유형 이론에서의 객체 지향 프로그래밍 내가 놓친 주제에 대한 …
1
SERF- 환원성 및 서브 지수 알고리즘
Impagliazzo, Paturi 및 Zane 의 SERF-reducibility 및 subexponential algorithm에 관한 질문이 있습니다 . SERF- 환원성의 정의는 다음을 제공합니다. 경우 SERF 환원성이다 거기에 에 대한 알고리즘 각 , 후가 에 대한 알고리즘 각 . (두 문제에 대한 경도 파라미터는 으로 표시됩니다 .)P 2 O ( 2 ε n ) P 2 …
3
NP-hard 문제에 대한 브랜치 앤 바운드 방법의 성공적인 적용
분기 및 바운드는 검색 문제에 대한 효과적인 휴리스틱이며 Wikipedia는 분기 및 바운드가 사용 된 여러 가지 어려운 문제를 나열합니다 . 그러나 이러한 문제를 해결하기위한 "한 가지 방법"이상의 것을 제안하는 참고 자료를 찾을 수 없었습니다. 일화 적으로 SAT 및 정수 프로그래밍에 대한 최고의 휴리스틱 중 일부가 분기 및 경계에서 나온다는 것을 …
3
경로 너비를 계산하기위한 코드 구현 (= 노드 검색 번호, 정점 분리 번호, 간격 두께)
그래프 의 경로 너비 를 계산하는 알고리즘의 구현을 찾고 있습니다. 경로 폭을 계산하는 것은 노드 탐색 수, 정점 분리 수 또는 그래프의 간격 두께를 계산하는 것과 동일하다는 것이 잘 알려져있다. 알고리즘이 매우 빠를 필요는 없습니다. 최대 20 개의 정점 그래프에서 실행하고 싶습니다. 근사치를 제공하는 대신 경로 너비를 정확하게 계산하는 알고리즘이 …
2
Levin의 최적 인수 분해 알고리즘에 대한 참조
Manuel Blum의 " 초보 대학원생에 대한 조언 "에서 : LEONID LEVIN은 P = NP에 대한 답이 무엇이든 그렇게 믿습니까? 문제는, 당신이 생각하는 것 같지 않을 것입니다. 그리고 그는 훌륭한 모범을 보여주었습니다. 우선, 그는 곱셈 상수까지 가능한 최적의 팩터링 알고리즘을 제공했습니다. 그는 자신의 알고리즘이 지수 형이면 FACTORING에 대한 모든 알고리즘이 지수 …
1
참조 요청 : 최대 스태빌라이저 그룹이 고유 한 상태를 결정한다는 이론이없는 증명
문맥. 저는 Pauli 스태빌라이저 그룹을 사용하여 Gottesman-Knill 정리 와 같은 주제에 대해 글을 쓰고 있지만 d 차원 qudits 의 경우 d 는 둘 이상의 주요 요소를 가질 수 있습니다. (“더 높은 차원”에서 안정기 형식주의에 대한 대부분의 문헌은 d 소수 또는 d 소수 의 경우를 포함하고 유한 필드를 사용하기 때문에이를 강조합니다. …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.