নিম্নলিখিত প্রশ্নটি জটিলতা তত্ত্বের প্রয়োগ ক্রিপ্টোগ্রাফি থেকে ধারণাগুলি ব্যবহার করে। এটি বলেছিল, এটি একটি সম্পূর্ণ জটিলতা-তাত্ত্বিক প্রশ্ন এবং এর উত্তর দেওয়ার জন্য কোনও ক্রিপ্টো জ্ঞান নেই।
আমি ইচ্ছাকৃতভাবে এই প্রশ্নটি খুব অনানুষ্ঠানিকভাবে লিখি। বিশদের অভাবে, এটি সম্ভবত কিছুটা ভুলভাবে বলা হয়েছে। আপনার উত্তরের সংশোধন নির্দ্বিধায় নির্দ্বিধায় দয়া করে।
নিম্নলিখিত কাগজপত্রে:
ননমেলেবল ক্রিপ্টোগ্রাফি, ড্যানি ডোলেভ, সিন্থিয়া ডক্কর এবং মনি নাওর, সিয়াম রেভ 45, 727 (2003), ডিওআই: 10.1137 / এস 0036144503429856 ,
লেখকরা লিখেছেন:
ধরুন, গবেষক এ একটি প্রমাণ পেয়েছেন যে পি ≠ এনপি এবং এই সত্যটি অধ্যাপক বি-এর কাছে জানাতে চান, মনে করুন, নিজেকে রক্ষা করার জন্য, এ বি -এর কাছে শূন্য-জ্ঞানের ফ্যাশনে তার দাবি প্রমাণ করেছে ...
সন্তুষ্টিযোগ্যতা (স্যাট), গ্রাফ-হ্যামিলটোনসিটি এবং গ্রাফ -3-কলরেবিলিটি (জি 3 সি) এর মতো বেশ কয়েকটি মানক এনপি-সম্পূর্ণ সমস্যা রয়েছে যার জন্য শূন্য-জ্ঞানের প্রমাণ রয়েছে। কোনও এনপি-উপপাদ্য প্রমাণ করার স্ট্যান্ডার্ড উপায় হ'ল প্রথমে এটি উল্লিখিত এনপি-সম্পূর্ণ সমস্যার একটি উদাহরণে হ্রাস করা এবং তারপরে শূন্য-জ্ঞান প্রমাণ পরিচালনা করা।
এই প্রশ্নটি এ জাতীয় হ্রাস সম্পর্কিত। ধরে নিন যে পি বনাম এনপি নীচের যে কোনও উপায়ে নিষ্পত্তি হয়েছে:
- পি = এনপি
- পি ≠ এনপি
- পি বনাম এনপি স্ট্যান্ডার্ড অ্যাকিয়োমেটিক সেট তত্ত্বের থেকে পৃথক।
আসুন প্রমাণ দিন। তারপরে, পি বনাম এনপি একটি এনপি ভাষায় রয়েছে (যেহেতু এটির জন্য একটি ছোট প্রমাণ উপস্থিত রয়েছে)। উপপাদ্য থেকে হ্রাস (বলুন, পি ≠ এনপি) এনপি-সম্পূর্ণ সমস্যার (স্যাট বলুন) to এর থেকে পৃথক σ এটাই:
There exists a formula ϕ which is satisfiable if and only if P ≠ NP.
এটা আমার কল্পনার বাইরেও! দেখে মনে হচ্ছে, এমনকি যদি আমাদের প্রমাণ দেওয়া হয় σ, তবে আমরা এই জাতীয় সূত্রটি তৈরি করতে পারি না ϕ
কেউ কি এই বিষয়ে কিছু আলোকপাত করতে পারে?
এছাড়াও, এলকে একটি এনপি ভাষা হতে দিন যাতে পি বনাম এনপি মিথ্যা বলে। ভাষাটি অনিয়মিত আকারের পি বনাম এনপি এর মতো অনেক উপপাদ্য নিয়ে গঠিত ।
এল এর প্রার্থী কী?
এল কি এনপি-সম্পূর্ণ হতে পারে?