Вероятностное тестирование NPC-сведения — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «В некоторых задачах сделано сведение NPC-задачи, обычно 3SAT, с иллюстрацией, но специально…») |
(нет различий)
|
Версия 20:24, 10 апреля 2023
В некоторых задачах сделано сведение NPC-задачи, обычно 3SAT, с иллюстрацией, но специально оставлена возможность доработки
- Сделать генерацию случайных 3SAT-формул (или можно специально сложных 3SAT-формул, из криптографии или еще откуда).
- Решать эти формулы параллельно через
- PySAT
- Показанное сведение 3SAT → задача → Pyomo → ЦЛП-солвер.
- Сверять
- В процессе можно найти ошибки в сведении, доработать и исправить его.