«cc.complexity-theory» 태그된 질문

P 대 NP 및 기타 리소스 제한 계산.

2
정렬에 해당하는 복잡성 클래스
TCS의 두 부분은 알고리즘과 복잡성입니다. 간단히 말해서 알고리즘은 상한에 대한 연구이며 제한된 리소스로 무언가 를 할 수 있음을 보여 주며 복잡성은 당신에게 수없는 최소한의 자원없이 그것을 할. 복잡한 알고리즘에 배치하기 위해 결정 모델에 알고리즘 문제가 종종 언급됩니다. 그러나 항상 나를 괴롭히는 것은 일부 기본 알고리즘이 특정 클래스에 속하는 것으로 절대 …
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 가 조밀 할 때 문제가 …
2
시공간 트레이드 오프 및 최상의 알고리즘
다음 과 같은 언어 고려하십시오 LLL. L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) 그래서 L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) 즉, 빠른 시스템 계산 시간에 와 가장 공간 효율적인 시스템 계산 공간 사용시 .MMMLLLO(f(n))O(f(n))O(f(n))M′M′M'LLLO(g(n))O(g(n))O(g(n)) M의 공간 효율성 또는 M '의 시간 효율성에 대해 무엇을 말할 수 있습니까? 또는 더 정확하게, 경우 모든 시스템이 …
3
두 CNF가 동일한 수의 솔루션을 가지고 있는지 확인하는 복잡성
CNF가 두 개인 경우 할당 횟수가 같으면 "예"라고 답하고 그렇지 않으면 "아니오"라고 대답하십시오. 그것은에 쉽게 알 수있다 우리는이 두 CNF에 대한 해결책의 정확한 번호를 알고있는 경우에, 우리가 그들과 대답은 "예"또는 "아니오"를 campare 때문에.P#PP#PP^{\#P} 이 문제의 복잡성은 무엇입니까?
1
의 기계 특성
에스C나는에스ㅏ씨나는SAC^i 는 무한 팬인 OR 및 경계 팬인 AND 게이트 가있는 깊이 회로 제품군으로 해결할 수있는 결정 문제 클래스입니다 . 부정은 입력 레벨에서만 허용됩니다. 대한 는 보수로 닫히고 은 닫히지 않는 것으로 알려져 있습니다. 또한 이므로 기계 특성이 있습니다. LogCFL 은 공간 경계 및 다항식 시간 경계 보조 PDA에 의해 …
1
부분 집합 합계 또는 NPP에 대한 정수 관계 감지?
정수 관계에 대한 (작은) 솔루션이 답을 얻을 수 있도록 부분 집합 합 또는 숫자 분할 문제의 인스턴스를 인코딩하는 방법이 있습니까? 확실하지 않다면 어떤 확률 론적 의미에서? 선택한 숫자의 범위가 보다 큰 '저밀도'영역에서 LLL (및 아마도 PSLQ)이 부분 집합 합계 문제를 해결하는 데 적당히 사용되었다는 것을 알고 있습니다. 선택된 숫자의 범위가 …
2
#SAT의 하한?
문제 #SAT는 정식 # P- 완전 문제입니다. 의사 결정 문제가 아니라 기능 문제입니다. 제안 논리에 부울 공식 가 주어지면 만족할만한 양수 F 가 몇 개인 지 묻습니다 . #SAT에서 가장 낮은 하한은 어느 것입니까?FFFFFF
3
부분적 정확성으로 종료를 줄이는 것이 얼마나 어려운가요?
프로그램 확인에 익숙하다면 배경 보다 먼저 질문을 읽는 것이 좋습니다. 프로그램 확인에 익숙하지 않은 경우에도 여전히이 질문에 대답 할 수 있지만 배경 지식을 먼저 읽는 것이 좋습니다. 배경 부분적 정확성을 확인할 수없는 경우가 종종 있습니다. 논의를 위해 Floyd-Hoare의 스타일 로이 진술을 정확하게하는 매우 특별한 방법을 선택합시다. 흐름 그래프는 고유와 소리를 …
5
축소가 문제의 다루기 쉬움에 대해 어느 정도 낙관적이어야합니까?
대부분의 복잡한 이론가들은 일반적으로 다음과 같은 철학적 규칙을 믿는 것 같습니다. 우리가 문제에 대한 효율적인 알고리즘을 알아낼 수없는 경우 , 우리는 문제를 줄일 수 있습니다 문제에 , 다음이 아마 문제에 대한 효율적인 알고리즘 아닌 중 하나.A B BㅏAAㅏAA비BB비BB 예를 들어, 새로운 문제가 NP- 완료로 입증 될 때, 우리는 단순히 나타낼 …
1
회로 평가
회로 평가 문제가 있는지 알고 있습니까? 방법에 대한 (균일 )? N C 한 경우 → L O g T 나 해요 E N C 1N C1NC1\mathsf{NC^1}N C1NC1\mathsf{NC^1}A L o g T i m eALogTime\mathsf{ALogTime}N C1NC1\mathsf{NC^1} 깊이 회로는 깊이 회로로 평가할 수 있다는 것을 알고 있습니다. 여기서 는 보편적 상수입니다. 이것은 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.