LOGCFL - LOGCFL

Gelen hesaplama karmaşıklığı teorisi , LOGCFL olan karmaşıklık sınıf tümünü içeren karar problemlerini de azaltılabilir logaritmik alan bir karşı bağlamından bağımsız dili . Bu sınıf arasında yer almaktadır NL ve AC bu eski içerir ve ikinci içerdiği anlamında, 1. Hangi Sorunlar tam LOGCFL için kimin birçok sorunu bulunmaktadır örnekleri ile karakterize edilebilir asiklik hypergraphs :

• asiklik değerlendiren Boole conjunctive sorguları
• Bir varlığını kontrol homomorfizmasının iki asiklik arasındaki ilişkisel yapıları
• asiklik ait çözümlerin varlığını kontrol kısıt memnuniyeti sorunlarına

Ayrıca bakınız

• karmaşıklık sınıfları listesi

Dış bağlantılar

• Karmaşıklık Zoo : LOGCFL

Bu matematiksel mantık makale lı bir olduğunu saplama . Sen Vikipedi'ye katkıda bulunabilirsiniz genişletmeden . v t e