В настоящее время я заинтересован в получении (или построении) и изучении формул 3-CNF, которые являются неудовлетворительными и имеют минимальный размер. То есть они должны состоять из как можно меньшего числа предложений (предпочтительно m = 8) и как можно меньшего числа различных переменных (n = 4 или более), чтобы удаление хотя бы одного предложения сделало формулу выполнимой.
Более формально, любая квалифицирующая 3-CNF формула F должна удовлетворять следующим условиям:
- F неудовлетворителен
- F имеет минимальное количество (4+) различных переменных (или их отрицание)
- F имеет минимальное количество пунктов (8+)
- каждое собственное подмножество F является выполнимым (что позволяет удалить любое произвольное предложение или пункты).
- В F нет двух предложений, которые сводятся к предложению 2-CNF, например
(i, j, k) & (i, j, ~k)
, НЕ допускаются (они сокращаются до(i,j)
)
Например, при n = 4 существует много минимальных 8-пунктовых 3-CNF-формул, которые являются неудовлетворительными. Например, взглянув на 4-гиперкуб и попытавшись накрыть его ребрами (2-гранями), можно построить следующую неудовлетворительную формулу:
1. (~A, B, D)
2. (~B, C, D)
3. ( A, ~C D)
4. ( A, ~B, ~D)
5. ( B, ~C, ~D)
6. (~A, C, ~D)
7. ( A, B, C)
8. (~A, ~B, ~C)
Это квалифицируется как минимальная неудовлетворительная формула 3-CNF, потому что:
Это неудовлетворительно
- Пункты 1-3 эквивалентны:
D or A=B=C
- Пункты 4-6 эквивалентны:
~D or A=B=C
- Они подразумевают
A=B=C
, но согласно пунктам 7 и 8 это противоречие.
- Пункты 1-3 эквивалентны:
Есть только 4 различных переменных.
- Всего 8 пунктов.
- Удаление любого пункта делает его удовлетворительным.
- Никакие 2 предложения не сводятся к предложению 2-CNF.
Итак, я думаю, что мои общие вопросы приведены в порядке важности для меня:
Каковы некоторые другие маленькие минимальные формулы, которые удовлетворяют вышеуказанным условиям? (например, 4,5,6 переменных и 8,9,10 предложений)
Есть ли какая-то база данных или «атлас» таких минимальных формул?
Какие неслучайные алгоритмы существуют для их прямого построения, если таковые имеются?
Каковы некоторые характеристики этих формул? Могут ли они быть подсчитаны или оценены с учетом n (# переменных) и m (# предложений)?
Заранее благодарю за ваши ответы. Я приветствую любой ответ или комментарий.
Ответы:
Возьмите формулу в вашем примере, удалите предложение и добавьте следующие предложения:¬A∨¬B∨¬C 2
Вы получите минимальную неудовлетворительную формулу с , соблюдая условие 5.n=5 m=9
В общем, вы можете случайным образом выбрать пункт и разделить его на предложения:l1∨l2∨l3 2
л 2 ∨ л 3 ∨ ¬ vl1∨l2∨v
l2∨l3∨¬v
где это новая переменная. Каждый раз, когда вы делаете это, оба и увеличиваются на . Повторение этого процесса позволяет вам «растянуть» исходное неудовлетворенное ядро и получить минимальные неудовлетворительные формулы (соблюдая условие 5), у которых стремится к при (что довольно редко, как формулы с выполнимо с большой вероятностью).н м 1 р = мv n m 1 1nr=1r=mn 1 n r=1
источник
Я считаю, что условие № 5 на самом деле не выполняется в вашем примере и не может быть выполнено никогда.
Пусть следующие пункты эквивалентны:
Что позволит нам отобразить предложения A, B, C и D на новые переменные p, q, r и s в виде следующей таблицы истинности:
И теперь мы можем выразить предложения A, B, C и D через p, q, r и s:
Поскольку все пункты показаны и связаны с предложениями A, B, C и D. Тогда мы можем утверждать, что предложения p, q, r и s можно сократить до:
Что, очевидно, нарушает условие № 5.
Я хочу отметить, что даже в примере явно не показано, что есть 2 предложения, которые могут быть сокращены до 2-CNF, но неявно это имеет (например, (~ A, B, D) и (A, ~ B, ~ D)), вы, возможно, не сможете выразить 2-CNF с заданными переменными, но когда вы введете другое отображение для проблемы, вы сможете выразить их.
источник