graph
34665 papers tagged with this keyword
Trestles in the squares of graphs
Published
• View Publication
• BIB
We show that the square of every connected $S(K_{1,4})$-free graph satisfying a matching condition has a $2$-connected spanning subgraph of maximum degree at most~$3$. Furthermore, we characterise trees whose square has a $2$-connected spanning subgraph of maximum degree at most~$k$. This generalises the results on $S(K_{1,3})$-free graphs of Henry and Vogler (1985) and Harary and Schwenk (1971), respectively.
Canonical trees of tree-decompositions
Published
• View Publication
• BIB
We prove that every graph has a canonical tree of tree-decompositions that distinguishes all principal tangles (these include the ends and various kinds of large finite dense structures) efficiently.
Here `trees of tree-decompositions' are a slightly weaker notion than `tree-decompositions' but much more well-behaved than `tree-like metric spaces'. This theorem is best possible in the sense that we give an example that `trees of tree-decompositions' cannot be strengthened to `tree-decompositions' in the above theorem.
This implies results of Dunwoody and Krön as well as of Carmesin, Diestel, Hundertmark and Stein. Beyond that for locally finite graphs our result gives for each $k\in\mathbb N$ canonical tree-decompositions that distinguish all $k$-distinguishable ends efficiently.
Additive Tree $O(ρ\log n)$-Spanners from Tree Breadth $ρ$
The tree breadth ${\rm tb}(G)$ of a connected graph $G$ is the smallest non-negative integer $ρ$ such that $G$ has a tree decomposition whose bags all have radius at most $ρ$. We show that, given a connected graph $G$ of order $n$ and size $m$, one can construct in time $O(m\log n)$ an additive tree $O\big({\rm tb}(G)\log n\big)$-spanner of $G$, that is, a spanning subtree $T$ of $G$ in which $d_T(u,v)\leq d_G(u,v)+O\big({\rm tb}(G)\log n\big)$ for every two vertices $u$ and $v$ of $G$. This improves earlier results of Dragan and Köhler (Algorithmica 69 (2014) 884-905), who obtained a multiplicative error of the same order, and of Dragan and Abu-Ata (Theoretical Computer Science 547 (2014) 1-17), who achieved the same additive error with a collection of $O(\log n)$ trees.
Threshold Graphs Maximize Homomorphism Densities
Published
• View Publication
• BIB
Given a fixed graph $H$ and a constant $c \in [0,1]$, we can ask what graphs $G$ with edge density $c$ asymptotically maximize the homomorphism density of $H$ in $G$. For all $H$ 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 $H$ the maximizing $G$ 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 $H$ and densities $c$ such that the optimizing graph $G$ is neither the quasi-star nor the quasi-clique, reproving a result of Day and Sarkar. We also show that for $c$ large enough all graphs $H$ maximize on the quasi-clique, which was also recently proven by Gerbner et al., and for any $c \in [0,1]$ the density of $K_{1,2}$ is always maximized on either the quasi-star or the quasi-clique, which was originally shown by Ahlswede and Katona. Finally, we extend our results to uniform hypergraphs.
On Minimum Dominating Sets in cubic and (claw,H)-free graphs
Given a graph $G=(V,E)$, $S\subseteq V$ is a dominating set if every $v\in V\setminus S$ is adjacent to an element of $S$. The Minimum Dominating Set problem asks for a dominating set with minimum cardinality. It is well known that its decision version is $NP$-complete even when $G$ is a claw-free graph. We give a complexity dichotomy for the Minimum Dominating Set problem for the class of $(claw, H)$-free graphs when $H$ has at most six vertices. In an intermediate step we show that the Minimum Dominating Set problem is $NP$-complete for cubic graphs.
The interlace polynomial of binary delta-matroids and link invariants
Published
• View Publication
• BIB
In this work, we study the interlace polynomial as a generalization of a graph invariant to delta-matroids. We prove that the interlace polynomial satisfies the four-term relation for delta-matroids and determines thus a finite type invariant of links in the 3-sphere.
Total Dominator Total Chromatic Numbers of Wheels, Complete bipartite graphs and Complete graphs
Total dominator total coloring of a graph is a total coloring of the graph such that each object of the graph is adjacent or incident to every object of some color class. The minimum namber of the color classes of a total dominator total coloring of a graph is called the total dominator total chromatic number of the graph. Here, we will find the total dominator chromatic numbers of wheels, complete bipartite graphs and complete graphs.
Corners and simpliciality in oriented matroids and partial cubes
Published
• View Publication
• BIB
Building on a recent characterization of tope graphs of Complexes of Oriented Matroids (COMs), we tackle and generalize several classical problems in Oriented Matroids (OMs), Lopsided Sets (aka ample set systems), and partial cubes via Metric Graph Theory. Our first main result is that every element of an OM from a class introduced by Mandel is incident to a simplicial tope, i.e, such OMs contain no mutation-free elements. This allows us to refute a conjecture of Mandel from 1983, that would have implied the famous Las Vergnas' simplex conjecture. Further, we show that the mutation graph of uniform OMs of order at most 9 are connected, thus confirming a stronger conjecture of Cordovil-Las Vergnas in this setting.
The second main contribution is the introduction of corners of COMs as a natural generalization of corners in Lopsided Sets. Generalizing results of Bandelt and Chepoi, Tracy Hall, and Chalopin et al. we prove that realizable COMs, rank 2 COMs, as well as hypercellular graphs admit corner peelings. Using this, we confirm Las Vergnas' conjecture for antipodal partial cubes (a class much lager than OMs) of small rank or isometric dimension.
Intensive use of computing resources for dominations in grids and other combinatorial problems
Our goal is to prove new results in graph theory and combinatorics thanks to the speed of computers, used with smart algorithms. We tackle four problems.
The four-colour theorem states that any map whose countries are connected can be coloured with 4 colours such that neighbouring countries have differnt colours. It was the first result proved using computers, in 1989. We wished to automatise further its proof. We explain the proof and provide a program which replays the proof. It also makes it possible to obtain other results with the same method. We give ideas to automatise the search for discharging rules.
We also study the problems of domination in grids. The simplest one is the one of domination. It consists in putting a stone on some cells of a grid such that every cell has a stone, or has a neighbour with a stone. This problem was solved in 2011, using computers to prove a formula giving the minimum number of stones needed. We adapt this method for the first time for variants of the domination. We solve partially two other problems and give for them lower bounds for grids of arbitrary size.
We also tackle the counting problem for dominating sets. How many dominating sets are there for a given grid? We study this counting problem for the domination and three variants. For each of these problems, we prove the existence of asymptotic growths rates for which we give bounds.
Finally we study polyominoes and the way they can tile rectangles. We tried to solve a problem from 1989: is there a polyomino of odd order? It consists in finding a polyomino which can tile a rectangle with an odd number of copies, but cannot tile any smaller rectangle. We did not manage to solve this problem, but we made a program to enumerate polyominoes and try to find their orders, discarding those which cannot tile rectangles. We also give statistics on the orders of polyominoes of size up to 18.
Clustered 3-Colouring Graphs of Bounded Degree
Published in Combinator. Probab. Comp. 31 (2022) 123-135
• View Publication
• BIB
A (not necessarily proper) vertex colouring of a graph has "clustering" $c$ if every monochromatic component has at most $c$ vertices. We prove that planar graphs with maximum degree $Δ$ are 3-colourable with clustering $O(Δ^2)$. The previous best bound was $O(Δ^{37})$. This result for planar graphs generalises to graphs that can be drawn on a surface of bounded Euler genus with a bounded number of crossings per edge. We then prove that graphs with maximum degree $Δ$ that exclude a fixed minor are 3-colourable with clustering $O(Δ^5)$. The best previous bound for this result was exponential in $Δ$.
On the discrepancies of graphs
Published
• View Publication
• BIB
In the literature, the notion of discrepancy is used in several contexts, even in the theory of graphs. Here, for a graph $G$, $\{-1, 1\}$ labels are assigned to the edges, and we consider a family $\mathcal{S}_G$ of (spanning) subgraphs of certain types, among others spanning trees, Hamiltonian cycles. As usual, we seek for bounds on the sum of the labels that hold for all elements of $\mathcal{S}_G$, for every labeling.
Edge-Matching Graph Contractions and their Interlacing Properties
Published
• View Publication
• BIB
For a given graph $\mathcal{G}$ of order $n$ with $m$ edges, and a real symmetric matrix associated to the graph, $M\left(\mathcal{G}\right)\in\mathbb{R}^{n\times n}$, the interlacing graph reduction problem is to find a graph $\mathcal{G}_{r}$ of order $r<n$ such that the eigenvalues of $M\left(\mathcal{G}_{r}\right)$ interlace the eigenvalues of $M\left(\mathcal{G}\right)$. Graph contractions over partitions of the vertices are widely used as a combinatorial graph reduction tool. In this study, we derive a graph reduction interlacing theorem based on subspace mappings and the minmax theory. We then define a class of edge-matching graph contractions and show how two types of edge-matching contractions provide Laplacian and normalized Laplacian interlacing. An $\mathcal{O}\left(mn\right)$ algorithm is provided for finding a normalized Laplacian interlacing contraction and an $\mathcal{O}\left(n^{2}+nm\right)$ algorithm is provided for finding a Laplacian interlacing contraction.
Formulas in connection with parameters related to convexity of paths on three vertices: caterpillars and unit interval graphs
We present formulas to compute the P3-geodetic number, the P3-hull number and the percolation time for a caterpillar, in terms of certain sequences associated with it. In addition, we find a connection between the percolation time of a unit interval graph and a parameter involving the diameter of a unit interval graph related to it. Finally, we present a hereditary graph class, defined by forbidden induced subgraphs, such that its percolation time is equal to one.
On free products of graphs
Published in AUSTRALASIAN JOURNAL OF COMBINATORICS 78.1 (2020): 154-176
• Search Publication
We define a free product of connected simple graphs that is equivalent to several existing definitions when the graphs are vertex-transitive but differs otherwise. The new definition is designed for the automorphism group of the free product to be as large as possible, and we give sufficient criteria for it to be non-discrete. Finally, we transfer Tits' classification of automorphisms of trees and simplicity criterion to free products of graphs.
Feedback game on $3$-chromatic Eulerian triangulations of surfaces
In this paper, we study the feedback game on $3$-chromatic Eulerian triangulations of surfaces. We prove that the winner of the game on every $3$-chromatic Eulerian triangulation of a surface all of whose vertices have degree $0$ modulo $4$ is always fixed. Moreover, we also study the case of $3$-chromatic Eulerian triangulations of surfaces which have at least two vertices whose degrees are $2$ modulo $4$, and in particular, we determine the winner of the game on a concrete class of such graphs, called an octahedral path.
The asymptotic value of energy for matrices with degree-distance-based entries of random graphs
Published
• View Publication
• BIB
For a graph $G=(V, E)$ and $i, j\in V$, denote the distance between $i$ and $j$ in $G$ by $D(i, j)$ and the degrees of $i$, $j$ by $d_i$, $d_j$, respectively. Let $f(D(i, j), d_{i}, d_{j})$ be a function symmetric in $i$ and $j$. Define a matrix $W_f(G)$, called the weighted distance matrix, of $G$, with the $ij$-entry $W_f(G)(i, j)=f(D(i, j), d_{i}, d_{j})$ if $i\neq j$ and $W_f(G)(i, j)=0$ if $i=j$. In this paper, we prove that if the symmetric function $f$ satisfies that $f(D(i, j), (1+o(1))np, (1+o(1))np)=(1+o(1))f(D(i, j), np, np)$, then for almost all graphs $G_p$ in the $Erd\ddot{o}s$-$R\acute{e}nyi$ random graph model $\mathcal{G}_{n, p}$, the energy of $W_f(G_p)$ is $\{(\frac{8}{3π}\sqrt{p(1-p)}+o(1))\cdot|f(1, np, np)-f(2, np, np)|+o(|f(2, np, np)|)\}\cdot n^{3/2}$. As a consequence, we give the asymptotic values of energies of a variety of weighted distance matrices with function $f$ from distance-based only and mixed with degree-distance-based topological indices of chemical use. This generalizes our former result with only degree-based weights.
Generation of Delaney-Dress graphs
We introduce an algorithm for the efficient generation of cubic pregraphs which have a 2-factor in which each component is a quotient of $C_4$. This class of pregraphs is of particular interest, since it corresponds to the class of uncoloured graphs that are the underlying graphs of Delaney-Dress graphs. We also extend the algorithm to generate Delaney-Dress graphs.
Coloring triangle-free L-graphs with $O(\log\log n)$ colors
It is proved that triangle-free intersection graphs of $n$ L-shapes in the plane have chromatic number $O(\log\log n)$. This improves the previous bound of $O(\log n)$ (McGuinness, 1996) and matches the known lower bound construction (Pawlik et al., 2013).
Well-partitioned chordal graphs: obstruction set and disjoint paths
Published
• View Publication
• BIB
We introduce a new subclass of chordal graphs that generalizes split graphs, which we call well-partitioned chordal graphs. Split graphs are graphs that admit a partition of the vertex set into cliques that can be arranged in a star structure, the leaves of which are of size one. Well-partitioned chordal graphs are a generalization of this concept in the following two ways. First, the cliques in the partition can be arranged in a tree structure, and second, each clique is of arbitrary size. We provide a characterization of well-partitioned chordal graphs by forbidden induced subgraphs, and give a polynomial-time algorithm that given any graph, either finds an obstruction, or outputs a partition of its vertex set that asserts that the graph is well-partitioned chordal. We demonstrate the algorithmic use of this graph class by showing that two variants of the problem of finding pairwise disjoint paths between k given pairs of vertices is in FPT parameterized by k on well-partitioned chordal graphs, while on chordal graphs, these problems are only known to be in XP. From the other end, we observe that there are problems that are polynomial-time solvable on split graphs, but become NP-complete on well-partitioned chordal graphs.
Graph insertion operads
Published in Formal Power Series and Algebraic Combinatorics, Séminaire Lotharingien de Combinatoire, 84B.66, 2020
• Search Publication
Using the combinatorial species setting, we propose two new operad structures on multigraphs and on pointed oriented multigraphs. The former can be considered as a canonical operad on multigraphs, directly generalizing the Kontsevich-Willwacher operad, and has many interesting suboperads. The latter is a natural extension of the pre-Lie operad in a sense developed here and related to the multigraph operad. We study some of the finitely generated suboperads of the multigraph operad and establish links between them and the commutative operad and the commutative magmatic operad.