Coffman–Graham algorithm

<h2 id="problem-statement-and-applications">Problem statement and applications</h2>
In the version of the job shop scheduling problem solved by the Coffman–Graham algorithm, one is given a set of n jobs J1, J2, ..., Jn, together with a system of precedence constraints Ji < Jj requiring that job Ji be completed before job Jj begins. Each job is assumed to take unit time to complete. The scheduling task is to assign each of these jobs to time slots on a system of W identical processors, minimizing the <a href="/facts/Makespan/w1HEjJaQ">makespan</a> of the assignment (the time from the beginning of the first job until the completion of the final job). Abstractly, the precedence constraints define a partial order on the jobs, so the problem can be rephrased as one of assigning the elements of this partial order to levels (time slots) in such a way that each time slot has at most as many jobs as processors (at most W elements per level), respecting the precedence constraints. This application was the original motivation for Coffman and Graham to develop their algorithm.<a class="footnote-ref" id="fnref:1" href="#fn:1">1</a><a class="footnote-ref" id="fnref:2" href="#fn:2">2</a>
In the <a href="/facts/Layered_graph_drawing/4a0qmSPR">layered graph drawing</a> framework outlined by Sugiyama, Tagawa & Toda (1981)<a class="footnote-ref" id="fnref:3" href="#fn:3">3</a> the input is a <a href="/facts/Directed_graph/YBdfQ0um">directed graph</a>, and a drawing of a graph is constructed in several stages:<a class="footnote-ref" id="fnref:4" href="#fn:4">4</a><a class="footnote-ref" id="fnref:5" href="#fn:5">5</a>

<ol><li>A <a href="/facts/Feedback_arc_set/p69AScPL">feedback arc set</a> is chosen, and the edges of this set reversed, in order to convert the input into a <a href="/facts/Directed_acyclic_graph/k6zq1os9">directed acyclic graph</a> with (if possible) few reversed edges.</li>
<li>The vertices of the graph are given integer y-coordinates in such a way that, for each edge, the starting vertex of the edge has a higher coordinate than the ending vertex, with at most W vertices sharing the same y-coordinate. In this way, all edges of the directed acyclic graph and most edges of the original graph will be oriented consistently downwards.</li>
<li>Dummy vertices are introduced within each edge so that the subdivided edges all connect pairs of vertices that are in adjacent levels of the drawing.</li>
<li>Within each group of vertices with the same y-coordinate, the vertices are <a href="/facts/Permutation/JSw9ukmv">permuted</a> in order to minimize the <a href="/facts/Crossing_number_(graph_theory)/x3Yz6UhF">number of crossings</a> in the resulting drawing, and the vertices are assigned x-coordinates consistently with this permutation.</li>
<li>The vertices and edges of the graph are drawn with the coordinates assigned to them.</li></ol>
In this framework, the y-coordinate assignment again involves grouping elements of a partially ordered set (the vertices of the graph, with the <a href="/facts/Reachability/D8cQpSFQ">reachability</a> ordering on the vertex set) into layers (sets of vertices with the same y-coordinate), which is the problem solved by the Coffman–Graham algorithm.<a class="footnote-ref" id="fnref:6" href="#fn:6">6</a> Although there exist alternative approaches than the Coffman–Graham algorithm to the layering step, these alternatives in general are either not able to incorporate a bound on the maximum width of a level or rely on complex <a href="/facts/Integer_programming/MDaaadoA">integer programming</a> procedures.<a class="footnote-ref" id="fnref:7" href="#fn:7">7</a>
More abstractly, both of these problems can be formalized as a problem in which the input consists of a partially ordered set and an integer W. The desired output is an assignment of integer level numbers to the elements of the partially ordered set such that, if x < y is an ordered pair of related elements of the partial order, the number assigned to x is smaller than the number assigned to y, such that at most W elements are assigned the same number as each other, and minimizing the difference between the smallest and the largest assigned numbers.

<h2 id="the-algorithm">The algorithm</h2>
The Coffman–Graham algorithm performs the following steps.<a class="footnote-ref" id="fnref:8" href="#fn:8">8</a>

