यहां टाइम-स्पेस बाउंडेड ऑल्टरनेटिंग ट्यूरिंग मशीन के दृष्टिकोण से थोड़ा और विस्तार है।
मान लीजिए कि ।पी= एनसी
चूंकि , हमें P = A T I S P ( ( लॉग ) ( n ) ) O ( 1 ) मिलता है। , O ( लॉग ( n ) ) ) ।एनसी= ए टीमैंएसपी( ( लॉग( n ) )ओ ( 1 ), हे ( लॉग( n ) ) )
पी= ए टीमैंएसपी( ( लॉग( n ) )ओ ( 1 ), हे ( लॉग( एन ) ) ) ।
अब, रैखिक समय सार्वभौमिक अनुकार समस्या जहां हमें एक ट्यूरिंग मशीन M पर एन्कोडिंग और लंबाई n का एक इनपुट स्ट्रिंग x दिया जाता है और हम यह जानना चाहते हैं कि क्या M अधिकांश n चरणों में x स्वीकार करता है ।L i n Uएमएक्सnएमएक्सn
हम जानते हैं कि । इसलिए, वहां मौजूद एक निरंतर ग (पर्याप्त रूप से बड़े) ऐसा है कि ( * )L i n U∈ पीसी
( ∗ )L i n U∈ ए टीमैंएसपी( लॉगसी( एन ) , सी लॉग( n ) ) ।
एक पैडिंग तर्क के परिणामस्वरूप (एक छोटी सी टिप्पणी देखें), हमारे पास
( 1 )डी टीमैंएमए( n ) ⊆ A Tमैंएसपी( लॉगसी( एन ) , सी लॉग( n ) ) ।
पैडिंग तर्क का विस्तार, हमें मिलता है
( ३ )
( २ )डी टीमैंएमए( एनकश्मीर) ⊆ एक टीमैंएसपी( केसीलॉगसी( n ) , के सी लॉग( n ) ) ।
( ३ )डी टीमैंएमए( २)nकश्मीर) ⊆ एक टीमैंएसपी( केसीnके सी, के सी एनकश्मीर) का है ।
इसके अलावा, वैकल्पिक समय-स्थान बाध्य ट्यूरिंग मशीनों के अनुकरण के बारे में ज्ञात परिणाम हैं। विशेष रूप से, हम जानते हैं कि
ए टीमैंएसपी( लॉगसी( एन ) , सी लॉग( n ) ) ⊆ D SपीA सीए( हे ( लॉगसी + 1( एन ) ) ) ।
इसलिए, हम (अनिवार्य) सभी प्राकृतिक संख्या के लिए निम्नलिखित है :कश्मीर
( 3 * )
( २)*)डी टीमैंएमए( एनकश्मीर) ⊆ डी एसपीA सीए( केसी + 1लॉगसी + 1( n ) )
( ३)*)डी टीमैंएमए( २)nकश्मीर) ⊆ डी एसपीA सीए( एनk ( c + 1 )) का है ।
से , हम मिलेगा कि ई एक्स पी = पी एस पी ए सी ई ।( ३)*)एएक्सपी= पीएसपीA सीए
==================== विचार के बाद ====================
यह ध्यान रखना महत्वपूर्ण है कि तात्पर्य A T I S P ( ( लॉग ( n ) ) O ( 1 ) , O ( लॉग ( n ) ) ) = A T I S P ( लॉग c ( n ) , O है ) ( लॉग ( एन ) ) ) कुछ निरंतर के लिए ग ।पी= एनसी
ए टीमैंएसपी( ( लॉग( n ) )ओ ( 1 ), हे ( लॉग( n ) ) ) = A Tमैंएसपी( लॉगसी( n ) , O ( लॉग)( n ) ) )
सी
किसी भी टिप्पणी या सुधार का स्वागत किया जाता है। :)