উত্তর: জানা নেই।
জিজ্ঞাসিত প্রশ্নগুলি প্রাকৃতিক, উন্মুক্ত এবং দৃশ্যত কঠিন; প্রশ্নটি এখন একটি সম্প্রদায়ের উইকি।
সংক্ষিপ্ত বিবরণ
প্রশ্নটি জটিলতা ক্লাসের অন্তর্গত ভাষা ভাষাগুলিকে পৃথক করে দুটি টি পরিপূরক সাবক্লাসে ট্যুরিং মেশিন (টিএম) সিদ্ধান্ত গ্রহণের মাধ্যমে এই ভাষাগুলি গ্রহণ করার চেষ্টা করে:
- জিনস্টিক ভাষা এবং টিএমএস (যেটি বৈধতা / বোঝার পক্ষে সম্ভব), বনাম
- ক্রিপ্টিক ভাষা এবং টিএম (যা বৈধতা / বোঝার পক্ষে অপরিবর্তনীয়)।
সংজ্ঞা: গনস্টিক বনাম ক্রিপ্টিক সংখ্যা, টিএম এবং ভাষা
অ্যাকিয়োম ফ্রেমওয়ার্ক পিএ এবং জেডএফসির মধ্যে , আমরা ক্রিপ্টিক টুরিং মেশিন এবং ভাষা থেকে জ্ঞানস্টিককে নিম্নরূপে পৃথক করি:
D0 আমরা যে একটি গণনীয় বাস্তব সংখ্যার হয় জ্ঞানবাদী iff এটা স্মৃতি একটি খালি নয় এমন সেটে যুক্ত করা হয়, প্রতিটি টি এম একটি সার্বজনীন টি এম উপর বৈধ কোড সমন্বয়ে গঠিত নম্বর, যেমন যে এর একটি সুনির্দিষ্ট তালিকা হিসাবে পিএ উল্লেখিত যে কোনো নির্ভুলতার জন্য ε > 0 একটি ইনপুট হিসাবে সরবরাহকৃত, প্রতিটি টি এম provably (ZFC মধ্যে) একটি আউটপুট নম্বর দিয়ে স্থগিত ণ provably যে (ZFC মধ্যে) সন্তুষ্ট r - ε < ণ < দ + + ε ।
মন্তব্য এটি জানা যায় যে কয়েকটি গণনাযোগ্য বাস্তব জ্ঞানীয় নয় (একটি নিখুঁত উদাহরণের জন্য দেখুন জেএফএফ-এর প্রশ্নের রাফেল রেটিজিগের উত্তর " সেখানে কি অ-গঠনমূলক অ্যালগরিদম অস্তিত্বের প্রমাণ আছে? ")। এই গণনাযোগ্য-এখনও-বিশ্রী নম্বরগুলির সাথে ঝাঁকুনি এড়াতে, এই বিধিনিষেধ আরোপ করা হয়েছে যে রানটাইম এক্সপোনারগুলি টিএম দ্বারা গণনাযোগ্য যা স্পষ্টভাবে পিএতে গণনা করা হয়েছে (জেডএফসিতে বর্ণিত টিএমএসের সাথে বিপরীত হিসাবে)। আরও আলোচনার জন্য বিভাগীয় সংজ্ঞা বিবেচনা করুন (নীচে) বিভাগটি দেখুন ।
এখন আমরা সংজ্ঞা চাইতে তোলা স্বজ্ঞা যে জটিলতা বর্গ একটি উপসেট রয়েছে রহস্যপূর্ণ ভাষায় যা না (জ্ঞানবাদী) রানটাইম এক্সপোনেন্ট কম-বাউন্ড provably নিয়োগ করা যেতে পারে।
সামনের দিকে তাকানোর জন্য, উপসংহার সংজ্ঞা ( ডি 5 ) একটি সাধারণভাবে ক্রিপ্টিক সিদ্ধান্ত টিএম এর ধারণাটি নির্দিষ্ট করে , যার সংজ্ঞাটি হ্রাসের অবকাশের দিকে দৃষ্টিভঙ্গি দ্বারা তৈরি করা হয়েছে যে (তুচ্ছভাবে) গুপ্ত গুণের গুপ্ত গণনাগুলি গণনাভিত্তিক অতিমাত্রায় এপি-কম্পিউটেশনকে আচ্ছাদন করে ing এই মূল সংজ্ঞাটির যুক্তি এবং উত্সগুলি পরে সংজ্ঞাযুক্ত বিবেচনার শিরোনামে আলোচনা করা হয়েছে - এবং টিমোথি চৌ, পিটার শোর, সাশো নিকোলভ এবং লুকা ট্রেভিসনের মন্তব্যগুলির অবদানের কৃতজ্ঞতা স্বীকার করা হয়েছে।
ডি 1 একটি টিউরিং মেশিন এম দিয়েছেন যা সমস্ত ইনপুট স্ট্রিংয়ের জন্য থামে, এমকে ক্রিপ্টিক বলা হয় যদি নীচের বিবৃতিটি কমপক্ষে একটি গনস্টিক আসল সংখ্যা জন্য না প্রমাণযোগ্য বা খণ্ডনযোগ্য নয় :
বিবৃতি: এম এর রানটাইম হ'ল ইনপুট দৈর্ঘ্যের ক্ষেত্রে n
ট্যুরিং মেশিনগুলি যা ক্রিপ্টিক নয় আমরা বলি গনস্টিক টিএম।
ডি 2 আমরা বলি যে একটি সিদ্ধান্ত ট্যুরিং মেশিন এম দক্ষ তবে যদি এটির জিনোস্টিক রানটাইম এক্সপোঞ্জার যে ভাষা এল গ্রহণ করে তা অন্য কোনও টিএম দ্বারা স্বীকৃত হয় না যা কোনও জিওস্টিক রানটাইম এক্সপোনেন্ট আর এর চেয়ে ছোট থাকে ।
ডি 3 আমরা বলি যে কোনও ভাষা এল ক্রিপ্টিক হয় যদি এটি (ক) কমপক্ষে একটি টিউরিং মেশিন এম দ্বারা গ্রহণ করা হয় তবে তা দক্ষ এবং ক্রিপ্টিক উভয়ই, এবং তদুপরি (খ) কোনও দক্ষ এবং জ্ঞানবাদী উভয়ই নয় এমন টিএম কার্যকরভাবে এলকে গ্রহণ করে TM
ডি 3 টি অন্যভাবে প্রকাশ করার জন্য , টিএমগুলি যে ভাষাটিকে সবচেয়ে দক্ষতার সাথে গ্রহণ করে তারা নিজেরাই গুপ্ত হয় যদি কোনও ভাষা হ'ল গুপ্তচর।
যে ভাষাগুলি ক্রিপ্টিক নয় আমরা সেগুলি জ্ঞানীয় ভাষা।
D4 আমরা বলি যে কোনও ক্রিপ্টিক টিএম হ'ল দৃ strongly ়ভাবে ক্রিপ্টিক হয় যদি ভাষা এটি গ্রহণ করে তবে তা ক্রিপ্টিক।
ডি 5 আমরা বলি যে একটি দৃ cry়ভাবে ক্রিপ্টিক টিএম যদি এটি দক্ষ হয় তবে তাত্ক্ষণিকভাবে ক্রিপ্টিক ।
ডি 5 কে অন্যভাবে প্রকাশ করার জন্য , প্রতিটি ক্রিপ্টিক ভাষাটি ক্যানোনিকালি ক্রিপ্টিক সিদ্ধান্ত টিএমগুলির একটি সেট দ্বারা গৃহীত হয়, যা সেই ভাষাটি মেনে নেয় সবচেয়ে দক্ষ সিদ্ধান্তের টিএম।
প্রশ্ন করা
নিম্নলিখিত অনুমান সি 0 প্রাকৃতিক এবং (আপাতদৃষ্টিতে) উন্মুক্ত:
সি0 জটিলতার ক্লাস পিতে কমপক্ষে একটি ক্রিপ্টিক ভাষা থাকে।
তিনটি প্রশ্ন জিজ্ঞাসা করা হয়, চতুর্থাংশ 1 - চতুর্থাংশ 3 , প্রথম যা:
প্রশ্ন 1 C0 অনুমানটি কি PA বা জেডএফসি থেকে স্বতন্ত্র?
সি0 সত্য বলে অনুমানের অধীনে - হয় জেডএফসিতে, অথবা জেডএফসির পরিপূরক স্বতন্ত্র স্বতন্ত্র হিসাবে - আরও দুটি প্রশ্ন প্রাকৃতিক:
প্রশ্ন 2 পি- তে কমপক্ষে একটি গুপ্ত ভাষাকে কী দৃ concrete ়ভাবে উপস্থাপিত করা যেতে পারে, অর্থাত্ কোনও নির্দিষ্ট দৈর্ঘ্য পর্যন্ত সমস্ত শব্দ অন্তর্ভুক্ত করে এমন একটি সীমাবদ্ধ বর্ণমালায় স্পষ্ট শব্দের অভিধান হিসাবে প্রদর্শিত হয়? যদি তাই হয় তবে এরকম একটি অভিধান প্রদর্শন করুন।
চতুর্থাংশ 3 যে একটি শারীরিক টুরিং মেশিন (বহুপদী সময়) যে সিদ্ধান্ত নেয় নির্মাণের জন্য একটি সক্রিয় বিবরণ হিসাবে হয়, অন্তত একটি canonically রহস্যপূর্ণ সিদ্ধান্ত এম মূর্তভাবে উপস্থাপন করা, এর অভিধানের সব কথায় ক্যান Q2 এর ? যদি তাই হয়, এই ধরনের একটি টুরিং মেশিন গঠন করা এবং এটির সাথে কম্পিউটিং দ্বারা, এর রহস্যপূর্ণ ভাষা অভিধান প্রদর্শন Q2 এর ।
সংজ্ঞা বিবেচনা
সংজ্ঞা D0 বোঝায় যে প্রতিটি জিনস্টিক আসল সংখ্যা গণনাযোগ্য, তবে এটি জানা যায় যে কয়েকটি গণনাযোগ্য আসল সংখ্যা জ্ঞানস্টিক নয় । উদাহরণের জন্য, উত্তর দেখুন MathOverflow দ্বারা মাইকেল Cadilhac এবং রায়ান উইলিয়ামস এবং এর TCS StackExchange দ্বারা রাফায়েল Reitzig । আরও সাধারণভাবে, সংজ্ঞা D0 – D5 নন-ননস্টিক রানটাইম এক্সপোস্ট্যান্সের উল্লেখগুলি বাদ দেওয়ার জন্য তৈরি করা হয়।
টিসিএস উইকিতে যেমন আলোচনা করা হয়েছে "পিতে কি বোঝা যায় না এমন ভাষাগুলি রয়েছে ? ," সংজ্ঞা D0 – D5 নিশ্চিত করে যে প্রতিটি ক্রিপ্টিক ভাষা কমপক্ষে একটি টিএম দ্বারা স্বীকৃত হয় যা তাত্পর্যপূর্ণ ক্রিপ্টিক is (এটিও লক্ষ করুন যে বর্তমান প্রশ্নে "ক্রিপ্টিক" শব্দটি উইকিতে ব্যবহৃত কম বর্ণনামূলক শব্দ "বোধগম্য" প্রতিস্থাপন করে)।
তদ্ব্যতীত - ডি 3 (ক ) এবং ডি 3 (বি) এর দৃষ্টিতে - কোনও গনস্টিক টিএম-তে কোনও স্পষ্টতই ক্রিপ্টিক টিএমের গণ্যগতভাবে তুচ্ছ হ্রাস নেই যা সম্ভবত একই ভাষাটিকে স্বীকৃতি দেয়। বিশেষ করে, থেকে D3 (ক) এবং D3 তে (খ) বাধাগ্রস্ত polylimiter হ্রাস কৌশল যে মন্তব্য রূপরেখা ছিল পিটার শোর , এবং Sasho Nikolov , এবং স্বাধীনভাবে দ্বারা লুকা Trevisan , এবং বাধা খুব polynomially clocked হ্রাস কৌশল টিমোথি চীনা , সমস্ত যার মধ্যে একইভাবে একটি গণনাভিত্তিক অতিশয় এপি-কম্পিউটিশন ওভারলেয় করে ক্রিপ্টিক গণনাগুলি মাস্ক করে ।
সাধারণভাবে, "জিনস্টিক" এবং "ক্রিপ্টিক" সংজ্ঞাগুলি ইচ্ছাকৃতভাবে সুর করা হয় যাতে গাণিতিকভাবে তুচ্ছ হ্রাসের বিষয়ে দৃust় হতে পারে (এবং এটি সম্পূর্ণভাবে সম্ভব যে এই সংজ্ঞাগুলির আরও টিউন করা পছন্দনীয় হতে পারে)।
পদ্ধতিগত বিবেচনা
ল্যান্স ফোর্টনোর পর্যালোচনা " জটিলতার তত্ত্বে অনুমানের স্বাধীনতা (বা অন্যথায়) প্রতিষ্ঠার জন্য জরিপ পদ্ধতি বনাম এনপি সমস্যার স্থিতি " জরিপ পদ্ধতি; বিশেষত কাঙ্ক্ষিত পরামর্শগুলি হ'ল ল্যান্স পর্যালোচনা করে যে পদ্ধতিগুলি Q1 এর উত্তর দিতে সহায়তা করতে পারে (বা না) ।
এটা আরও অনেক প্রশ্ন প্রাকৃতিক যে স্পষ্ট। উদাহরণস্বরূপ, হার্টম্যানিস-স্টার্নস কনজিউচার আমাদের জিজ্ঞাসা করতে অনুপ্রাণিত করে "ক্রিপ্টিক রিয়েল-টাইম মাল্টিট্যাপ টুরিং মেশিনের কি অস্তিত্ব আছে? তাদের অস্তিত্ব কি (বা না) পিএ বা জেডএফসি থেকে স্বতন্ত্র?"
জিলবার্গারের ধরণের বিবেচনা
যে ইভেন্টে Q1 এর উত্তর "হ্যাঁ" দিয়ে দেওয়া হয়, তারপরে সদস্যতা নির্ধারণ করে এমন Oracles পিএ বা জেডএফসির বাইরে উপস্থিত থাকে এবং অতএব আধুনিক জটিল তত্ত্বের একটি প্রয়োজনীয় উপাদানটি (বর্তমানে) কোনও আনুষ্ঠানিক ব্যবস্থার মধ্যে থাকতে পারে না বলে জানা যায় is যুক্তি।
এই ক্ষেত্রে জটিলতা তত্ত্বটি বেশিরভাগ গাণিতিক শাখাগুলি থেকে আলাদা, যেমন ডোরন জিলবার্গার তার সাম্প্রতিক " মতামত 125: এ যে উদ্বেগ প্রকাশ করেছেন : এখন অ্যালান টুরিং 100-বছর-বয়সী হয়ে উঠেছে , এখন সময় এসেছে তার অর্ন্তীয় অবদানগুলিকে নতুন করে দেখার , এটি প্রচুর ভাল করেছে তবে প্রচুর ক্ষতিকারকটি "যুক্তিযুক্তভাবে সু-প্রতিষ্ঠিত।
জিলবার্গারের উদ্বেগগুলি Z0 (! Q1 ) এবং&& (! C0 ) হিসাবে মাপদণ্ড হিসাবে সুস্পষ্ট রূপ নেয় যা নিম্নলিখিত মানদণ্ডের সমান:
জেড0: জিলবার্গারের সংবেদনশীলতা মাপদণ্ড জটিল শ্রেণীর পি এর সংজ্ঞাগুলিকে জিলবার্গার-বোধগম্য বলা হয় যদি পি এর সমস্ত ভাষা প্রমাণিতভাবে জ্ঞানীয় হয়।
জটিলতা ক্লাস পি সম্পর্কে স্টিফেন কুকের সংজ্ঞা জিলবার্গার-বোধগম্য কিনা তা বর্তমানে জানা যায়নি ।
উদ্দেশ্যমূলক বিবেচনা
"জ্ঞানীস্টিক" এবং "ক্রিপ্টিক" এর সংজ্ঞাগুলি নীচের মতো অনুমানগুলি (শেষ পর্যন্ত) সিদ্ধান্তের দিকে দৃষ্টিভঙ্গি দিয়ে তৈরি করা হয়েছে:
গ 1 আসুন এবং এন পি ' এর জ্ঞানবাদী বিধিনিষেধ হতে পি এবং এন পি রেস্প। তারপর পি ' ≠ এন পি ' পারেন পিএ বা ZFC মধ্যে প্রতিপাদ্য বা খণ্ডনীয় হয়।
সি 2 (পিএ বা জেডএফসিতে স্পষ্টভাবে প্রমাণিত)
পরিষ্কারভাবে সি 2 সি 1 , এবং বিপরীতভাবে এটি অনুমেয় যে (মেটা) উপপাদ্য সি 1 এর একটি প্রমাণ (শক্তিশালী) উপপাদ্য সি 2 এর প্রমাণের দিকে দিকনির্দেশ সরবরাহ করতে পারে ।
সামগ্রিক প্রেরণা হ'ল প্রত্যাশা / অন্তর্নিহিত / আশা যে জ্ঞানস্টিক এবং ক্রিপ্টিক টিএম এবং ভাষার মধ্যে কিছু সুসংগত পার্থক্যের জন্য, সি 1 এর প্রমাণ এবং সম্ভবত সি 2 আলোকিত করতে পারে - এবং এর সাথে তুলনামূলক ব্যবহারিক প্রভাবও থাকতে পারে - সম্ভবত সম্ভবত আরও শক্ত এবং গভীর প্রমাণ যে ।
জুরিস হার্টম্যানিস তদন্তের এই লাইনটিকে গুরুত্বের সাথে অনুসরণ করার জন্য প্রথম জটিল তাত্ত্বিকদের মধ্যে ছিলেন; উদাহরণস্বরূপ হার্টমানিসের মনোগ্রাফের ফিজিবল কম্পিউটেশন এবং প্রভিশনাল কমপ্লেক্সিটি প্রোপার্টি (1978) দেখুন।
নামকরণ বিবেচনা
অক্সফোর্ড ইংরেজি অভিধান (ওইডি) থেকে আমাদের কাছে রয়েছে:
জ্ঞানবাদী (বিশেষণ) জ্ঞান সংক্রান্ত; জ্ঞান ভিত্তিক; বুদ্ধিজীবী "এগুলি [সংখ্যা] একটি গুরুত্বপূর্ণ, জ্ঞানবাদী এবং অনুমানমূলকভাবে উপস্থিত রয়েছে, তবে অপারেটিভ পদ্ধতিতে নয়" "
cryptic (adj) তাত্ক্ষণিকভাবে বোধগম্য নয়; রহস্যময়, রহস্যময় "মানবজাতির পক্ষে কার্যকর বিধিগুলির পরিবর্তে, তারা [দার্শনিকরা] ক্রিটিক এবং অন্ধকারের বাক্যকে আবদ্ধ করে।"
স্পষ্টতই কোনও গাণিতিক পর্যালোচনা এর আগে "জ্ঞানস্টিক" শব্দটি কোনও অর্থে ব্যবহার করে নি। যাইহোক, মনোযোগ মার্কাস Kracht সাম্প্রতিক নিবন্ধ "টানা হয় মারেফাহ " ( দার্শনিক লজিক জার্নাল , MR2802332), যা OED অর্থে ব্যবহার করে।
স্পষ্টতই কোনও গাণিতিক পর্যালোচনা জটিলতার তত্ত্বের সাথে - এর প্রযুক্তিগত দিক থেকে "ক্রিপ্টিক" শব্দটি ব্যবহার করেন নি। যাইহোক, চার্লস এইচ বেনেটের " যৌক্তিক গভীরতা এবং শারীরিক জটিলতা " নিবন্ধটির দিকে দৃষ্টি আকর্ষণ করা হয়েছে ( ইউনিভার্সাল ট্যুরিং মেশিনে: একটি অর্ধ-শতাব্দী জরিপ , 1988) যা উত্তরণ সহ রয়েছে
কোনও বস্তুর সাথে যুক্ত অন্য ধরণের জটিলতা হ'ল অসুবিধা হ'ল বস্তুটিকে বোঝাতে একটি উপলব্ধিযোগ্য অনুমানের সন্ধান করা। এই ধরণের জটিলতাযুক্ত অবজেক্টগুলিকে "ক্রিপ্টিক" বলা যেতে পারে : অবজেক্টের জন্য কল্পনাযোগ্য উত্স খুঁজে পাওয়া কোনও ক্রিপ্টোগ্রাম সমাধান করার মতো।
স্বাভাবিকতা, খোলামেলাতা এবং অসুবিধা বিবেচনা করুন
এই প্রশ্নের স্বাভাবিকতা জুরিস হার্টম্যানিসের মনোগ্রাফের সম্ভাব্য গণনা এবং প্রাপ্য জটিল জটিলতা (১৯ 197৮) এর থিসিসকে চিত্রিত করে যে:
"অ্যালগরিদমের জটিলতা সম্পর্কে ফলাফলগুলি আমূলভাবে পরিবর্তিত হয় যদি আমরা কেবল গণনাগুলির বৈশিষ্ট্যগুলি বিবেচনা করি যা আনুষ্ঠানিকভাবে প্রমাণিত হতে পারে।"
এই প্রশ্নগুলির খোলামেলাতা এবং অসুবিধা ল্যান্স ফোর্টনউয়ের পর্যালোচনা " পি ভার্সাস এনপি সমস্যার অবস্থা " (২০০৯) এর সমাপ্তির সাথে বিস্তৃতভাবে ব্যঞ্জনবর্ণ যে:
"আমরা কেউই পি বনাম এনপি সমস্যাটি সত্যই বুঝতে পারি না, আমরা কেবল এই ক্রমবর্ধমান জটিল প্রশ্নের চারপাশে স্তরগুলি ছুলতে শুরু করেছি।"
উইকি গাইডেন্স
বিশেষত প্রশ্নগুলির সাথে সম্পর্কিত সংজ্ঞা সংশোধন এবং প্রমাণ কৌশলগুলি বিশেষত চাওয়া হয় Q1 – Q3 এবং হার্টম্যানিস-ধরণের অনুমান C1 – C2-কে বিস্তৃতভাবে আলোকিত ।