Hardprob/Maximum H-Matching — различия между версиями
Материал из 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 (обсуждение | вклад) (Массовая правка: замена PCRE <m>(\w)_(\w),\s*(\w)_(\w),\s*…\s*,\s*(\w)_(\w)<\/m> на <em>\1<sub>\2</sub>, \3<sub>\4</sub>, …, \5<sub>\6</sub></em>) |
||
(не показаны 3 промежуточные версии этого же участника) | |||
Строка 1: | Строка 1: | ||
− | Граф <m>G=\left(V_G, E_G\right)</m> и фиксированный граф <m>H=\left(V_H,E_H\right)</m>, | + | * Граф <m>G=\left(V_G, E_G\right)</m> и фиксированный граф <m>H=\left(V_H,E_H\right)</m>, с по крайней мере тремя вершинами в каком-нибудь связном компоненте. |
− | с по крайней мере тремя вершинами в каком-нибудь связном компоненте. | + | * Найти <em>H</em>-сочетание для <em>G</em>, т.е. коллекцию <em>G<sub>1</sub>, G<sub>2</sub>, …, G<sub>k</sub></em>, непересекающихся подграфов <em>G</em>, каждый из которых изоморфен <em>H</em>. |
− | + | * Максимизировать размерность <em>H</em>-сочетаний, т.е. число непересекающихся подграфов <em>G<sub>i</sub></em>. | |
− | Найти <em>H</em>-сочетание для <em>G</em>, т.е. коллекцию < | + | |
− | непересекающихся подграфов <em>G</em>, каждый из которых изоморфен <em>H</em>. | + | |
− | + | ||
− | Максимизировать размерность <em>H</em>-сочетаний, т.е. число непересекающихся подграфов < | + | |
---- | ---- |
Текущая версия на 22:58, 17 апреля 2023
- Граф и фиксированный граф , с по крайней мере тремя вершинами в каком-нибудь связном компоненте.
- Найти H-сочетание для G, т.е. коллекцию G1, G2, …, Gk, непересекающихся подграфов G, каждый из которых изоморфен H.
- Максимизировать размерность H-сочетаний, т.е. число непересекающихся подграфов Gi.
Задача в лаб22 (рид-онли просмотр)
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «GT12»