কী প্রমাণ রয়েছে ?

Question

কী প্রমাণ রয়েছে ?$coRP \neq NP$

$coRP$ হ'ল শ্রেণি, যার জন্য একটি সম্ভাব্য মেশিন বিদ্যমান যা সময়ে চলে এবং সর্বদা ভাষা সম্পর্কিত হ্যাঁ উত্তর দেয় এবং এমন একটি সম্ভাব্যতার কমপক্ষে অর্ধেক উত্তর নেই।

Comments

আমি মনে করি যে কিছুটা পটভূমি, বা কী গুগলিং আপ হয়েছে বা উভয়ই এই প্রশ্নটি আরও ভাল করে তুলবে।

— এভেজেনিজ থর্স্টেনসেন

$coR$ মেশিনের দ্বারা সমাধানযোগ্য সমস্যার পরিপূরক হিসাবে ভাষার পরিপূরক হিসাবে ?

— ড্যানিয়েল আপন

আমি মনে করি যে ক্লাসের এখন পুরানো নাম সিওআর হ'ল এখন কোআরপি।

— রবিন কোঠারি

বিভ্রান্তির জন্য দুঃখিত. আপডেট দেখুন।

— 10-10 এ গ্যাস্পার্স সার্জ করুন

Answer 1

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

Answer 2

যদি কোআর দ্বারা আপনার বোঝা যায় কোআরপি, তবে এটি অনেকের দ্বারা বিশ্বাস করা হয় যে পি = আরপি = কোআরপি = বিপিপি, এবং এটিও পি এনপি এর সমান নয়, সুতরাং কোআরপি এনপির সমান নয়।

আরও সরাসরি, এনপি যদি কোআরপির সমান হয়, তবে এটি কোএনপিতে অন্তর্ভুক্ত হত (যেহেতু কোএনপি কোএনপিতে থাকে)। তারপরে প্রতিসাম্য দ্বারা, এনপি = কোএনপি। এটি বোঝাবে যে বহুবচনীয় শ্রেণিবিন্যাস প্রথম স্তরে পতিত হয়। তবে এটি বহুলভাবে বিশ্বাস করা হয় যে বহুপদী শ্রেণিবিন্যাস অসীম।

Answer 3

কেবল একই বিষয়ের সদৃশ আলোচনা এড়াতে এটি পূর্ববর্তী প্রশ্নের সাথে খুব ঘনিষ্ঠভাবে জড়িত:

পি = আরপির জন্য নির্দিষ্ট কোন প্রমাণ রয়েছে?

সংক্ষেপে, পি = বিপিপি কঠোরতা অনুমানগুলি থেকে অনুসরণ করে এবং পি = বিপিপি পি = কোআরপি বোঝায়।