مشكلة الإرضاء 2 - ما إذا كانت مهمة الحقيقة الفريدة موجودة أم لا

Question

لدي مشكلة وهي امتداد لمشكلة 2 السبت. في مشكلة قياسية 2 SAT، يمكننا العثور على أي من مهام الحقيقة التي تعتمد على ترتيب القمم التي نختارها. أريد التحقق مما إذا كان هناك واحد واحدا واحدا واحدا فقط (أي مجموعة واحدة فقط) التي يكون التعبير مريض. يمكن أن يكون عدد الحرفيين 100000. طريقة واحدة هي العثور على جميع مهام الحقيقة المحتملة، ثم قارنها إذا كانت متميزة. لكن المشكلة هي لكل مقارنة، وسوف أضطر إلى مقارنة القيم 100000 (عدد من الحرفيين). هل هناك أي طريقة فعالة؟

Answer 1

يصف Feder (1994) خوارزمية لإدراج جميع الحلول بسرية بكفاءة لدورة إرضاء مكونة. وبعد هناك أيضا اقتباسات في مقال الخوارزميات لحساب عدد المهام، ولكن عليك فقط محاولة سرد تعيينين، والتي قد تكون أكثر كفاءة.