Вероятностное тестирование NPC-сведения

Материал из DISCOPAL
Версия от 20:24, 10 апреля 2023; StasFomin (обсуждение | вклад) (Новая страница: «В некоторых задачах сделано сведение NPC-задачи, обычно 3SAT, с иллюстрацией, но специально…»)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

В некоторых задачах сделано сведение NPC-задачи, обычно 3SAT, с иллюстрацией, но специально оставлена возможность доработки

  • Сделать генерацию случайных 3SAT-формул (или можно специально сложных 3SAT-формул, из криптографии или еще откуда).
  • Решать эти формулы параллельно через
    • PySAT
    • Показанное сведение 3SAT → задача → Pyomo → ЦЛП-солвер.
    • Сверять
  • В процессе можно найти ошибки в сведении, доработать и исправить его.

[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.

Источник — «https://discopal.ispras.ru/index.php?title=Вероятностное_тестирование_NPC-сведения&oldid=23472»