ননডেটেরিনিস্টিক গণনা চালু করেন কে?


20

আমার দুটি historicalতিহাসিক প্রশ্ন রয়েছে:

প্রথমে ননডেটেরিস্টিক গণনার বিবরণ কে দিয়েছিলেন?

আমি জানি যে কুক এনপি-সম্পূর্ণ সমস্যা বর্ণনা করেছেন এবং এডমন্ডস প্রস্তাব করেছিলেন যে পি অ্যালগরিদমগুলি "দক্ষ" বা "ভাল" অ্যালগরিদম।

আমি এই উইকিপিডিয়া নিবন্ধটি সন্ধান করেছি এবং "অ্যালগোরিদমগুলির গণনা সংক্রান্ত জটিলতার উপরে" স্কিম করেছিলাম , তবে ননডিটারিস্টিক গণনার প্রথম আলোচনার সময় তার কোনও রেফারেন্স পাইনি।

ক্লাস এনপি প্রথম রেফারেন্স কি ছিল? এটা কি কুকের একাত্তরের কাগজ ছিল?


5
লোহার পর্দার ওপারে লেভিন একযোগে কমপক্ষে একসাথে এনপি আবিষ্কার করেছিলেন। এডমন্ডস ছাড়াও, রবিন এবং কোহাম (প্রতিটি পৃথক পৃথকভাবে) পি'রও পরিচয় করিয়ে দিয়েছিল, যদিও পি-র দৃষ্টিভঙ্গিকে "দক্ষ" হিসাবে ন্যায্য করার ক্ষেত্রে এডমন্ডস সম্ভবত সবচেয়ে কার্যকর ছিলেন।
জোশুয়া গ্রাচো

কার্পস 1972-এর কাগজটিকে রান্নার কাগজের মূল প্রতিবিম্ব হিসাবে বিবেচনা করা হয় যা দেখায় যে একগুচ্ছ সমস্যাগুলি এনপি সম্পূর্ণ; এক অর্থে কুক কেবল দেখিয়েছিলেন যে স্যাট এনপি সম্পূর্ণ ছিল এবং ধারণাটি কীভাবে অন্তর্ভুক্ত হতে পারে সে কাগজের পরে এটি স্পষ্ট ছিল না।
vzn

(আরও সংক্ষিপ্ত চিন্তা) সুতরাং কুক / কার্প দুটি কাগজ টিসিএস সম্প্রদায় / সমষ্টিগত বোঝার উপর "1-2 পঞ্চ" এর মতো ছিল। এছাড়াও, এর মতো questionsতিহাসিক প্রশ্নগুলিতে, কখনও কখনও ধারণাগুলি "বাতাসে" থাকে এবং তখন কোনও একক অনন্য / চূড়ান্ত উত্তর পাওয়া যায় না তবে কয়েকটি প্রায় সমানভাবে টেকসই উত্তর হয়। দেখার মতো অন্য জায়গা টিএমএস-এর টিউরিং 1936-এর কাগজ, কখনও কাউকে বিশ্লেষণ / ডিকনস্ট্রাক্ট করে নিখুঁতভাবে রায় দিয়ে দেখেনি যে দীর্ঘ কাগজের কোনও কিছুইই অদ্বিতীয়তত্ত্বের কাছাকাছি আসে না।
vzn

তবুও অন্য একটি কোণ (এই জটিল / বহুমাত্রিক বিষয়ে): সমান্তরালতা ননডিটারিনিজমের সাথে অনেকগুলি মিল রয়েছে।
vzn

এটি লক্ষণীয়ও রয়েছে যে গডেল জটিলতার গুরুত্বকে স্বীকৃতি দিয়েছিলেন এবং সম্ভবত "দক্ষ" অ্যালগরিদম হিসাবে পি-কে পূর্বাভাস দিয়েছিলেন। rjlipton.wordpress.com/the-gdel-letter
an:

উত্তর:


31

আমি সর্বদা মাইকেল রবিন এবং ডানা স্কটের জন্য দায়ী গণনাতে ননডেটেরিনিজম ধারণাটি দেখেছি। তারা তাদের বিখ্যাত কাগজ ফিনাইট অটোমাতা এবং তাদের সিদ্ধান্ত সমস্যাগুলি , ১৯৫৯-এ ননডেটেরিস্টোনিক সসীম অটোমেটা সংজ্ঞায়িত করেছিলেন । রবিনের ট্যুরিং অ্যাওয়ার্ডের উদ্ধৃতিতে আরও বোঝানো হয় যে রবিন এবং স্কট ননডেটারিস্টিক মেশিন প্রবর্তন করেছিলেন।


11

ইস্যুতে ওডিফ্রেডি যা বলেছেন তা এখানে:

