307 research outputs found

    A tree-decomposed transfer matrix for computing exact Potts model partition functions for arbitrary graphs, with applications to planar graph colourings

    Get PDF
    Combining tree decomposition and transfer matrix techniques provides a very general algorithm for computing exact partition functions of statistical models defined on arbitrary graphs. The algorithm is particularly efficient in the case of planar graphs. We illustrate it by computing the Potts model partition functions and chromatic polynomials (the number of proper vertex colourings using Q colours) for large samples of random planar graphs with up to N=100 vertices. In the latter case, our algorithm yields a sub-exponential average running time of ~ exp(1.516 sqrt(N)), a substantial improvement over the exponential running time ~ exp(0.245 N) provided by the hitherto best known algorithm. We study the statistics of chromatic roots of random planar graphs in some detail, comparing the findings with results for finite pieces of a regular lattice.Comment: 5 pages, 3 figures. Version 2 has been substantially expanded. Version 3 shows that the worst-case running time is sub-exponential in the number of vertice

    An algorithmic framework for colouring locally sparse graphs

    Full text link
    We develop an algorithmic framework for graph colouring that reduces the problem to verifying a local probabilistic property of the independent sets. With this we give, for any fixed k3k\ge 3 and ε>0\varepsilon>0, a randomised polynomial-time algorithm for colouring graphs of maximum degree Δ\Delta in which each vertex is contained in at most tt copies of a cycle of length kk, where 1/2tΔ2ε1+2ε/(logΔ)21/2\le t\le \Delta^\frac{2\varepsilon}{1+2\varepsilon}/(\log\Delta)^2, with (1+ε)Δ/log(Δ/t)\lfloor(1+\varepsilon)\Delta/\log(\Delta/\sqrt t)\rfloor colours. This generalises and improves upon several notable results including those of Kim (1995) and Alon, Krivelevich and Sudakov (1999), and more recent ones of Molloy (2019) and Achlioptas, Iliopoulos and Sinclair (2019). This bound on the chromatic number is tight up to an asymptotic factor 22 and it coincides with a famous algorithmic barrier to colouring random graphs.Comment: 23 page

    Deciding first-order properties of nowhere dense graphs

    Full text link
    Nowhere dense graph classes, introduced by Nesetril and Ossona de Mendez, form a large variety of classes of "sparse graphs" including the class of planar graphs, actually all classes with excluded minors, and also bounded degree graphs and graph classes of bounded expansion. We show that deciding properties of graphs definable in first-order logic is fixed-parameter tractable on nowhere dense graph classes. At least for graph classes closed under taking subgraphs, this result is optimal: it was known before that for all classes C of graphs closed under taking subgraphs, if deciding first-order properties of graphs in C is fixed-parameter tractable, then C must be nowhere dense (under a reasonable complexity theoretic assumption). As a by-product, we give an algorithmic construction of sparse neighbourhood covers for nowhere dense graphs. This extends and improves previous constructions of neighbourhood covers for graph classes with excluded minors. At the same time, our construction is considerably simpler than those. Our proofs are based on a new game-theoretic characterisation of nowhere dense graphs that allows for a recursive version of locality-based algorithms on these classes. On the logical side, we prove a "rank-preserving" version of Gaifman's locality theorem.Comment: 30 page

    Improved Bounds for Randomly Colouring Simple Hypergraphs

    Get PDF
    We study the problem of sampling almost uniform proper q-colourings in k-uniform simple hypergraphs with maximum degree ?. For any ? > 0, if k ? 20(1+?)/? and q ? 100?^({2+?}/{k-4/?-4}), the running time of our algorithm is O?(poly(? k)? n^1.01), where n is the number of vertices. Our result requires fewer colours than previous results for general hypergraphs (Jain, Pham, and Vuong, 2021; He, Sun, and Wu, 2021), and does not require ?(log n) colours unlike the work of Frieze and Anastos (2017)

    Computing the chromatic number of t-(v,k,[lambda]) designs

    Get PDF
    Colouring t-designs has previously been shown to be an NP-complete problem; heuristics and a practical algorithm for this problem were developed for this thesis; the algorithm was then employed to find the chromatic numbers of the sixteen non- isomorphic 2-(25, 4, 1) designs and the four cyclic 2-(19, 3, 1) designs. This thesis additionally examines the existing literature on colouring and finding chromatic numbers of t-designs

    Optimal acyclic edge colouring of grid like graphs

    Get PDF
    AbstractWe determine the values of the acyclic chromatic index of a class of graphs referred to as d-dimensional partial tori. These are graphs which can be expressed as the cartesian product of d graphs each of which is an induced path or cycle. This class includes some known classes of graphs like d-dimensional meshes, hypercubes, tori, etc. Our estimates are exact except when the graph is a product of a path and a number of odd cycles, in which case the estimates differ by an additive factor of at most 1. Our results are also constructive and provide an optimal (or almost optimal) acyclic edge colouring in polynomial time

    Book reports

    Get PDF
    corecore