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

Ссылки сюда (11) →

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

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

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

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

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