জটিলতা ক্লাস এবং যুক্তির মধ্যে চিঠিপত্র


33

আমি কমপ্যুটেবিলিটি এবং লজিকের উপর একবার ক্লাস নিয়েছি। উপাদানগুলিতে জটিলতা / গণনাযোগ্যতা ক্লাস (আর, আরই, কো-আরই, পি, এনপি, লগস্পেস, ...) এবং লজিক্সের মধ্যে পারস্পরিক সম্পর্ক অন্তর্ভুক্ত ছিল (প্রাক্কলিত ক্যালকুলাস, প্রথম আদেশের যুক্তি, ...)।

পারস্পরিক সম্পর্কের ক্ষেত্রে এক ক্ষেত্রের বেশ কয়েকটি ফলাফল অন্তর্ভুক্ত ছিল, যা অন্য ক্ষেত্রের কৌশলগুলি ব্যবহার করে প্রাপ্ত হয়েছিল। এটি অনুমান করা হয়েছিল যে পি! = এনপিকে একটি যুক্তি হিসাবে সমস্যা হিসাবে আক্রমণ করা যেতে পারে (জটিলতার ক্লাসের ডোমেন থেকে লজিক্সে সমস্যাটি প্রকাশ করে)।

এই কৌশল এবং ফলাফল একটি ভাল সারাংশ আছে?

উত্তর:


23

এটি সম্ভব যে আপনি সীমাবদ্ধ মডেল তত্ত্বের ফলাফলগুলি সম্পর্কে জিজ্ঞাসা করছেন (যেমন যুক্তির বিভিন্ন খণ্ডগুলির ক্ষেত্রে পি এবং এনপির বৈশিষ্ট্য)। পি এর সাম্প্রতিক প্রয়াসের প্রমাণ! এনপি প্রাথমিকভাবে এই ধরণের ধারণাগুলির ভারী ব্যবহার করেছে এবং কিছু ভাল রেফারেন্স ( উইকি থেকে নেওয়া ) হ'ল


আমি মনে করি এফএমটি-র ক্ষেত্রটি কেবল যুক্তি ও গণনার জটিলতার সাথে সংযোগ স্থাপনের চেয়ে কিছুটা প্রশস্ত। বর্ণনামূলক জটিলতা আরও সুনির্দিষ্ট শব্দ বলে মনে হচ্ছে।
অ্যান্ড্রেস সালামন

24

নীল ইম্মারম্যান একটি সুন্দর চিত্র তৈরি করেছিলেন যা জটিলতার ক্লাস এবং সীমাবদ্ধ মডেল দ্বারা ব্যাখ্যা করা লজিকগুলির মধ্যে এক নজরে চিঠিপত্র সরবরাহ করে। এটি তাঁর বইয়ের প্রচ্ছদে এবং এখানে তার ওয়েব পৃষ্ঠার নীচেও রয়েছে: http://www.cs.umass.edu/~immerman/


এই ছবিটি হাজার হাজার শব্দের মূল্যবান।
আন্দ্রেস সালামন

5
যুক্তি এবং গণনার জটিলতার মধ্যে সরাসরি লিঙ্কগুলির জন্য ইমারম্যানের বইটি সম্ভবত সেরা একক রেফারেন্স। বইটিকে যেমন এই বিষয়টিকে সাধারণত "বর্ণনামূলক জটিল" বলা হয়।
অ্যান্ড্রেস সালামন

16

এনপি

এস21

এন্টোনিনা কলোকোলোভা এই দুটি পদ্ধতির মধ্যে সম্পর্কের বিষয়ে কাজ করেছেন।


11

ইমারম্যানের দুর্দান্ত চিত্রটিতে প্রাপ্ত সংখ্যার সংক্ষিপ্ত সংক্ষিপ্তসারগুলির সাথে পরিচিত নয় তাদের জন্য বর্ণনামূলক জটিলতার উপর একটি উইকিপিডিয়া নিবন্ধ রয়েছে । লিঙ্কগুলির সাথে একটি চিত্র থাকতে হবে, যাতে আপনি জটিলতা চিড়িয়াখানা এবং অন্যান্য উত্সগুলিতে সরাসরি সংজ্ঞাটি দেখতে পারেন। আমি সংশ্লিষ্ট আনুষ্ঠানিক ভাষা / ব্যাকরণগুলির সাথে সম্পর্কগুলি আরও ভালভাবে দেখতে চাই এবং যেখানে আপনি প্রমাণটি পেতে পারেন।

এটি কোনও উত্তর নয় তবে অ্যারনস উত্তরের একটি মন্তব্য, যা আমি কোনও কারণে মন্তব্য করতে পারি না।


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