Hardprob/Minimum Separating Subdivision — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(Массовая правка: замена {{hard-problem-on-lab17|{{PAGENAME}}}} на {{hard-problem-on-lab17|{{PAGENAME}}}} <!-- * {{has-testdata-and-visualization}} --> <!-- * {{has-pyomo-model}} --> <!-- * {{has-npc-reduction}} --> <!-- * {{add-random-fuzzing-tests}} -->)
(Массовая правка: замена \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 \subseteq R_i</m>.
+
* Найти разделяющее подразделение, т.е. семейство из <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

  • Семейство непересекающихся полигонов .
  • Найти разделяющее подразделение, т.е. семейство из -полигонов , с попарно непересекающимися границами, такими, что для каждого , .
  • Минимизировать размер подразделения, т.е. полное число ребер в полигонах .

Задача в лаб22 (рид-онли просмотр)