«complexity-classes» 태그된 질문

계산 복잡성 클래스 및 관계

5
PPAD가 어렵다는 증거?
증거가 없어도 P! = NP라고 믿는 철학적 타당성이 종종있다. 다른 복잡성 클래스는 그렇지 않다면 "놀라운"결과 (다항식 계층 구조의 붕괴와 같은)가있을 수 있기 때문에 구별된다는 증거를 가지고 있습니다. 내 질문은, PPAD 클래스가 다루기 어렵다는 믿음의 근거는 무엇인가? 내쉬 평형을 찾기위한 다항식 시간 알고리즘이 있었다면, 이것은 다른 복잡성 클래스에 대해 아무 의미가 …
5
NEXP 완료 문제
주변에 수많은 NP- 완전 문제가 있고이를 수집하는 출처가 있습니다 (예 : Garey and Johnson의 책 참조). NEXP 완료 문제 목록도 관심이 있습니다. 사용할 수있는 것이 있습니까? 내가 없다고 가정 할 때, 나는이 질문을 엽니 다 (이것은 커뮤니티 위키 여야합니까? 나는 이것에 대해 모릅니다). 이상적으로는 목록이 NEXP- 완전 문제의 다른 "유형"을 …
4
P = NP가 사실이라면, 양자 컴퓨터가 유용할까요?
P = NP가 참이라고 가정하십시오. 그렇다면 특정 문제를 더 빨리 해결하는 것과 같이 양자 컴퓨터를 구축하는 데 실질적인 적용이 있습니까? 아니면 P = NP가 사실이라는 사실에 근거하여 그러한 개선이 관련이 없습니까? P! = NP 인 세계와 달리 P = NP 인 세계에서 양자 컴퓨터를 만들 수 있다면 효율성이 어떻게 향상 …
1
폴리 로그 공간에 균일 한 RNC가 포함되어 있습니까?
Log-space-uniform NC는 결정 성 폴리 로그 공간 (때로는 PolyL로 작성 됨)에 포함됩니다. log-space-uniform RNC가이 클래스에도 있습니까? PolyL의 표준 무작위 버전은 PolyL이어야하지만 (균일 한) RNC가 randomized-PolyL임을 알 수 없습니다. 제가보기 어려운 점은 RNC에서 회로가 원하는만큼 "임의의 비트를 볼"수 있다는 것입니다. 즉, 임의의 입력에 임의 팬 아웃이있을 수 있습니다. 그러나 임의 버전의 …
2
래드 너 정리 vs 쉐퍼 정리
"복잡성 계산에서 승리를 선언 할 때입니까?" 기사를 읽는 동안 이상에서 "괴델의 분실 문자 및 P = NP" 블로그, 그들은 CSP의의 이분법을 언급했다. 인터넷 링크와 위키 핑을 따라 간 링크를 따라 Ladner Theorem을 발견했습니다 . 라드의 정리 : 만약 , 다음에 문제가있는 아닌 - 완전한은.N P ∖ P N PP ≠ …
2
Parity-L = P의 결과는 무엇입니까?
Parity-L 은 비 결정적 튜링 머신에 의해 인식되는 언어 세트로, 짝수 또는 홀수의 "수락"경로 (0 또는 0이 아닌 허용 경로가 아닌) 만 구별 할 수 있습니다. 대수 공간에서 작동하도록 제한되었습니다. ℤ 2 이상의 방정식의 선형 시스템을 푸는 것은 Parity-L의 완전한 문제이므로 Parity-L은 P에 포함됩니다. Parity-L과 P가 같으면 다른 어떤 복잡한 …
3
문제
그래프의 간결한 표현에 대한 연구는 Galperin과 Wigderson 에 의해 1983 년의 논문에서 시작되었으며 , 여기서 그래프에서 삼각형을 찾는 것과 같은 많은 간단한 문제에 대해, 의 해당 간결한 버전은 - 을 증명합니다 . 파파 디미트리 오우 및 Yanakkakis은 상기 본 연구의 라인, 및 문제에 대한 증명할 이다 - 완전한 / - …
2
의 결과는 무엇입니까
시바 Kintali 단지 (멋진!)를 발표했다 그 결과 폭 경계 treewidth 그래프에 대한 그래프 동형 IS -hard를⊕ L≥4≥4\geq 4⊕L⊕L\oplus L . 비공식적으로 내 질문은 "얼마나 힘든가요?"입니다. 우리는 않다는 것을 알고 있습니다. 이 질문에 대한 답을보십시오 . 또한 일 가능성이 적다는 것을 알고 있습니다. 이 질문에 대한 답을보십시오 . 이라면 얼마나 놀라운 …
3
#P = FP의 결과
#P = FP의 결과는 무엇입니까? 실용적이고 이론적 인 결과에 관심이 있습니다. 실용적인 관점에서 저는 특히 인공 지능에 대한 결과에 관심이 있습니다. 논문이나 책에 대한 포인터는 환영 이상입니다. #P = FP가 P = NP를 의미한다고 말하지 마십시오. 이미 알고 있습니다. 또한, "알고리즘이 시간에 실행되면 실질적인 결과는 없을 것입니다 . 여기서 는 …
3
없는
에는 U P ∩ c o U P에 있지 않은 것으로 알려진 자연적인 문제가 있습니까?NP∩coNP엔피∩기음영형엔피NP \cap coNPUP∩coUP유피∩기음영형유피UP \cap coUP 분명히 큰 하나 모두가에 대해 알고있는 인수의 결정 버전입니다 (n은 가장 k에 크기의 요소가 않습니다)하지만 그건에서 사실상 U P ∩ C O U P .NP∩coNP엔피∩기음영형엔피NP \cap coNPUP∩coUP유피∩기음영형유피UP \cap coUP
3
자연적 증거와 기하학적 복잡성의 구성 성
최근 Ryan Willams는 Natural Proof의 Constructivity가 복잡한 클래스 ( 및 T C 0) 의 분리를 유도 할 수 없음을 증명했습니다 . NEXPNEXP\mathsf{NEXP}TC0TC0\mathsf{TC}^{0} 자연 증명의 구성 성은 회로 복잡성의 모든 조합 증명이 만족하는 조건이며 (또는 다른 "하드"복잡도 클래스) 의 대상 함수 가 실행되는 알고리즘에 의해 "하드"속성을 갖는지 여부를 결정할 수 있습니다 …
4
왜 복잡성 클래스들 사이의 평등이 하향이 아닌 상향으로 번역 되는가?
안녕하세요, 패딩 트릭을 사용하면 복잡한 클래스를 위쪽으로 변환 할 수 있습니다 (예 : . 패딩은 입력을 "팽창"하여 변환 (예 : 에서 )을 실행하여 패딩 된 입력에서 실행할 수있는 "매직"알고리즘을 생성합니다. 이것이 기술적으로 의미가 있지만, 이것이 어떻게 작동하는지 잘 이해할 수 없습니다. 여기서 정확히 무슨 일이 일어나고 있습니까? 패딩이 무엇인지에 대한 …
1
선형 크기 증인으로 제한되는
이것은 모든 NP 언어에 대한 회원의 증인 규모가 이미 알려져 있습니까? 라는 질문과 관련이 있습니다 . 일부 자연적인 (완전한) 문제에는 선형 길이 감시가 있습니다 : S A T에 대한 만족스러운 할당 , H A M P A T H에 대한 일련의 정점 등.N PNP\mathsf{NP}에스TSATSATHM피THHAMPATHHAMPATH 복잡성 클래스 " 는 선형 길이 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.