특정 문제점 인스턴스로 다항행 다수 대용원 감소를 수행 할 수 있습니까?

Question

$ a \ span> k $ b \ k $ \ in k $ \ \ span> $ f : \ sigma ^ {*} \ \ sigma ^ {*} \ \ gamma ^ {*} $ $ w \ \ leftrightarrow f (w) \ k $ . $ B $ 에 대한 일부 다항식 시간 알고리즘이 주어지면 $ A $ 을 해결하고 싶습니다. $ a $ 을 $ b $ 로 변환하고 $ b $ . 그래서 그것은 다음과 같이 생각할 수 있습니다 :

$ a $ 의 임의 인스턴스에서 $ b $

내 질문은 $ b $ 또는 인스턴스의 임의의 인스턴스로 줄여야합니까? $ B $ ? 나는 TQBNF에서 일반화 된 지리로의 감소는 유효한 그래프 인스턴스에 이루어 지지만 일반화 된 지형의 더 많은 유효한 인스턴스가 있습니다.

Answer 1

매핑은 감사 또는 주사 (1 대 1) 일 필요는 없습니다.사실 다항식 시간에서 해결할 수있는 문제는 적어도 하나의 수용 인스턴스와 적어도 하나의 거부 인스턴스가 하나 이상의 거부되는 인스턴스를 갖는 문제로 다항식 시간이 될 수 있습니다.인스턴스 원래의 문제가 수락 인스턴스 인 경우 또는 원래의 문제가 거부 인스턴스가있는 경우 거부 인스턴스 인 경우

Beman-Hartmanis 추측 모두 NP-Complete 문제는 다항식 시간이 의 다항식 시간이 있다는 것을 의미한다.역.현재는 현재 입증되지 않은 추측이며 NP 완전한 문제를 의미합니다.