«separation» etiketlenmiş sorular

1
Ki Oracle göre içinde yer almayan
Karmaşıklık Genetiği Greg Kuperberg bir dil olduğunu belirtir XXX , öyle ki BPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X , diğer bir deyişle, - BPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} - ancak bu sonuç için referans vermiyor. Bu neden geçerli? Veya bir kanıt nerede bulunabilir? Bu soru kısmen motive edilir Cevabıma sorusuna “kısa mesajları ile çoklu …
1
Rice teoreminin açıklayıcı bir karmaşıklık versiyonu AC0 ve PSPACE'i ayırmak için kullanılabilir mi?
Gelen bu soruya , bu Rice'ın teoremin açıklayıcı karmaşıklığı versiyonları olduğu belirtilmişti. Aşağıdaki teoremin bir kanıtı buldum: Bir karmaşıklık sınıf Verilen C , dillerin nontrivial özellikleri C de hesaplanamaz C Daha önce bulduğum kanıtları yayınlamıştım, ama çok uzun olduğu ve yorumlarda bu makalenin zaten bu teoremin bir kanıtını içerdiği belirtildiğinden, …
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.