"আমাদের একটি ট্যুরিং মেশিনের মডেল নির্বিচারবাদী, এই অর্থে যে নির্দেশাবলীটি সামঞ্জস্যপূর্ণ হওয়া দরকার (তাদের মধ্যে বেশিরভাগই কোনও অবস্থাতেই প্রযোজ্য)। কম্পিউটিং ডিভাইসগুলিতে র্যান্ডমাইজিং উপাদানগুলি শ্যানন [1948] এর প্রথম দিকে প্রবর্তন করেছিলেন এবং ডি লিউউ, মুর, শ্যানন এবং শাপিরো [১৯৫6]। দুটি মূলত মডেল রয়েছে Non ননডেটেরেস্টিস্টিক টিউরিং মেশিনগুলি এমন একটি অস্পষ্ট পরিস্থিতিতে আচরণ করে যেখানে দ্বন্দ্বপূর্ণ নির্দেশাবলী এলোমেলোভাবে বেছে নেওয়ার মাধ্যমে প্রয়োগ করা যেতে পারে: তাদের গণনা শক্তি, কমপক্ষে 0, 1-মূল্যবান ফাংশন (সেট), নির্ণায়কগুলির শক্তির অতিক্রম করে না। সম্ভাব্য মেশিনগুলি ননডেটেরিস্টিনিস্টিকগুলির থেকে পৃথক হয় যে পরবর্তী রাজ্যের সম্ভাবনা থাকে, এবং এইভাবে বিরোধী নির্দেশাবলী মেশিন দ্বারা নির্বাচিত হওয়ার একই সুযোগ পায় না। "
[পি ওডিফ্রেড্ডি, ধ্রুপদী পুনরাবৃত্তি তত্ত্ব, খণ্ড। ১, পৃষ্ঠা ৫০]

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


এনপি সম্পর্কে, আমি স্টিভ কুককে জিজ্ঞাসা করেছি। রিচার্ড কার্প তাঁর বিখ্যাত 1972 সালের গবেষণাপত্রে নন-ডিটারিস্টেমনিক বহু-কালীন গণনীয় সমস্যার শ্রেণীর জন্য এনপি নামটি প্রবর্তন করেছিলেন। কুক তার বিখ্যাত 1971 সালের গবেষণাপত্রে বহুবর্ষীয় সময়ের ননডেটেরেমনস্টিক টিউরিং মেশিনের গণনীয় সমস্যাগুলির ক্লাসকে বোঝায় যা বহুবর্ষ সময় হ্রাস সংজ্ঞায়িত করে এবং দেখায় যে সম্পূর্ণ সমস্যা আছে, কিন্তু শ্রেণিকে নাম না দিয়েই।

তাঁর গবেষণাপত্রের আগে ননডেটারিস্টেমিকিক টিউরিং মেশিনগুলি দ্বারা বহুবর্ষের সময়গুলিতে গণনাযোগ্য সমস্যার বিষয়ে খুব একটা আগ্রহ ছিল না, কার্পের কাগজের পরে এটি স্পষ্ট হয়ে যায় যে এতগুলি প্রাকৃতিক সমস্যা এনপিতে রয়েছে। কুকের কাগজের পরে কিছু লোক আগ্রহী হয়েছিল, বিশেষত দু'জন যারা প্রথম দিকে আগ্রহী হয়েছিল (কার্পের কাগজ বের হওয়ার আগে) তারা ছিলেন মাইকেল রবিন এবং অ্যালান বোরোডিন

কার্পের 1972-এর গবেষণাপত্র প্রাকৃতিক সমস্যার মধ্যে কীভাবে বিস্তৃত এনপি-সম্পূর্ণতা রয়েছে তা দেখিয়ে মানুষকে অবাক করে দিয়েছিল।


এই প্রসঙ্গে 'এলোমেলো' শব্দটি ব্যবহার বিপজ্জনক, এটি পরিসংখ্যানগত অর্থে এলোমেলোতার উল্লেখ করে না, কেবল কোনও পছন্দটি ফাঁকা রেখে গেছে।
পুনরায় পোস্টার

@ রিনিয়ারপোস্ট, ইয়েস্ট, এটি বিভ্রান্তিকর যে তিনি বলেছিলেন যে ননডিটারিস্টিক মেশিন পরের রাজ্যকে এলোমেলোভাবে নির্বাচন করে (তবে যে কোনও ক্ষেত্রে ননডেটেরেস্টিক মেশিন নিজে থেকেই বিভ্রান্ত করছে, এ কারণেই লোকেরা সাধারণত এনপি-র যাচাইকরণ সংজ্ঞা পছন্দ করে)।
কাভেহ

আমি এটি বিভ্রান্তিকর কখনও খুঁজে পাইনি। সম্ভবত আমি এতটা বিভ্রান্ত হয়ে পড়েছি তা আমি বুঝতে পারি না।
পুনরায় পোস্টার

7

রবিন এবং স্কট ১৯ 195৯ সালের এপ্রিল, আইবিএম জার্নালে প্রকাশিত তাদের গবেষণামূলক গবেষণামূলক প্রবন্ধের সাথে ননডেটেরিস্টোনিক সসীম অটোমাতা প্রবর্তন করেছিলেন the

জটিল আউটপুট ফাংশনটি সরিয়ে এবং আমাদের মেশিনগুলিকে কেবল "হ্যাঁ" বা "না" উত্তর দেওয়ার মাধ্যমে আমরা সংজ্ঞাটির আরও সহজ রূপটি গ্রহণ করেছি। এটাও Myhill ব্যবহার করত, কিন্তু আমাদের সরলীকরণ করার "nondeterministic," "দ্বি-মুখী," এবং "অনেকগুলি টেপ" মেশিন হবে বলে মনে হচ্ছে নতুন

পুরো কাগজটি এখানে দেখা যাবে: http://www.cse.chalmers.se/~coquand/AUTOMATA/rs.pdf

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.