Bài toán tìm bộ ghép cực đại với trọng số cực đại trên đồ thị hai phía

Một phần của tài liệu Chuyên đề lí thuyết đồ thị (Trang 77 - 80)

ghép đầy đủ trọng số cực tiểu bằng thuật toán Hungari. Bài toán tìm bộ ghép cực đại với trọng số cực đại cũng có thể giải nhờ phương pháp Hungari bằng cách đổi dấu tất cả các phần tử ma trận chi phí (Nhờ nhận xét 1).

Khi cài đặt, ta có thể sửa lại đôi chút trong chương trình trên để giải bài toán tìm bộ ghép cực đại với trọng số cực đại. Cụ thể như sau:

Bước 1: Khởi tạo:

• M := ∅;

• Khởi tạo hai d∙y Fx và Fy thoả m∙n: ∀i, j: Fx[i] + Fy[j] ≥≥≥≥ c[i, j]; Chẳng hạn ta có thể đặt Fx[i] := Phần tử lớn nhất trên dòng i của ma trận C và đặt các Fy[j] := 0.

Bước 2: Với mọi đỉnh x*∈X, ta tìm cách ghép x* như sau:

Với cách hiểu 0_cạnh là cạnh thoả m∙n c[i, j] = Fx[i] + Fy[j]. Bắt đầu từ đỉnh x*, thử tìm đường mở bắt đầu ở x*. Có hai khả năng xảy ra:

• Hoặc tìm được đường mở thì dọc theo đường mở, ta loại bỏ những cạnh đ∙ ghép khỏi M và thêm vào M những cạnh chưa ghép.

• Hoặc không tìm được đường mở thì xác định được hai tập:

™ VisitedX = {Tập những X_đỉnh có thể đến được từ x* bằng một đường pha}

™ VisitedY = {Tập những Y_đỉnh có thể đến được từ x* bằng một đường pha}

™ Đặt ∆ := min{Fx[i] + Fy[j] - c[i, j]∀X[i] ∈ VisitedX; ∀Y[j] ∉ VisitedY}

™ Với ∀X[i] ∈ VisitedX: Fx[i] := Fx[i] -∆;

™ Với ∀Y[j] ∈ VisitedY: Fy[j] := Fy[j] +∆;

™ Lặp lại thủ tục tìm đường mở xuất phát tại x* cho tới khi tìm ra đường mở.

Bước 3: Sau bước 2 thì mọi X_đỉnh đều đ∙ ghép, ta được một bộ ghép đầy đủ k cạnh với trọng số lớn nhất.

Dễ dàng chứng minh được tính đúng đắn của phương pháp, bởi nếu ta đặt: c'[i, j] = - c[i, j]; F'x[i] := - Fx[i]; F'y[j] = - Fy[j].

Thì bài toán trở thành tìm cặp ghép đầy đủ trọng số cực tiểu trên đồ thị hai phía với ma trận trọng số c'[1..k, 1..k]. Bài toán này được giải quyết bằng cách tính hai d∙y đối ngẫu F'x và F'y. Từ đó bằng những biến đổi đại số cơ bản, ta có thể kiểm chứng được tính tương đương giữa các bước của phương pháp nêu trên với các bước của phương pháp Kuhn-Munkres ở mục trước.

Graph Theory Glossary

Chris Caldwell (C) 1995

This glossary is written to suplement the Interactive Tutorials in Graph Theory written using the Web

Tutor. Here we define the terms that we introduce in our tutorials--you may need to go to the library to

find the definitions of more advanced terms. Please let me know of any corrections or suggestion!

[ A BCD EFGH IJK LMNOPQ RSTUV WXY Z ]

adjacent

Two vertices are adjacent if they are connected by an edge.

arc

A synonym for edge. See graph.

articulation point

See cut vertices.

bipartite

A graph is bipartite if its vertices can be partitioned into two

disjoint subsets U and V such that each edge connects a vertex

from U to one from V. A bipartite graph is a complete bipartite

graph if every vertex in U is connected to every vertex in V. If

U has n elements and V has m, then we denote the resulting

complete bipartite graph by Kn,m. The illustration shows K3,3. See also

complete graph and cut vertices.

chromatic number

The chromatic number of a graph is the least number of colors it takes to color its vertices so that adjacent vertices have different colors. For example, this graph has chromatic number three.

