Hyperbolic intersection graphs and (quasi)-polynomial time

We study unit ball graphs (and, more generally, so-called noisy uniform ball graphs) in $d$-dimensional hyperbolic space, which we denote by $\mathbb{H}^d$. Using a new separator theorem, we show that unit ball graphs in $\mathbb{H}^d$ enjoy similar properties as their Euclidean counterparts, but in one dimension lower: many standard graph problems, such as Independent Set, Dominating Set, Steiner Tree, and Hamiltonian Cycle can be solved in $2^{O(n^{1-1/(d-1)})}$ time for any fixed $d\geq 3$, while the same problems need $2^{O(n^{1-1/d})}$ time in $\mathbb{R}^d$. We also show that these algorithms in $\mathbb{H}^d$ are optimal up to constant factors in the exponent under ETH. This drop in dimension has the largest impact in $\mathbb{H}^2$, where we introduce a new technique to bound the treewidth of noisy uniform disk graphs. The bounds yield quasi-polynomial ($n^{O(\log n)}$) algorithms for all of the studied problems, while in the case of Hamiltonian Cycle and $3$-Coloring we even get polynomial time algorithms. Furthermore, if the underlying noisy disks in $\mathbb{H}^2$ have constant maximum degree, then all studied problems can be solved in polynomial time. This contrasts with the fact that these problems require $2^{\Omega(\sqrt{n})}$ time under ETH in constant maximum degree Euclidean unit disk graphs. Finally, we complement our quasi-polynomial algorithm for Independent Set in noisy uniform disk graphs with a matching $n^{\Omega(\log n)}$ lower bound under ETH. This shows that the hyperbolic plane is a potential source of NP-intermediate problems.Comment: Short version appears in SODA 202

Topics in Graph Algorithms: Structural Results and Algorithmic Techniques, with Applications

Coping with computational intractability has inspired the development of a variety of algorithmic techniques. The main challenge has usually been the design of polynomial time algorithms for NP-complete problems in a way that guarantees some, often worst-case, satisfactory performance when compared to exact (optimal) solutions. We mainly study some emergent techniques that help to bridge the gap between computational intractability and practicality. We present results that lead to better exact and approximation algorithms and better implementations. The problems considered in this dissertation share much in common structurally, and have applications in several scientific domains, including circuit design, network reliability, and bioinformatics. We begin by considering the relationship between graph coloring and the immersion order, a well-quasi-order defined on the set of finite graphs. We establish several (structural) results and discuss their potential algorithmic consequences. We discuss graph metrics such as treewidth and pathwidth. Treewidth is well studied, mainly because many problems that are NP-hard in general have polynomial time algorithms when restricted to graphs of bounded treewidth. Pathwidth has many applications ranging from circuit layout to natural language processing. We present a linear time algorithm to approximate the pathwidth of planar graphs that have a fixed disk dimension. We consider the face cover problem, which has potential applications in facilities location and logistics. Being fixed-parameter tractable, we develop an algorithm that solves it in time O(5k + n2) where k is the input parameter. This is a notable improvement over the previous best known algorithm, which runs in O(8kn). In addition to the structural and algorithmic results, this text tries to illustrate the practicality of fixed-parameter algorithms. This is achieved by implementing some algorithms for the vertex cover problem, and conducting experiments on real data sets. Our experiments advocate the viewpoint that, for many practical purposes, exact solutions of some NP-complete problems are affordable

Efficient Algorithms and Data Structures for Massive Data Sets

For many algorithmic problems, traditional algorithms that optimise on the number of instructions executed prove expensive on I/Os. Novel and very different design techniques, when applied to these problems, can produce algorithms that are I/O efficient. This thesis adds to the growing chorus of such results. The computational models we use are the external memory model and the W-Stream model. On the external memory model, we obtain the following results. (1) An I/O efficient algorithm for computing minimum spanning trees of graphs that improves on the performance of the best known algorithm. (2) The first external memory version of soft heap, an approximate meldable priority queue. (3) Hard heap, the first meldable external memory priority queue that matches the amortised I/O performance of the known external memory priority queues, while allowing a meld operation at the same amortised cost. (4) I/O efficient exact, approximate and randomised algorithms for the minimum cut problem, which has not been explored before on the external memory model. (5) Some lower and upper bounds on I/Os for interval graphs. On the W-Stream model, we obtain the following results. (1) Algorithms for various tree problems and list ranking that match the performance of the best known algorithms and are easier to implement than them. (2) Pass efficient algorithms for sorting, and the maximal independent set problems, that improve on the best known algorithms. (3) Pass efficient algorithms for the graphs problems of finding vertex-colouring, approximate single source shortest paths, maximal matching, and approximate weighted vertex cover. (4) Lower bounds on passes for list ranking and maximal matching. We propose two variants of the W-Stream model, and design algorithms for the maximal independent set, vertex-colouring, and planar graph single source shortest paths problems on those models.Comment: PhD Thesis (144 pages

Restricted String Representations

A string representation of a graph assigns to every vertex a curve in the plane so that two curves intersect if and only if the represented vertices are adjacent. This work investigates string representations of graphs with an emphasis on the shapes of curves and the way they intersect. We strengthen some previously known results and show that every planar graph has string representations where every curve consists of axis-parallel line segments with at most two bends (those are the so-called $B_2$-VPG representations) and simultaneously two curves intersect each other at most once (those are the so-called 1-string representations). Thus, planar graphs are $B_2$-VPG $1$-string graphs. We further show that with some restrictions on the shapes of the curves, string representations can be used to produce approximation algorithms for several hard problems. The $B_2$-VPG representations of planar graphs satisfy these restrictions. We attempt to further restrict the number of bends in VPG representations for subclasses of planar graphs, and investigate $B_1$-VPG representations. We propose new classes of string representations for planar graphs that we call ``order-preserving.'' Order-preservation is an interesting property which relates the string representation to the planar embedding of the graph, and we believe that it might prove useful when constructing string representations. Finally, we extend our investigation of string representations to string representations that require some curves to intersect multiple times. We show that there are outer-string graphs that require an exponential number of crossings in their outer-string representations. Our construction also proves that 1-planar graphs, i.e., graphs that are no longer planar, yet fairly close to planar graphs, may have string representations, but they are not always 1-string

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)

Algorithmic Graph Theory

The main focus of this workshop was on mathematical techniques needed for the development of efficient solutions and algorithms for computationally difficult graph problems. The techniques studied at the workshhop included: the probabilistic method and randomized algorithms, approximation and optimization, structured families of graphs and approximation algorithms for large problems. The workshop Algorithmic Graph Theory was attended by 46 participants, many of them being young researchers. In 15 survey talks an overview of recent developments in Algorithmic Graph Theory was given. These talks were supplemented by 10 shorter talks and by two special sessions

Proceedings of the 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization

International audienceThe Cologne-Twente Workshop (CTW) on Graphs and Combinatorial Optimization started off as a series of workshops organized bi-annually by either Köln University or Twente University. As its importance grew over time, it re-centered its geographical focus by including northern Italy (CTW04 in Menaggio, on the lake Como and CTW08 in Gargnano, on the Garda lake). This year, CTW (in its eighth edition) will be staged in France for the first time: more precisely in the heart of Paris, at the Conservatoire National d’Arts et Métiers (CNAM), between 2nd and 4th June 2009, by a mixed organizing committee with members from LIX, Ecole Polytechnique and CEDRIC, CNAM