12

N P- hard 가 아닌 모든 언어 ( PN P로 가정 ), P LP SAT 임을 증명할 수 있습니까 ? 또는 합리적인 가정 하에서이를 입증 할 수 있습니까?LNPNPPNPPLPSAT


나는이 질문에 어리석은 대답이 있다고 생각합니다 , PN P 라고 가정하면 확실히 P LP SAT 라고하십시오 . 따라서 여전히 PN P , LN P - P 가 아닌 N PP에 있다고 가정 할 수 있습니다 . [편집 : "이러한 모든위한 것이 사실이다 : 아, 나는 당신의 질문은 것 같다, 그래서 아래에 코멘트를 읽을 L , 불평등이 발생?"합니까 그러한 존재가 아니라 "보다 L을LPNPPLPSATPNPPNPLNPPNPLL? "=> 질문을 편집했습니다!]
Bruno

답변:


16

NPI 정의에 따라 다릅니다. A는 튜링 감축 불완전하면 SAT가 아닌 있기 때문에, 대답은 '예'입니다 .PA

A가 많은 사람이 불완전한 경우이를 증명하는 방법을 모릅니다. 거기에 많은-한 감소를 통해 NP-완료되지 않도록 NP의 집합 A를하지만 SAT가 (에 정리 1.9 A. 단일 쿼리에 의해 계산 될 수와 함께 우리는 상대화 세계가 이 논문 ).


정리 1.9을 의미합니까?
Geoffrey Irving

네 말이 맞아 결정된.
랜스 포트 노우
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.