«counting-complexity» 태그된 질문

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

1
Parity-L에서 CNOT 회로로의 로그 공간 축소?
질문. 논문 에서 안정기 회로의 개선 된 시뮬레이션 에서 Aaronson과 Gottesman은 CNOT 회로를 시뮬레이션하는 것이 (로그 스페이스 감소에서) 완전 하다고 주장했다 . 그것이 ⊕L에 포함되어 있음이 분명하다 . 경도 결과는 어떻게 유지됩니까? 동등하게 : 반복 행렬 곱 모듈로 2에서 기본 행렬 (행 변환을 실현하는 비가역 행렬) mod 2의 반복 곱으로 …
3
Gap-P 문제가 #P 외부에 있다는 것을 어떻게 표시 할 수 있습니까?
조합 표현 이론과 대수 기하학에는 많은 양의 공식이 알려져 있지 않은 많은 문제가 있습니다. 내가 생각하고있는 몇 가지 예가 있지만 Kronecker 계수 를 나의 예로 계산하겠습니다 . 일반적으로, "양식"의 개념은 조합론에서 정확하게 정의되지는 않지만, "합리적으로 명백한 세트의 카디널리티로서의 설명"을 의미합니다. 최근에 나는 Jonah Blasiak과 이야기를 나누었으며, "긍정적 인 공식"의 올바른 …
4
정점의 수를 세면 엄청나게 힘든가요?
주어진 그래프 의 정점 커버 수를 세는 # P- 완전 문제를 고려하십시오 .G=(V,E)G=(V,E)G = (V, E) 이러한 문제의 경도가 일부 매개 변수에 따라 어떻게 다른지 보여주는 결과가 있는지 알고 싶습니다 (예 : d = | E |GGG).d=|E||V|d=|E||V|d = \frac{|E|}{|V|} 제 생각에는 가 드문 드문하고 G 가 조밀 할 때 문제가 …
3
두 CNF가 동일한 수의 솔루션을 가지고 있는지 확인하는 복잡성
CNF가 두 개인 경우 할당 횟수가 같으면 "예"라고 답하고 그렇지 않으면 "아니오"라고 대답하십시오. 그것은에 쉽게 알 수있다 우리는이 두 CNF에 대한 해결책의 정확한 번호를 알고있는 경우에, 우리가 그들과 대답은 "예"또는 "아니오"를 campare 때문에.P#PP#PP^{\#P} 이 문제의 복잡성은 무엇입니까?
2
#SAT의 하한?
문제 #SAT는 정식 # P- 완전 문제입니다. 의사 결정 문제가 아니라 기능 문제입니다. 제안 논리에 부울 공식 가 주어지면 만족할만한 양수 F 가 몇 개인 지 묻습니다 . #SAT에서 가장 낮은 하한은 어느 것입니까?FFFFFF
2
POSITIVE CNF-SAT에서 만족스러운 과제 수 계산
주어진 일반 부울 공식 (CNF-SAT), 주어진 DNF 공식 또는 주어진 2SAT 공식에서 만족스러운 할당 수를 계산하는 문제는 # P- 완전한 문제 라는 것을 알고 있습니다. 이제 음수 리터럴이없는 CNF-SAT ( , 항상 A )를 고려하십시오. 결정 문제는 매우 쉽습니다 (모든 변수를 TRUE로 설정하고 대입이 수식을 만족하는지 확인). 그러나 만족하는 대입 …
1
패리티 -L vs. NL
L 이라고도하는 Parity-L 은 짝수 또는 홀수의 "수락"경로 만 구분할 수있는 비 결정적 튜링 머신에서 인식되는 언어 세트입니다. 최근 관련 질문 이 Niel de Beaudrap에 의해 요청되었습니다.⊕⊕\oplus 내 질문은 다음과 같습니다 NL L 인지 알고 있습니까? 아니면이 두 클래스는 비교할 수없는 것으로 생각됩니까?⊕⊆⊆\subseteq ⊕⊕\oplus
1
비교할 수없는 그래프 # P- 완료에서 최대 클릭 수를 계산합니까?
이 질문은 Peng Zhang 의 MathOverflow 질문에 의해 동기가 부여됩니다 . Valiant는 일반 그래프에서 최대 클릭 수를 계산하는 것이 # P- 완료 되었음에도 불구하고 비교할 수없는 그래프로 제한하면 (즉, 유한 포즈에서 최대 안티 체인 수를 계산하려는 경우) 어떻게해야합니까? 이 질문은 자연스럽게 보였지만 이전에 고려 된 것으로 생각되지만 문헌에서 찾을 수 …
6
알고리즘 문제는 계산으로 인해 시간 복잡성이 지배적입니까?
계산이라고 부르는 것은 함수에 대한 솔루션 수를 찾는 것으로 구성된 문제입니다. 더 정확하게 말하면, 함수 f:N→{0,1}f:N→{0,1}f:N\to \{0,1\} (블랙 박스 일 필요는 없음), 대략적인 #{x∈N∣f(x)=1}=|f−1(1)|#{x∈N∣f(x)=1}=|f−1(1)|\#\{x\in N\mid f(x)= 1\}= |f^{-1}(1)|. 나는 일종의 계산과 관련된 알고리즘 문제를 찾고 있으며이 복잡한 계산 문제에 의해 시간 복잡성이 크게 영향을받습니다. 물론 문제 자체를 계산하지 않는 문제를 …
4
카운팅 및 조합의 Pfaffian 방법에 관하여
최근에는 홀로그램 알고리즘에 대해 소개했습니다. 나는 Pfaffians라는 조합 개체를 발견했습니다. 나는 현재 그 사람들에 대해 많이 알지 못하고 그들이 사용할 수있는 놀라운 용도를 발견했습니다. 예를 들어 평면 그래프에서 완벽하게 일치하는 수를 효율적으로 계산하는 데 사용할 수 있다는 것을 알게되었습니다. 또한 2 * 1 타일을 사용하여 체스 판의 가능한 타일 수를 …
2
모노톤 -2CNF 공식의 계수 솔루션
Monotone-2CNF 공식은 각 절이 정확히 2 개의 양의 리터럴로 구성된 CNF 공식입니다. 이제 Monotone-2CNF 공식 있습니다. S 를 F를 만족시키는 할당 의 집합으로 하자 . 또한 다음 정보를 제공 할 수 있는 오라클 O 가 있습니다.FFFSSSFFFOOO 세트 의 카디널리티 (즉, F 의 솔루션 수 )SSSFFF 변수 주어지면 : xxx 양의 …
2
연결된 모든 하위 그래프 계산의 복잡성
G를 연결된 그래프라고하자. G가 다음 유형 인 경우 연결된 모든 하위 그래프 를 계산하는 것이 얼마나 복잡 합니까? G는 일반적입니다. G는 평면이다. G는 이분입니다. 나는 구조에 관심이 없거나 ..., 연결된 모든 하위 그래프를 계산해야합니다! 또한 G에서 정확히 k 개의 노드 로 연결된 모든 하위 그래프 를 계산하는 복잡성에 관심이 있습니다 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.