«conditional-results» 태그된 질문

X를 가설로 추가합니다. 여기서 X는 참 또는 거짓으로 알려져 있지 않습니다.

4
다항식 시간 경도 결과를 표시하는 데 사용할 수있는 문제
새로운 문제에 대한 알고리즘을 설계 할 때 잠시 후에 다항식 시간 알고리즘을 찾을 수 없으면 대신 NP-hard임을 증명할 수 있습니다. 성공하면 다항식 시간 알고리즘을 찾을 수없는 이유를 설명했습니다. P! = NP임을 확실히 아는 것은 아니며, 이것이 현재의 지식으로 수행 할 수있는 최선이라는 것입니다. 실제로 합의는 P! = NP입니다. 마찬가지로 일부 …
2
P = PH를 넘어서 P = NP를 증폭시킬 수 있습니까?
에서 서술 복잡성 , Immerman가있다 추론 7.23. 다음 조건은 동일합니다. 1. P = NP. 2. 유한하고 규칙적인 구조에서 FO ​​(LFP) = SO. 이것은 더 큰 복잡성 클래스에 대한 동등한 진술에 대해 "증폭"P = NP로 생각할 수 있습니다. SO는 다항식 시간 계층 PH를 캡처하고 FO (LFP)는 P를 캡처하므로 P = NP …
4
의 결과는 무엇입니까 ?
우리는 와 , 여기서 입니다. 우리는 또한 는 후자가 로그 공간 공간-하나 축소에서 완전한 문제를 가지고 있지만 전자는 (공간 계층 정리로 인해) 그렇지 않기 때문에 알고 있습니다. 의 관계를 이해하기 위해서는 와 먼저 관계 이해하는 데 도움이 될 수 및 .L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P}L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq …
3
합니까
내가 이해하는 한, 기하학적 복잡성 이론 프로그램 은 복소수 행렬의 영구이 결정자보다 계산하기가 훨씬 어렵다는 것을 증명함으로써 를 분리하려고 시도합니다 .VP≠VNPVP≠VNPVP \neq VNP GCT 논문을 통해 감추고 난 후의 질문 : 이것은 즉시 의미 합니까, 아니면이 목표를 향한 중요한 단계일까요?P≠NPP≠NPP \neq NP
3
NC = P 결과?
복잡성 동물원에있는 항목에 지적 EXP 이 경우 L = P 후 PSPACE = EXP. Savitch의 NPSPACE = PSPACE 이기 때문에 기본 패딩 인수가 로 표시되도록 말할 수있는 한 우리는 또한 Ruzzo의 자원 제한적 교대 계층 구조를 통한 L NL NC P를 알고 있습니다.(NL=P)⇒(PSPACE=EXP).(NL=피)⇒(스페이스=경험치).(\text{NL} = \text{P}) \Rightarrow (\text{PSPACE} = \text{EXP}).⊆⊆\subseteq ⊆⊆\subseteq …
3
P에있는 팩토링의 결과?
팩토링은 NP- 완전한 것으로 알려져 있지 않습니다. 이 질문은 팩토링이 NP-complete라는 결과를 요구했습니다. 흥미롭게도, P에있는 팩토링의 결과를 요구 한 사람은 아무도 없었습니다 (아마도 그러한 질문은 사소한 것이기 때문입니다). 그래서 내 질문은 : P에있는 팩토링 의 이론적 결과는 무엇입니까? 복잡성 클래스의 전반적인 그림이 그러한 사실에 어떻게 영향을 받습니까? P에있는 팩토링 의 …
2
의 결과
TCS 아마추어로서, 나는 양자 컴퓨팅에 대한 대중적이고 매우 입문적인 자료를 읽고 있습니다. 지금까지 내가 배운 몇 가지 기본 정보는 다음과 같습니다. 양자 컴퓨터는 다항식 시간에 NP- 완전 문제를 해결하는 것으로 알려져 있지 않습니다. "양자 마법 충분하지 않습니다" (베넷 등 1997). : 당신은 문제의 구조를 버리고, 단지의 공간을 고려한다면 에 대한 …
4
NP! = coNP라고 가정 한 근사 경도
근사 결과의 경도를 입증하기위한 일반적인 가정 중 두 가지는 P≠NPP≠NPP \neq NP 및 Unique Games Conjecture입니다. 가정하면 근사 결과의 경도가 있습니까? " 아니면 팩터 내에서 를 근사하기 어렵다" 는 문제 찾고 있습니다.NP≠coNPNP≠coNPNP \neq coNPAAAAAAαα\alphaNP=coNPNP=coNPNP = coNP " 가장 짧은 벡터 문제에 대한 인자 NP- 경도를 나타내는 것은 "를 암시하는 것으로 …
2
Impagliazzo의 세계 상태?
1995 년 Russell Impagliazzo는 5 가지의 복잡한 세계를 제안했습니다. 1- Algorithmica : 모든 놀라운 결과.피= N피피=엔피P=NP 2- 휴리스틱 스 : 완전한 문제는 최악의 경우 ( P ≠ N P )에서는 어렵지만 평균적인 경우에는 효율적으로 해결할 수 있습니다.엔피엔피NP피≠ N피피≠엔피P \ne NP 3- Pessiland : 평균 사례 완전한 문제가 있지만 단방향 함수는 …
5
PPAD가 어렵다는 증거?
증거가 없어도 P! = NP라고 믿는 철학적 타당성이 종종있다. 다른 복잡성 클래스는 그렇지 않다면 "놀라운"결과 (다항식 계층 구조의 붕괴와 같은)가있을 수 있기 때문에 구별된다는 증거를 가지고 있습니다. 내 질문은, PPAD 클래스가 다루기 어렵다는 믿음의 근거는 무엇인가? 내쉬 평형을 찾기위한 다항식 시간 알고리즘이 있었다면, 이것은 다른 복잡성 클래스에 대해 아무 의미가 …
3
선형 프로그래밍을위한 강력한 다항식 알고리즘이 존재합니까?
알고리즘 설계의 성배 중 하나는 선형 프로그래밍을위한 강력한 다항식 알고리즘을 찾는 것입니다. 즉, 런타임은 변수 및 제약 조건에서 다항식에 의해 제한되고 매개 변수 표현의 크기와 무관합니다 (가정 가정) 단가 산술). 이 질문을 해결하면 선형 프로그래밍을위한 더 나은 알고리즘 이외의 의미가 있습니까? 예를 들어, 그러한 알고리즘의 존재 / 존재가 지오메트리 또는 …
3
PH에 알려지지 않았지만 P = NP 인 경우 P에있는 결정 문제
편집 : 라비 보 파나 (Ravi Boppana)는 그의 대답 에서 올바르게 지적 하고 스콧 아 론슨 ( Scott Aaronson)도 그의 대답 에 또 다른 예를 추가 했으므로이 질문 에 대한 대답은 내가 전혀 기대하지 않은 방식으로“예”로 밝혀졌습니다. 먼저 나는 그들이 묻고 싶은 질문에 대답하지 않았다고 생각했지만, 어떤 생각을 한 후에,이 …
2
이유는 믿는
많은 사람들이 를 믿는 것으로 보입니다. (Shiva Kintali는 몇 가지 다른 후보 문제를 여기에 나열했습니다 ).피≠ N피∩ c o N피P≠NP∩coNPP \ne NP \cap coNP 반면, Grötschel, Lovász 및 Schrijver는 "많은 사람들이 라고 믿는다 "고 . 이 인용문은 Geometric Algorithms and Combinatorial Optimization 에서 찾을 수 있으며 Schrijver는 Combinatorial Optimization : …
2
Parity-L = P의 결과는 무엇입니까?
Parity-L 은 비 결정적 튜링 머신에 의해 인식되는 언어 세트로, 짝수 또는 홀수의 "수락"경로 (0 또는 0이 아닌 허용 경로가 아닌) 만 구별 할 수 있습니다. 대수 공간에서 작동하도록 제한되었습니다. ℤ 2 이상의 방정식의 선형 시스템을 푸는 것은 Parity-L의 완전한 문제이므로 Parity-L은 P에 포함됩니다. Parity-L과 P가 같으면 다른 어떤 복잡한 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.