«counting-complexity» 태그된 질문

솔루션 수를 계산하는 것이 얼마나 어려운가요?

2
는
으로 http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf 경우 PSPACE 완성 언어이며, .P A = N P AㅏAA피ㅏ= N피ㅏPA=NPAP^{A}=NP^{A} 경우 결정적 다항식 시간 오라클, 인 (가정 ).P B ≠ N P B P ≠ N P비BB피비≠ N피비PB≠NPBP^{B}\ne NP^{B}피≠ N피P≠NPP\ne NP # P P ⊆ P P ⊆ P S P A C E피피PPPP 는 및 대한 …
1
의 결과
의 증명 시도의 일부가 있습니다. 증명 시도는 -완전한 문제 3- 일반 정점 표지에서 SAT 로의 Karp 축소로 구성됩니다 .⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus 입방 그래프 주어지면 , 감소 는 다음 특성을 모두 갖는 CNF 공식 를 출력 합니다.GGGFFF FFF 는 최대 만족스러운 과제를 가지고 있습니다.111 FFF 의 정점 커버 수가 …
3
CNF 공식 반대의 두 번 읽기 두 번 패리티 계산의 복잡성 ( )
CNF 공식과 반대의 두 번 읽기에서 각 변수는 두 번, 한 번은 긍정적이고 한 번은 부정적으로 나타납니다. 나는 문제에 관심이 있는데, 이는 CNF 공식과 반대되는 두 만족스러운 할당 수의 패리티를 계산하는 것으로 구성됩니다.⊕Rtw-Opp-CNF⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} 이러한 문제의 복잡성에 대한 참조를 찾을 수 없습니다. 내가 찾은 가장 가까운 것은 계산 버전 가 -complete …
2
PLS의 문제에 대한 로컬 옵티마의 수를 계산하는 것이 얼마나 어렵습니까?
A에 대한 다항식 지역 검색 문제 , 우리는 적어도 하나 개의 솔루션 (현지 최적의) 존재해야한다는 것을 알고있다. 그러나 더 많은 솔루션이 존재할 수 있는데, PLS 완료 문제에 대한 솔루션 수를 계산하는 것이 얼마나 어려운가? 내가하고 특히 관심이 의사 결정 문제에서 : 이 PLS-전체 문제의 인스턴스가 두 개 이상의 솔루션이 있습니까? …
1
P-Space Complete 문제의 솔루션 수를 계산하는 것이 얼마나 복잡합니까? 더 복잡한 클래스는 어떻습니까?
나는 그것이 # P-Space라고 불릴 것 같지만 그것을 모호하게 언급 한 기사를 하나만 발견했다. EXP-SPACE-Complete 문제뿐만 아니라 EXP-TIME-Complete, NEXP-Complete의 계산 버전은 어떻습니까? Toda의 정리와 같은 포함 또는 제외 유형과 관련하여 인용 할 수있는 이전 연구가 있습니까?
1
# P-Complete 문제의 단계 전환에 대해 무엇을 알고 있습니까?
# P-Complete 문제에서 위상 전이에 대해 알려진 것은 무엇입니까? 구체적으로, # DNF-k-SAT 및 # CNF-k-SAT에 대해 다른 위상 천이가 존재합니까? 업데이트 : 우리가 알다시피, 랜덤 k-SAT에는 문제를 해결하는 것이 쉬움에서 어려움으로, 다시 쉬움으로 바뀌는 단계 전환이 있습니다. # P-Complete 문제에도 이러한 현상이 있는지 알고 싶습니다. 더 중요한 것은 위상 전이가있는 …
1
MAJ3SAT의 PP- 완전 상태
짧은 질문 : MAJ-3CNF는 여러 번의 축소로 인해 PP가 완전한 문제입니까? 더 긴 버전 : MAJSAT (대부분의 명제 문장 할당이 문장을 만족시키는 지 여부를 결정)는 많은 수의 감축에서 PP- 완료이고 #SAT는 불완전한 감축에서 # P- 완전하다는 것은 잘 알려져 있습니다. Cook-Levin 감소가 과도적이고 3-CNF를 생성하기 때문에 # 3CNF (즉, #SAT가 …
1
홀로그램 알고리즘-염기의 동등성
나는 Les Valiant의 주요 논문 을 겪고 있었고 논문 10 페이지의 발의안 4.3으로 힘든 시간을 보냈습니다. 이에 대한 특정 값으로 발전기가있는 경우 경우입니다 왜 볼 수없는 기제로 , 다음 같은 일부 발전기가 존재 valG의 어떤 값을 기본 \ {(xa_1, yb_1) \ ldots (xa_r, yb_r) \} ( 1 ^ {st} 종류 …
2
SAT 인스턴스의 솔루션 세트를 간결하게 표현
이 질문은 이전 질문에 대한 András Salamon과 Colin McQuillan의 기여를 읽은 후 Monotone-2CNF 공식 계산 솔루션을 읽은 후에 떠 올랐습니다 . EDIT 30 일 2011년 3월 추가 질문 N ° 2 EDIT 29 번째 2010년 10월 질문의 개념을 통해이를 공식화 안드라스 제안 후 고쳐 솔루션 세트의 좋은 표현 (나는 그의 …
1
계산 그래프 이형성의 복잡성
동형 그래프에서 그래프에 매핑 인 로부터 로 이되도록하는 경우 및 으로 인접한 후 및 는 인접 해있다 . 자기 사상 그래프의 로부터 동형 인 자체; 그것에는 고정 소수점 부담 없이 존재하는 경우 되도록 이되고 비 단순은 그 신원이 아닌 경우.G=(V,E)G=(V,E)G = (V, E)G′=(V′,E′)G′=(V′,E′)G' = (V', E')fffVVVV′V′V'xxxyyyEEEf(x)f(x)f(x)f(y)f(y)f(y)E′E′E'GGGGGGxxxf(x)=xf(x)=xf(x) = x 나는 최근 …
2
대략적인 # P- 하드 문제
고전적인 # P- 완전 문제 # 3SAT를 고려하십시오. 즉, 변수를 만족 하는 3CNF를 만들기 위해 평가 횟수를 계산합니다 . 첨가제 근사치에 관심이 있습니다. 분명히 -error 를 달성하는 사소한 알고리즘이 있지만 이면 효율적인 근사 알고리즘을 가질 수 있거나이 문제도 # P-hard입니다. ?엔nn2n - 12n−12^{n-1}k &lt;2n - 1k&lt;2n−1k<2^{n-1}
2
제한된 모노톤 3CNF 공식 : 만족스러운 할당 계산 (모듈로 및 모듈로 )
다음과 같은 추가 제한이있는 Monotone 3CNF 공식을 고려하십시오. 모든 변수는 정확히 절로 나타납니다 .222 절이 주어지면 최대 변수를 공유 합니다.222111 그러한 공식의 만족스러운 과제를 계산하는 것이 얼마나 어려운지 알고 싶습니다. 업데이트 06/04/2013 12:55 또한 만족스러운 과제 수의 패리티를 결정하는 것이 얼마나 어려운지 알고 싶습니다. 2013 년 11 월 4 일 …
2
홀수 짝수 문제
허락하다 G = ( V, E)G=(V,E)G = ( V, E )그래프입니다. 허락하다k ≤ | V|k≤|V|k \leq |V|정수 여야합니다. 허락하다영형케이OkO_k 가장자리 유도 하위 그래프의 수 지GG 갖는 케이kk정점과 홀수의 가장자리. 허락하다이자형케이EkE_k 가장자리 유도 하위 그래프의 수 지GG 갖는 케이kk정점과 짝수의 가장자리. 허락하다Δ케이=영형케이−이자형케이Δk=Ok−Ek\Delta_k = O_k - E_k. ODD EVEN DELTA 문제는 컴퓨팅으로 …
1
Bicliques 계산의 매개 변수화 된 복잡성
이전 질문 Bicliques를 찾기위한 Parametrized Algorithm에서 , 나는k × kk×kk\times k 꼭짓점 그래프 에서 -biclique 이고 그것이 FPT wrt 이면 열려 있음을 알았습니다 . 대해 동일한 사실이다 계산 -bicliques 또는 이것이 #의 것으로 알려져 -hard WRT (또는 경도의 다른 개념)?엔nn케이kkk × kk×kk\times k여\ [ 1\]W\[1\]W\[1\]kkk 그 계산 알고 유도 -bicliques …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.