Języki liścia są pięknym sposobem na jednolite zdefiniowanie wielu klas złożoności. Większość klas złożoności jest zwykle określana przez model obliczeniowy (np. Deterministyczna / losowa TM) i związany z zasobami (czas dziennika, przestrzeń wielopunktowa itp.). Jednak w sformułowaniu języka liścia istnieje tylko jeden model obliczeń, a klasa jest określona przez podanie języka liścia.
Szczegóły są zbyt długie, aby je wyjaśnić, więc skieruję zainteresowanych czytelników do jednej z tych dwóch ankiet:
- Jednolite charakterystyki klas złożoności według H. Vollmera
- Lekcje języka liścia autorstwa KW Wagnera
Obie ankiety świetnie wyjaśniają formułę na pierwszych kilku stronach.
W ankiecie Wagnera powiedział: „okazuje się, że praktycznie każdą rozważaną do tej pory klasę złożoności można opisać językami liści”.
Moje pytanie dotyczy tego stwierdzenia. Wiem, że istnieją klasy, dla których nie znamy charakterystyki języka liścia, więc oznacza to, że albo klasy niekoniecznie mają taką charakterystykę, albo jej nie znaleźliśmy.
Czy oczekujemy, że każda klasa złożoności (powiedzmy między P i PSPACE) będzie miała charakterystykę języka liścia? (Ograniczmy się do „naturalnych” klas złożoności.) Czy w literaturze jest tego rodzaju wynik?
(Powiązane pytanie, na które z przyjemnością znałbym odpowiedź: czy istnieje (heurystyczna) metoda wymyślenia języka liścia dla danej klasy?)
EDYCJA: Suresh wskazuje, że w artykule w Wikipedii jest krótka definicja języków liści. Kopiuję to poniżej.
Kilka klas złożoności jest zazwyczaj definiowanych w kategoriach niedeterministycznej maszyny Turinga w czasie wielomianowym, w której każda gałąź może albo zaakceptować lub odrzucić, a cała maszyna akceptuje lub odrzuca jako pewną funkcję warunków gałęzi. Na przykład niedeterministyczna maszyna Turinga akceptuje, jeśli przynajmniej jedna gałąź akceptuje, i odrzuca tylko wtedy, gdy wszystkie gałęzie odrzucają. Z drugiej strony niedeterministyczna maszyna Turinga akceptuje tylko wtedy, gdy wszystkie gałęzie akceptują, i odrzuca, jeśli jakakolwiek gałąź odrzuca. W ten sposób można zdefiniować wiele klas.