«counting-complexity» 태그된 질문

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

1
PP의 PH에 대한 자세한 내용은?
Huck Bennett 의 최근 질문 에 클래스 PH가 클래스 PP에 포함되어 있는지 묻는 질문 이 다소 모순 된 답변을 받았습니다 (모두 사실입니다). 한편으로는 여러 오라클 결과가 반대로 나타 났으며, 다른 Scott은 Toda의 정리에 따르면 PH가 PP의 확률 적 변형 인 BP.PP에 있음을 보여 주므로 대답이 긍정적일 가능성이 높으며 일반적으로 무작위 …
3
문제 계산을위한 놀라운 알고리즘
기하 급수적으로 많은 것들을 계산하는 것과 관련된 입력 문제가 있지만 (입력의 크기와 관련하여) 놀라운 다항식 시간의 정확한 결정 론적 알고리즘이 있습니다. 예를 들면 다음과 같습니다. 홀로 그래픽 알고리즘의 작동 방식에 대한 기초 인 평면 그래프 ( FKT 알고리즘 ) 에서 완벽한 매칭을 계산 합니다. (를 통해 그래프에서 스패닝 트리를 계산 …
4
가
다항식 계층의 첫 번째 수준 (즉, NP 및 co-NP)은 PP에 있으며 입니다. 또한 Toda의 정리 에서 입니다.P H ⊆ P P P피피⊆ P에스피C이자형PP⊆PSPACEPP \subseteq PSPACE피H⊆ P피피PH⊆PPPPH \subseteq P^{PP} 여부를 알고 있습니까? 그렇지 않다면, 왜 즉 A를 오라클보다 강한 ? 그것은 가능성이 및 PP \ nsubseteq의 PH ?피H⊆ P피PH⊆PPPH \subseteq PP피PP피피PPPP피피PPPPP …
2
정수의 요소 수를 계산하는 것이 얼마나 어렵습니까?
정수 주어 길이 N 비트의 그것 (또는 대안 적 요소의 수) 소인수의 수가 출력 얼마나 어려운가 N은 ?NNNnnnNNN 소인수 분해를 알고 있다면 이것은 쉬울 것입니다. 그러나 소인수 또는 일반적인 수를 알고 있다면 실제 소인수 분해 방법을 어떻게 알 수 있는지 명확하지 않습니다.NNN 이 문제가 연구 되었습니까? 소인수 분해를 찾지 않고이 …
2
"X는 NP- 완료"는 언제 "#X는 # P- 완료"를 의미합니까?
하자 NP에 나타낸다 A (결정) 문제와 #하자 나타낸다는 계산 버전.X엑스XX엑스XX 어떤 조건에서 "X는 NP- 완료" "#X는 # P- 완료"입니까?⟹⟹\implies 물론 이방적인 축소의 존재는 그러한 조건 중 하나이지만, 이것은 분명하고 내가 알고있는 유일한 조건입니다. 궁극적 인 목표는 조건이 필요하지 않음을 보여주는 것입니다. 공식적으로 말하면 함수 의해 정의 된 계산 문제 # …
2
주어진 두 개의 문자열을 수락하는 DFA는 몇 명입니까?
정수 과 알파벳 . 을 시작 상태 1의 개 상태에서 모든 유한 상태 오토마타의 수집으로 정의합니다 . 우리는 모든 DFA (단순 또는 비 변성 상태가 아닌)를 고려하고 있습니다. 따라서 입니다.n Σ = { 0 , 1 }nnΣ={0,1}\Sigma=\{0,1\}DFA(n)DFA(n)DFA(n)nnn|DFA(n)|=n2n2n|DFA(n)|=n2n2n|DFA(n)| = n^{2n}2^n 이제 두 개의 문자열 x,y∈Σ∗x,y∈Σ∗x,y\in\Sigma^* 하고 K(x,y)K(x,y)K(x,y) 를 x 와 y …
3
#P = FP의 결과
#P = FP의 결과는 무엇입니까? 실용적이고 이론적 인 결과에 관심이 있습니다. 실용적인 관점에서 저는 특히 인공 지능에 대한 결과에 관심이 있습니다. 논문이나 책에 대한 포인터는 환영 이상입니다. #P = FP가 P = NP를 의미한다고 말하지 마십시오. 이미 알고 있습니다. 또한, "알고리즘이 시간에 실행되면 실질적인 결과는 없을 것입니다 . 여기서 는 …
3
이완 계산이 어려운 때는 언제입니까?
가중 된 채색을 계산하여 다음과 같이 적절한 채색을 계산하는 문제를 완화한다고 가정합니다. 모든 적절한 채색은 가중치 1이되고 모든 부적절한 채색은 가중치 여기서 는 일정하고 는 끝 점이있는 가장자리의 수는 동일하게 표시됩니다. 마찬가지로 0으로 진행하고,이 그래프의 많은 어려운 적절한 착색제를 계수로 감소시킨다. c가 1이면 모든 채색의 무게가 같고 문제는 사소합니다. 그래프의 …
2
완벽한 매칭을 허용하는 계산 유도 서브 그래프의 계산 복잡성
무향 및 가중 그래프 주어 및 짝수 정수 , 정점 카운트 세트 계산량 무엇 되도록 및 서브 그래프 정점 세트에 제한은 는 완벽한 매칭을 인정합니까? 복잡성이 # P- 완전합니까? 이 문제에 대한 참조가 있습니까?k S ⊆ V | S | = k G SG=(V,E)G=(V,E)G=(V,E)kkkS⊆VS⊆VS\subseteq V|S|=k|S|=k|S|=kGGGSSS 문제는 일정의 코스 쉬운 것을 …
2
퍼머넌트를 사용하여 비 이혼 완전 매칭을 계산하기위한 직접 / 자연 감소가 있습니까?
이분 그래프에서 완전 매칭의 수를 세는 것은 영구적을 계산하는 데 즉시 환원 될 수 있습니다. 이분자가 아닌 그래프에서 완벽하게 일치하는 것을 찾는 것은 NP에 있기 때문에,이 분이 아닌 그래프에서 영구적으로 약간의 감소가 있지만, Cook의 SAT 감소를 사용하여 불완전한 다항식 파열이 발생할 수 있습니다. 퍼머넌트. 비 이중 그래프 에서 행렬 효율적이고 …
1
소수 계산 기능은 # P- 완전합니까?
리콜 소수 개수 은 IS 소수 계량 함수 . "PRIMES in P"에 의해, 계산 은 #P에 있습니다. 문제가 # P- 완전합니까? 아니면이 문제가 # P- 완전하지 않다고 믿을만한 복잡한 이유가 있습니까? π(n)π(n)\pi(n)≤n≤n\le nπ(n)π(n)\pi(n) 추신 : 나는 누군가가 문제를 연구하고 이것을 입증 / 반증 / 추측해야했기 때문에 이것이 약간 순진하다는 것을 …
5
하드 카운팅 버전의 쉬운 문제
Wikipedia 는 카운팅 버전이 어려운 반면에 의사 결정 버전은 쉬운 문제의 예를 제공합니다. 이들 중 일부는 완벽한 일치를 계산하여 -SAT에 대한 솔루션 수와 토폴로지 정렬 수를 계산합니다 .222 다른 중요한 클래스가 있습니까 (예 : 격자, 나무, 숫자 이론 등)? 그러한 문제에 대한 개요가 있습니까? 에는 하드 카운팅 버전 이있는 여러 …
1
#P의 두 기능으로 나누기
2 F 가 # P에 있도록 정수 값 함수로 하자 . 있음을 따라 하는가 F가 에 #의 P ? 이것이 항상 유지되지 않을 것이라고 믿을만한 이유가 있습니까? 내가 알아야 할 언급이 있습니까?에프FF2 F2F2F# P#P\#P에프FF# P#P\#P 다소 놀랍게도,이 상황은 함수, (훨씬 더 큰 상수)를 내놓았다 있는 F ∈ ? # P …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.