NP에서 "분명히"NP가 아닌 문제

모두 많은 발생한 , 그것은 문제가있는 것을 보여주기 위해 항상 사소한 -completeness 증거 나는 (내가 기억할 수있는) 읽었습니다 , 그리고 그것이 보여주는 -하드는 ... 어려운 부분입니다. 무엇 - 완전한 문제는 그 다항식 시간 확인 프로그램이 높은 비 사소한 다음은?$\textbf{NP}$$\textbf{NP}$$\textbf{NP}$$\textbf{NP}$

Garey and Johnson 's COMPUTERS AND INTRACTABILITY : NP-Completeness 이론 에 대한 부록에 나열된 문제가 4 개 이상 있습니다 .$NP$

[AN6] 제품 정책의 비 가시성

INSTANCE : 시퀀스 정수 쌍 각 및 정수 입니다.$A_i = \langle (a_i[1],b_i[1]), ..., (a_i[k],b_i[k]) \rangle,\ 1 \leqslant i \leqslant m,$$b_i[j] \geqslant 0,$$N$

질문 : 는 로 나눌 수 없습니다 ?$\displaystyle \prod_{i=1}^m \left( \displaystyle\sum_{j=1}^k a_i[j] \cdot z^{b_i[j]} \right)$ $z^N - 1$

참조 : [Plaisted, 1977a] , [Plaisted, 1977b] . 3SAT에서 변형. NP의 회원 증명서는 사소하지 않으며 두 번째 참조에 나타납니다.

부록에서 찾은 다른 세 가지는 다음과 같습니다.

• [LO13] 모드 논리 S5-SATISFIABILITY
• [LO19] 2 차 주문 인스턴스
• [MS3] FREE CHOICE PETRINETS의 무료

다음은 데이터베이스 이론,보다 구체적으로는 직렬화 가능성 이론의 문제점입니다.

에서 잠금 (페이지 237)에 의해 직렬화 , 그것은 말한다

안전성의 복잡성에 관해 Papadimitriou et al. [14]는 트랜잭션 시스템이 S S R- safe 가 아닌지 테스트 하기가 hard 이고 문제가 NP 라고 추측했다 . 정리 3 (본 논문에서는)에서이 사실이 적용됩니다.$\textrm{NP}$$SSR$$\textrm{NP}$

- 안전 문제는 파파 디미트리 오우 등에 의해 종이 "데이터베이스 동시성 제어에 일부 전산 문제 관련"에서 찾을 수 있습니다. 불행히도, 나는 그것에 접근 할 수 없습니다.$SSR$

나를 위해 Integer Linear Programming (및 관련 Quantifier Free Presburger Arithmetic) 이이 수업에 있습니다.

차원 ILP 문제에 대한 순진한 접근 은 정수의 모든 길이 n 벡터 를 반복하는 것 입니다. 그러나 이것은 무한한 과정입니다.$n$$n$

솔루션의 크기에 다항식 상한이 있음을 증명하기 위해 몇 가지 이론을 사용해야합니다. 즉, 솔루션이 존재하면 항상 인증서로 작용하는 다항식 크기의 솔루션이 있음을 의미합니다.

내가 물었던 질문 에 대한 답변에서 더 많은 정보를 찾을 수 있습니다 .