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

Текущая версия на 23:30, 17 апреля 2023

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

@@ Строка 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>V<sub>1</sub><sup>'<sup> ⊆ V<sub>1</sub></em> и <em>V<sub>2</sub><sup>'<sup> ⊆ V<sub>2</sub></em>, такие, что два подграфа <em>G<sub>1</sub>'</em>, порожденный <m>{V_1}'</m> и <em>G<sub>2</sub>'</em>, порожденный <m>{V_1}'</m> изоморфны.
+* Найти общий порожденный подграф, т.е. подмножества <em>V<sub>1</sub><sup>'</sup> ⊆ V<sub>1</sub></em> и <em>V<sub>2</sub><sup>'</sup> ⊆ V<sub>2</sub></em>, такие, что два подграфа <em>G<sub>1</sub>'</em>, порожденный <m>{V_1}'</m> и <em>G<sub>2</sub>'</em>, порожденный <m>{V_1}'</m> изоморфны.
 * Максимизировать размер общего подграфа, т.е. <m>\vert {V_1}'\vert</m>.