Аноним

Минимальная бисекция: различия между версиями

Материал из WEGA
Строка 44: Строка 44:




В общем случае размер обеих сторон может изначально задаваться произвольным образом (они не обязательно должны быть равными); в этом случае входные условия содержат число k, а задача заключается в нахождении разреза <math>(S, \bar{S}) \;</math>, такого, что |S| = k. Можно также разделить граф на более чем два фрагмента равного размера – в этом случае входные данные содержат число <math>r \ge 2 \;</math> – или разделить граф на r фрагментов размерами <math>k_1,... , k_r \;</math>, где числа <math>k_i \;</math> заранее заданы во входных данных; и в том и в другом случае задача заключается в минимизации количества ребер между различными фрагментами.
В общем случае размер обеих сторон может изначально задаваться произвольным образом (они не обязательно должны быть равными); в этом случае входные условия содержат число k, а задача заключается в нахождении разреза <math>(S, \bar{S}) \;</math>, такого, что |S| = k. Можно также разделить граф на более чем два фрагмента равного размера – в этом случае входные данные содержат число <math>r \ge 2 \;</math> – или разделить граф на r фрагментов размерами <math>k_1, ..., k_r \;</math>, где числа <math>k_i \;</math> заранее заданы во входных данных; и в том и в другом случае задача заключается в минимизации количества ребер между различными фрагментами.




Задача 3. Заранее заданное разбиение
'''Задача 3. Заранее заданное разбиение'''


Дано: неориентированный граф G = (V, E) с неотрицательными весами ребер и целые числа k1, ... , kr, такие, что Pi ki = j Vj.
Дано: неориентированный граф G = (V, E) с неотрицательными весами ребер и целые числа <math>k_1, ..., k_r \;</math>, такие, что <math>\sum_i k_i = |V| \;</math>.


Требуется: найти разбиение V = V 1 • • • U Vr графа G с j V i j = ki для всех i, такое, что общий вес ребер, конечные точки которых принадлежат к разным множествам Vi, насколько возможно мал.
Требуется: найти разбиение <math>V = V_1 \cup ... \cup V_r \;</math> графа G с <math>|V_i| = k_i \;</math> для всех i, такое, что общий вес ребер, конечные точки которых принадлежат к разным множествам <math>V_i \;</math>, насколько возможно мал.


== Основные результаты ==
== Основные результаты ==
4431

правка