Hardprob/Minimum Separating Subdivision — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Массовая правка: замена {{hard-problem-on-lab17|{{PAGENAME}}}} на {{hard-problem-on-lab17|{{PAGENAME}}}} <!-- * {{has-testdata-and-visualization}} --> <!-- * {{has-pyomo-model}} --> <!-- * {{has-npc-reduction}} --> <!-- * {{add-random-fuzzing-tests}} -->) |
StasFomin (обсуждение | вклад) (Массовая правка: замена \subseteq на ⊆) |
||
| Строка 1: | Строка 1: | ||
<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> | <!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> | ||
* Семейство непересекающихся полигонов <m>P_1, \ldots, P_k</m>. | * Семейство непересекающихся полигонов <m>P_1, \ldots, P_k</m>. | ||
| − | * Найти разделяющее подразделение, т.е. семейство из <m>k</m>-полигонов <m>R_1, \ldots, R_k</m>, с попарно непересекающимися границами, такими, что для каждого <m>i</m>, <m>P_i | + | * Найти разделяющее подразделение, т.е. семейство из <m>k</m>-полигонов <m>R_1, \ldots, R_k</m>, с попарно непересекающимися границами, такими, что для каждого <m>i</m>, <m>P_i ⊆ R_i</m>. |
* Минимизировать размер подразделения, т.е. полное число ребер в полигонах <m>R_1, \ldots, R_k</m>. | * Минимизировать размер подразделения, т.е. полное число ребер в полигонах <m>R_1, \ldots, R_k</m>. | ||
Версия 11:08, 17 апреля 2023
- Семейство непересекающихся полигонов .
- Найти разделяющее подразделение, т.е. семейство из -полигонов , с попарно непересекающимися границами, такими, что для каждого , .
- Минимизировать размер подразделения, т.е. полное число ребер в полигонах .
Задача в лаб17 (рид-онли просмотр)