Hardprob/Maximum Common Subgraph — различия между версиями

Версия 23:25, 17 апреля 2023

Графы G₁=(V₁,E₁) и G₂=(V₂,E₂).
Найти общий подграф, т.е. подмножества E₁^{'^{⊆ E₁</em> и E₂^{'^{⊆ E₂</em>, такие, что два подграфа и изоморфны.}}}}

Максимизировать размер общего подграфа, т.е. |E'|.

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

Задача в базе NP-полных задач Вигго Кана

Код задачи в книге «ГД» → «GT49»

@@ Строка 1: / Строка 1: @@
 <!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} -->
-* Графы <em>G<sub>1</sub>=(V<sub>1</sub>,E<sub>1</sub>)</em> и <m>G_2=\left(V_2,E_2\right)</m>.
+* Графы <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'|</em>.