Tanımları yenileyelim.
PSPACE , polinom uzay sınırlarına sahip deterministik bir Turing makinesinde çözülebilen problemler sınıfıdır: yani, her bir problem için, girişinin uzunluğu olduğunda, en fazla teyp hücresi kullanarak sorunu belirleyen bir makine vardır. , bazı polinomlar için .n pp ( n )np
EXP , üssel zaman sınırlarına sahip deterministik bir Turing makinesinde çözülebilen problemler sınıfıdır: bu tür problemlerin her biri için girişi en fazla basamağını kullanarak soruna karar veren bir makine vardır. , bazı polinomlar için . n p2p ( n )np
İlk önce, bu iki sınıfın eşit olabileceğini söylemeliyiz. Farklı olmaları daha muhtemel görünüyorlar, ancak sınıflar bazen aynı çıkıyor: örneğin, 2004'te Reingold, simetrik logspace'nin normal logspace ile aynı olduğunu kanıtladı; 1987 yılında, Immerman ve Szelepcsenyi, bağımsız bir şekilde kanıtlamıştır NLco-NL= (ve aslında, herhangi bir için NSPACE [ ] ortak NSPACE [ ]f( n )=f( n ) ).f( n ) ≥ logn
Ama, şu anda, çoğu insan inanıyoruz Pspace ve EXP farklıdır. Niye ya? İki karmaşıklık sınıfında neler yapabileceğimize bakalım. PSPACE’te bir problem düşünün . Biz kullanan izin konum uzunluğunun bir giriş çözmek için bant hücreleri ancak karşı karşılaştırmak zor EXP bağlı bir süre belirtilir.np ( n )n
Bir PSPACE problemi için ne kadar zaman kullanabiliriz ? Yalnızca teyp hücrelerine yazarsak, bir ikili alfabe varsayımıyla teyp üzerinde görünebilecek farklı dizeler vardır. Şerit kafa farklı yerlerden birinde olabilir ve Turing makinesi farklı durumlardan birinde olabilir . Yani toplam yapılandırma sayısı. Güvercin deliği prensibi gereği , eğer adımlarına koşarsak, bir konfigürasyonu iki kez ziyaret etmeliyiz, ancak makine deterministik olduğu için, bu sık sık döneceği ve aynı konfigürasyonu ziyaret edeceği anlamına gelir, yani kazanırdı ' Durma İçinde olmanın tanımının bir parçası2 s ( n ) p ( n ) k T ( n ) = kp ( n )2p ( n )p ( n )kT( n ) = kp ( n )2p ( n )p ( n ) kT( n ) + 1PSPACE , soruna karar vermek zorunda olduğunuzdur, sonlandırmayan hiçbir makine PSPACE sorununu çözmez . Başka bir deyişle, PSPACE en fazla uzayı ve en fazla zamanı kullanılarak en fazla bazı polinom için . Bu yüzden PSPACEEXP .p ( n ) 2 q ( n ) qkp ( n )2p ( n )2q( n )q⊆
EXP problemi için ne kadar yer kullanabiliriz ? Eh, basamağa izin veriliyor ve Turing makinasının başı her adımda sadece bir pozisyon taşıyabilir. Kafa konumundan daha fazla hareket edemediğinden, yalnızca o kadar fazla bant hücresi kullanabiliriz. 2 p ( n )2p ( n )2p(n)
Aradaki fark budur: Her iki halde Pspace ve EXP üstel sürede çözülebilir sorunlardır, Pspace oysa polinom uzay kullanımı sınırlıdır EXP Üstel alanı kullanabilirsiniz. Yani zaten düşündürmektedir EXP daha güçlü olmalı. Örneğin, grafiklerle ilgili bir sorunu çözmeye çalıştığınızı varsayalım. In Pspace , sen köşe her alt kümesi bakabilirsiniz (yalnızca sürer bir alt kümesini yazmak için bit). Her alt kümede hesaplama yapmak için biraz çalışma alanı kullanabilirsiniz, ancak bir alt kümede çalışmayı tamamladığınızda, bu çalışma alanını silmeniz ve bir sonraki alt kümede yeniden kullanmanız gerekir. In EXPnÖte yandan, sadece her alt gruba bakamazsınız, çalışma alanınızı tekrar kullanmanıza gerek kalmaz, böylece her biri hakkında öğrendiklerinizi tek tek hatırlayabilirsiniz. Daha güçlü olması gerektiği gibi görünüyor.
Neden farklı olmaları gerektiğinin bir diğer sezgisi, zaman ve mekan hiyerarşi teoremlerinin bize, biraz daha fazla alan veya zamana izin vermenin, hesaplayabildiğiniz şeyi kesinlikle arttırdığını söylemesidir. Hiyerarşi teoremleri sadece benzerlerle karşılaştırmanıza izin verir (örneğin, PSPACE⊊⊊