MAXimal

���������: 10 Jun 2008 22:54
�������������: 10 Jun 2008 22:55

���������� [������]

���������� ������ � �����, � ������� � ������� ����� ������� ����������� � ������������ �������� ������

����� ��� ���� G, � ������� ��� ������� ����� ������ ���������� ����������� (������������� �������� ������ ����� ����� �����) ������� � ����������� �������� ������, ������� ������ ��������� �� ����� �����.

����� �� ���������� ��� ������: 1) ��������� ����� ������������ �����, ��������������� ���� ������������, � 2) ��������� ����� ����������� �����, ��������������� ���� ������������.

������� ������ 1

��������� ����� Li ����������� �������� ������, ������� ����� ��������� �� i-�� �����, � ����� Ri - ��� ������������ ��������.

��������� � ����� ��������� ���������. ������� ����� ����� S' � ���� T'. ���������� ��� ����, � ������� Li ������� �� ����. ����� i - ����� ������ �����. ����� ����� ����� ����� (����������������) - ��� ������� Ai � Bi. ������� ����� (S', Bi), � �������� L = 0, R = Li, ������� ����� (Ai, T'), � �������� L = 0, R = Li, � � ������ i-�� ����� ������� Ri = Ri - Li, � Li = 0. �������, ������� � ���� ����� �� T � S (������ ����� � ������), � �������� L = 0, R = INF.

����� ���������� ���� �������������� ��� ���� ����� ����� ����� Li = 0, �.�. �� ����� ��� ������ � ������� ������ ���������� ������������� ������ (�� ��� � ���������������� ����� � ������ ������� � ������) (����� ������, ������ ������ ������������� - ������� ������������� ����������).

������������ ���� �������������� ������ �������. ������������ ���������� �����. ������ �����, � �������� Li ������� �� ����, �� �������� �� ��� �����: ���� � ���������� ������������ Li, � ������ - � Ri-Li. ��� ��������� ����� �����, ������� �� ����������� ������� ������ ����� �� ���� ���� (�.�. ����� ����� ����� ����� ������ ���� ����� Li); ������ ����� ��� ������� ������ - ����� ����� ���� ����� ���� �����, ���� �� �� �� ����������� ��� ���������� �����������. ����, ��� ��������� ����� ����� �����, ������� �� ����������� ������� ��������� ��������� ����. ���������� ������ ����� �����, � �������� ����� ��������: ������� � ��� ����� ����� �� ������ ������ S', ������� ����� �� ��� ������ � ����� T', ���� ����� ������, � �� ������� ����� T � ������� ������ S ������� ����� ����������� ���������� �����������. ����� ���������� �� ������������ ��� ����, ��� ��� ����� �������� - �� ����� ����� �������� Li ������ ������ (�� ��������� ��� � ������� ������ ������, ������� ����� �� ����� ����� ������ ���������� ������), � ������� � ���� ����� ����� �� Li ������ ������ (�� ������ ����� ���� ����� ������ � ����� ����). ����� �� ������ ������ ��������� �� ����� ����� �����, �������� �� ������� ����� T, �� ���� ��������� � ������ ����� S, ����� ����� �� ������ ����� �����, � ������� �������� � ������ ������ �����, � �������� � ����� ���� T'. �.�., ���� �� ����� � ���� ���������������� ����� ������������ ����� (� � ���� ������ ������ ���������� ������, �.�. ����� ���� �������� Li - ����� �������� ������ ����� ������, � ������ �������� �� ����������), �� �� ������������ ����� ����� � �������� �����, ������� ����� ������������� ��� ������������ ��������, �, ����������, ���� ������������ ���������.

������� ������ 2

�������, ��� �� ����� �� ������� ����� � ������ ����� � ���������� ������������ INF ��������� ���� ������ �����, �.�. ���������� ����������� ����� ����� ������ �� �������� ������� ������. ��� ���������� ������� �������� ���������� ����������� ����� ����� (�.�. INF) ������ ����� ����� �� ���������. ���� �� ����� ��������� ���������� �����������, �� �, ������� � ���������� �������, ����� ����������� � �������� ������� ������. �� ��� ������� ����� �������� �������� ������ ������ �������������, ����� ���������� ���������� ����������� (�� ����������� �������� ������ ����� ����). ��������, ����� ����� ��������� �������� ����� �� �������� INF, � ����� ����� � ���������� ��������, ��� ������� ��� ����������� ��� ����� ���������������, �� ������ ����� ����� ����� ����������� ��������.