A GENERALIZATION of CHORDAL GRAPHS by Jose M. Bonnin Cadogan Thesis Submitted to the Faculty of the Graduate School of Vanderbil
Total Page:16
File Type:pdf, Size:1020Kb

Load more
Recommended publications
-
A Fast and Scalable Graph Coloring Algorithm for Multi-Core and Many-Core Architectures
A Fast and Scalable Graph Coloring Algorithm for Multi-core and Many-core Architectures Georgios Rokos1, Gerard Gorman2, and Paul H J Kelly1 1 Software Peroformance Optimisation Group, Department of Computing 2 Applied Modelling and Computation Group, Department of Earth Science and Engineering Imperial College London, South Kensington Campus, London SW7 2AZ, United Kingdom, fgeorgios.rokos09,g.gorman,[email protected] Abstract. Irregular computations on unstructured data are an impor- tant class of problems for parallel programming. Graph coloring is often an important preprocessing step, e.g. as a way to perform dependency analysis for safe parallel execution. The total run time of a coloring algo- rithm adds to the overall parallel overhead of the application whereas the number of colors used determines the amount of exposed parallelism. A fast and scalable coloring algorithm using as few colors as possible is vi- tal for the overall parallel performance and scalability of many irregular applications that depend upon runtime dependency analysis. C¸ataly¨ureket al. have proposed a graph coloring algorithm which relies on speculative, local assignment of colors. In this paper we present an improved version which runs even more optimistically with less thread synchronization and reduced number of conflicts compared to C¸ataly¨urek et al.'s algorithm. We show that the new technique scales better on multi- core and many-core systems and performs up to 1.5x faster than its pre- decessor on graphs with high-degree vertices, while keeping the number of colors at the same near-optimal levels. Keywords: Graph Coloring; Greedy Coloring; First-Fit Coloring; Ir- regular Data; Parallel Graph Algorithms; Shared-Memory Parallelism; Optimistic Execution; Many-core Architectures; Intel®Xeon Phi™ 1 Introduction Many modern applications are built around algorithms which operate on irreg- ular data structures, usually in form of graphs. -
I?'!'-Comparability Graphs
Discrete Mathematics 74 (1989) 173-200 173 North-Holland I?‘!‘-COMPARABILITYGRAPHS C.T. HOANG Department of Computer Science, Rutgers University, New Brunswick, NJ 08903, U.S.A. and B.A. REED Discrete Mathematics Group, Bell Communications Research, Morristown, NJ 07950, U.S.A. In 1981, Chv&tal defined the class of perfectly orderable graphs. This class of perfect graphs contains the comparability graphs. In this paper, we introduce a new class of perfectly orderable graphs, the &comparability graphs. This class generalizes comparability graphs in a natural way. We also prove a decomposition theorem which leads to a structural characteriza- tion of &comparability graphs. Using this characterization, we develop a polynomial-time recognition algorithm and polynomial-time algorithms for the clique and colouring problems for &comparability graphs. 1. Introduction A natural way to color the vertices of a graph is to put them in some order v*cv~<” l < v, and then assign colors in the following manner: (1) Consider the vertxes sequentially (in the sequence given by the order) (2) Assign to each Vi the smallest color (positive integer) not used on any neighbor vi of Vi with j c i. We shall call this the greedy coloring algorithm. An order < of a graph G is perfect if for each subgraph H of G, the greedy algorithm applied to H, gives an optimal coloring of H. An obstruction in a ordered graph (G, <) is a set of four vertices {a, b, c, d} with edges ab, bc, cd (and no other edge) and a c b, d CC. Clearly, if < is a perfect order on G, then (G, C) contains no obstruction (because the chromatic number of an obstruction is twu, but the greedy coloring algorithm uses three colors). -
A New Spectral Bound on the Clique Number of Graphs
A New Spectral Bound on the Clique Number of Graphs Samuel Rota Bul`o and Marcello Pelillo Dipartimento di Informatica - University of Venice - Italy {srotabul,pelillo}@dsi.unive.it Abstract. Many computer vision and patter recognition problems are intimately related to the maximum clique problem. Due to the intractabil- ity of this problem, besides the development of heuristics, a research di- rection consists in trying to find good bounds on the clique number of graphs. This paper introduces a new spectral upper bound on the clique number of graphs, which is obtained by exploiting an invariance of a continuous characterization of the clique number of graphs introduced by Motzkin and Straus. Experimental results on random graphs show the superiority of our bounds over the standard literature. 1 Introduction Many problems in computer vision and pattern recognition can be formulated in terms of finding a completely connected subgraph (i.e. a clique) of a given graph, having largest cardinality. This is called the maximum clique problem (MCP). One popular approach to object recognition, for example, involves matching an input scene against a stored model, each being abstracted in terms of a relational structure [1,2,3,4], and this problem, in turn, can be conveniently transformed into the equivalent problem of finding a maximum clique of the corresponding association graph. This idea was pioneered by Ambler et. al. [5] and was later developed by Bolles and Cain [6] as part of their local-feature-focus method. Now, it has become a standard technique in computer vision, and has been employing in such diverse applications as stereo correspondence [7], point pattern matching [8], image sequence analysis [9]. -
COLORING and DEGENERACY for DETERMINING VERY LARGE and SPARSE DERIVATIVE MATRICES ASHRAFUL HUQ SUNY Bachelor of Science, Chittag
COLORING AND DEGENERACY FOR DETERMINING VERY LARGE AND SPARSE DERIVATIVE MATRICES ASHRAFUL HUQ SUNY Bachelor of Science, Chittagong University of Engineering & Technology, 2013 A Thesis Submitted to the School of Graduate Studies of the University of Lethbridge in Partial Fulfillment of the Requirements for the Degree MASTER OF SCIENCE Department of Mathematics and Computer Science University of Lethbridge LETHBRIDGE, ALBERTA, CANADA c Ashraful Huq Suny, 2016 COLORING AND DEGENERACY FOR DETERMINING VERY LARGE AND SPARSE DERIVATIVE MATRICES ASHRAFUL HUQ SUNY Date of Defence: December 19, 2016 Dr. Shahadat Hossain Supervisor Professor Ph.D. Dr. Daya Gaur Committee Member Professor Ph.D. Dr. Robert Benkoczi Committee Member Associate Professor Ph.D. Dr. Howard Cheng Chair, Thesis Examination Com- Associate Professor Ph.D. mittee Dedication To My Parents. iii Abstract Estimation of large sparse Jacobian matrix is a prerequisite for many scientific and engi- neering problems. It is known that determining the nonzero entries of a sparse matrix can be modeled as a graph coloring problem. To find out the optimal partitioning, we have proposed a new algorithm that combines existing exact and heuristic algorithms. We have introduced degeneracy and maximum k-core for sparse matrices to solve the problem in stages. Our combined approach produce better results in terms of partitioning than DSJM and for some test instances, we report optimal partitioning for the first time. iv Acknowledgments I would like to express my deep acknowledgment and profound sense of gratitude to my supervisor Dr. Shahadat Hossain, for his continuous guidance, support, cooperation, and persistent encouragement throughout the journey of my MSc program. -
Graph Coloring Major Themes Vertex Colorings Χ(G) =
CSC 1300 – Discrete Structures 17: Graph Coloring Major Themes • Vertex coloring • Chromac number χ(G) Graph Coloring • Map coloring • Greedy coloring algorithm • CSC 1300 – Discrete Structures Applicaons Villanova University Villanova CSC 1300 - Dr Papalaskari 1 Villanova CSC 1300 - Dr Papalaskari 2 What is the least number of colors needed for the verFces of Vertex Colorings this graph so that no two adjacent verFces have the same color? Adjacent ver,ces cannot have the same color χ(G) = Chromac number χ(G) = least number of colors needed to color the verFces of a graph so that no two adjacent verFces are assigned the same color? Source: “Discrete Mathemacs” by Chartrand & Zhang, 2011, Waveland Press. Source: “Discrete Mathemacs with Ducks” by Sara-Marie Belcastro, 2012, CRC Press, Fig 13.1. 4 5 Dr Papalaskari 1 CSC 1300 – Discrete Structures 17: Graph Coloring Map Coloring Map Coloring What is the least number of colors needed to color a map? Region è vertex Common border è edge G A D C E B F G H I Villanova CSC 1300 - Dr Papalaskari 8 Villanova CSC 1300 - Dr Papalaskari 9 Coloring the USA Four color theorem Every planar graph is 4-colorable The proof of this theorem is one of the most famous and controversial proofs in mathemacs, because it relies on a computer program. It was first presented in 1976. A more recent reformulaon can be found in this arFcle: Formal Proof – The Four Color Theorem, Georges Gonthier, NoFces of the American Mathemacal Society, December 2008. hp://www.printco.com/pages/State%20Map%20Requirements/USA-colored-12-x-8.gif -