Hardprob/Minimum Test Collection — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Массовая правка: замена \subseteq на ⊆) |
StasFomin (обсуждение | вклад) (Массовая правка: замена <m>\vert C'\vert</m> на <em>|C'|</em>) |
||
| Строка 3: | Строка 3: | ||
* Коллекция <em>C</em> подмножеств конечного множества <em>S</em>. | * Коллекция <em>C</em> подмножеств конечного множества <em>S</em>. | ||
* Найти подколлекцию <m>C'⊆ C</m>, такую, что для каждой пары различных элементов <m>x_1,x_2\in S</m>, есть некоторое множество <m>c\in C'</m>, которое содержит точно один элемент из этой пары. | * Найти подколлекцию <m>C'⊆ C</m>, такую, что для каждой пары различных элементов <m>x_1,x_2\in S</m>, есть некоторое множество <m>c\in C'</m>, которое содержит точно один элемент из этой пары. | ||
| − | * Минимизировать мощность этой подколлекции < | + | * Минимизировать мощность этой подколлекции <em>|C'|</em>. |
---- | ---- | ||
Версия 11:18, 17 апреля 2023
- Коллекция C подмножеств конечного множества S.
- Найти подколлекцию , такую, что для каждой пары различных элементов , есть некоторое множество , которое содержит точно один элемент из этой пары.
- Минимизировать мощность этой подколлекции |C'|.
Задача в лаб17 (рид-онли просмотр)
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «SP6»