Я стверджую, що для "природної булевої CSP", якщо k- обмежена версія знаходиться в P для кожного k , то необмежена версія також є в P. Я нижче визначу "природну булеву CSP".
Теорема Шефера стверджує, що булева CSP на скінченному множині відношень S знаходиться в P, якщо виконується хоча б одна з наступних умов, і вона NP-повна, якщо жодна з них не виконується:
- Кожне відношення в S (крім постійної 0) задовольняється шляхом присвоєння 1 усім його змінним.
- Кожне відношення в S (крім постійної 0) задовольняється присвоєнням 0 всім його змінним.
- Кожне відношення в S еквівалентно формулі 2-CNF.
- Кожне відношення в S еквівалентно формулі Хорн-застереження.
- Кожне відношення в S еквівалентно формулі подвійного Хорна-клаузу. ("Формула" подвійний ріг-ріг "означає формулу CNF, де кожен пункт містить щонайменше один позитивний буквальний текст.)
- Кожне відношення в S еквівалентно сполученню афінних пропозицій.
Тепер припустимо, що P ≠ NP, і розглянемо випадок, коли S нескінченно. Якщо k- обмежена версія є в P для кожного k , то за теоремою Шефера, кожне кінцеве підмножина S задовольняє принаймні одній із шести вищезазначених умов, і це означає, що вся сукупність S задовольняє хоча б одній із шести умов. Чи означає це, що ця ДСП без обмеження артерії також є в P? Ще ні.
Коли S нескінченний, ми повинні вказати, як подано кожне застереження у вхідній формулі. Ми припускаємо , що існує деякий сюр'ектівное відображення з {0,1} * на S , який визначає кодування відносин в S . Булева CSP задається, надаючи і S, і цю функцію кодування.
Зауважте, що у кожному з вищезазначених випадків 3, 4, 5 та 6 існує природний спосіб представити відносини, що задовольняють умові: формула 2-CNF у випадку 3, формула клаузу Хорн у випадку 4 та інше. Навіть якщо відношення еквівалентно (скажімо) формулою 2-CNF, немає апріорної гарантії, що її кодування дає легкий доступ до еквівалентної їй формули 2-CNF.
Тепер ми говоримо, що булева CSP є природною, коли її функція кодування задовольняє наступному:
- З огляду на кодування відношення та призначення всіх його змінних, чи відповідає відношенню чи ні, можна обчислити за багаточлен. (Примітка. Це гарантує, що відповідна ДСП завжди знаходиться в НП.)
- Враховуючи кодування відношення, що задовольняє умовам 3, 4, 5 або 6, його природне подання, як зазначено вище, можна обчислити в поліноміальний час.
Тоді легко зрозуміти, що якщо S задовольняє одній із шести вищезазначених умов, а кодування для S задовольняє цій умові "природності", тоді ми можемо застосувати відповідний алгоритм. Твердження, яке я висловив на початку, можна довести, розглядаючи як випадок P = NP, так і випадок P ≠ NP.