এই প্রশ্নের, একটি 3CNF সূত্র একটি CNF সূত্র যেখানে প্রতিটি দফা জড়িত মানে ঠিক তিন স্বতন্ত্র ভেরিয়েবল। ধ্রুব 0 0 s <1 এর জন্য, গ্যাপ -3 এস্যাট এস নিম্নলিখিত প্রতিশ্রুতি সমস্যা:
গ্যাপ -3 এসএটি এর
দৃষ্টান্ত : একটি 3 সিএনএফ সূত্র φ
হ্যাঁ-প্রতিশ্রুতি : satis সন্তোষজনক।
কোন-প্রতিশ্রুতি : কোন সত্য বরাদ্দকরণ চেয়ে বেশি সন্তুষ্ট গুলি φ ক্লজ ভগ্নাংশ।
উদযাপিত পিসিপি উপপাদ্য [AS98, ALMSS98] বর্ণনা করার সমতুল্য উপায়গুলির মধ্যে একটি হ'ল গ্যাপ -3 এস্যাট এস এনপি-সম্পূর্ণ এমন একটি ধ্রুবক 0 < s <1 উপস্থিত রয়েছে ।
আমরা বলি যে 3CNF সূত্রটি জোড় বি বিযুক্ত, যদি প্রতিটি জুটি পৃথক ভেরিয়েবলের সর্বাধিক বি ধারাতে উপস্থিত হয় । উদাহরণস্বরূপ, একটি 3CNF সূত্র ( x 1 ∨ x 2 ∨ x 4 ) ∧ (¬x 1 ∨¬x 3 ∨ x 4 ) ∧ ( x 1 ∨ x 3 ∨¬x 5 ) জোড়াযুক্ত 2- সীমাযুক্ত তবে জোড়াযুক্ত 1 নয় -বাউন্ডেড কারণ যেমন জোড়া ( x 1 , x 4 ) একাধিক ধারাতে উপস্থিত হয়।
প্রশ্ন । সেখানে ধ্রুবক অস্তিত্ব কি বি ∈ℕ, একটি > 0, এবং 0 < গুলি <1 যেমন যে শূন্যস্থান-3SAT গুলি দ্বারা NP-সম্পূর্ণ এমনকি একটি 3CNF সূত্র যা pairwise জন্য হয় বি -bounded এবং অন্তত নিয়ে গঠিত একটি 2 ক্লজ, যেখানে n হল ভেরিয়েবলের সংখ্যা?
জোড়যুক্ত সীমারেখা পরিষ্কারভাবে বোঝায় যে কেবল ও ( এন 2 ) ধারা রয়েছে। চতুর্ভুজগুলির সংখ্যার সাথে চতুর্ভুজ নিম্ন স্তরের সাথে একসাথে এটি মোটামুটি বলেছে যে স্বতন্ত্র ভেরিয়েবলের কোনও জুটি গড়ের তুলনায় উল্লেখযোগ্যভাবে বেশি ধারাতে উপস্থিত হয় না।
গ্যাপ -3 এসএটি-র জন্য, এটি স্পারস কেস শক্ত বলে জানা যায় : সেখানে একটি ধ্রুবক 0 < s <1 উপস্থিত থাকে যে 3 গিগাবাইট সূত্রের জন্য এমনকি গ্যাপ -3 এস্যাট এস এনপি-সম্পূর্ণ হয় যেখানে প্রতিটি পরিবর্তনশীল হ'ল পাঁচবার হয় [ফাই98]। অন্যদিকে, ঘন ক্ষেত্রেটি সহজ : ম্যাক্স -3 এসএটি 3 সিএনএফ সূত্রের জন্য একটি পিটিএএসকে Ω ( এন 3 ) স্বতন্ত্র ধারাগুলির (এ কে কে 99) স্বীকৃতি দেয় এবং অতএব এই ক্ষেত্রে গ্যাপ -3 এস্যাট এস প্রতিটি ধ্রুবক 0 এর জন্য পিতে থাকে < s <1। প্রশ্নটি এই দুটি মামলার মধ্যবর্তী সম্পর্কে জিজ্ঞাসা করে।
উপরের প্রশ্নটি মূলত কোয়ান্টাম কম্পিউটেশনাল জটিলতার একটি গবেষণায় উত্থিত হয়েছিল, আরও বিশেষত দ্বি-প্রবণ একত্রে ইন্টারঅ্যাকটিভ প্রুফ সিস্টেমের সাথে জড়িয়ে থাকা প্রভার ( এমআইপি * (২,১) সিস্টেম) সহ। তবে আমি মনে করি যে প্রশ্নটি তার নিজস্বভাবে আকর্ষণীয় হতে পারে।
রেফারেন্স
[AKK99] সঞ্জীব অরোরা, ডেভিড কার্গার এবং মারেক কার্পিনস্কি। এনপি-হার্ড সমস্যার ঘন উদাহরণের জন্য বহুপদী সময় আনুমানিক স্কিম। কম্পিউটার ও সিস্টেম সায়েন্সেস জার্নাল , 58 (1): 193–210, ফেব্রুয়ারী। 1999. http://dx.doi.org/10.1006/jcss.1998.1605
[ALMSS98] সঞ্জীব অরোরা, কার্স্টেন লুন্ড, রাজীব মোতওয়ানি, মধু সুদান এবং মারিও সেজেদী প্রমাণ যাচাইকরণ এবং আনুমানিক সমস্যাগুলির কঠোরতা। এসিএমের জার্নাল , 45 (3): 501–555, মে 1998. http://doi.acm.org/10.1145/278298.278306
[AS98] সঞ্জীব অরোরা এবং শমুয়েল সাফরা। প্রমাণগুলির সম্ভাব্যতা পরীক্ষা করা: এনপির একটি নতুন বৈশিষ্ট্য। এসিএমের জার্নাল , 45 (1): 70–122, জানুয়ারী 1998। http://doi.acm.org/10.1145/273865.273901
[Fei98] ইউরিয়েল ফিগ সেট কভার আনুমানিক জন্য ln n এর একটি প্রান্তিক । এসিএমের জার্নাল , 45 (4): 634–652, জুলাই 1998. http://doi.acm.org/10.1145/285055.285059