MAX-SAT: вероятностное округление/Задачи/не более половины скобок — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Массовая правка: замена :Нерешенные задачи на :Решенные задачи) |
||
| Строка 3: | Строка 3: | ||
* А менее половины скобок? | * А менее половины скобок? | ||
| − | [[Категория: | + | [[Категория:Решенные задачи]] |
Версия 15:19, 20 декабря 2017
Приведите пример задачи max-sat (невырожденный случай, т.е. КНФ для любого числа переменных, а не просто пустая формула), для которой на любом наборе переменных выполнено не более половины скобок.
- А менее половины скобок?