<ol><li>Represent the partial order by its <a href="/facts/Transitive_reduction/UemedaAE">transitive reduction</a> or <a href="/facts/Covering_relation/VW5JsGnh">covering relation</a>, a directed acyclic graph G that has an edge from x to y whenever x < y and there does not exist any third element z of the partial order for which x < z < y. In the graph drawing applications of the Coffman–Graham algorithm, the resulting directed acyclic graph may not be the same as the graph being drawn, and in the scheduling applications it may not have an edge for every precedence constraint of the input: in both cases, the transitive reduction removes redundant edges that are not necessary for defining the partial order.</li>
<li>Construct a <a href="/facts/Topological_sorting/VY7gNtYA">topological ordering</a> of G in which the vertices are ordered <a href="/facts/Lexicographic_order/xQANy8Br">lexicographically</a> by the set of positions of their incoming neighbors. To do so, add the vertices one at a time to the ordering, at each step choosing a vertex v to add such that the incoming neighbors of v are all already part of the partial ordering, and such that the most recently added incoming neighbor of v is earlier than the most recently added incoming neighbor of any other vertex that could be added in place of v. If two vertices have the same most recently added incoming neighbor, the algorithm breaks the tie in favor of the one whose second most recently added incoming neighbor is earlier, etc.</li>
<li>Assign the vertices of G to levels in the reverse of the topological ordering constructed in the previous step. For each vertex v, add v to a level that is at least one step higher than the highest level of any outgoing neighbor of v, that does not already have W elements assigned to it, and that is as low as possible subject to these two constraints.</li></ol>
<h2 id="analysis">Analysis</h2>
<h3>Output quality</h3>
As Coffman & Graham (1972) originally proved, their algorithm computes an optimal assignment for W = 2; that is, for scheduling problems with unit length jobs on two processors, or for layered graph drawing problems with at most two vertices per layer.<a class="footnote-ref" id="fnref:9" href="#fn:9">9</a> A closely related algorithm also finds the optimal solution for scheduling of jobs with varying lengths, allowing pre-emption of scheduled jobs, on two processors.<a class="footnote-ref" id="fnref:10" href="#fn:10">10</a> For W > 2, the Coffman–Graham algorithm uses a number of levels (or computes a schedule with a makespan) that is within a factor of 2 − 2/W of optimal.<a class="footnote-ref" id="fnref:11" href="#fn:11">11</a><a class="footnote-ref" id="fnref:12" href="#fn:12">12</a> For instance, for W = 3, this means that it uses at most 4/3 times as many levels as is optimal. When the partial order of precedence constraints is an <a href="/facts/Interval_order/W0UjkzGS">interval order</a>, or belongs to several related classes of partial orders, the Coffman–Graham algorithm finds a solution with the minimum number of levels regardless of its width bound.<a class="footnote-ref" id="fnref:13" href="#fn:13">13</a>
As well as finding schedules with small makespan, the Coffman–Graham algorithm (modified from the presentation here so that it topologically orders the <a href="/facts/Reverse_graph/aeTyU502">reverse graph</a> of G and places the vertices as early as possible rather than as late as possible) minimizes the total flow time of two-processor schedules, the sum of the completion times of the individual jobs. A related algorithm can be used to minimize the total flow time for a version of the problem in which preemption of jobs is allowed.<a class="footnote-ref" id="fnref:14" href="#fn:14">14</a>

<h3>Time complexity</h3>
Coffman & Graham (1972) and Lenstra & Rinnooy Kan (1978)<a class="footnote-ref" id="fnref:15" href="#fn:15">15</a> state the time complexity of the Coffman–Graham algorithm, on an n-element partial order, to be O(n2). However, this analysis omits the time for constructing the transitive reduction, which is not known to be possible within this bound. Sethi (1976) shows how to implement the topological ordering stage of the algorithm in <a href="/facts/Linear_time/77T62gmf">linear time</a>, based on the idea of <a href="/facts/Partition_refinement/Qsv5AqTj">partition refinement</a>.<a class="footnote-ref" id="fnref:16" href="#fn:16">16</a> Sethi also shows how to implement the level assignment stage of the algorithm efficiently by using a <a href="/facts/Disjoint-set_data_structure/QnFQNedE">disjoint-set data structure</a>. In particular, with a version of this structure published later by Gabow & Tarjan (1985), this stage also takes linear time.<a class="footnote-ref" id="fnref:17" href="#fn:17">17</a>

