Basitçe söylemek gerekirse: Oraclesli Turing makineleri ve oraclesli üniform devre aileleri arasındaki uyum nedir? Belirli bir oracle Turing makinesi için aynı hesaplama modelini elde etmek için ikincisi nasıl tanımlanır?
Bu temel bir soru olabilir, ancak nereye bakılacağı açık değildir ve vakıflarımın kaliteli harç kullandığından emin olmaktan hoşlanan biriyim. Standart bir referans varsa, lütfen bana yönlendirin. (Örneğin Papadimitriou'nun kitabı, oraclesli devreleri hiç tarif etmiyor gibi görünüyor.)
Çalışma hipotezim şudur: Bir kehanete erişimi olan (örneğin NP-tam bir problemi çözmek için) tek tip devre ailesi aşağıdaki gibi tanımlanır:
Biri, her devre boyutu n için bir tane olan ve her biri bir miktar sabit c için f n : {0,1} cn → {0,1} fonksiyonunu içeren sonsuz bir "kehanet kapısı" O n tanımlamaktadır .
F fonksiyonları N torpil kapıları O hesaplanan n aşağıdaki anlamda "tek tip" olmalıdır: her n <N için ve x ∈ {0,1} , n , F gerektirir n ( x ) = F N (0 ° C ( N − n) x ) --- yani, oracle kapıları girdilerinin tutarlı ve genişletilebilir bir "kodlamasını" kullanmalıdır.
Bir sonra, giriş boyutu için devre sınırlayan N kapı O kullanımı, oracle kapıları devre izin işlemleri arasında olan tek tip bir devre ailesini tanımlar n .
Yukarıdaki seçeneklerin bazılarının, herhangi bir genelliği kaybetmeden keyfi olarak düzeltilebileceğini hayal ediyorum. İlgilendiğim şey, yazışma için bir referans veya en azından standart açıklamayı elde etmek için yukarıdaki açıklamanın nasıl değiştirileceğinin bir açıklamasıdır.