1 모든 Turing 인식 가능 결정 불가능한 언어에는 NP-complete 하위 세트가 있습니까? 모든 Turing 인식 가능 결정 불가능한 언어에는 NP-complete 하위 세트가 있습니까? 이 질문은 모든 무한 Turing 인식 언어에 무한 결정 가능한 하위 집합이 있다는 사실의 강력한 버전으로 볼 수 있습니다. 9 cc.complexity-theory np-hardness complexity-classes np decidability
3 두 함수가 같은 확장인지 계산할 수 있습니까? 다른 정렬 알고리즘을 구현하는 두 개의 함수가있는 경우 소스 코드를 통해 둘 다 동일한 외부 특성을 갖는 것으로 추론 할 수 있습니까? 둘 다 가능한 정렬되지 않은 시퀀스를 입력으로하고 정렬 된 시퀀스를 출력으로한다는 것을 의미합니까? 이러한 외부 속성은 소스 코드에 의해 어떤 방식으로 결정될 수 있습니까? 이러한 외부 속성을 어떻게 … 9 pl.programming-languages decidability formal-methods extensionality