পোস্ট চিঠিপত্রের সমস্যা (পিসিপি) undecidable হয়।
পিসিপি- র সীমিত সংস্করণ হ'ল কমপ্লিট এবং পিসিপির চিহ্নিত সংস্করণ (দুটি তালিকার একটির শব্দের প্রথম অক্ষরে পৃথক হওয়া প্রয়োজন) পি এস পি এ সি ই [1] এ রয়েছে।
[1] ভি। হালাভা, এম। হিরভেনসালো, আর ডি ডি ওল্ফ (1999) দ্বারা " চিহ্নিত পিসিপি নির্ধারণযোগ্য "
উত্তর:
"আবদ্ধ" পিসিপি করার একাধিক উপায় রয়েছে (সম্ভবত অনেকের উপর ভার্জিং হচ্ছে!) এবং অনেকগুলি রূপের মধ্যে বিবিধ গবেষণা রয়েছে বলে মনে হয়। ইনপুটটিতে নির্দিষ্ট প্যারামিটারে কনটেনেটেড ব্লকের সংখ্যা বা সংক্ষিপ্ত স্ট্রিংয়ের মোট দৈর্ঘ্য সীমাবদ্ধ করা (বাইনারিটিতে নির্দিষ্ট) মনে হচ্ছে NExpSace সম্পূর্ণ বলে মনে হচ্ছে তবে এটি কোনও কাগজে লিখিতভাবে দেখেনি। দেখতে বেষ্টিত পোস্ট চিঠিপত্রের সমস্যা দ্বারা NP-সম্পূর্ণ প্রুফ , tcs.se. যদি আপনি একই "কনটেনটেশন দৈর্ঘ্য" পরামিতিটিকে ইনপুট আকারের বহিরাগতের মধ্যে দৃশ্যমানভাবে পিএসস্পেস সম্পূর্ণ করে সীমাবদ্ধ করেন। আবার কিছু অনুসন্ধান সত্ত্বেও যে কোথাও লিখিত আছে তা দেখা যায় নি।
পিসিপি-র বিশেষ কেসগুলি কিছুটা সমাধান করার ক্ষেত্রে কিছুটা সম্পর্কিত গবেষণা রয়েছে (কিছুটা ব্যাসি বিভার গবেষণার স্মৃতি করিয়ে দেয়), দেখুন ঝাও বা [৮] দ্বারা পিসিপি সলভার । নোট করুন যে কিছুটা সম্ভাব্য পদ্ধতির জন্য ডিএনএ কম্পিউটিং প্রয়োগ করার ক্ষেত্রেও একটি উল্লেখযোগ্য / অগ্রণী ভূমিকা রয়েছে [[3] এছাড়াও হালভা [৪], []] দ্বারা অন্যান্য নির্ধারিত রূপগুলিতে আরও গবেষণা হয়েছে বলে মনে হয়। [5,6] আরও বিবিধ ফলাফল।
[1] ঝাও দ্বারা পোস্ট চিঠিপত্রের সমস্যা মোকাবেলা (ভি 2?)
[২] যে কোনও এনপি-সম্পূর্ণ সমস্যা থেকে সীমানা পিসিপি , cs.se এ বহুবর্ষীয় হ্রাস
[]] কারি এট আল-এর দ্বারা সীমাবদ্ধ পোস্ট চিঠিপত্রের সমস্যা সমাধানের জন্য ডিএনএ ব্যবহার করে
[৪] হালভা এট আল দ্বারা চিঠি মনোটোনিক ভাষাগুলির জন্য পোস্ট চিঠিপত্র সংক্রান্ত সমস্যা
[]] রুডনিকি লিখিত একটি অ্যালারি বর্ণমালা নিয়ে পোস্ট চিঠিপত্রের সমস্যা
[]] আংশিকভাবে পরিবর্তিত বর্ণমালা বারবারা ক্লান্ডার, ওয়াজিয়াচ রাইটারের সাথে পোস্ট চিঠিপত্রের সমস্যা
[]] পোস্ট চিঠিপত্রের সমস্যা এবং হালভা, হারজু দ্বারা এর পরিবর্তনের কয়েকটি নতুন ফলাফল
[৮] লরেন্টজ পোস্ট পোস্ট করেসপন্ডেন্স সমস্যার সমস্যা তৈরি করেছেন
এহরনফিউচ্ট, করহুমাকি এবং রোজেনবার্গ দেখিয়েছেন যে বাইনারি পিসিপি (যেখানে ডোমেনটি বাইনারি হয়) সিদ্ধান্ত গ্রহণযোগ্য। হালভা এবং হলুব পরে দেখিয়েছিল যে এটি আসলে পি।