Hardprob/Maximum Common Subgraph — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Массовая правка: замена <m>G_2=\left(V_2,E_2\right)</m> на <em>G<sub>2</sub>=(V<sub>2</sub>,E<sub>2</sub>)</em>) |
StasFomin (обсуждение | вклад) (Массовая правка: замена <sup>'<sup> на <sup>'</sup>) |
||
Строка 1: | Строка 1: | ||
<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> | <!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> | ||
* Графы <em>G<sub>1</sub>=(V<sub>1</sub>,E<sub>1</sub>)</em> и <em>G<sub>2</sub>=(V<sub>2</sub>,E<sub>2</sub>)</em>. | * Графы <em>G<sub>1</sub>=(V<sub>1</sub>,E<sub>1</sub>)</em> и <em>G<sub>2</sub>=(V<sub>2</sub>,E<sub>2</sub>)</em>. | ||
− | * Найти общий подграф, т.е. подмножества <em>E<sub>1</sub><sup>'<sup> ⊆ E<sub>1</sub></em> и <em>E<sub>2</sub><sup>'<sup> ⊆ E<sub>2</sub></em>, такие, что два подграфа <m>G_1'=\left(V_1,{E_1}'\right)</m> и <m>G_2'=\left(V_2,{E_2}'\right)</m> изоморфны. | + | * Найти общий подграф, т.е. подмножества <em>E<sub>1</sub><sup>'</sup> ⊆ E<sub>1</sub></em> и <em>E<sub>2</sub><sup>'</sup> ⊆ E<sub>2</sub></em>, такие, что два подграфа <m>G_1'=\left(V_1,{E_1}'\right)</m> и <m>G_2'=\left(V_2,{E_2}'\right)</m> изоморфны. |
* Максимизировать размер общего подграфа, т.е. <em>|E'|</em>. | * Максимизировать размер общего подграфа, т.е. <em>|E'|</em>. | ||
Текущая версия на 23:30, 17 апреля 2023
- Графы G1=(V1,E1) и G2=(V2,E2).
- Найти общий подграф, т.е. подмножества E1' ⊆ E1 и E2' ⊆ E2, такие, что два подграфа и изоморфны.
- Максимизировать размер общего подграфа, т.е. |E'|.
Задача в лаб22 (рид-онли просмотр)
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «GT49»