LOGCFL - LOGCFL
W teorii złożoności obliczeniowej , LOGCFL jest klasa złożoności , który zawiera wszystkie problemy decyzyjne , które mogą być zmniejszone w przestrzeni logarytmicznej w języku bezkontekstowych . Klasa ta leży między NL i AC 1, w tym sensie, że zawiera ona były i są zawarte w tym ostatnim. Problemy, które są kompletne dla LOGCFL obejmują wiele problemów, których wystąpienia można scharakteryzować przez alifatycznych hipergrafów :
- oceny acykliczne logicznych koniunkcyjnej zapytania
- sprawdzanie istnienia homomorfizmu między dwoma alifatycznych struktur relacyjnych
- sprawdzanie istnienia rozwiązań acykliczny więzów problemów satysfakcji
Zobacz też
Linki zewnętrzne
 |
Ta matematyczna logika kondensatorem artykuł jest en . Można źródło Wikipedia rozszerza ją . |
