2023-05-20 Разбор ошибок в вероятностном тестировании сведения 3SAT к Minimum Exact Cover
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
| (не показана одна промежуточная версия этого же участника) | |||
| Строка 1: | Строка 1: | ||
| − | Разбор ошибок в вероятностном тестировании сведения 3SAT к [[Hardprob/Minimum_Exact_Cover|Minimum Exact Cover]]. | + | Разбор ошибок в [[Участник:Анна_Савчук/Solutions/Pyomo/minimal-exact-cover|вероятностном тестировании]] сведения 3SAT к [[Hardprob/Minimum_Exact_Cover|Minimum Exact Cover]]. |
| − | [[File:2023-05-20 Разбор ошибок в вероятностном тестировании сведения 3SAT к Minimum Exact Cover_2023-05-20_11-22-57_image0.png]] | + | [[File:2023-05-20 Разбор ошибок в вероятностном тестировании сведения 3SAT к Minimum Exact Cover_2023-05-20_11-22-57_image0.png|640px]] |
TLDR: На самом деле, надо не забывать конвертировать решение ЦЛП для решенной задачи к True/False решениям о выполнимости 3SAT формулы. | TLDR: На самом деле, надо не забывать конвертировать решение ЦЛП для решенной задачи к True/False решениям о выполнимости 3SAT формулы. | ||
Текущая версия на 08:26, 20 мая 2023
Разбор ошибок в вероятностном тестировании сведения 3SAT к Minimum Exact Cover.
TLDR: На самом деле, надо не забывать конвертировать решение ЦЛП для решенной задачи к True/False решениям о выполнимости 3SAT формулы.