2-CNF বা 2-SAT- এ স্পষ্টত বৈশিষ্ট্য


12

কীভাবে কেউ দেখায় যে একটি নির্দিষ্ট সম্পত্তি 2-CNF (2-SAT) এ প্রকাশ করা যায় না? এমন কোনও গেমস রয়েছে, যেমন নুড়ি খেলা? দেখে মনে হচ্ছে ক্লাসিকাল কালো নুড়ি খেলা এবং কালো-সাদা নুড়ি খেলাটি এর জন্য অনুপযুক্ত (তারা পিএসপিএসিই সম্পূর্ণ, হার্টেল এবং পিটাসি অনুসারে, কম্পিউটারের সিয়াম জেএম, ২০১০)।

বা গেম ছাড়া অন্য কোন কৌশল?

সম্পাদনা : আমি এমন বৈশিষ্ট্যগুলির কথা ভাবছিলাম যা কোনও অজানা শিকারীর গণনা (বা কার্ডিনালিটি) জড়িত ( এসও প্রিকেট, যেমন সীমাবদ্ধ মডেল তাত্ত্বিকরা বলবেন)। উদাহরণস্বরূপ, যেমন চক্র বা অপরিচ্ছন্ন ম্যাচিংয়ের মতো। (ক) চক্র : প্রদত্ত গ্রাফ জি তে এমন একটি চক্র রয়েছে যে | সি | কিছু প্রদত্ত নম্বর কে ? (খ) মেলা : একটি মেলা এমজি যেমন যে | এম | কে ?CG|C|K MG|M|K

2-স্যাট গণনা করা যাবে? এটির একটি গণনা প্রক্রিয়া আছে? সন্দেহজনক মনে হয়।


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

@ মারজিও কিছু প্রমাণের মতো বলে মনে হচ্ছে যে সমস্ত বুলিয়ান ফাংশন 2CNF- তে প্রকাশযোগ্য নয় কারণ আপনি এই প্রশ্নের উত্তরটি দেবেন (আসলে এটি সম্পর্কে নিশ্চিত নয়, এটিকে সুস্পষ্ট হিসাবে দেখবেন না)। কী প্রমাণ? এটি কোথাও প্রকাশিত হয়?
vzn

5
@vzn: একটি তুচ্ছ বুলিয়ান ফাংশন যা 2-সিএনএফ-তে প্রকাশযোগ্য নয়: (x1x2x3)
মারজিও ডি বিয়াসি

2
@ সমীরগুপ্ত: সংস্কারের পরে প্রশ্নটি কঠিন হয়ে পড়ে :-); প্রকৃতপক্ষে , যেখানে φ দুটি ভেরিয়েবল সঙ্গে ক্লজ সীমাবদ্ধ (এসও-Krom) যেমনটি উপরে স্ট্রাকচার আদেশ NL, যখন অস্তিত্ববাদের তাই যেমনটি দ্বারা NP। স্পষ্টতই FO 2-SAT এর মধ্যে সীমাবদ্ধ গণনা করা যায় না (এবং এহরনফুচ্ট – ফ্রেসï গেম বা কমপ্যাক্টনেস কৌশলগুলি যথেষ্ট পরিমাণে যথেষ্ট, কারণ আপনি এগুলি ব্যবহার করতে পারেন তা প্রমাণ করার জন্য যে প্যারিটি FO নির্ধারণযোগ্য নয়)।P1...Pnz¯φ(P1,...,Pn,z¯)φ
মারজিও ডি বায়াসি

1
ঠিক আছে. কিছু সাধারণ তত্ত্ব আছে বলে মনে হয় যে এস্যাট ধ্রুবক কে জন্য সমস্ত বুলিয়ান ফাংশন প্রকাশ করতে পারে না । তত্ত্বটি কী? এই প্রশ্নটি বিশেষ কে কে = 2 সম্পর্কে জিজ্ঞাসা করে । দ্রষ্টব্য যে সিসিটিন রূপান্তর মাধ্যমে এন - এস্যাটকে 3-স্যাট-তে "হ্রাস" করার একটি ধারণা রয়েছে । মনোোটোন সার্কিট লোয়ার বাউন্ডস প্রুফ (রাজবরোভ) এ একইরকম ধারণাটি দেখা গেছে seen kkk=2n
vzn

উত্তর:


19

বিটভেেক্টরগুলির একটি পরিবার হ'ল 2-স্যাট সমস্যার সমাধানের শ্রেণি যদি হয় এবং কেবল যদি এর মাঝারি সম্পত্তি থাকে: আপনি যদি কোনও তিনটি সমাধানে বিটওয়াইজ সংখ্যাগরিষ্ঠ ফাংশনটি প্রয়োগ করেন তবে আপনি অন্য সমাধান পান। যেমন https://en.wikedia.org/wiki/Median_ographic#2- সন্তোষজনকতা এবং এর উল্লেখগুলি দেখুন। সুতরাং যদি আপনি তিনটি সমাধান খুঁজে পেতে পারেন যার জন্য এটি সত্য নয় তবে আপনি জানেন যে এটি 2-সিএনএফ-তে প্রকাশ করা যায় না।


