পুনঃনির্মাণের পিছনে অন্তর্দৃষ্টি

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

প্রায়শই পুনরায় সংযোগটি তির্যককরণের সাথে তুলনা করে আসে, এটি এমন একটি পদ্ধতি যা গণনাযোগ্য সেট এবং অগণিত সেটগুলির মধ্যে পার্থক্য করতে সহায়তা করে। এটি একরকম আপেক্ষিকতা থেকে আসে যে বনাম প্রশ্নটি তির্যক দ্বারা সমাধান করা যায় না। আপেক্ষিকরণটি কেন তির্যককরণের অকেজো দেখায় এবং বাস্তবে অকেজো কেন এটি যদি অকেজো হয় তবে সত্যই আমি ধারণাটি দেখতে পাচ্ছি না। $P$ $NP$

প্রথমে ওরাকল টুরিং মেশিন পিছনে ধারণাটি খুব স্পষ্ট। যাইহোক, যখন এটি এবং to এ আসে অন্তর্দৃষ্টিটি অদৃশ্য হয়ে যায়। ওরাকল একটি ব্ল্যাকবক্স যা বিশেষ ভাষার জন্য ডিজাইন করা হয়েছে এবং ওরাকলের ইনপুটটির স্ট্রিংটি সময়ে ভাষায় রয়েছে কিনা এই প্রশ্নের উত্তর দেয় As সুতরাং টিএম এর মূলটি হল ওরাকল, অন্য সমস্ত কিছুই কম গুরুত্বপূর্ণ। এবং এর মধ্যে পার্থক্য কী , এমনকি উভয়টিতেই ওরাকল সময় 1 এ কাজ করে বলে মনে করে। $M^A$ $NP^A$ $P^A$ $P^A$ $NP^A$

শেষ জিনিসটি হ'ল ওরাকল এর অস্তিত্ব প্রমাণ করে যে । আমি বেশ কয়েকটি পাঠ্যপুস্তকে প্রমাণটি পেয়েছি এবং সেগুলির মধ্যে প্রমাণটি খুব অস্পষ্ট বলে মনে হচ্ছে। আমি সিপসার, অধ্যায় 9 দ্বারা "জটিলতার পরিচয়" ব্যবহার করার চেষ্টা করেছি । অনিচ্ছাকৃততা এবং সমস্ত সময়ের ওরাকল এর তালিকা তৈরির ধারণাটি পেলেন না । $B$ $P^B \neq NP^B$ $M_i$

এটি রিলেটিভেশন সম্পর্কে যা আমি জানি তা কমবেশি, আমি যদি কোনওভাবে বিষয়টিতে তার চিন্তাভাবনাগুলি ভাগ করে নেওয়ার সিদ্ধান্ত নেন তবে আমি প্রশংসা করব।

সংযোজন : পাঠ্যপুস্তকের একটিতে আমি ভাষার উদাহরণ খুঁজে পেয়েছি (গণনার জটিলতা: বোয়াজ বারাক সঞ্জীব অরোরা র একটি আধুনিক পদ্ধতি। উপপাদ্য 3.7। পৃষ্ঠা 74)। রাইটে un এটি অখণ্ড ভাষা। আমি বিশ্বাস করি (1,11,111,1111, ...) সবই । লেখক নিশ্চিত করেছেন যে এ জাতীয় ভাষা যা আমি বুঝতে পারছি না কেন, বি এর জন্য ওরাকল সময়ে সমস্ত কিছু সমাধান করতে পারে 1. কেন আমাদেরকে ওরাকল দিয়ে ননডেটেরিস্টেমিক টিএম দরকার। যদি এটি এর ভাল উদাহরণ না হয় তবে দয়া করে আপনার এমন একটি রাখুন যাতে এর অস্তিত্ব অনুমোদিত হয় । $NP^B$ $U_B=\left \{ 1^n:some \space string \space of \space length \space n \space is \space in \space B\right \}$ $U_B$ $NP^B$ $NP^B$ $NP^B$

— কম
সূত্র

P^{A}

$P^A$ এবং ভাষার শ্রেণি, তারা ট্যুরিং মেশিন নয়। আপনি বলছেন যে ওরাকলটি টিএম এর "মূল", তবে এটি অগত্যা সত্য নয়। উদাহরণস্বরূপ, যদি খালি ভাষা হয়?

N P^{A}

$NP^A$

A

$A$

