সরলতার জন্য, আমি কেবল "সিদ্ধান্ত" সমস্যাগুলি বিবেচনা করেই শুরু করব, যার একটি হ্যাঁ / কোনও উত্তর নেই। ফাংশন সমস্যাগুলি প্রায় একইভাবে কাজ করে, হ্যাঁ / না পরিবর্তে প্রতিটি ইনপুট শব্দের সাথে একটি নির্দিষ্ট আউটপুট শব্দ যুক্ত থাকে।
ভাষা : একটি ভাষা কেবল স্ট্রিংগুলির সেট। আপনি এই ধরনের হিসাবে একটি বর্ণমালা থাকে, তাহলে
, তারপর Σ * একমাত্র প্রতীক ধারণকারী সব শব্দের সেট Σ । উদাহরণস্বরূপ, { 0 , 1 } * যে কোন দৈর্ঘ্যের সব বাইনারি ক্রম সেট। যদিও একটি বর্ণমালা বাইনারি হওয়ার দরকার নেই। এটি অখণ্ড, ত্রৈমাসিক ইত্যাদি হতে পারেΣΣ*Σ{ 0 , 1 }*
একটি বর্ণমালা উপর একটি ল্যাঙ্গুয়েজ কোন উপসেট Σ * ।ΣΣ*
সমস্যা : একটি সমস্যা হ'ল কিছু ইনপুট সম্পর্কে কিছু প্রশ্ন যা আমরা উত্তর দিতে চাই। বিশেষত, একটি সিদ্ধান্ত সমস্যা এমন একটি প্রশ্ন যা জিজ্ঞাসা করে, "আমাদের প্রদত্ত ইনপুটটি কি সম্পত্তি পূরণ করে ?X
X
L={w∣wyXyX}
কোনও সিদ্ধান্ত সমস্যার ইনপুটটির উত্তর "হ্যাঁ" হয় কিনা তা নির্ধারণ করা বর্ণমালার উপরের ইনপুটটির একটি এনকোডিং সংশ্লিষ্ট ভাষায় কিনা তা নির্ধারণের সমতুল্য।
অ্যালগরিদম : একটি অ্যালগরিদম কোনও সমস্যা সমাধানের জন্য ধাপে ধাপে। মনে রাখবেন যে সেখানে একটি অ্যালগরিদম বিভিন্ন উপায়ে এবং বিভিন্ন ভাষায় প্রকাশ করা যেতে পারে এবং যে কোনও সমস্যা সমাধানের জন্য অনেকগুলি ভিন্ন ভিন্ন অ্যালগরিদম রয়েছে।
M
L(M)={w∣Mw}
RRE
ভাষা এবং ট্যুরিং মেশিনের মধ্যে সম্পর্ক নীচে রয়েছে
প্রতিটি টিউরিং মেশিন ঠিক একটি ভাষা গ্রহণ করে language
একাধিক ট্যুরিং মেশিন থাকতে পারে যা প্রদত্ত ভাষা গ্রহণ করে
কোনও টিউরিং মেশিন নেই যা প্রদত্ত ভাষা গ্রহণ করে।
অ্যালগরিদম এবং সমস্যা সম্পর্কে আমরা মোটামুটি একই কথা বলতে পারি: প্রতিটি অ্যালগোরিদম একটি সমস্যা সমাধান করে তবে 0 বা আরও অনেকগুলি থাকতে পারে একটি প্রদত্ত সমস্যা সমাধান করে।
সময় জটিলতা : অ্যালগরিদম এবং সমস্যার মধ্যে বিভ্রান্তির অন্যতম সাধারণ উত্স জটিলতা ক্লাসের ক্ষেত্রে। সঠিক বরাদ্দটি নিম্নরূপ সংক্ষিপ্ত করা যেতে পারে:
- একটি অ্যালগরিদম হয়েছে একটি সময় জটিলতা
- একটি সমস্যা একটি জটিল শ্রেণীর অন্তর্গত
f(n)f(n)n
সমস্যাগুলি রান-টাইম হয় না, যেহেতু সমস্যাটি একটি নির্দিষ্ট অ্যালগরিদমের সাথে আবদ্ধ হয় না যা আসলে চালিত হয়। পরিবর্তে, আমরা বলি যে একটি সমস্যা একটি জটিল শ্রেণীর অন্তর্গত, যদি নির্দিষ্ট সময়ের জটিলতায় সমস্যাটি সমাধান করার কিছু অ্যালগরিদম উপস্থিত থাকে ।
P,NP,PSPACE,EXPTIMEPXXPXXP