<h2 id="references">References</h2>

<ol>
<li id="fn:1">Coffman, E. G. Jr.; Graham, R. L. (1972), "Optimal scheduling for two-processor systems" (PDF), Acta Informatica, 1 (3): 200–213, doi:10.1007/bf00288685, MR 0334913, S2CID 40603807. <a href="/wiki/Edward_G._Coffman,_Jr." target="_blank">/wiki/Edward_G._Coffman,_Jr.</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">Leung, Joseph Y.-T. (2004), "Some basic scheduling algorithms", Handbook of Scheduling: Algorithms, Models, and Performance Analysis, CRC Press, ISBN 978-1-58488-397-5. <a href="978-1-58488-397-5" target="_blank">978-1-58488-397-5</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
<li id="fn:3">Sugiyama, Kozo; Tagawa, Shôjirô; Toda, Mitsuhiko (1981), "Methods for visual understanding of hierarchical system structures", IEEE Transactions on Systems, Man, and Cybernetics, SMC-11 (2): 109–125, doi:10.1109/TSMC.1981.4308636, MR 0611436, S2CID 8367756. <a href="/wiki/IEEE_Systems,_Man,_and_Cybernetics_Society" target="_blank">/wiki/IEEE_Systems,_Man,_and_Cybernetics_Society</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></li>
<li id="fn:4">di Battista, Giuseppe; Eades, Peter; Tamassia, Roberto; Tollis, Ioannis G. (1999), "Chapter 9: Layered drawings of digraphs", Graph Drawing: Algorithms for the Visualization of Graphs, Prentice Hall, pp. 265–302. <a href="/wiki/Peter_Eades" target="_blank">/wiki/Peter_Eades</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></li>
<li id="fn:5">Bastert, Oliver; Matuszewski, Christian (2001), "Layered drawings of digraphs", in Kaufmann, Michael; Wagner, Dorothea (eds.), Drawing Graphs: Methods and Models, Lecture Notes in Computer Science, vol. 2025, Springer-Verlag, pp. 87–120, doi:10.1007/3-540-44969-8_5, ISBN 978-3-540-42062-0. Bastert and Matuszewski also include a description of the Coffman–Graham algorithm; however, they omit the transitive reduction stage of the algorithm. <a href="978-3-540-42062-0" target="_blank">978-3-540-42062-0</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></li>
<li id="fn:6">di Battista, Giuseppe; Eades, Peter; Tamassia, Roberto; Tollis, Ioannis G. (1999), "Chapter 9: Layered drawings of digraphs", Graph Drawing: Algorithms for the Visualization of Graphs, Prentice Hall, pp. 265–302. <a href="/wiki/Peter_Eades" target="_blank">/wiki/Peter_Eades</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></li>
<li id="fn:7">Healy, Patrick; Nikolov, Nikola S. (2002), "How to layer a directed acyclic graph", Graph Drawing: 9th International Symposium, GD 2001 Vienna, Austria, September 23–26, 2001, Revised Papers, Lecture Notes in Computer Science, vol. 2265, Springer-Verlag, pp. 16–30, doi:10.1007/3-540-45848-4_2, ISBN 978-3-540-43309-5, MR 1962416. <a href="978-3-540-43309-5" target="_blank">978-3-540-43309-5</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></li>
<li id="fn:8">di Battista, Giuseppe; Eades, Peter; Tamassia, Roberto; Tollis, Ioannis G. (1999), "Chapter 9: Layered drawings of digraphs", Graph Drawing: Algorithms for the Visualization of Graphs, Prentice Hall, pp. 265–302. <a href="/wiki/Peter_Eades" target="_blank">/wiki/Peter_Eades</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></li>
<li id="fn:9">Coffman, E. G. Jr.; Graham, R. L. (1972), "Optimal scheduling for two-processor systems" (PDF), Acta Informatica, 1 (3): 200–213, doi:10.1007/bf00288685, MR 0334913, S2CID 40603807. <a href="/wiki/Edward_G._Coffman,_Jr." target="_blank">/wiki/Edward_G._Coffman,_Jr.</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></li>
<li id="fn:10">Muntz, R. R.; Coffman, E. G. (1969), "Optimal preemptive scheduling on two-processor systems", IEEE Transactions on Computers, 18 (11): 1014–1020, doi:10.1109/T-C.1969.222573, S2CID 206617438. <a href="/wiki/Edward_G._Coffman,_Jr." target="_blank">/wiki/Edward_G._Coffman,_Jr.</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></li>
<li id="fn:11">Lam, Shui; Sethi, Ravi (1977), "Worst case analysis of two scheduling algorithms", SIAM Journal on Computing, 6 (3): 518–536, doi:10.1137/0206037, MR 0496614. <a href="/wiki/Ravi_Sethi" target="_blank">/wiki/Ravi_Sethi</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></li>
<li id="fn:12">Braschi, Bertrand; Trystram, Denis (1994), "A new insight into the Coffman–Graham algorithm", SIAM Journal on Computing, 23 (3): 662–669, doi:10.1137/S0097539790181889, MR 1274650. <a href="/wiki/SIAM_Journal_on_Computing" target="_blank">/wiki/SIAM_Journal_on_Computing</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></li>
<li id="fn:13">Chardon, Marc; Moukrim, Aziz (2005), "The Coffman-Graham algorithm optimally solves UET task systems with overinterval orders", SIAM Journal on Discrete Mathematics, 19 (1): 109–121, doi:10.1137/S0895480101394999, MR 2178187. <a href="/wiki/SIAM_Journal_on_Discrete_Mathematics" target="_blank">/wiki/SIAM_Journal_on_Discrete_Mathematics</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></li>
<li id="fn:14">Coffman, E. G. Jr.; Sethuraman, J.; Timkovsky, V. G. (2003), "Ideal preemptive schedules on two processors", Acta Informatica, 39 (8): 597–612, doi:10.1007/s00236-003-0119-6, MR 1996238, S2CID 7016804. <a href="/wiki/Edward_G._Coffman,_Jr." target="_blank">/wiki/Edward_G._Coffman,_Jr.</a> <a href="#fnref:14" class="footnote-back-ref">↩</a></li>
<li id="fn:15">Lenstra, J. K.; Rinnooy Kan, A. H. G. (1978), "Complexity of scheduling under precedence constraints", Operations Research, 26 (1): 22–35, doi:10.1287/opre.26.1.22, hdl:10338.dmlcz/141477, JSTOR 169889, MR 0462553. <a href="/wiki/Jan_Karel_Lenstra" target="_blank">/wiki/Jan_Karel_Lenstra</a> <a href="#fnref:15" class="footnote-back-ref">↩</a></li>
<li id="fn:16">Sethi, Ravi (1976), "Scheduling graphs on two processors", SIAM Journal on Computing, 5 (1): 73–82, doi:10.1137/0205005, MR 0398156. <a href="/wiki/Ravi_Sethi" target="_blank">/wiki/Ravi_Sethi</a> <a href="#fnref:16" class="footnote-back-ref">↩</a></li>
<li id="fn:17">Gabow, Harold N.; Tarjan, Robert Endre (1985), "A linear-time algorithm for a special case of disjoint set union", Journal of Computer and System Sciences, 30 (2): 209–221, doi:10.1016/0022-0000(85)90014-5, MR 0801823. <a href="/wiki/Harold_N._Gabow" target="_blank">/wiki/Harold_N._Gabow</a> <a href="#fnref:17" class="footnote-back-ref">↩</a></li>
</ol>

Coffman–Graham algorithm open-in-new

Coffman–Graham algorithm