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

Материал из DISCOPAL
Версия от 12:30, 24 апреля 2023; StasFomin (обсуждение | вклад)

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

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

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

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

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

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