Hardprob/Minimum 3-Dnf Satisfiability — история изменений

Материал из DISCOPAL
Перейти к: навигация, поиск

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Сравнить.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — незначительные изменения.

  • (текущ. | пред.) 15:36, 13 апреля 2023‎ StasFomin (обсуждение | вклад)‎ . . (861 байт) (+861)‎ . . (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Множество переменных <em>U</em>, * Коллекция <em>C</em> скоб…»)
Источник — «https://discopal.ispras.ru/Hardprob/Minimum_3-Dnf_Satisfiability»