পিএল থেকে উদ্ভূত জটিল সমস্যাগুলির তালিকা (অমীমাংসিত)

Question

প্রোগ্রামিং ভাষা, বিশেষত প্রোগ্রাম বিশ্লেষণ এবং সংকলন থেকে উদ্ভূত কিছু বড়, ওপেন গণনামূলক জটিলতাগুলি কী কী? আমি "হিন্ডলি-মিলনার ধরণের অনুমানের সময় জটিলতা" বা "0 সিএফএর সময় জটিলতা" (যদিও উভয়ই সমস্যার সমাধান হওয়া) এর পাতায় সমস্যার সন্ধান করছি।

Comments

কেন ভোট বন্ধ হবে? যদি এই প্রশ্নটি "খুব বিস্তৃত" হয় তবে এই সাইটে থাকা আরও অনেক প্রশ্ন বন্ধ করা উচিত।

— দামিয়ানো মাজাজা

আমি আগ্রহী (তবে আমি নিশ্চিত না যে এটি সমাধান করা হয়েছে কিনা) তবে জটিলতার পরিমাপ হিসাবে স্থল শব্দ থেকে ল্যাম্বডা শর্তগুলির বিটা দূরত্ব ব্যবহার করছি (অ-বন্ধ)।

— স্যামুয়েল শ্লেসিংগার

Answer 1

১৯৯৯ সাল থেকে পাইপঞ্জারের (১) দেখায় যে (কিছু অনুমানের অধীনে) কঠোর (সিবিভি) ক্রিয়ামূলক প্রোগ্রামিং ভাষাগুলি অপরিহার্য ভাষাগুলির চেয়ে অসম্পূর্ণভাবে ধীর হয় are (২) এ উল্লেখ করা হয়েছে যে পিপেনজারের ফলটি অলস কার্যকরী ভাষায় সাধারণীকরণ করা যেতে পারে কিনা তা উন্মুক্ত ।

পিপ্পেঞ্জার দুটি সরলকরণ অনুমান (অন-লাইন গণনা এবং ইনপুটটির একটি নির্দিষ্ট পারমাণবিকতা) চাপিয়ে দেয়। এগুলি অপসারণ করা যায় কিনা তা উন্মুক্ত। পিপ্পেঞ্জার ধারণা করেছিলেন যে এটি করা সম্ভব, তবে হুঁশিয়ারি উচ্চারণ করে: "[গুলি] আপনি একটি ফলাফল [...] গণনা জটিলতার তত্ত্বে বর্তমানে উপলব্ধ পদ্ধতিগুলির নাগালের বাইরে" বলে মনে করেন ।

(3) তে ক্যাম্পবেলের উত্তর এবং বেন-আমরামের নোটগুলি (4) দেখুন।

---

^{1. এন পিপ্পেঞ্জার, খাঁটি ভার্সাস ইম্পিউর লিস্প ।}

^{২. আর. বার্ড, জি জোনস, ও ডি দে মুর, আরও তাড়াতাড়ি, কম গতি: অলস বনাম আগ্রহী মূল্যায়ন ।}

^{৩. স্ট্যাক ওভারফ্লো, খাঁটি কার্যকরী প্রোগ্রামিংয়ের দক্ষতা ।}

^{৪. এএম বেন-আমরাম, পিপ্পেঞ্জারের খাঁটি এবং অপরিষ্কার এলআইএসপি তুলনা সম্পর্কে নোটস ।}