1
결론 : 모든 FPT NP- 완전 언어는 고정 매개 변수-동형
Berman–Hartmanis 추측 : 모든 NP 완성 언어는 다항식 시간 동형에 의해 서로 관련 될 수 있다는 의미에서 유사하게 보인다 [1]. "다항식 시간"의보다 세분화 된 버전, 즉 매개 변수화 된 축소를 사용하는 경우에 관심이 있습니다. 매개 변수화 된 문제는 의 부분 집합입니다 . 여기서 Σ 는 유한 알파벳이고 Z ≥ 0 …