다항식 시간에서 어떤 유형의 문자열 속성이 확인할 수 있습니까?

Question

문제의 문자열과 속성을 잠재적 인 인증서로 제공 할 때. 다음 줄을 따라 무언가를 따르는 분류 정리가 있습니까?이 속성 (하위 속성으로서)의 모든 속성 (문자열의)이 다항식 시간에서 확인할 수 있습니까?

PLY 시간에서 확인할 수있는 문자열의 패턴 유형의 컬렉션이 있습니까?

Trivial 속성은 이러한 등록 정보가있는 문자열 컬렉션이 NP의 언어에 속합니다 (하위 속성이되는 NP에 속한 경우).

나는 더 많은 콘크리트를 찾고 있습니다.

문자열을 위해 폴리 시간으로 이러한 속성을 확인할 수있게 해주는 문자열 속성 사이에 공통 스레드를 찾고 있습니다.

i.e. 어떤 문자열에서 Poly Time에서 선택한 속성이 검증 할 수있는 방식으로 모자에서 문자열의 속성을 선택하는 방법이 있습니까?

암시 적 복잡성 으로이 작업을 수행 할 수있는 방법이 있습니다. - 일부 제한된 언어에서는 빌드 할 수있는 유일한 속성이 Poly Time에서 확인할 수있는 것들이 있습니까?

Answer 1

알파벳 $ \ sigma $ 을 통해 문자열의 속성을 확인하는 것은 문자열이 문자열의 일부인지 여부를 확인하는 것과 동일한 문제가 같습니다. entscheidungsProblem 또는 결정 문제.

언어 : $ \ sigma ^ * \ mapsto \ {0,1 \} $

관심있는 것은 '문자열의 속성'또는 다른 단어의 '언어 클래스'입니다.

아마도 당신이 찾고있는 클래스는 결정론적인 튜링 머신의 다항식 시간에 결정 문제가 해결 될 수있는 모든 언어를 포함하는 'P'입니다. 흥미롭게 도이 수업은 다항식 회로에 의해 결정 문제가 해결 될 수있는 언어의 클래스와 동일합니다.

항상 일정한 경계 된 루프가 포함 된 모든 프로그램은 예를 들어 P에 속합니다 (이들은 다항식 회로로 쉽게 바뀔 수 있음). 거기에서 다항식 시간에서 종료되는 다른 루프를 포함하도록 언어를 확장 할 수 있습니다. 중첩 된 루프에주의해야합니다. 이 목적을 위해 특별한 호석 형 논리가 있습니다.