LOGCFL - LOGCFL
Vuonna laskennan vaativuus , LOGCFL on kompleksisuusluokka joka sisältää kaikki päätöksen ongelmia , jotka voidaan vähentää logaritminen avaruudessa on yhteydetön kieli . Tämä luokka sijaitsee NL: n ja AC 1: n välillä siinä mielessä, että se sisältää ensimmäisen ja sisältyy jälkimmäiseen. Ongelmia, jotka ovat täydellisiä ja LOGCFL sisältävät monia ongelmia, joiden tapauksissa voidaan luonnehtia asykliset hypergraphs :
- arvioidaan asykliset Boolen konjunktiiviset kyselyt
- tarkistetaan homomorfismin olemassaolo kahden asyklisen relaatiorakenteen välillä
- tarkistetaan asyklisten rajoitteiden tyytyväisyysongelmien ratkaisujen olemassaolo
Katso myös
Ulkoiset linkit
| P ≟ NP | Tämä teoreettinen tietotekniikkaan liittyvä artikkeli on tynkä . Voit auttaa Wikipediaa laajentamalla sitä . |
