Impuriliazzo, Paturi 및 Calabro, Impagliazzo, Paturi 는 ETH (Exponential-Time Hypothesis) 및 SETH (강하게 지수-시간 가설)를 도입했습니다. 대략 SETH는 시간에 SAT를 해결하는 알고리즘이 없다고 말합니다 . 1.99엔1.99n1.99^n 나는 그것이 SETH를 깨뜨리는 것이 무엇을 의미하는지 궁금했습니다. 우리는 확실히 단계 미만으로 SAT를 해결하는 알고리즘을 찾아야 하지만, 어떤 계산 모델을 사용해야하는지 잘 모르겠습니다. 내가 …
"두 번째 "문제는 문제 인스턴스에 대해 특정 솔루션과 다른 다른 솔루션의 존재를 결정하는 문제입니다.XXX 일부 - 완전한 장애, 제 2 용액 버전은 - 완전한 다른 것이 (제 NAE SAT) 중 사소한하거나 수 없지만 (부분 라틴 방진 종료 문제에 대한 다른 솔루션의 존재를 결정하는) - 완전한 복잡하게 추측되는 복잡성 추측에서 (입방 …
UP 클래스는 다음 과 같이 정의 됩니다. NP 기계로 해결할 수있는 결정 문제 클래스 대답이 '예'이면 정확히 하나의 계산 경로가 허용됩니다. 대답이 '아니오'이면 모든 계산 경로가 거부됩니다. 이 정의에 대한 직감을 개발하려고합니다. UP 문제가 고유 솔루션의 문제 (예 : 소인수 분해)라고 말할 수 있습니까? 그것은 나에게 진실에 가깝습니다. UP이 경우에 …
1997 년 Impagliazzo와 Wigderson의 유명한 논문을 읽고 있습니다.이 분야를 처음 접했고이 논문은 간결한 컨퍼런스 버전이므로 증명을 따르기가 어렵습니다. 특히, 그들의 새로운 정리 중 일부는 증거가 부족합니다. 내가 아는 한 저널 버전은 출판되지 않았다.P=BPPP=BPP\mathsf P=\mathsf{BPP} 나는 그들의 결과를 배울 수있는 자료를 찾고있다. 그런 자료에 대해 말씀해 주시면 감사하겠습니다.
알고리즘의 고급 주제 (CLRS 및 DPV와 같은 알고리즘 교과서에서 다루지 않는 주제)에 대한 리소스 (바람직하게는 핸드북)를 찾고 있습니다. Erik Demaine 및 David Karger의 Advanced Algorithms 코스 와 같은 알고리즘 코스에서 주제를 가르치는 데 사용할 수있는 자료 유형입니다 . 핸드북과 같은 분야에 대한 개요를 제공하는 자료가 바람직하지만 Vijay Vazirani의 "근사 알고리즘"책과 …
Graph Isomorphism (GI) 완료 문제를 연구하고 싶습니다. Kellogg S. Booth (1979)의 논문 "다항식으로 그래프 동형에 해당하는 문제"에서 Edge 교체 기술, 컴포지션 기술 등을 사용하여 많은 기본 문제가 GI 완료됨을 증명했습니다. 최근 논문에서 사용되는 몇 가지 기술을 더 배우고 싶습니다. 어떤 그래프 클래스가 GI 완료임을 증명하는 데 더 집중된 최근 논문을 …
음이 아닌 정수를 포함 하는 배열 이 주어 졌다고 가정합니다 (반드시 구별되지는 않음).A[1..n]A[1..n]A[1..n] 증가하지 않는 순서로 를 하자 . 를 계산하려고합니다 BBBAAAm=maxi∈[n]B[i]+i.m=maxi∈[n]B[i]+i.m = \max_{i\in [n]} B[i]+i. 확실한 해결책은 A를 정렬 한AAA 다음 m 을 계산하는 것 입니다mmm . 최악의 경우 O (n \ lg n) 시간에 실행되는 알고리즘을 제공합니다 O(nlgn)O(nlgn)O(n …
하자 부울 변수 벡터 될. C , D 를 x의 두 부울 회로라고 합시다 . 다음 과 같은 경우 C 가 D 와 유사 하다고 가정 하십시오.x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n)C,DC,DC,DxxxCCCDDD Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)]xxx{0,1}n{0,1}n\{0,1\}^n C,DC,DC,D 는 그래프 편집 거리가 작은 양만큼 다릅니다 (편집 거리는 회로의 크기보다 훨씬 작습니다 예 : 또는 작은 상수)). 의 …
숀 앤더슨 공개 비트 해킹 만지작 찾을 에릭 콜의 알고리즘을 포함 ⌈ 로그2v ⌉⌈log2v⌉\lceil\log_2 v \rceil 의 엔NN 비트 정수 Vvv 에서 O ( lg( N) )O(lg(N))O(\lg(N)) 룩업 곱셈과 함께 동작한다. 이 알고리즘은 De Bruijn 시퀀스의 "마법"숫자를 사용합니다. 아무도 여기에 사용 된 시퀀스의 기본 수학 속성을 설명 할 수 있습니까? …
A에 대한 다항식 지역 검색 문제 , 우리는 적어도 하나 개의 솔루션 (현지 최적의) 존재해야한다는 것을 알고있다. 그러나 더 많은 솔루션이 존재할 수 있는데, PLS 완료 문제에 대한 솔루션 수를 계산하는 것이 얼마나 어려운가? 내가하고 특히 관심이 의사 결정 문제에서 : 이 PLS-전체 문제의 인스턴스가 두 개 이상의 솔루션이 있습니까? …
단방향 교대 푸시 다운 오토마타 (1APDA)는 모든 언어를 인식 할 수 있습니다 (Chandra, Kozen 및 Stockmeyer, 1981) . 1APDA의 푸시 다운 스토리지를 카운터로 교체하면 단방향 교대 자동 장치를 1 카운터 (1ACA)로 얻을 수 있습니다. 제 질문은 단항 언어의 1ACA에 관한 것입니다.D T나는미디엄이자형( 2O ( n ))디티나는미디엄이자형(2영형(엔)) DTIME(2^{O(n)}) 1ACA가 일부 단항 …
다음 주장이 사실임을 이해합니다. 주어진 CFG에서 문자열의 두 가지 별개의 파생은 때때로 동일한 구문 분석 트리를 문자열에 부여 할 수 있습니다. 다른 구문 분석 트리를 나타내는 특정 CFG에 일부 문자열의 파생이 있으면 CFG가 모호합니다. 모호한 CFG에 의해 생성 된 일부 컨텍스트가없는 언어도 모호하지 않은 CFG에 의해 생성됩니다. 어떤 언어들은 그것들을 …
AHSP 알고리즘의 마지막 단계를 이해하는 데 어려움이 있습니다. 하자 GGG 아벨 군되고 fff 서브 그룹 숨기는 일 함수 HHH . 하자 G∗G∗G^* 의 이중 그룹 대표 G지G . 알고리즘 단계는 다음과 같습니다. 먼저 주를 준비하고 .I=1|G|∑g∈G|g⟩|0⟩I=1|G|∑g∈G|g⟩|0⟩\qquad \displaystyle I=\frac{1}{|G|} \sum_{g \in G} |g\rangle|0\rangle 그런 다음 를 I로 평가하는 퀀텀 오라클을 적용 …