Turing makinesi açısından mP / poly'nin eşdeğer bir tanımı nedir?

13

P / poly, bir polinom boyutlu Boole devreleri ailesi tarafından çözülebilen karar problemleri sınıfıdır. Alternatif olarak, n cinsinden polinom boyutunda olan ve yalnızca n boyutuna dayanan bir tavsiye dizesi alan bir polinom-zaman Turing makinesi olarak tanımlanabilir.

MP / poli, polinom boyutlu monoton Boolean devreleri ailesi tarafından çözülebilen karar problemleri sınıfıdır, ancak polinom zamanlı Turing makinesi açısından mP / poly'nin doğal bir alternatif tanımı var mı?

cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 
— Jesse Stern
kaynak
3
AFAIK, monoton devrelere karşılık gelen Turing makineleri fikrimiz yok. Dolayısıyla cevap hayır.
— Kaveh
Durum böyle olabileceğini düşündüm. Zaman sınırlamalı Turing makinesi açısından monoton olan veya sınırlı sayıda negatif olan sınırlı boyutlu devre aileleri tarafından çözülebilen sınıfları ifade etme konusunda çevrimiçi veya gazetelerde dikkate değer tartışmalar var mı? Bu sınıfları tanımlamanın önündeki belirli engeller mi yoksa insanlar rahatsız edilmiyor mu?
— Jesse Stern

Yanıtlar:

15

Grigni ve Sipser tarafından Monoton Karmaşıklık gazetesinde monoton deterministik olmayan ve daha genel olarak alternatif Turing makinesi kavramı var. Polinom zamanı, değişen logaritmik alan ile aynı olduğundan, muntazam nin makine karakterizasyonu , monoton alternatif günlük alanı Turing makinesidir. Böyle bir makineye polinom tavsiyesi vermek daha sonra bir makine tanımı verecektir .mPmP/poly

— Jan Johannsen
kaynak
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.