MAX-SAT: вероятностное округление/Задачи/eupce-6-1-a — история изменений

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

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

  • (текущ. | пред.) 15:05, 18 мая 2023‎ StasFomin (обсуждение | вклад)‎ . . (592 байта) (+592)‎ . . (Новая страница: «{{проверено|}} <!-- Probability and Computing --> Рассмотрим K-ESAT, SAT, когда в каждой скобке ровно k литерало…»)
Источник — «https://discopal.ispras.ru/MAX-SAT:_вероятностное_округление/Задачи/eupce-6-1-a»