ডেভিড, ধন্যবাদ, এটি সন্ধান করবে। @vzn - ডেভিডের উত্তর কি 2 দিনের আগে আপনি চ্যাট সাইটে মন্তব্য করেছিলেন, যে বিট ভেক্টরগুলির সমস্ত সেটগুলির জন্য 3 এসএটি সূত্র বিদ্যমান এবং বিট-ভেক্টর সেটগুলি সম্পর্কে 2 স্যাট সূত্রের ফলাফল অনুসন্ধান করছে তার সাথে কি সম্পর্কিত?
সমীর গুপ্ত

ডেভিড, ইউভাল - কেউ যদি একই ভেরিয়েবলের সেট ব্যবহার করে তবে অবশ্যই আপনার প্রমাণগুলি কাজ করবে। তবে কী ব্যবহৃত যদি ভেরিয়েবলের সেটটি সম্পূর্ণ আলাদা হতে পারে? মার্টিন সিমুরের উত্তরটি এখানে দেখুন: cstheory.stackexchange.com/questions/200/… - কে-ক্লিক বা কে-ম্যাচিং থেকে 2SAT- তে কোনও সমান-সন্তোষজনক হ্রাস (পছন্দমত লগস্পেস) নেই তা দেখানোর জন্য আলাদা প্রমাণের প্রয়োজন হবে । থটস?
সমীর গুপ্ত

1
সহায়ক ভেরিয়েবলগুলি যুক্ত করা এবং তারপরে তাদের প্রজেক্ট করা কোনও উপকারে আসবে না, কারণ যদি ভেরিয়েবলগুলির বর্ধিত সিস্টেমের জন্য মাঝারি সম্পত্তিটি সত্য হয় তবে এটি প্রক্ষেপণে এখনও সত্য।
ডেভিড এপস্টিন

4
এটা বলতে আরেকটা যে-উপায়ে মধ্যমা (অথবা সংখ্যাগরিষ্ঠ) একটি হল পলিমরফিজম 2SAT সীমাবদ্ধতার জন্য। প্রকৃতপক্ষে, এটি জানা যায় যে কোনও সিএসপি (এমনকি নন-বুলিয়ান) পলিমারফিজম হিসাবে সংখ্যাগরিষ্ঠ রয়েছে (ডালমাউ-ক্রোখিন '08)। NLP
অর্ণব

10

যাক উপর একটি সম্পত্তি হতে এন ভেরিয়েবল। ধরুন একটি 2CNF সূত্র নেই φ ( এক্স 1 , ... , x এর এন , Y 1 , ... , Y মিটার ) যেমন যে পি ( এক্স 1 , ... , x এন ) Y 1Y মিটার φ ( এক্স 1P(x1,,xn)nφ(x1,,xn,y1,,ym) আমরা দাবি করি যে φ 2CNF সূত্রের সমতুল্য ψ কেবলমাত্র x 1 , , x n জড়িত। এই প্রমাণ করার জন্য, এটা নিষ্কাশন কিভাবে দেখানোর জন্য যথেষ্ট Y মিটার । লিখুন φ = χ এস কে = 1 ( ওয়াই এমইউ কে ) টি =

P(x1,,xn)y1ymφ(x1,,xn,y1,,ym).
φψx1,,xnym যেখানেইউk,ভীলিটারেল, আরχসঙ্গে যুক্ত নয়Yমিটার। সূত্রφসমতূল্য χ( ¯ Y মিটার গুলি = 1 ইউ)(Yমিটার টি = 1 ভী)
φ=χk=1s(ymUk)=1t(ym¯V),
Uk,Vχymφ যখন দাবিটি প্রমাণিত করে যখন y মি ইউনিট ধারাতে উপস্থিত না হয়; যদি এটি হয়, আমরা সরাসরি এটি নির্মূল করতে পারি।
χ(ym¯k=1sUk)(ym=1tV)χ(k=1sUk=1tV)χk=1s=1t(UkV)
ym

P(x1,,xn)ψ(x1,,xn)PPKKn


yiψx1x2xnϕ1ϕ2ϕ2

1
yiyi

5

L L

(হ্যাঁ, আমি জানি যে সংযোজন, গুণ এবং গণনা গণনা ফাংশন, তবে তাদের তাদের নিজ নিজ সমস্যার সিদ্ধান্ত সংস্করণে রূপান্তর করা সহজ))

LNLNLAC0AC0

(গ) সুতরাং গণনা করার জন্য , যদিও আপনি ২-সিএনএফ-তে সমতা প্রকাশ করতে অক্ষম হতে পারেন, (বি) এ বর্ণিত পদ্ধতিটি ব্যবহার করে, আপনি একটি সামঞ্জস্যযোগ্য 2-সিএনএফ এক্সপ্রেশন পেতে পারেন।

হ্যাঁ, 2-স্যাট গণনা করতে পারে

NL|M|NL


1
পুনরায় (সি), আপনি যদি আমার উত্তর বিশ্বাস করেন তবে একটি সমতুল্য 2-সিএনএফ এক্সপ্রেশনটিকে বোনাই ফাইড সমতুল্য 2-সিএনএফ এক্সপ্রেশনে রূপান্তর করা যেতে পারে।
যুবাল ফিল্মাস

  

আপনি আমার উত্তরটি পড়তে পারেন এবং নিজের জন্য দেখতে পারেন। মনে রাখবেন যে এই ক্ষেত্রে কোনও সময় / জায়গার সীমা নেই।
যুবাল ফিল্মাস

1
LAC0fxLf(x)

ϕxiϕxi 
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.