Results 1  10
of
12
Modular Decomposition and Transitive Orientation
, 1999
"... A module of an undirected graph is a set X of nodes such for each node x not in X, either every member of X is adjacent to x, or no member of X is adjacent to x. There is a canonical linearspace representation for the modules of a graph, called the modular decomposition. Closely related to modular ..."
Abstract

Cited by 93 (12 self)
 Add to MetaCart
A module of an undirected graph is a set X of nodes such for each node x not in X, either every member of X is adjacent to x, or no member of X is adjacent to x. There is a canonical linearspace representation for the modules of a graph, called the modular decomposition. Closely related to modular decomposition is the transitive orientation problem, which is the problem of assigning a direction to each edge of a graph so that the resulting digraph is transitive. A graph is a comparability graph if such an assignment is possible. We give O(n +m) algorithms for modular decomposition and transitive orientation, where n and m are the number of vertices and edges of the graph. This gives linear time bounds for recognizing permutation graphs, maximum clique and minimum vertex coloring on comparability graphs, and other combinatorial problems on comparability graphs and their complements.
Efficient and practical algorithms for sequential modular decomposition
, 1999
"... A module of an undirected graph G = (V, E) is a set X of vertices that have the same set of neighbors in V \ X. The modular decomposition is a unique decomposition of the vertices into nested modules. We give a practical algorithm with an O(n + m(m;n)) time bound and a variant with a linear time bou ..."
Abstract

Cited by 32 (1 self)
 Add to MetaCart
A module of an undirected graph G = (V, E) is a set X of vertices that have the same set of neighbors in V \ X. The modular decomposition is a unique decomposition of the vertices into nested modules. We give a practical algorithm with an O(n + m(m;n)) time bound and a variant with a linear time bound.
Task Graph Performance Bounds Through Comparison Methods
, 2001
"... When a parallel computation is represented in a formalism that imposes seriesparallel structure on its task graph, it becomes amenable to automated analysis and scheduling. Unfortunately, its execution time will usually also increase as precedence constraints are added to ensure seriesparallel str ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
When a parallel computation is represented in a formalism that imposes seriesparallel structure on its task graph, it becomes amenable to automated analysis and scheduling. Unfortunately, its execution time will usually also increase as precedence constraints are added to ensure seriesparallel structure. Bounding the slowdown ratio would allow an informed tradeoff between the benefits of a restrictive formalism and its cost in loss of performance. This dissertation deals with seriesparallelising task graphs by adding precedence constraints to a task graph, to make the resulting task graph seriesparallel. The weak bounded slowdown conjecture for seriesparallelising task graphs is introduced. This states that the slowdown is bounded if information about the workload can be used to guide the selection of which precedence constraints to add. A theory of best seriesparallelisations is developed to investigate this conjecture. Partial evidence is presented that the weak slowdown bound is likely to be 4/3, and this bound is shown to be tight.
A supernodal formulation of vertex colouring with applications in course timetabling
, 2009
"... For many problems in Scheduling and Timetabling the choice of an mathematical programming formulation is determined by the formulation of the graph colouring component. This paper briefly surveys seven known integer programming formulations of vertex colouring and introduces a new formulation using ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
For many problems in Scheduling and Timetabling the choice of an mathematical programming formulation is determined by the formulation of the graph colouring component. This paper briefly surveys seven known integer programming formulations of vertex colouring and introduces a new formulation using “supernodes”. In the definition of George and McIntyre [SIAM J. Numer. Anal. 15 (1978), no. 1, 90–112], “supernode” is a complete subgraph, where each two vertices have the same neighbourhood outside of the subgraph. Seen another way, the algorithm for obtaining the best possible partition of an arbitrary graph into supernodes, which we give and show to be polynomialtime, makes it possible to use any formulation of vertex multicolouring to encode vertex colouring. The power of this approach is shown on the benchmark problem of Udine Course Timetabling. Results from empirical tests on DIMACS colouring instances, in addition to instances from other timetabling applications, are also provided and discussed.
On the P 4 components of Graphs
 Discrete Appl. Math