When applied to a map this is the least number of colors so necessary that countries that share non-trivial borders (borders consisting of more than single points) have different colors. See the Four Color Theorem.

circuit

A circuit is a path which ends at the vertex it begins (so a loop is an circuit of length one).

complete graph

A complete graph with n vertices (denoted Kn) is a graph with n vertices in which each vertex is connected to each of the others (with one edge between

each pair of vertices). Here are the first five complete graphs:

component

See connected.

connected

A graph is connected if there is a path connecting every pair of vertices. A graph that is not

connected can be divided into connected components (disjoint connected subgraphs). For

example, this graph is made of three connected components.

cut vertex

A cut vertex is a vertex that if removed (along with all edges incident with it) produces a graph with more connected components than the original graph. See connected.

degree

The degree (or valence) of a vertex is the number of edge ends at that

vertex. For example, in this graph all of the vertices have degree three. In a digraph (directed graph) the degree is usually divided into the

in-degree and the out-degree (whose sum is the degree of the vertex in the underlying undirected graph).

digraph

A digraph (or a directed graph) is a graph in which the edges are directed. (Formally: a digraph is a

(usually finite) set of vertices V and set of ordered pairs (a,b) (where a, b are in V) called edges. The

vertex a is the initial vertex of the edge and b the

terminal vertex. directed graph

See digraph.

edge

See graph.

Four Color Theorem

Every planar graph can be colored using no more than four colors.

graph

Informally, a graph is a finite set of dots called vertices (or nodes) connected by links called edges (or arcs). More formally: a simple graph is a (usually

finite) set of vertices V and set of unordered pairs of distinct elements of V called edges.

Not all graphs are simple. Sometimes a pair of vertices are connected by multiple edge yielding a multigraph. At times vertices are even connected to themselves by a edge called a loop, yeilding a pseudograph. Finally, edges can also be given a direction yielding a directed graph (or digraph).

in-degree

The in-degree of a vertex v is the number of edges with v as their terminal vertex. See also digraph and degree.

initial vertex

See digraph.

isolated

A vertex of degree zero (with no edges connected) is isolated..

Kuratowski's Theorem

A graph is nonplanar if and only if it contains a subgraph homeomorphic to K3,3 or K5.

length

For the length of a path see path.

loop

A loop is an edge that connects a vertex to itself. (See the illustration for degree which has a graph with three loops.) See pseudograph for a formal definition of loop.

multigraph

Informally, a multigraph is a graph with multiple edges between the same vertices. Formally: a multigraph is a set V of vertices along, a set E of edges,

and a function f from E to {{u,v}|u,v in V; u,v distinct}. (The function f shows which vertices are connected by which edge.) The edges r and s are called

parallel or multiple edges if f(r)=f(s). See also graph and pseudograph.

multiple edge

See multigraph.

node

A synonym for vertex. See graph.

out-degree

The out-degree of a vertex v is the number of edges with v as their initial vertex. See also digraph and degree.

parallel edge

See multigraph.

path

A path is a sequence of consecutive edges in a graph and the length of the path is the number of edges traversed. (This illustration shows a path of length four.)

pendant

A vertex of degree one (with only one edge connected) is a pendant edge..

planar

A graph is planar if it can be drawn on a plane so that the edges intersect only at the vertices. (For example, of the five first complete graphs all but the fifth, K5, is planar.)

pseudograph

Informally, a pseudograph is a graph with multiple edges (or loops) between the same vertices (or the same vertex). Formally: a pseudograph is a set V

of vertices along, a set E of edges, and a function f from E to {{u,v}|u,v in V}. (The function f shows which vertices are connected by which edge.) An edge is a loop if f(e) = {u} for some vertex u in V. See also graph and multigraph.

terminal vertex

See digraph.

undirected edge

Edges in graphs are undirected (as opposed to those in digraphs).

valence

See degree.

vertex

See graph.

If you came to this page from a Web Tutor tutorial, use the back button on your browser to return.

[ UT Martin | Back Door | Quick Guide ]

Chris Caldwell caldwell@utm.edu

Một phần của tài liệu Chuyên đề lí thuyết đồ thị (Trang 77 - 80)

Tải bản đầy đủ (PDF)

(80 trang)