On the structure of (pan, even hole)-free graphs

A hole is a chordless cycle with at least four vertices. A pan is a graph which consists of a hole and a single vertex with precisely one neighbor on the hole. An even hole is a hole with an even number of vertices. We prove that a (pan, even hole)-free graph can be decomposed by clique cutsets into essentially unit circular-arc graphs. This structure theorem is the basis of our $O(nm)$-time certifying algorithm for recognizing (pan, even hole)-free graphs and for our $O(n^{2.5}+nm)$-time algorithm to optimally color them. Using this structure theorem, we show that the tree-width of a (pan, even hole)-free graph is at most 1.5 times the clique number minus 1, and thus the chromatic number is at most 1.5 times the clique number.Comment: Accepted to appear in the Journal of Graph Theor

Large induced subgraphs via triangulations and CMSO

We obtain an algorithmic meta-theorem for the following optimization problem. Let \phi\ be a Counting Monadic Second Order Logic (CMSO) formula and t be an integer. For a given graph G, the task is to maximize |X| subject to the following: there is a set of vertices F of G, containing X, such that the subgraph G[F] induced by F is of treewidth at most t, and structure (G[F],X) models \phi. Some special cases of this optimization problem are the following generic examples. Each of these cases contains various problems as a special subcase: 1) "Maximum induced subgraph with at most l copies of cycles of length 0 modulo m", where for fixed nonnegative integers m and l, the task is to find a maximum induced subgraph of a given graph with at most l vertex-disjoint cycles of length 0 modulo m. 2) "Minimum \Gamma-deletion", where for a fixed finite set of graphs \Gamma\ containing a planar graph, the task is to find a maximum induced subgraph of a given graph containing no graph from \Gamma\ as a minor. 3) "Independent \Pi-packing", where for a fixed finite set of connected graphs \Pi, the task is to find an induced subgraph G[F] of a given graph G with the maximum number of connected components, such that each connected component of G[F] is isomorphic to some graph from \Pi. We give an algorithm solving the optimization problem on an n-vertex graph G in time O(#pmc n^{t+4} f(t,\phi)), where #pmc is the number of all potential maximal cliques in G and f is a function depending of t and \phi\ only. We also show how a similar running time can be obtained for the weighted version of the problem. Pipelined with known bounds on the number of potential maximal cliques, we deduce that our optimization problem can be solved in time O(1.7347^n) for arbitrary graphs, and in polynomial time for graph classes with polynomial number of minimal separators

On hereditary graph classes defined by forbidding Truemper configurations: recognition and combinatorial optimization algorithms, and χ-boundedness results

Truemper configurations are four types of graphs that helped us understand the structure of several well-known hereditary graph classes. The most famous examples are perhaps the class of perfect graphs and the class of even-hole-free graphs: for both of them, some Truemper configurations are excluded (as induced subgraphs), and this fact appeared to be useful, and played some role in the proof of the known decomposition theorems for these classes. The main goal of this thesis is to contribute to the systematic exploration of hereditary graph classes defined by forbidding Truemper configurations. We study many of these classes, and we investigate their structure by applying the decomposition method. We then use our structural results to analyze the complexity of the maximum clique, maximum stable set and optimal coloring problems restricted to these classes. Finally, we provide polynomial-time recognition algorithms for all of these classes, and we obtain χ-boundedness results

Novel procedures for graph edge-colouring

Orientador: Dr. Renato CarmoCoorientador: Dr. André Luiz Pires GuedesTese (doutorado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa : Curitiba, 05/12/2018Inclui referências e índiceÁrea de concentração: Ciência da ComputaçãoResumo: O índice cromático de um grafo G é o menor número de cores necessário para colorir as arestas de G de modo que não haja duas arestas adjacentes recebendo a mesma cor. Pelo célebre Teorema de Vizing, o índice cromático de qualquer grafo simples G ou é seu grau máximo , ou é ? + 1, em cujo caso G é dito Classe 1 ou Classe 2, respectivamente. Computar uma coloração de arestas ótima de um grafo ou simplesmente determinar seu índice cromático são problemas NP-difíceis importantes que aparecem em aplicações notáveis, como redes de sensores, redes ópticas, controle de produção, e jogos. Neste trabalho, nós apresentamos novos procedimentos de tempo polinomial para colorir otimamente as arestas de grafos pertences a alguns conjuntos grandes. Por exemplo, seja X a classe dos grafos cujos maiorais (vértices de grau ?) possuem soma local de graus no máximo ?2 ?? (entendemos por 'soma local de graus' de um vértice x a soma dos graus dos vizinhos de x). Nós mostramos que quase todo grafo está em X e, estendendo o procedimento de recoloração que Vizing usou na prova para seu teorema, mostramos que todo grafo em X é Classe 1. Nós também conseguimos resultados em outras classes de grafos, como os grafos-junção, os grafos arco-circulares, e os prismas complementares. Como um exemplo, nós mostramos que um prisma complementar só pode ser Classe 2 se for um grafo regular distinto do K2. No que diz respeito aos grafos-junção, nós mostramos que se G1 e G2 são grafos disjuntos tais que |V(G1)| _ |V(G2)| e ?(G1) _ ?(G2), e se os maiorais de G1 induzem um grafo acíclico, então o grafo-junção G1 ?G2 é Classe 1. Além desses resultados em coloração de arestas, apresentamos resultados parciais em coloração total de grafos-junção, de grafos arco-circulares, e de grafos cobipartidos, bem como discutimos um procedimento de recoloração para coloração total. Palavras-chave: Coloração de grafos e hipergrafos (MSC 05C15). Algoritmos de grafos (MSC 05C85). Teoria dos grafos em relação à Ciência da Computação (MSC 68R10). Graus de vértices (MSC 05C07). Operações de grafos (MSC 05C76).Abstract: The chromatic index of a graph G is the minimum number of colours needed to colour the edges of G in a manner that no two adjacent edges receive the same colour. By the celebrated Vizing's Theorem, the chromatic index of any simple graph G is either its maximum degree ? or it is ? + 1, in which case G is said to be Class 1 or Class 2, respectively. Computing an optimal edge-colouring of a graph or simply determining its chromatic index are important NP-hard problems which appear in noteworthy applications, like sensor networks, optical networks, production control, and games. In this work we present novel polynomial-time procedures for optimally edge-colouring graphs belonging to some large sets of graphs. For example, let X be the class of the graphs whose majors (vertices of degree ?) have local degree sum at most ?2 ? ? (by 'local degree sum' of a vertex x we mean the sum of the degrees of the neighbours of x). We show that almost every graph is in X and, by extending the recolouring procedure used by Vizing's in the proof for his theorem, we show that every graph in X is Class 1. We further achieve results in other graph classes, such as join graphs, circular-arc graphs, and complementary prisms. For instance, we show that a complementary prism can be Class 2 only if it is a regular graph distinct from the K2. Concerning join graphs, we show that if G1 and G2 are disjoint graphs such that |V(G1)| _ |V(G2)| and ?(G1) _ ?(G2), and if the majors of G1 induce an acyclic graph, then the join graph G1 ?G2 is Class 1. Besides these results on edge-colouring, we present partial results on total colouring join graphs, cobipartite graphs, and circular-arc graphs, as well as a discussion on a recolouring procedure for total colouring. Keywords: Colouring of graphs and hypergraphs (MSC 05C15). Graph algorithms (MSC 05C85). Graph theory in relation to Computer Science (MSC 68R10). Vertex degrees (MSC 05C07). Graph operations (MSC 05C76)

Separability and Vertex Ordering of Graphs

Many graph optimization problems, such as finding an optimal coloring, or a largest clique, can be solved by a divide-and-conquer approach. One such well-known technique is decomposition by clique separators where a graph is decomposed into special induced subgraphs along their clique separators. While the most common practice of this method employs minimal clique separators, in this work we study other variations as well. We strive to characterize their structure and in particular the bound on the number of atoms. In fact, we strengthen the known bounds for the general clique cutset decomposition and the minimal clique separator decomposition. Graph ordering is the arrangement of a graph’s vertices according to a certain logic and is a useful tool in optimization problems. Special types of vertices are often recognized in graph classes, for instance it is well-known every chordal graph contains a simplicial vertex. Vertex-ordering, based on such properties, have originated many linear time algorithms. We propose to define a new family named SE-Class such that every graph belonging to this family inherently contains a simplicial extreme, that is a vertex which is either simplicial or has exactly two neighbors which are non-adjacent. Our family lends itself to an ordering based on simplicial extreme vertices (named SEO) which we demonstrate to be advantageous for the coloring and maximum clique problems. In addition, we examine the relation of SE-Class to the family of (Even-Hole, Kite)-free graphs and show a linear time generation of SEO for (Even-Hole, Diamond, Claw)-free graphs. We showcase the applications of those two core tools, namely clique-based decomposition and vertex ordering, on the (Even-Hole, Kite)-free family

On the recognition and characterization of M-partitionable proper interval graphs

For a symmetric {0, 1, ⋆ }-matrix M of size m, a graph G is said to be M-partitionable, if its vertices can be partitioned into sets V1, V2, . . . , Vm, such that two parts Vi, Vj are completely adjacent if Mi,j = 1, and completely non-adjacent if Mi,j = 0 (Vi is considered completely adjacent to itself if it induces a clique, and completely non-adjacent if it induces an independent set). The complexity problem (or the recognition problem) for a matrix M asks whether the M-partition problem is polynomial-time solvable or NP-complete. The characterization problem for a matrix M asks if all M-partitionable graphs can be characterized by the absence of a finite set of forbidden induced subgraphs. These forbidden induced subgraphs are called obstructions to M. In the literature, many results were obtained by restricting the input graphs. In this thesis, we survey these results when the questions are restricted to the class of perfect graphs. We then study the recognition problem and the characterization problem when the inputs are restricted to proper interval graphs. The recognition problem can be solved by an existing algorithm, but we simplify its proof of correctness. As our main result, we prove that all the matrices of size 3 and size 4 with constant diagonal, have finitely many minimal proper interval obstructions. We also obtain partial results about matrices of arbitrary size if they have a zero diagonal