«np» 태그된 질문

내가 특히 궁금한 것은 그러한 문제가 다루기 쉬운 것을 보장하기 위해 3SAT 공식을 만족시키는 과제의 비율에 흥미로운 조건이 있는지 여부입니다. 예를 들어, 2 n 가능한 대입 중 이 부울 공식을 만족시키는 3SAT 문제의 클래스를 가정하십시오 . 만족스러운 과제를 효율적으로 찾을 수 있습니까? 무엇을 위해 ε는 P의 결과 문제가?ϵ ( n …

12 cc.complexity-theory  ds.algorithms  sat  np 

ETH는 최악의 경우 서브 지수 시간으로 SAT를 해결할 수 없다고 말합니다. 평균 사례는 어떻습니까? NP의 평균적인 경우 기하 급수적으로 어려운 자연 문제가 있습니까? 입력에서 균일 한 분포로 평균 실행 시간을 의미하는 평균 사례를 사용하십시오.

12 cc.complexity-theory  np  average-case-complexity 

다항식의 움직임으로 끝나는 완전한 정보의 2 인 조합 게임을 고려하고, 플레이어는 제한된 수의 허용 된 움직임 중에서 선택합니다. 일반적인 질문은 주어진 위치에서 승자를 알리는 것이 얼마나 어려운지입니다. 다른 하나는, 승리 포지션에서 승리하는 움직임을 선택하는 것이 얼마나 어려운가입니다. (여기서 포지션을 딴 후에도 이겼다면 이동 승리라고 부릅니다.) 차별화를 위해 이전의 POSITION-COMPLEXITY와 후자의 …

11 cc.complexity-theory  np  board-games  pspace 

NP = co-NP 및 다항식 가 3-CNF 인스턴스 대한 불만족스러운 증거의 길이를 제한 한다고 가정합니다 . 그렇다면 길이 에 대한 불만족스러운 증거는 어떤 형태로 나타날 수 있습니까? 즉, 그러한 증거는 예를 들어 무한한 구조보다 2 차 논리의 모든 힘을 사용해야합니다 (나는 증명할 제안-공식이 만족스럽지 않다는 것을 2 차 논리로 표현할 …

11 cc.complexity-theory  lo.logic  np  proof-complexity 

NP 정의에 대한 두 가지 변형이 있습니다. 그것들은 (거의 확실하게) 뚜렷한 복잡성 클래스를 정의하지만 내 질문은 :이 클래스에 맞는 문제의 자연스러운 예가 있습니까? (여기서 자연스러워하는 것에 대한 나의 임계치는 평소보다 약간 낮습니다.) 클래스 1 (NP의 수퍼 클래스) : 검증에 초 다항식이지만 지수하에 시간이 걸리는 다항식 증인 문제. 구체적으로 time 이라고합시다 …

11 cc.complexity-theory  complexity-classes  np 

NP 문제 의 특정 클래스 에는 이분법 정리 가 있으며 클래스의 모든 작업이 NP 완료 이거나 P에 있음을 보장합니다 . 가장 잘 알려진 결과는 Schaefer의 이분법 정리 와 여러 일반화입니다. 이 이분법 정리를 증명하는 것은 실제로 쉽지 않다는 것을 이해합니다. 왜 특정 클래스에는 이분법 정리가 있고 다른 클래스에는 그렇지 않은지에 …

10 cc.complexity-theory  np  descriptive-complexity 

증명 복잡도는 계산 복잡도 이론의 가장 기본적인 영역입니다. 이 영역의 궁극적 인 목적은 를 증명 하는 것입니다. 즉, 모든 입력자가 주어진 입력 수식이 만족스럽지 않다는 증거를 제공 할 수 없습니다. 엔피≠ c o N피엔피≠씨영형엔피NP\neq coNP 그래프는 공식적인 증명 모델 중 하나입니다. 내 질문은이 모델에 대한 추가 제한에 관한 것입니다. 증명은 …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

모든 Turing 인식 가능 결정 불가능한 언어에는 NP-complete 하위 세트가 있습니까? 이 질문은 모든 무한 Turing 인식 언어에 무한 결정 가능한 하위 집합이 있다는 사실의 강력한 버전으로 볼 수 있습니다.

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

이 질문은 암호화의 맥락에서 생겨 났지만, 여기서는 사람들이 후자에 대해 더 잘 알고 있기 때문에 복잡성 이론의 관점에서 제시 할 것입니다. 이 질문은 NP의 문제 와 관련이 있지만 Oracle Access의 Average-P / poly 및 Beating Nonuniformity는 아닙니다 . 비공식적 진술 : 비 균일 한 적 (즉, 다 규모의 회로 계열)이 …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity