অ-নিরস্তক বহুবর্ষীয় সময় এবং নির্বাহী বহুবর্ষের সময় যাচাইয়ের সমতার জন্য প্রাথমিক উত্স

Question

বহু লোকের মধ্যে যদি ভাষার কোনও শংসাপত্র যাচাই করা যায় তবে প্রথম ভাষাটি কে এনপিতে দেখিয়েছিলেন? আমাদের কাছে এমন একটি কাগজ রয়েছে যা আনুষ্ঠানিকভাবে এটি প্রমাণ করে? টিসিএস সম্প্রদায় কখন যাচাইয়ের পক্ষে অ-নির্ধারণবাদকে অ-জোর দেওয়া শুরু করেছিল? আমার জীবনের জন্য আমি পাপাদিমিট্রিও এবং অরোরা এবং বারাকের মতো এর বাইরে এই গ্রন্থগুলির জন্য একটি ভাল রেফারেন্স খুঁজে পাই না।

Answer 1

[বর্ধিত মন্তব্য] আমি মনে করি যে "যাচাইয়ের শিকড়গুলি" ইতিমধ্যে কার্পের মাইলফলক গবেষণাপত্রে রয়েছে "সম্মিলিত সমস্যাগুলির মধ্যে হ্রাস" (1972):

...
আসুন সাব-সেট নির্বাচন বর্গ বোঝাতে Σ * × Σ * যা বহুপদী সময় স্বীকৃত হয়। প্রদত্ত এল ( 2 ) ∈ পি ( 2 ) এবং বহুপদী পি , আমরা সংজ্ঞায়িত এল নিম্নরূপ:$P^{(2)}$$\Sigma^* \times \Sigma^*$$L^{(2)} \in P^{(2)}$$p$$L$

$L = \{ x \mid$$y$$\langle x,y \rangle \in L^{(2)}$$\log(y) \leq p(\log(x)) \}$

$y$

$L$$L^{(2)}$$p$

$NP$$P^{(2)}$

ননডেটারেস্টেমিকিক ট্যুরিং মেশিনের ক্ষেত্রে এনপির বিকল্প বৈশিষ্ট্য রয়েছে ... [ননডেটারেস্টেমিক ট্যুরিং মেশিনের গণনার সংজ্ঞা] ...

এবং

$L \in NP$$L$

Comments

আমার কাছে এটাই দেখতে লাগে। আমি অবশ্যই কার্পের কাগজে ঘনিষ্ঠভাবে তাকিয়ে থাকতে পারি নি কারণ আমি ধরে নিয়েছিলাম যে যদি সেই সমতুল্যতা তাঁর কাছে দায়ী করা হয় তবে তিনি এই কাগজে তিনি যা কিছু করেছিলেন তার সাথেই এটির বিষয়ে কথা বলা হবে।

— লোগান মেইফিল্ড