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

Материал из 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}} -->)
(Массовая правка: замена <sup>'<sup> на <sup>'</sup>)
 
(не показано 5 промежуточных версий этого же участника)
Строка 1: Строка 1:
 
<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} -->
 
<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} -->
* Графы <m>G_1=\left(V_1,E_1\right)</m> и <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>.
* Найти общий порожденный подграф, т.е. подмножества <m>{V_1}'\subseteq V_1</m> и <m>{V_2}'\subseteq V_2</m>, такие, что два подграфа <m>G_1'</m>, порожденный <m>{V_1}'</m> и <m>G_2'</m>, порожденный <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>.
 
* Максимизировать размер общего подграфа, т.е. <m>\vert {V_1}'\vert</m>.
  

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

  • Графы G1=(V1,E1) и G2=(V2,E2).
  • Найти общий порожденный подграф, т.е. подмножества V1' ⊆ V1 и V2' ⊆ V2, такие, что два подграфа G1', порожденный и G2', порожденный изоморфны.
  • Максимизировать размер общего подграфа, т.е. .

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