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

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

2
행렬 집합의 범위에 순열 행렬이 포함되어 있는지 확인하는 다항식 시간 알고리즘이 있습니까?
주어진 행렬 집합의 범위에 순열 행렬이 포함되어 있는지 확인하는 다항식 시간 알고리즘을 찾고 싶습니다. 이 문제가 다른 복잡성 클래스인지 여부를 아는 사람도 도움이 될 것입니다. 편집 :이 질문에 선형 프로그래밍 태그를 지정했습니다. 왜냐하면 그러한 솔루션이 존재하면 일종의 선형 프로그래밍 알고리즘이 될 것이라는 강한 의혹이 있기 때문입니다. 내가 믿는 이유는 Birkhoff …
6
NP- 완전한 내추럴에 자연스러운 문제가 있습니까?
모든 자연수는 비트 시퀀스로 간주 될 수 있으므로 자연수를 입력하는 것은 0-1 시퀀스를 입력하는 것과 동일하므로 자연 입력에 대한 NP- 완전 문제가 분명히 존재합니다. 그러나 자연적인 문제, 즉 숫자의 인코딩과 특수 해석을 사용하지 않는 문제가 있습니까? 예를 들어 "나는 소수입니까?" 그런 자연적인 문제이지만 이것은 P에 있습니다. 또는 "3, 5, n, …
2
NP의 계층 구조 (P! = NP로 가정)
P! = NP라고 가정하면 P에 있지 않고 NP-Complete이 아닌 문제가 있음을 알 수 있습니다. 그래프 동형은 그러한 문제로 추측된다. NP에서 더 많은 '계층'에 대한 증거가 있습니까? 즉, P에서 시작하여 NP에서 정점을 이루는 3 개 이상의 계층의 계층 구조? 계층 구조가 무한 할 수 있습니까?
2
다항식 시간에서 두 순열의 합을 식별 할 수 있습니까?
이 있었다 두 질문 중 하나에 관련 또는 다음과 같은 질문에 특별한 경우에 해당했다 있었다 cs.se에 최근 질문 : 과 같이 숫자 이 있다고 가정합니다 되도록 두 개의 순열 및 의 으로 분해하십시오 .a1,a2,…ana1,a2,…ana_1, a_2, \ldots a_nnnn∑ni=1ai=n(n+1).∑i=1nai=n(n+1).\sum_{i=1}^n a_i = n(n+1).ππ\piσσ\sigma1…n1…n1 \dots nai=πi+σiai=πi+σia_i = \pi_i + \sigma_i\, 몇 가지 필요한 조건이 …
4
P = NP가 사실이라면, 양자 컴퓨터가 유용할까요?
P = NP가 참이라고 가정하십시오. 그렇다면 특정 문제를 더 빨리 해결하는 것과 같이 양자 컴퓨터를 구축하는 데 실질적인 적용이 있습니까? 아니면 P = NP가 사실이라는 사실에 근거하여 그러한 개선이 관련이 없습니까? P! = NP 인 세계와 달리 P = NP 인 세계에서 양자 컴퓨터를 만들 수 있다면 효율성이 어떻게 향상 …
2
"X는 NP- 완료"는 언제 "#X는 # P- 완료"를 의미합니까?
하자 NP에 나타낸다 A (결정) 문제와 #하자 나타낸다는 계산 버전.X엑스XX엑스XX 어떤 조건에서 "X는 NP- 완료" "#X는 # P- 완료"입니까?⟹⟹\implies 물론 이방적인 축소의 존재는 그러한 조건 중 하나이지만, 이것은 분명하고 내가 알고있는 유일한 조건입니다. 궁극적 인 목표는 조건이 필요하지 않음을 보여주는 것입니다. 공식적으로 말하면 함수 의해 정의 된 계산 문제 # …
6
왜 NP- 중간 지위에 대한 후보자가 그렇게 적습니까?
Ladner Theorem은 인 경우 무한히 많은 중간 ( ) 문제가 있음을 잘 알고 있습니다. Graph Isomorphism과 같은이 상태에 대한 자연스러운 후보도 있으며, 다른 여러 가지도 있습니다 ( P와 NPC 사이의 문제 참조) . 그럼에도 불구하고 알려진 문제 의 군중에서 대다수는 또는 중 하나로 알려져 있습니다 . 그중 일부만이 후보로 남아 …
2
용감한 용감한 바지 라니?
용감한-Vazirani 정리 말한다 정확히 하나 개 만족 할당을 가지는 SAT 식 및 식 시켰음을 구별하기위한 다항식 시간 알고리즘 (결정 론적 또는 랜덤)이 있다면 - 후 NP = RP에게 . 이 정리는 UNIQUE-SAT가 무작위 감소 에서 NP - hard 임을 보여줌으로써 증명됩니다 . 그럴듯한 탈 무작위 화 추측에 따라, 정리는 "유일한 …
2
BPP vs Derandomization의 계층
한 로 : 에 대한 계층 구조가 존재 한다는 것은 임의 화 해제 결과를 의미합니까?B P T I M EBPTIME\mathsf{BPTIME} 관련이 있지만 모호한 질문은 : 에 대한 계층 구조의 존재가 어려운 하한을 의미합니까? 이 문제의 해결은 복잡성 이론의 알려진 장벽에 부딪히는가?B P T I M EBPTIME\mathsf{BPTIME} 이 질문에 대한 나의 …
3
그래프 동형에 대한 coNP 인증서
그래프 동 형사상 (GI)이 NP에 있음을 쉽게 알 수 있습니다 . GI가 coNP에 있는지 여부는 중요한 공개 문제입니다. GI의 coNP 인증서로 사용할 수있는 그래프 속성 후보가 있습니까? 를 암시하는 추측 ? G I ∈ c o N P의 의미는 무엇입니까 ?G I∈ c o N피GI∈coNPGI \in coNPG I∈ c o …
2
복잡도 결과를위한 다항식 방법
Combintorial Nullstellensatz 와 Chevalley–Warning 정리 는 다항식 방법 이 부가적인 조합론에서 강력한 도구 라고 말합니다 . 적절한 다항식의 문제를 나타내면 솔루션의 존재 또는 다항식에 대한 솔루션의 수를 보장 할 수 있습니다. 그들은 같은 문제를 해결하기 위해 사용 된 제한 sumsets 또는 제로 합 문제 ,이 영역에 정리 중 일부는 그러한 …
7
상한을 증명하여 하한 증명
Ryan Williams의 최근 혁신적인 회로 복잡도 하한 결과는 상한 결과를 사용하여 복잡도 하한을 증명하는 증명 기술을 제공합니다. 이 질문에 대한 그의 대답에서 Suresh Venkat은 이론적 인 컴퓨터 과학에 반 직관적 인 결과가 있습니까? , 상한값을 증명하여 하한값을 설정하는 두 가지 예를 제공했습니다. 복잡성 상한값을 증명하여 얻은 복잡성 하한값을 증명하는 다른 …
1
푸리에 계수 AND OR 및 XOR 게이트가있는 경계 깊이 회로로 설명되는 부울 함수
하자 부울 기능하고 이제부터 함수로 f를 생각하자 에 . 이 언어에서 f의 푸리에 확장은 단순히 사각형이없는 단항의 관점에서 f의 확장입니다. (이 모노 미알은 에 대한 실제 함수의 공간을 기초로합니다 . 계수의 제곱의 합은 단순히 이므로 는 제곱 자유 모수에 대한 확률 분포로 이어집니다. 이 분포를 F- 분포라고합니다.에프에프f{ − 1 , …
1
효율적으로 계산할 수 없지만 학습 가능한 기능
적절한 조건 하에서 튜링 머신이 다항식 시간 ( "효율적으로 계산 가능")으로 효율적으로 계산할 수있는 기능은 다항식 신경망에 의해 표현 될 수 있음을 대략적으로 말하면 (예 : [1]의 정리 1 및 3 참조) 합리적인 크기로, 따라서 모든 입력 분포 하에서 다항식 샘플 복잡성 ( "학습 가능")으로 학습 할 수 있습니다. 여기서 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.