]> git.proxmox.com Git - ceph.git/blame - ceph/src/boost/libs/graph_parallel/doc/html/boman_et_al_graph_coloring.html
bump version to 12.2.2-pve1
[ceph.git] / ceph / src / boost / libs / graph_parallel / doc / html / boman_et_al_graph_coloring.html
CommitLineData
7c673cae
FG
1<?xml version="1.0" encoding="utf-8" ?>
2<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
3<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
4<head>
5<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
6<meta name="generator" content="Docutils 0.6: http://docutils.sourceforge.net/" />
7<title>Parallel BGL Boman et al graph coloring</title>
8<link rel="stylesheet" href="../../../../rst.css" type="text/css" />
9</head>
10<body>
11<div class="document" id="logo-boman-et-al-graph-coloring">
12<h1 class="title"><a class="reference external" href="http://www.osl.iu.edu/research/pbgl"><img align="middle" alt="Parallel BGL" class="align-middle" src="pbgl-logo.png" /></a> Boman et al graph coloring</h1>
13
14<!-- Copyright (C) 2004-2008 The Trustees of Indiana University.
15Use, modification and distribution is subject to the Boost Software
16License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
17http://www.boost.org/LICENSE_1_0.txt) -->
18<pre class="literal-block">
19namespace graph {
20 template&lt;typename DistributedGraph, typename ColorMap&gt;
21 typename property_traits&lt;ColorMap&gt;::value_type
22 boman_et_al_graph_coloring
23 (const DistributedGraph&amp; g,
24 ColorMap color,
25 typename graph_traits&lt;DistributedGraph&gt;::vertices_size_type s = 100);
26
27 template&lt;typename DistributedGraph, typename ColorMap, typename ChooseColor&gt;
28 typename property_traits&lt;ColorMap&gt;::value_type
29 boman_et_al_graph_coloring
30 (const DistributedGraph&amp; g,
31 ColorMap color,
32 typename graph_traits&lt;DistributedGraph&gt;::vertices_size_type s,
33 ChooseColor choose_color);
34
35 template&lt;typename DistributedGraph, typename ColorMap, typename ChooseColor,
36 typename VertexOrdering&gt;
37 typename property_traits&lt;ColorMap&gt;::value_type
38 boman_et_al_graph_coloring
39 (const DistributedGraph&amp; g, ColorMap color,
40 typename graph_traits&lt;DistributedGraph&gt;::vertices_size_type s,
41 ChooseColor choose_color, VertexOrdering ordering);
42
43 template&lt;typename DistributedGraph, typename ColorMap, typename ChooseColor,
44 typename VertexOrdering, typename VertexIndexMap&gt;
45 typename property_traits&lt;ColorMap&gt;::value_type
46 boman_et_al_graph_coloring
47 (const DistributedGraph&amp; g,
48 ColorMap color,
49 typename graph_traits&lt;DistributedGraph&gt;::vertices_size_type s,
50 ChooseColor choose_color,
51 VertexOrdering ordering, VertexIndexMap vertex_index);
52}
53</pre>
54<p>The <tt class="docutils literal"><span class="pre">boman_et_al_graph_coloring</span></tt> function colors the vertices of an
55undirected, distributed graph such that no two adjacent vertices have
56the same color. All of the vertices of a given color form an
57independent set in the graph. Graph coloring has been used to solve
58various problems, including register allocation in compilers,
59optimization problems, and scheduling problems.</p>
60<img align="right" alt="Vertex coloring example" class="align-right" src="../vertex_coloring.png" style="width: 462px; height: 269px;" />
61<p>The problem of coloring a graph with the fewest possible number of
62colors is NP-complete, so many algorithms (including the one
63implemented here) are heuristic algorithms that try to minimize the
64number of colors but are not guaranteed to provide an optimal
65solution. This algorithm <a class="citation-reference" href="#bbc05" id="id1">[BBC05]</a> is similar to the
66<tt class="docutils literal"><span class="pre">sequential_vertex_coloring</span></tt> algorithm, that iterates through the
67vertices once and selects the lowest-numbered color that the current
68vertex can have. The coloring and the number of colors is therefore
69related to the ordering of the vertices in the sequential case.</p>
70<p>The distributed <tt class="docutils literal"><span class="pre">boman_et_al_graph_coloring</span></tt> algorithm will produce
71different colorings depending on the ordering and distribution of the
72vertices and the number of parallel processes cooperating to perform
73the coloring.</p>
74<p>The algorithm returns the number of colors <tt class="docutils literal"><span class="pre">num_colors</span></tt> used to
75color the graph.</p>
76<div class="contents topic" id="contents">
77<p class="topic-title first">Contents</p>
78<ul class="simple">
79<li><a class="reference internal" href="#where-defined" id="id2">Where Defined</a></li>
80<li><a class="reference internal" href="#parameters" id="id3">Parameters</a></li>
81<li><a class="reference internal" href="#complexity" id="id4">Complexity</a></li>
82<li><a class="reference internal" href="#performance" id="id5">Performance</a></li>
83</ul>
84</div>
85<div class="section" id="where-defined">
86<h1><a class="toc-backref" href="#id2">Where Defined</a></h1>
87<p>&lt;<tt class="docutils literal"><span class="pre">boost/graph/distributed/boman_et_al_graph_coloring.hpp</span></tt>&gt;</p>
88</div>
89<div class="section" id="parameters">
90<h1><a class="toc-backref" href="#id3">Parameters</a></h1>
91<dl class="docutils">
92<dt>IN: <tt class="docutils literal"><span class="pre">Graph&amp;</span> <span class="pre">g</span></tt></dt>
93<dd>The graph type must be a model of <a class="reference external" href="DistributedVertexListGraph.html">Distributed Vertex List Graph</a> and
94<a class="reference external" href="DistributedEdgeListGraph.html">Distributed Edge List Graph</a>.</dd>
95<dt>UTIL/OUT: <tt class="docutils literal"><span class="pre">ColorMap</span> <span class="pre">color</span></tt></dt>
96<dd>Stores the color of each vertex, which will be a value in the range
97[0, <tt class="docutils literal"><span class="pre">num_colors</span></tt>). The type <tt class="docutils literal"><span class="pre">ColorMap</span></tt> must model the
98<a class="reference external" href="http://www.boost.org/libs/property_map/ReadWritePropertyMap.html">Read/Write Property Map</a> concept and must be a <a class="reference external" href="distributed_property_map.html">distributed
99property map</a>.</dd>
100<dt>IN: <tt class="docutils literal"><span class="pre">vertices_size_type</span> <span class="pre">s</span></tt></dt>
101<dd><p class="first">The number of vertices to color within each superstep. After
102<tt class="docutils literal"><span class="pre">s</span></tt> vertices have been colored, the colors of boundary vertices
103will be sent to their out-of-process neighbors. Smaller values
104communicate more often but may reduce the risk of conflicts,
105whereas larger values do more work in between communication steps
106but may create many conflicts.</p>
107<p class="last"><strong>Default</strong>: 100</p>
108</dd>
109<dt>IN: <tt class="docutils literal"><span class="pre">ChooseColor</span> <span class="pre">choose_color</span></tt></dt>
110<dd><p class="first">A function object that chooses the color for a vertex given the
111colors of its neighbors. The function object will be passed a vector
112of values (<tt class="docutils literal"><span class="pre">marked</span></tt>) and a <tt class="docutils literal"><span class="pre">marked_true</span></tt> value, and should
113return a <tt class="docutils literal"><span class="pre">color</span></tt> value such that <tt class="docutils literal"><span class="pre">color</span> <span class="pre">&gt;=</span> <span class="pre">marked.size()</span></tt> or
114<tt class="docutils literal"><span class="pre">marked[color]</span> <span class="pre">!=</span> <span class="pre">marked_true</span></tt>.</p>
115<p class="last"><strong>Default</strong>:
116<tt class="docutils literal"><span class="pre">boost::graph::distributed::first_fit_color&lt;color_type&gt;()</span></tt>, where
117<tt class="docutils literal"><span class="pre">color_type</span></tt> is the value type of the <tt class="docutils literal"><span class="pre">ColorMap</span></tt> property map.</p>
118</dd>
119<dt>IN: <tt class="docutils literal"><span class="pre">VertexOrdering</span> <span class="pre">ordering</span></tt></dt>
120<dd><p class="first">A binary predicate function object that provides total ordering on
121the vertices in the graph. Whenever a conflict arises, only one of
122the processes involved will recolor the vertex in the next round,
123and this ordering determines which vertex should be considered
124conflicting (its owning process will then handle the
125conflict). Ideally, this predicate should order vertices so that
126conflicting vertices will be spread uniformly across
127processes. However, this predicate <em>must</em> resolve the same way on
128both processors.</p>
129<p class="last"><strong>Default</strong>: <em>unspecified</em></p>
130</dd>
131<dt>IN: <tt class="docutils literal"><span class="pre">VertexIndexMap</span> <span class="pre">index</span></tt></dt>
132<dd><p class="first">A mapping from vertex descriptors to indices in the range <em>[0,
133num_vertices(g))</em>. This must be a <a class="reference external" href="http://www.boost.org/libs/property_map/ReadablePropertyMap.html">Readable Property Map</a> whose
134key type is a vertex descriptor and whose value type is an integral
135type, typically the <tt class="docutils literal"><span class="pre">vertices_size_type</span></tt> of the graph.</p>
136<p class="last"><strong>Default:</strong> <tt class="docutils literal"><span class="pre">get(vertex_index,</span> <span class="pre">g)</span></tt></p>
137</dd>
138</dl>
139</div>
140<div class="section" id="complexity">
141<h1><a class="toc-backref" href="#id4">Complexity</a></h1>
142<p>The complexity of this algorithm is hard to characterize,
143because it depends greatly on the number of <em>conflicts</em> that occur
144during the algorithm. A conflict occurs when a <em>boundary vertex</em>
145(i.e., a vertex that is adjacent to a vertex stored on a different
146processor) is given the same color is a boundary vertex adjacency to
147it (but on another processor). Conflicting vertices must be assigned
148new colors, requiring additional work and communication. The work
149involved in reassigning a color for a conflicting vertex is <em>O(d)</em>,
150where <em>d</em> is the degree of the vertex and <em>O(1)</em> messages of <em>O(1)</em>
151size are needed to resolve the conflict. Note that the number of
152conflicts grows with (1) the number of processes and (2) the number
153of inter-process edges.</p>
154</div>
155<div class="section" id="performance">
156<h1><a class="toc-backref" href="#id5">Performance</a></h1>
157<p>The performance of this implementation of Bomen et al's graph coloring
158algorithm is illustrated by the following charts. Scaling and
159performance is reasonable for all of the graphs we have tried.</p>
160<img align="left" alt="chart_php_generator_ER_SF_SW_dataset_TimeSparse_cluster_Odin_columns_11.png" class="align-left" src="chart_php_generator_ER_SF_SW_dataset_TimeSparse_cluster_Odin_columns_11.png" />
161<img alt="chart_php_generator_ER_SF_SW_dataset_TimeSparse_cluster_Odin_columns_11_speedup_1.png" src="chart_php_generator_ER_SF_SW_dataset_TimeSparse_cluster_Odin_columns_11_speedup_1.png" />
162<img align="left" alt="chart_php_generator_ER_SF_SW_dataset_TimeDense_cluster_Odin_columns_11.png" class="align-left" src="chart_php_generator_ER_SF_SW_dataset_TimeDense_cluster_Odin_columns_11.png" />
163<img alt="chart_php_generator_ER_SF_SW_dataset_TimeDense_cluster_Odin_columns_11_speedup_1.png" src="chart_php_generator_ER_SF_SW_dataset_TimeDense_cluster_Odin_columns_11_speedup_1.png" />
164<hr class="docutils" />
165<p>Copyright (C) 2005 The Trustees of Indiana University.</p>
166<p>Authors: Douglas Gregor and Andrew Lumsdaine</p>
167<table class="docutils citation" frame="void" id="bbc05" rules="none">
168<colgroup><col class="label" /><col /></colgroup>
169<tbody valign="top">
170<tr><td class="label"><a class="fn-backref" href="#id1">[BBC05]</a></td><td>Erik G. Boman, Doruk Bozdag, Umit Catalyurek, Assefaw
171H. Gebremedhin, and Fredrik Manne. A Scalable Parallel Graph Coloring
172Algorithm for Distributed Memory Computers. [preprint]</td></tr>
173</tbody>
174</table>
175</div>
176</div>
177<div class="footer">
178<hr class="footer" />
179Generated on: 2009-05-31 00:21 UTC.
180Generated by <a class="reference external" href="http://docutils.sourceforge.net/">Docutils</a> from <a class="reference external" href="http://docutils.sourceforge.net/rst.html">reStructuredText</a> source.
181
182</div>
183</body>
184</html>