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

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

3
술어 UGC 경도
배경 : Subhash Khot의 원본 UGC 논문 ( PDF )에서 3 항 알파벳에 대해 모든 형식이 동일하지 않음 (a, b, c) 형식의 제약 조건을 가진 주어진 CSP 인스턴스가 1을 만족하는 과제를 인정하는지 여부를 결정하는 UG- 경도를 증명합니다. - ϵϵ\epsilon 제약의 여부를 satisying 어떤 과제가 존재하지 89+ϵ89+ϵ\frac{8}{9}+\epsilon제약 임의로 작은 대ϵ>0ϵ>0\epsilon > …
5
균일화에 대한 더 강한 개념?
내가 실제로 이해하지 못한다는 것을 항상 알고 있었던 한 가지 차이점은 회로 복잡성이 비 균일 버전을 나타내고 튜링 머신은 일이 균일 한 비 균일과 균일 한 계산 복잡성 사이입니다. "uniform"은 n + 1 변수의 문제와 비교하여 n 변수의 문제에 대해 완전히 다른 회로를 허용하지 않는 알고리즘 클래스를 제한하는 방법이라고 생각합니다. …
3
어떤
Neil Immerman의 유명한 세계 그림은 다음과 같습니다 (확대하려면 클릭). 그의 "참으로 실현 가능한"수업에는 다른 수업이 포함되지 않습니다. 내 질문은 다음과 같습니다 실용적이지 않은 것으로 간주되는 AC 0 문제 는 무엇 이며 그 이유는 무엇입니까?
3
튜링 머신의 "The"카테고리?
면책 조항 : 복잡성 이론에 대해서는 거의 알지 못합니다. 죄송하지만 간결하지 않고이 질문을 할 수있는 방법은 없습니다. 튜링 머신의 "the"카테고리에있는 형태는 무엇입니까? 이것은 명백히 주관적이며 이론에 대한 해석에 달려 있으므로이 질문에 대한 답변은 이상적으로 답변을 뒷받침하는 증거와 추론을 제시해야합니다. 예를 들어 공식 언어가 아닌 튜링 기계 범주를 찾고 있다는 점을 …
4
무 방향 그래프에서는 다항식이지만 무 방향 그래프에서는 다항식 인 그래프 문제
유 방향 그래프의 NPC로 알려져 있지만 무향 그래프의 다항식 알고리즘이있는 문제를 찾고 있습니다. 나는 다른 방향에 관한 질문을 여기에서 “지시되지 않은”변형보다 더 쉬운“지시 된”문제로 보았지만, 지시 된 측면에서 경도를 찾고 있습니다. 예를 들어 피드백 에지 세트 는 방향이 지정되지 않은 그래프에서는 해결할 수 있지만 방향이 다항식 인 경우 NPC로 알려져 …
1
SAT의 상황에 맞는 문법?
Kuroda의 고전적인 결과로, 복잡성 클래스 NSPACE [ ]엔nn (NLIN-SPACE라고도 함)는 상황에 맞는 언어 의 클래스 CSL입니다 . 만족도 문제 SAT 는 NSPACE [ ]에 있습니다. 솔루션에 대한 선형 크기 추정값은 기장을 위해 최대 선형 양의 오버 헤드로 확인할 수 있기 때문입니다. 이는 SAT에 상황에 맞는 문법 (CSG) 이 있어야 함을 …
1
폴리 및 로그 심도 양자 회로 사이의 안구 분리
다음은 Aaronson의 양자 컴퓨팅 이론에 대한 10 개의 반-세계 도전 과제에 나타나는 문제 입니다. 가요B Q P = B P PB Q N C비큐피=비피피비큐엔씨\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} 즉, 어떠한 양자 알고리즘의 "양"부분은 압축 될 수 의 깊이 '우리에게 제공 다항식 고전 후 처리를 다시 할 의향이 있습니까? (이것은 쇼어 알고리즘에 해당되는 것으로 알려져있다.) …
1
LogDCFL 완료 문제
LogCFL 은 컨텍스트가없는 언어로 로그 공간을 축소 할 수있는 모든 언어 세트입니다. 이와 유사하게 LogDCFL은 결정론적인 컨텍스트없는 언어로 로그 스페이스를 축소 할 수있는 모든 언어 세트입니다. 자연스럽게 발생하는 LogCFL 문제에 대해서는이 위키 백과 기사 를 참조하십시오 . 몇 가지 흥미로운 LogCFL-complete 문제가 있습니다. 자연스러운 LogDCFL 완료 문제를 찾을 수 없습니다. …
1
에서 읽기
이 문제를 이해하려면 무엇을 읽어야합니까? 깊이가 작은 양자 회로의 힘. IS ? 다시 말해, 임의의 양자 알고리즘의 "양자"부분을 다항식 시간 고전 후 처리를 기꺼이 수행 할 수 있다면 polylog (n) 깊이로 압축 할 수 있습니까? (이것은 쇼어 알고리즘에 해당되는 것으로 알려져있다.) 그렇다면, 범용 양자 컴퓨터를 구축하는 것이 일반적으로 생각되는 것보다 …
1
그래프를 노드 분리 사이클로 분할
관련 문제 : Veblen의 정리는 "그래프는 사이클 분해가 짝수 인 경우에만 인정합니다"라고 말합니다. 주기는 에지 분리이지만 반드시 노드 분리는 아닙니다. 다른 말로 표현하자면, "모든 정점이 정도가있는 경우에만 그래프의 가장자리 세트를 사이클로 분할 할 수 있습니다." 내 문제 : 누구든지 노드를 분리하는 주기로 그래프를 분할하는 것을 궁금해했습니다. 즉, 파티션 꼭지점 그래프의 …
1
합니까 ?
나는 대답이 '아니오'라고 기대하지만 실제로 반례를 만들 수는 없습니다. 차이점은 ∩ε>0DTIME(O(n2+ε))∩ε>0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε})) 에서 O ( n2 + ε)O(n2+ε)O(n^{2+ε}) 알고리즘을 균일하게 선택할 수 없다는 것입니다 에서 εεε . 더비 테일링 인수 (예 :이 질문 참조 )에 의해 언어 L을 결정하는 튜링 머신 M_i 세트 가 ∀ε> 0 ∃M_i ∈ O (n …
3
로그 교대를 가진 정량화 된 부울 공식
나는 대수의 대수를 번갈아 가며 정량화 된 부울 수식 클래스에 어려운 문제를 연구하고 있습니다. 이 클래스의 문제는 다음과 같습니다. ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalog⁡n−1,…xalog⁡n)F\forall (x_1, x_2, \ldots x_{a_1}) \exists (x_{{a_1}+1}, \ldots x_{a_2}), \ldots \exists(x_{a_{\log n - 1}}, \ldots x_{a_{\log n}})F 여기서 로그 N = N , 및 변수의 부울 식이다 .alogn=nalog⁡n=na_{\log n} = nFFFx1…xnx1…xnx_1 …
3
BPP에서 P 로의 비 무작위 화의 예
성공적인 비 무작위 화의 주요 예는 무엇입니까? P=BPPP=BPPP=BPP 무작위 목표 (경도 무작위성 연결이 아님) 무엇입니까? 내 마음에 오는 유일한 예는 AKS 결정적 다항식 시간 우선 성 테스트입니다 (GRH를 가정하는 방법론이 있었음에도 불구하고). 그렇다면 우리는 무작위 화 (경도 또는 오라클 연결이 아님)에 대해 어떤 구체적인 증거를 가지고 있습니까? 랜덤 화 폴리에서 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.