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