— যুবাল ফিল্মাস

এটি খুব জটিল বিষয় সাধারণত স্নাতকদের জন্য এতটা নয়। একটি দিক হ'ল ওরাকলগুলি কিছুটা মডেল নির্ভর। অর্থাত্ ওরাকলগুলি তৈরির জন্য দৃ strictly়ভাবে সামঞ্জস্যপূর্ণ উপায় নেই। মৌলিক অনুভূতি যার এমন কোন "জাদু" সাবরুটিন সামর্থ্য (ওরাকল কর্তৃক প্রদত্ত) সঙ্গে তার একটি মেশিন যেমন যে মেশিন + + ওরাকল সবসময় মূল মেশিন হিসাবে কমপক্ষে শক্তিশালী, কিন্তু কখনও কখনও উল্লেখযোগ্যভাবে অধিক শক্তিশালী না ...

— vzn

সম্পর্কিত প্রশ্ন: cs.stackexchange.com/questions/1271/… , Tsuyoshi Ito এর দুর্দান্ত উত্তর সহ

— এ.সুলজ

আপনি কী জিজ্ঞাসা করছেন তা আমি নিশ্চিত নই। আপনি বিজিএস প্রমাণ সম্পর্কে বিভ্রান্ত বলে মনে করছেন এবং অন্যান্য প্রশ্নও জিজ্ঞাসা করেছেন। দয়া করে একটি একক কেন্দ্রিক প্রশ্ন জিজ্ঞাসা করুন। মনে রাখবেন যে এটি কোনও আলোচনা বোর্ড বা ফোরাম নয়, এটি একটি প্রশ্নোত্তর সাইট।

— কাভেহ

আপনি কি P ও NP কে পৃথককারী এমন ওরাকলটির অস্তিত্বের জন্য BGS প্রমাণের ব্যাখ্যা চাইছেন? আপনি কি পুনঃসংশ্লিষ্টকরণ এবং তির্যককরণের সম্পর্ক সম্পর্কে ব্যাখ্যা চাইছেন? (যদি তা হয় তবে লাইনের প্রশ্নে স্যুইশির জবাব কি আপনার প্রশ্নের জবাব দেয়? যদি না হয় তবে কেন তা ব্যাখ্যা করবেন না।)

— কাভেহ

আপনি সত্যিই কোনও প্রশ্ন জিজ্ঞাসা করেননি, তবে মনে হয় আপনি কোনও ভাষা অর্থ কী অর্থ এবং কী know । বর্গ কেবল সমস্ত ভাষা যে "দ্বারা NP সময়" এ নির্ধার্য হয়, সঙ্গে একটি টুরিং মেশিন দেওয়া হয় একটি ওরাকল হিসাবে। এই উপায়ে অ্যাক্সেস একটি অ-নির্ণায়ক টুরিং মেশিন , যা বহুপদী সময় রান। নির্ণায়ক সংস্করণ। $\rm{P}^A$ $\rm{NP}^A$ $A$ $\rm{NP}^A$ $A$ $A$ $\rm{P}^A$

— পল জিডি
সূত্র

উত্তরের জন্য আপনাকে অনেক ধন্যবাদ, আপনি কী উদাহরণ দিয়ে দিতে পারেন যে কীভাবে ওরাকল সহ এনটিএমের শক্তি আমাদেরকে ওরাকল দিয়ে ডিটিএম এর চেয়ে বেশি ভাষা চিনতে সহায়তা করে। বিজিএস প্রুফ এ জাতীয় ভাষা দেখায় তবে আমি তার প্রমাণ পাইনি।

— com

কখনও কখনও, ভাষা পরিবর্তে , আমি কিছু জটিল শ্রেণি পাই, উদাহরণস্বরূপ , এই ক্ষেত্রে এর অর্থ কী? আমরা নির্বাচন যে একটি দ্বারা NP-সম্পূর্ণ হবে? (আরও সাধারণভাবে, আমরা ক্লাস জন্য সম্পূর্ণ যে একটি ল্যাঙ্গেজ চয়ন করি )?

A

$A$

P^{N P}

$P^{NP}$

A

$A$

A

$A$

— ফাউজী হেগাব

হ্যাঁ, প্রকৃতপক্ষে একটি ওরাকল হিসাবে একটি দ্বারা NP-সম্পূর্ণ সমস্যা।

P^{N P}

$P^{NP}$

P

$P$

— পল জিডি