리프 언어는 많은 복잡한 클래스를 균일하게 정의 할 수있는 아름다운 방법입니다. 대부분의 복잡성 클래스는 일반적으로 계산 모델 (예 : 결정적 / 임의의 TM) 및 자원 바운드 (로그 시간, 폴리 공간 등)에 의해 지정됩니다. 그러나 리프 언어 공식에는 계산 모델이 하나만 있으며 클래스는 리프 언어를 제공하여 지정됩니다.
자세한 내용은 설명하기에 너무 길기 때문에 관심있는 독자에게 다음 두 가지 설문 조사 중 하나를 지시합니다.
- H Vollmer의 복잡한 클래스의 균일 한 특성
- KW Wagner의 리프 언어 클래스
두 설문 조사 모두 처음 몇 페이지 내에서 공식을 설명하는 데 큰 도움이됩니다.
바그너의 조사에서 그는 "지금까지 고려 된 모든 복잡성 클래스는 리프 언어로 설명 될 수있다"고 말했다.
내 질문은이 진술과 관련이 있습니다. 리프 언어 특성화를 모르는 클래스가 있다는 것을 알고 있으므로 클래스에 반드시 그러한 특성화가 필요하지 않거나 클래스를 찾지 못했음을 의미합니다.
모든 복잡성 클래스 (P와 PSPACE 사이)가 리프 언어 특성화를 기대합니까? ( "자연적인"복잡성 클래스로 제한하자.) 문헌에 이런 종류의 결과가 있는가?
(해답을 알고 기뻐하는 관련 질문 : 주어진 수업에 대해 잎 언어를 생각해내는 (휴리스틱) 방법이 있습니까?)
편집 : Suresh는 Wikipedia 기사에 잎 언어에 대한 짧은 정의가 있다고 지적합니다. 아래에 복사하고 있습니다.
여러 복잡도 클래스는 일반적으로 각 분기가 수락하거나 거부 할 수있는 다항식 비 결정적 튜링 머신과 관련하여 정의되며, 전체 머신은 분기 조건의 일부 기능으로 수락하거나 거부합니다. 예를 들어, 비 결정적 튜링 머신은 하나 이상의 브랜치가 수락하면 수락하고 모든 브랜치가 거부하는 경우에만 거부합니다. 반면, 비 결정적 튜링 기계는 모든 분기가 수락하는 경우에만 수락하고 분기가 거부하면 거부합니다. 이러한 방식으로 많은 클래스를 정의 할 수 있습니다.