स्पेस-टाइम ट्रेडऑफ लोअर बाउंड्स

Question

3SAT [ 1 ] के लिए निचली सीमा पर चर्चा के बाद , मैं सोच रहा हूं कि अंतरिक्ष-समय-सीमा के रूप में तैयार किए गए मुख्य निचले बाध्य परिणाम क्या हैं। मैं परिणामों को बाहर कर रहा हूँ जैसे, कहना, सविच की प्रमेय; एक अच्छी प्रविष्टि एक समस्या और इसकी सीमा पर ध्यान केंद्रित करेगी। एक उदाहरण होगा:

"T और S किसी भी SAT एल्गोरिथ्म का रनिंग टाइम और स्पेस बाउंड है। तब हमारे पास T .S≥n2cos (− / 7) −o (1) अनंत बार होना चाहिए।" ( रयान विलियम्स द्वारा [ 1 ] में दिया गया।)

या

"SAT को सामान्य यादृच्छिक-अभिगम नॉनडेटर्मिनिस्टिक ट्यूरिंग मशीनों पर किसी भी ε> 0 के लिए n ^{1 + 0 (1)} समय और n ^1- any स्थान में एक साथ हल नहीं किया जा सकता है ।" (१०.१०१ in१ में लांस फॉर्च्यून / CCC.1997.612300)

इसके अलावा, मैं प्राकृतिक अंतरिक्ष-टाइम ट्रेडऑफ़ जटिलता कक्षाओं (सर्किट कक्षाओं को छोड़कर) की परिभाषाओं को शामिल कर रहा हूं ।

Comments

हम्म। सीडब्ल्यू टैग की जरूरत नहीं है का एक और उदाहरण।

— सुरेश वेंकट

क्या मतलब?

— माइकल कैडिलैक

सुरेश कह रहे हैं कि आपको इस सवाल पर "सामुदायिक विकि" नहीं डालना है, यदि आप सवाल को एक बड़ी सूची के अलावा कुछ और बताते हैं, और जो आप खोज रहे हैं उसके बारे में अधिक विशिष्ट थे। इसके अलावा, क्या यह वास्तव में एक "नरम सवाल" है?

— रयान विलियम्स

खैर, मैं एक बड़ी सूची चाहता हूं, और यह सवाल विशिष्ट नहीं है कि, मुझे लगता है कि एक पाने का एक अच्छा तरीका है। क्या इस तरह की सूची निषिद्ध है? (मैं बहुत कम कटौती कर सकता हूं कि मैंने कुछ गलत किया, जैसा कि कोई जवाब नहीं दिया गया है, लेकिन पता नहीं क्या है।) इसके अलावा, यह एक नरम सवाल है क्योंकि इसमें किसी भी बौद्धिक कार्य की आवश्यकता नहीं है।

— माइकल कैडिलैक

हम अंततः एफएक्यू में इसे स्पष्ट करने की उम्मीद करते हैं। मैं कहूंगा कि यह एक नरम सवाल नहीं है क्योंकि यह तकनीकी है। एक नरम सवाल अनुसंधान के आसपास के विषयों के बारे में अधिक है - जहां स्नातक विद्यालय में जाना है, पेपर कैसे पढ़ना है, आदि

— सुरेश वेंकट

Answer 1

यहाँ कुछ अतिरिक्त संदर्भ दिए गए हैं। इन का हवाला देने वाले कागजात को देखकर और भी कुछ पता चल सकता है।

$P$$T^2 S \geq \Omega(n^3)$

$O(n)$$O(1)$$k+1$$T S \geq \Omega(n^2)$$k$

$S \leq o(n)$$T \geq \omega(n)$

$TS \geq \Omega(n^2)$