65,783 research outputs found

    Fast Quasi-Threshold Editing

    Full text link
    We introduce Quasi-Threshold Mover (QTM), an algorithm to solve the quasi-threshold (also called trivially perfect) graph editing problem with edge insertion and deletion. Given a graph it computes a quasi-threshold graph which is close in terms of edit count. This edit problem is NP-hard. We present an extensive experimental study, in which we show that QTM is the first algorithm that is able to scale to large real-world graphs in practice. As a side result we further present a simple linear-time algorithm for the quasi-threshold recognition problem.Comment: 26 pages, 4 figures, submitted to ESA 201

    Monotonic Stable Solutions for Minimum Coloring Games

    Get PDF
    For the class of minimum coloring games (introduced by Deng et al. (1999)) we investigate the existence of population monotonic allocation schemes (introduced by Sprumont (1990)). We show that a minimum coloring game on a graph G has a population monotonic allocation scheme if and only if G is (P4, 2K2)-free (or, equivalently, if its complement graph G is quasi-threshold). Moreover, we provide a procedure that for these graphs always selects an integer population monotonic allocation scheme.Minimum coloring game;population monotonic allocation scheme;(P4;2K2)-free graph;quasi-threshold graph

    Threshold Graphs Maximize Homomorphism Densities

    Full text link
    Given a fixed graph HH and a constant c[0,1]c \in [0,1], we can ask what graphs GG with edge density cc asymptotically maximize the homomorphism density of HH in GG. For all HH for which this problem has been solved, the maximum is always asymptotically attained on one of two kinds of graphs: the quasi-star or the quasi-clique. We show that for any HH the maximizing GG is asymptotically a threshold graph, while the quasi-clique and the quasi-star are the simplest threshold graphs having only two parts. This result gives us a unified framework to derive a number of results on graph homomorphism maximization, some of which were also found quite recently and independently using several different approaches. We show that there exist graphs HH and densities cc such that the optimizing graph GG is neither the quasi-star nor the quasi-clique, reproving a result of Day and Sarkar. We rederive a result of Janson et al. on maximizing homomorphism numbers, which was originally found using entropy methods. We also show that for cc large enough all graphs HH maximize on the quasi-clique, which was also recently proven by Gerbner et al., and in analogy with Kopparty and Rossman we define the homomorphism density domination exponent of two graphs, and find it for any HH and an edge

    Some Exact Results on Bond Percolation

    Full text link
    We present some exact results on bond percolation. We derive a relation that specifies the consequences for bond percolation quantities of replacing each bond of a lattice Λ\Lambda by \ell bonds connecting the same adjacent vertices, thereby yielding the lattice Λ\Lambda_\ell. This relation is used to calculate the bond percolation threshold on Λ\Lambda_\ell. We show that this bond inflation leaves the universality class of the percolation transition invariant on a lattice of dimensionality d2d \ge 2 but changes it on a one-dimensional lattice and quasi-one-dimensional infinite-length strips. We also present analytic expressions for the average cluster number per vertex and correlation length for the bond percolation problem on the NN \to \infty limits of several families of NN-vertex graphs. Finally, we explore the effect of bond vacancies on families of graphs with the property of bounded diameter as NN \to \infty.Comment: 33 pages latex 3 figure

    Linear Clique-Width for Hereditary Classes of Cographs

    Get PDF
    The class of cographs is known to have unbounded linear clique-width. We prove that a hereditary class of cographs has bounded linear clique-width if and only if it does not contain all quasi-threshold graphs or their complements. The proof borrows ideas from the enumeration of permutation classes

    On the proof complexity of Paris-harrington and off-diagonal ramsey tautologies

    Get PDF
    We study the proof complexity of Paris-Harrington’s Large Ramsey Theorem for bi-colorings of graphs and of off-diagonal Ramsey’s Theorem. For Paris-Harrington, we prove a non-trivial conditional lower bound in Resolution and a non-trivial upper bound in bounded-depth Frege. The lower bound is conditional on a (very reasonable) hardness assumption for a weak (quasi-polynomial) Pigeonhole principle in RES(2). We show that under such an assumption, there is no refutation of the Paris-Harrington formulas of size quasipolynomial in the number of propositional variables. The proof technique for the lower bound extends the idea of using a combinatorial principle to blow up a counterexample for another combinatorial principle beyond the threshold of inconsistency. A strong link with the proof complexity of an unbalanced off-diagonal Ramsey principle is established. This is obtained by adapting some constructions due to Erdos and Mills. ˝ We prove a non-trivial Resolution lower bound for a family of such off-diagonal Ramsey principles
    corecore