, 1997
"... Two edges are called P 4 adjacent if they belong to the same P 4 (chordless path on 4 vertices). P 4 components, in our terminology, are the equivalence classes of the transitive closure of the P 4 adjacency relation. In this paper, new results on the structure of P 4 components are obtained. On ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Two edges are called P 4 adjacent if they belong to the same P 4 (chordless path on 4 vertices). P 4 components, in our terminology, are the equivalence classes of the transitive closure of the P 4 adjacency relation. In this paper, new results on the structure of P 4 components are obtained. On the one hand, these results allow us to improve the complexity of the recognition and orientation algorithms for P 4 comparability and P 4  indifference graphs from O(n 5 ) to O(n 2 m) and from O(n 6 ) to O(n 2 m), respectively. On the other hand, by combining the modular decomposition with the substitution of P 4  components, a new unique tree representation for arbitrary graphs is derived which generalizes the homogeneous decomposition introduced by Jamison and Olariu [JO95]. 1 Introduction A P k (C k ) is a chordless path (cycle) on k vertices. By the P 4 abcd, we denote the P 4 with vertices a; b; c; d and edges ab, bc and cd. An orientation U of a graph G is the antisymmet...
EXPLOITING STRUCTURE IN INTEGER PROGRAMS
, 2011
"... This dissertation argues the case for exploiting certain structures in integer linear programs. Integer linear programming is a wellknown optimisation problem, which seeks the optimum of a linear function of variables, whose values are required to be integral as well as to satisfy certain linear eq ..."
Abstract
 Add to MetaCart
This dissertation argues the case for exploiting certain structures in integer linear programs. Integer linear programming is a wellknown optimisation problem, which seeks the optimum of a linear function of variables, whose values are required to be integral as well as to satisfy certain linear equalities and inequalities. The state of the art in solvers for this problem is the “branch and bound ” approach. The performance of such solvers depends crucially on four types of inbuilt heuristics: primal, improvement, branching, and cutseparation or, more generally, bounding heuristics. Such heuristics in generalpurpose solvers have not, until recently, exploited structure in integer linear programs beyond the recognition of certain types of singlerow constraints. Many alternative approaches to integer linear programming can be cast in the following, novel framework. “Structure” in any integer linear program
Betweenness and comparability obtained from binary relations
, 2006
"... www.cosc.brocku.ca Betweenness and comparability obtained from binary relations ..."
Abstract
 Add to MetaCart
www.cosc.brocku.ca Betweenness and comparability obtained from binary relations
A Generalized Dilworth's Theorem, with Application to Routing and Scheduling
, 1992
"... Dilworth's theorem states a duality relation between minimum chain decompositions of a directed, acyclic graph and maximum antichains. We generalize the theorem to apply when the chains of the decomposition are required to contain the chains of an initial decomposition. We show that duality obt ..."
Abstract
 Add to MetaCart
Dilworth's theorem states a duality relation between minimum chain decompositions of a directed, acyclic graph and maximum antichains. We generalize the theorem to apply when the chains of the decomposition are required to contain the chains of an initial decomposition. We show that duality obtains precisely when an associated undirected graph is perfect. We apply this result to a vehicle routing and scheduling problem with time windows. Here each chain of the initial decomposition contains nodes that correspond to the pickup, delivery and possibly intermediate stops associated with a piece of cargo. 1 Introduction A chain decomposition of a directed, acyclic graph is a partition of its nodes into chains (directed paths). An antichain is a set of nodes one in which no pair of nodes is connected by an arc. A Supported in part by the U.S. Military Airlift Command under subcontract 19XSB098V with Martin Marietta Energy Systems, Inc., operator of Oak Ridge National Laboratory. classi...