LOGCFL - LOGCFL
I Kompleksitetsteori , LOGCFL er kompleksiteten klasse som inneholder alle beslutningsproblemer som kan reduseres i logaritmisk plass til et kontekstfritt språk . Denne klassen ligger mellom NL og AC 1, i den forstand at den inneholder førstnevnte og er inneholdt i sistnevnte. Problemer som er komplette for LOGCFL inkluderer mange problemer hvis tilfeller kan karakteriseres av sykliske hypergrafer :
- evaluering av sykliske boolske konjunktive spørsmål
- sjekke eksistensen av en homomorfisme mellom to acykliske relasjonelle strukturer
- kontrollere eksistensen av løsninger på problemer med tilfredsstillelse av sykliske begrensninger
Se også
Eksterne linker
| P ≟ NP | Denne teoretiske informatikkrelaterte artikkelen er et stubb . Du kan hjelpe Wikipedia ved å utvide den . |
