অনন্য স্যাট বনাম ঠিক

অনন্য SAT সুপরিচিত সমস্যা: একটি সিএনএফ সূত্র , ঠিক একটি মডেল রয়েছে তা কি সত্য ? $F$ $F$

আমি « অবিকল এস্যাট» সমস্যাটিতে আগ্রহী: একটি সিএনএফ সূত্র এবং একটি পূর্ণসংখ্যা দিয়েছি , কি ঠিক মডেল রেখেছেন ? $m$ $F$ $m>1$ $F$ $m$

উভয় সমস্যা একই দেখাচ্ছে। সুতরাং আমার প্রশ্নগুলি হ'ল:

1- «একদম -এস্যাট AT পলটাইম (একাধিক-এক বা টুরিং) অনন্য স্যাট-এর পক্ষে হ্রাসযোগ্য? $m$

2- আপনি কি বিষয়ে কোন রেফারেন্স জানেন?

আপনার উত্তরের জন্য ধন্যবাদ।

সংযোজন , ঠিক স্যাট এর জটিলতা সম্পর্কে প্রথম নিবন্ধগুলি : $m$

1- জ্যানোস সাইমন, এক ও অনেকের মধ্যে পার্থক্য সম্পর্কে, অটোমাতা, ভাষা এবং প্রোগ্রামিংয়ের চতুর্থ কলেজচর্চা কার্যক্রমে, 480-491, 1977।

2- ক্লাউস ডাব্লু ওয়াগনার, সংহত ইনপুট উপস্থাপনের সাথে সংযুক্ত সমস্যাগুলির জটিলতা, অ্যাক্টা ইনফরম্যাটিকা, 23, 325-356, 1986।

উভয় নিবন্ধে, অবিকল স্যাট ( ) কে সম্পূর্ণ (একাধিক-এক হ্রাসের আওতায় ) দেখানো হয়েছে , যেখানে শ্রেণি জটিলতা শ্রেণীর গণনা স্তরক্রম (সিএইচ) থেকে এসেছে। অনানুষ্ঠানিকভাবে, সব সমস্যার যা সিদ্ধান্ত নেওয়ার একটি প্রদত্ত উদাহরণস্বরূপ অন্তত আছে কিনা হিসাবে প্রকাশ করা যাবে অনেক বহুপদী আকার প্রমাণাদি (ক্লাস বর্গ সঙ্গে কাকতালীয়ভাবে পরিচিত )। বর্গ একটি বৈচিত্র হয় , যেখানে "ঠিক " অন্তত প্রতিস্থাপন " "। $m$ $m \geq 1$ $C=$ $C$ $C$ $m$ $C$ $PP$ $C=$ $C$ $m$ $m$

— রেভা জেভিয়ার ল্যাবউজ
সূত্র

এটি পলটাইম টিউরিং হ্রাসযোগ্য: একটি সমাধান সন্ধান করুন, এটি মুছে ফেলার একটি ধারা যুক্ত করুন এবং সূত্রটি অপ্রত্যাশিত না হওয়া পর্যন্ত পুনরাবৃত্তি করুন।

— কাভেহ

১. মেশিনটি সমাধানগুলির সংখ্যা বা এটির

চেয়ে বেশি সমাধানগুলি বলে দেবে। 2. আপনি সমাধানটি বর্ণনা করে সংযোগের অবহেলা যুক্ত করতে পারেন।

m

$m$

— কাভেহ

আপনি যদি পিপি এবং সমাধানের সংখ্যা গণনার মধ্যে সম্পর্ক জানেন না, তবে দয়া করে জটিলতা তত্ত্ব যেমন পাপাডিমিট্রিউতে একটি পাঠ্যপুস্তকটি পরীক্ষা করুন।

— Tsuyoshi Ito

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

— Tsuyoshi Ito

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

— সোসোশি ইটো

সাধারণ , ঠিক-এম-স্যাট ইউ-সাতের চেয়ে কঠোরতর (এইভাবে এটি হ্রাস করে না) যদি না পিএইচটি ধসে পড়ে। কারণটি হ'ল পিপি হ'ল-এম-স্যাট ক্যোরিটিফায়ার (অস্তিত্ব এম> (অ্যাসাইনমেন্টগুলির অর্ধেক) যেমন-এম-স্যাট) এর উপর দিয়ে অস্তিত্বমূলক কোয়ান্টিফায়ার ব্যবহার করে পাওয়া যায়, সুতরাং যদি এম-স্যাট কেতে থাকে ' পিএইচ এর স্তর, তারপরে পিপি (কে + 1) 'এর স্তরের স্তরে থাকে এবং তারপরে শ্রেণিবদ্ধতা ধসে যায় (যেহেতু পি ^ পিপিতে পিএইচ থাকে)। তবে ইউ-স্যাট স্পষ্টভাবে পিএইচ এর দ্বিতীয় স্তরে (আসলে ডিপি নামে একটি সাবক্লাসে)। $m$

অন্যদিকে, উপরে উল্লিখিত @ শুয়োশি হিসাবে, যদি বহুপদী হয়, তবে ঠিক-এম-স্যাট ইউ-সটের কাছে একাধিক পুনর্বারণযোগ্য। $m$

— নোয়াম
সূত্র

আপনার উত্তর করার জন্য আপনাকে ধন্যবাদ। 1) যদি

যথেষ্ট ছোট হয় (যেমন বহুমাত্রিকভাবে

আবদ্ধ থাকে তবে সূত্রের আকার) তবে অবিকল

স্যাট মার্কিন যুক্তরাষ্ট্রে হ্রাসযোগ্য। এছাড়াও, যদি

, ইনপুটটির অংশ হিসাবে, যথেষ্ট পরিমাণে বড় (অর্থাত্

) থাকে তবে ঠিক

স্যাট পি তে থাকে

কেন এটি

এর মাঝখানে এত কঠোর পরিবর্তন হবে ? 2) আপনি আপডেট পোস্ট সম্পর্কে কি মনে করেন? (কেন এটি সঠিক নয়?)

m

$m$

n

$n$

m

$m$

m

$m$

m = 2^{O (n)}

$m= 2^{O(n)}$

m

$m$

m

$m$

— জাভিয়ের ল্যাবউজ

বড় মিটার এখনও পি তে সমস্যা রাখেনা -স্যাট মানে না।

— নোট

ইনপুট অংশ।

নতুন ভেরিয়েবলগুলিপ্রবর্তন করা যাক,

। যাক

।

হিসাবে মডেলের ঠিক একই নম্বর আছে

আর

polynomially আকার আবদ্ধ হয়

। কেন এই উপসংহারে না যে মার্কিন রিডাকশন (মাধ্যমে

) ঝুলিতে?

m

$m$

m

$m$

y_{1}, y_{2} \dots y_{m}

$y_1,y_2 \cdots y_m$

F^{'} = F \land y_{1} \land y_{2} \land \dots \land y_{m}

$F'=F\land y_1 \land y_2 \land \cdots \land y_m$

F^{'}

$F'$

F

$F$

m

$m$

F^{'}

$F'$

F^{'}

$F'$

— জাভিয়ের ল্যাবউজ

এর আকার সূচকীয় হয়

(যদি

হয় সূচকীয় মধ্যে

, এইভাবে হ্রাস না সাধারণভাবে পলি-সময়)।

F^{'}

$F'$

F

$F$

m

$m$

| F |

$|F|$

— অপ্ট করুন