একটি ফাংশন দেখান যা স্থান-গঠনমূলক তবে সময়-কনস্টেটিভেবল নয়।
জটিলতা ডিটিটাইম (এফ (এন)) এবং স্পেস (চ (এন)) এর মধ্যে কোনও পৃথকীকরণের সাথে কি এই সমস্যা সম্পর্কিত?
একটি ফাংশন দেখান যা স্থান-গঠনমূলক তবে সময়-কনস্টেটিভেবল নয়।
জটিলতা ডিটিটাইম (এফ (এন)) এবং স্পেস (চ (এন)) এর মধ্যে কোনও পৃথকীকরণের সাথে কি এই সমস্যা সম্পর্কিত?
উত্তর:
একটি ফাংশন সময় অঙ্কনযোগ্য যদি একটি টুরিং মেশিন হয় এম যা ইনপুট 1 এন , নির্ণয় ফাংশন এক্স ↦ টি ( | এক্স | ) সময় হে ( টি ( এন ) ) ।
একটি ফাংশন স্থান অঙ্কনযোগ্য যদি একটি টুরিং মেশিন হয় এম যা ইনপুট 1 এন , ফাংশন নির্ণয় এক্স ↦ এস ( | এক্স | ) মহাকাশে হে ( এস ( এন ) ) ।
কিছু লেখার জন্য সময় / স্থানের গঠনমূলক কার্যগুলি হ্রাস-হ্রাস করা দরকার। কিছু গ্রন্থে সময় অঙ্কনযোগ্য ফাংশন সন্তুষ্ট প্রয়োজন , এবং স্থান অঙ্কনযোগ্য ফাংশন সন্তুষ্ট এস ( এন ) ≥ লগ এন । কিছু পাঠ্য সংজ্ঞায় ও ( ⋅ ) স্বরলিপি ব্যবহার করে না ।
যাইহোক, এটি সহজেই দেখানো যায় যে প্রতিটি "সাধারণ" ফাংশন , সন্তুষ্টকারী f ( n ) ≥ log n এবং f ( n ) = o ( n ) স্থান গঠনযোগ্য তবে সময় গঠনযোগ্য নয়।
গঠনমূলক সমস্যাটি জটিলতার ক্লাস ডিটিটাইম (এফ (এন)) এবং স্পেস (চ (এন)) এর মধ্যে সম্ভাব্য পৃথকীকরণের সাথে সরাসরি সম্পর্কিত নয়। তবে সময় ও স্থানের শ্রেণিবিন্যাসের উপপাদ্যগুলির বিবৃতিটি গঠনমূলকতাকে অন্তর্ভুক্ত করে। উদাহরণ স্বরূপ:
দেখুন অরোরার & বারাক এর বই বা Papadimitriou এর আরও তথ্যের জন্য। (পরবর্তীকালে সময় ও স্থান উভয়ই গঠনযোগ্য) এমন একটিকে বোঝাতে "যথাযথ জটিলতা ফাংশন" শব্দটি ব্যবহার করা হয়েছে।)