PRIME, COMPOSITE, FACTOR 문제와 복잡성 측면에서 어떻게 관련되어 있는지 문제를 해결하는 데 어려움을 겪고 있습니다. AKS 기본 테스트 에서 PRIME이 로 표시되어 있음을 이해 했으며 COMPOSITE에서도 작동한다고 생각합니다.PPP FACTOR는 FACTOR={(m,r):∃s such that1<s<r and s divides m}FACTOR={(m,r):∃s such that1<s<r and s divides m}FACTOR = \{(m,r) :\;\; \exists s \text{ such that} …
나는 Sipser의 책 서신 후 문제에 대한 계산 이론 소개의 일부 페이지를 읽었으며 PCP가 실제로 NP에 있다고 생각합니다. 인증 자이다 : 더미의 입력 구성 연접 문자열로서 와 연접 을 문자열 로 설정 한 다음 와 를 비교 하여 둘이 같은지 확인한 다음 입력이 실제로 PCP에 대한 솔루션이라고 결론을 내립니다.(t1/b1,t2/b2,...tn/bn)(t1/b1,t2/b2,...tn/bn)(t_1/b_1, t_2/b_2,...t_n/b_n)t1,t2,...,tnt1,t2,...,tnt_1, …
나는 이것이 매우 어리석은 (또는 너무 명백한) 질문으로 보인다는 것을 알고 있습니다. 그러나 나는 어느 시점에서 혼란스러워합니다. 다항식 시간 으로 NP 의 주어진 문제 인스턴스를 해결하는 알고리즘을 설계 할 수있는 경우에만 P NP=== 임을 알 수 있습니다 . 그러나 나는 지구상에서 P NP 임을 어떻게 증명할 수 있는지 이해하지 못한다 …
Arthur-Merlin Complex 클래스에 완전한 문제가 있는지 궁금합니다. 그래프 비 동형화 (GNI)는 AM 의 문제 에 대한 정식 사례 인 것 같지만 아마도 완전한 문제 는 아닙니다. "완전한"문제가 AM에 대해 잘 정의되어 있는지 궁금합니다. AM = BP.NP이므로 AM으로의 "감소"는 결정적 복잡성 클래스에 사용하는 Karp 감소보다는 3SAT의 무작위 감소에 의존하는 것 같습니다. …
XOR-3-SAT가 어떻게 효율적으로 해결 될 수 있는지 보았습니다 (예를 들어, 부울 만족도 문제 에 대한 Wikipedia 항목 의 "XOR- 만족도"섹션 참조 ). 기본 질문이 궁금합니다. XOR-k-SAT는 절 당 다양한 양의 리터럴을 가진 수식에 대해 효율적으로 해결할 수 있습니까? 절 당 리터럴의 양을 3 이상으로 늘릴 수 있는지, 그리고 절 길이를 …
계산 복잡성에 대한 일부 블로그를 읽을 때 (예 : 여기 ) 두 그룹이 동형인지 판단하는 것이 동형에 대한 두 개의 그래프를 테스트하는 것보다 쉽다는 개념을 동화했습니다. 예를 들어, 명시된 페이지에서 그래프 동형은 그룹 동형보다 더 일반적인 문제라고 말합니다. 따라서 나는 다음을 포즈 그룹 감안할 때 캔 누군가가 그래프의 건설 제공 …
coNP- 완전성은 NP- 경도를 의미합니까? 특히, 저는 coNP-complete 인 것으로 나타났습니다. 그것이 NP-hard라고 주장 할 수 있습니까? coNP-hardness를 주장 할 수는 있지만 그 용어가 표준인지 확실하지 않습니다. NP- 완전 문제가 coNP에 속하면 NP = coNP라는 주장에 편안합니다. 그러나이 강의 노트 는 NP- 하드 문제가 coNP에 속하면 NP = coNP라고 설명합니다. …
이 문제를 해결하려고 노력하고 있으며 실제로 고심하고 있습니다. 모노톤 부울 수식은 모두 리터럴 양성 명제 논리 수식이다. 예를 들어 ( x1∨ x2) ∧ ( x1∨ x삼) ∧ ( x삼∨ x4∨ x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) 모노톤 부울 함수입니다. 반면에 ( x1∨ …
입력이 이진 인코딩 대신 단 항일 때 강력한 NP-hard 또는 NP-complete 문제 (예 : 여기에 정의 된대로 ) 의 난이도가 변경됩니까? 강력한 NP-hard 문제의 입력이 단항 인코딩되면 어떤 차이가 있습니까? 예를 들어 약한 NP-complete Knapsack 문제를 예로 든다면 바이너리 인코딩시 NP- 완료이지만 단항 인코딩시 동적 프로그래밍으로 다항식 시간으로 해결할 수 …
나는 NP = CoNP에 대해 매우 간단한 "증거"를 가지고 있으며 어딘가에 잘못한 것으로 생각하지만 잘못된 것을 찾을 수 없습니다. 누군가 나를 도울 수 있습니까? A는 NP에서 문제가되고 M은 A의 결정자로하자. B는 보수가된다. 즉 B는 CoNP에있다. M은 결정자이므로이를 사용하여 B도 결정할 수 있습니다 (답을 뒤집기 만하면 됨). 똑같은 M으로 NP와 CoNP …
아래에서는 무한 테이프 튜링 기계를 사용한다고 가정합니다. 누군가에게 시간 복잡성의 개념을 설명하고 인스턴스의 입력 크기를 기준으로 측정 한 이유를 설명 할 때 다음 주장을 우연히 발견했습니다. [..] 예를 들어, 두 정수에 3 비트를 곱하는 것보다 두 정수에 100000 비트를 곱하려면 더 많은 단계가 필요합니다. 주장은 설득력이 있지만 어떻게 든 손을 …
Stack Overflow ( here ) 에서 질문했습니다 . 정수 주어지면 방정식 A 2 + B 2 + C 2 + D 2 = N 을 해결하는 A , B , C 및 D 의 정수 값의 가능한 모든 조합을 인쇄 하십시오 .엔NNA , B , CA,B,CA,B,C디DDㅏ2+ B2+ C2+ D2= NA2+B2+C2+D2=NA^2+B^2+C^2+D^2 …
정의 : Karp Reduction 언어 AAA 언어로 카프의 환원성 인 BBB 다항식 시간 계산 가능한 기능이 있는지 f:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^* 되도록 모든 대 xxx , x∈Ax∈Ax\in A 경우에만, f(x)∈Bf(x)∈Bf(x)\in B . 정의 : 레빈 감소 검색 문제 VAVAV_A 레빈 검색 문제에 환원 인 VBVBV_B 다항식 시간 함수가있는 경우 fff 카프가 감소 시킨다는 …
복잡성 등급 는 무엇을 의미합니까? I는 알고 ⊕ P는 언어 포함 복잡도 종류이다 를 해당하는 다항식 시간 결정적 튜링 기계가 M이 되도록 X ∈ IFF 기계의 수용 상태의 수 M 의 입력에 x는 홀수이다.⊕ P⊕ P⊕P⊕P\oplus P^{\oplus P}⊕ P⊕P\oplus PㅏAA미디엄MMx ∈ Ax∈Ax \in A미디엄MM엑스xx 그러나 무엇을 의미합니까? 나는 그것이 실제로하는 …