Solving Problems on Graphs of High Rank-Width

A modulator of a graph G to a specified graph class H is a set of vertices whose deletion puts G into H. The cardinality of a modulator to various tractable graph classes has long been used as a structural parameter which can be exploited to obtain FPT algorithms for a range of hard problems. Here we investigate what happens when a graph contains a modulator which is large but "well-structured" (in the sense of having bounded rank-width). Can such modulators still be exploited to obtain efficient algorithms? And is it even possible to find such modulators efficiently? We first show that the parameters derived from such well-structured modulators are strictly more general than the cardinality of modulators and rank-width itself. Then, we develop an FPT algorithm for finding such well-structured modulators to any graph class which can be characterized by a finite set of forbidden induced subgraphs. We proceed by showing how well-structured modulators can be used to obtain efficient parameterized algorithms for Minimum Vertex Cover and Maximum Clique. Finally, we use well-structured modulators to develop an algorithmic meta-theorem for deciding problems expressible in Monadic Second Order (MSO) logic, and prove that this result is tight in the sense that it cannot be generalized to LinEMSO problems.Comment: Accepted at WADS 201

Fourientations and the Tutte polynomial

A fourientation of a graph is a choice for each edge of the graph whether to orient that edge in either direction, leave it unoriented, or biorient it. Fixing a total order on the edges and a reference orientation of the graph, we investigate properties of cuts and cycles in fourientations which give trivariate generating functions that are generalized Tutte polynomial evaluations of the form (k + m)[superscript n−1](k + l)[superscript gT](αk + βl + m/k + m , γ k + l + δm/ k + l) for α, γ ∈ {0, 1, 2} and β, δ ∈ {0, 1}. We introduce an intersection lattice of 64 cut–cycle fourientation classes enumerated by generalized Tutte polynomial evaluations of this form. We prove these enumerations using a single deletion–contraction argument and classify axiomatically the set of fourientation classes to which our deletion–contraction argument applies. This work unifies and extends earlier results for fourientations due to Gessel and Sagan (Electron J Combin 3(2):Research Paper 9, 1996), results for partial orientations due to Backman (Adv Appl Math, forthcoming, 2014. arXiv:1408.3962), and Hopkins and Perkinson (Trans Am Math Soc 368(1):709–725, 2016), as well as results for total orientations due to Stanley (Discrete Math 5:171–178, 1973; Higher combinatorics (Proceedings of NATO Advanced Study Institute, Berlin, 1976). NATO Advanced Study Institute series, series C: mathematical and physical sciences, vol 31, Reidel, Dordrecht, pp 51–62, 1977), Las Vergnas (Progress in graph theory (Proceedings, Waterloo silver jubilee conference 1982), Academic Press, New York, pp 367–380, 1984), Greene and Zaslavsky (Trans Am Math Soc 280(1):97–126, 1983), and Gioan (Eur J Combin 28(4):1351–1366, 2007), which were previously unified by Gioan (2007), Bernardi (Electron J Combin 15(1):Research Paper 109, 2008), and Las Vergnas (Tutte polynomial of a morphism of matroids 6. A multi-faceted counting formula for hyperplane regions and acyclic orientations, 2012. arXiv:1205.5424). We conclude by describing how these classes of fourientations relate to geometric, combinatorial, and algebraic objects including bigraphical arrangements, cycle–cocycle reversal systems, graphic Lawrence ideals, Riemann–Roch theory for graphs, zonotopal algebra, and the reliability polynomial. Keywords: Partial graph orientations, Tutte polynomial, Deletion–contraction, Hyperplane arrangements, Cycle–cocycle reversal system, Chip-firing, G-parking functions, Abelian sandpile model, Riemann–Roch theory for graphs, Lawrence ideals, Zonotopal algebra, Reliability polynomialNational Science Foundation (U.S.) (Grant 1122374