graph
35396 papers tagged with this keyword
Efficient Generation of One-Factorizations through Hill Climbing
It is well known that for every even integer $n$, the complete graph $K_{n}$ has a one-factorization, namely a proper edge coloring with $n-1$ colors. Unfortunately, not much is known about the possible structure of large one-factorizations. Also, at present we have only woefully few explicit constructions of one-factorizations. Specifically, we know essentially nothing about the {\em typical} properties of one-factorizations for large $n$.
Suppose that $\cal C_{\rm n}$ is a graph whose vertex set includes the set of all order-$n$ one-factorizations and that $Ψ: V(\cal C_{\rm n})\to \mathbb R$ takes its minimum precisely at the one-factorizations. Given $\cal C_{\rm n}$ and $Ψ$, we can generate one-factorizations via hill climbing. Namely, by taking a walk on $\cal C_{\rm n}$ that tends to go from a vertex to a neighbor of smaller $Ψ$. For over 30 years, hill-climbing has been essentially the only method for generating many large one-factorizations. However, the validity of such methods was supported so far only by numerical evidence. Here, we present for the first time hill-climbing algorithms that provably generate an order-$n$ one-factorization in $\text{polynomial}(n)$ steps regardless of the starting state, while all vertex degrees in the underlying graph are appropriately bounded.
We also raise many questions and conjectures regarding hill-climbing methods and concerning the possible and typical structure of one-factorizations.
A heuristic algorithm for the Bin Packing Problem with Conflicts on Interval Graphs
In this paper we deal with the Bin Packing Problem with Conflicts on interval graphs: given an interval graph, a nonnegative integer weight for each vertex, and a nonnegative integer B, find a partition of the vertex set of the graph into k subsets such that the sum of the weights of the vertices assigned to same subset is less than or equal to B, two vertices connected by an edge do not belong to the same subset, and k is minimum. We design a heuristic algorithm, and propose a new random interval graph generator which builds interval conflict graphs with desired edge density. We test the algorithm on a huge test bed, and compare the results with existing algorithms.
Cut Tree Structures with Applications on Contraction-Based Sparsification
We introduce three new cut tree structures of graphs $G$ in which the vertex set of the tree is a partition of $V(G)$ and contractions of tree vertices satisfy sparsification requirements that preserve various types of cuts. Recently, Kawarabayashi and Thorup \cite{Kawarabayashi2015a} presented the first deterministic near-linear edge-connectivity recognition algorithm. A crucial step in this algorithm uses the existence of vertex subsets of a simple graph $G$ whose contractions leave a graph with $\tilde{O}(n/δ)$ vertices and $\tilde{O}(n)$ edges ($n := |V(G)|$) such that all non-trivial min-cuts of $G$ are preserved. We improve this result by eliminating the poly-logarithmic factors, that is, we show a contraction-based sparsification that leaves $O(n/δ)$ vertices and $O(n)$ edges and preserves all non-trivial min-cuts. We complement this result by giving a sparsification that leaves $O(n/δ)$ vertices and $O(n)$ edges such that all (possibly not minimum) cuts of size less than $δ$ are preserved, by using contractions in a second tree structure. As consequence, we have that every simple graph has $O(n/δ)$ $δ$-edge-connected components, and, if it is connected, it has $O((n/δ)^2)$ non-trivial min-cuts. All these results are proven to be asymptotically optimal.
By using a third tree structure, we give a new lower bound on the number of \emph{pendant pairs}. The previous best bound was given 1974 by Mader, who showed that every simple graph contains $Ω(δ^2)$ pendant pairs. We improve this result by showing that every simple graph $G$ with $δ\geq 5$ or $λ\geq 4$ or $κ\geq 3$ contains $Ω(δn)$ pendant pairs. We prove that this bound is asymptotically tight from several perspectives, and that $Ω(δn)$ pendant pairs can be computed efficiently.
On the Extremal Graphs with Respect to Bond Incident Degree Indices
Published in Discrete Appl. Math. 238, (2018) 32-40
• View Publication
• BIB
Many existing degree based topological indices can be classified as bond incident degree (BID) indices, whose general form is $BID(G)=\sum_{uv\in E(G)}$ $Ψ(d_{u},d_{v})$, where $uv$ is the edge connecting the vertices $u,v$ of the graph $G$, $E(G)$ is the edge set of $G$, $d_{u}$ is the degree of the vertex $u$ and $Ψ$ is a non-negative real valued (symmetric) function of $d_{u}$ and $d_{v}$. Here, it has been proven that if the extension of $Ψ$ to the interval $[0,\infty)$ satisfies certain conditions then the extremal $(n,m)$-graph with respect to the BID index (corresponding to $Ψ$) must contain at least one vertex of degree $n-1$. It has been shown that these conditions are satisfied for the general sum-connectivity index (whose special cases are: the first Zagreb index and the Hyper Zagreb index), for the general Platt index (whose special cases are: the first reformulated Zagreb index and the Platt index) and for the variable sum exdeg index. Applying aforementioned result, graphs with maximum values of the aforementioned BID indices among tree, unicyclic, bicyclic, tricyclic and tetracyclic graphs were characterized. Some of these results are new and the already existing results are proven in a shorter and more unified way.
Colouring games based on autotopisms of Latin hyper-rectangles
Published in Quaestiones Mathematicae 42:7 (2019) 953-975
• View Publication
• BIB
Every partial colouring of a Hamming graph is uniquely related to a partial Latin hyper-rectangle. In this paper we introduce the $Θ$-stabilized $(a,b)$-colouring game for Hamming graphs, a variant of the $(a,b)$-colouring game so that each move must respect a given autotopism $Θ$ of the resulting partial Latin hyper-rectangle. We examine the complexity of this variant by means of its chromatic number. We focus in particular on the bi-dimensional case, for which the game is played on the Cartesian product of two complete graphs, and also on the hypercube case.
Shrub-depth: Capturing Height of Dense Graphs
Published in Logical Methods in Computer Science, Volume 15, Issue 1 (January 31, 2019) lmcs:3798
• View Publication
• BIB
The recent increase of interest in the graph invariant called tree-depth and in its applications in algorithms and logic on graphs led to a natural question: is there an analogously useful "depth" notion also for dense graphs (say; one which is stable under graph complementation)? To this end, in a 2012 conference paper, a new notion of shrub-depth has been introduced, such that it is related to the established notion of clique-width in a similar way as tree-depth is related to tree-width. Since then shrub-depth has been successfully used in several research papers. Here we provide an in-depth review of the definition and basic properties of shrub-depth, and we focus on its logical aspects which turned out to be most useful. In particular, we use shrub-depth to give a characterization of the lower $ω$ levels of the MSO1 transduction hierarchy of simple graphs.
On the $p'$-subgraph of the Young graph
Published
• View Publication
• BIB
Let $p$ be a prime number. In this article we study the restriction to $\mathfrak{S}_{n-1}$ of irreducible characters of degree coprime to $p$ of $\mathfrak{S}_n$. In particular, we study the combinatorial properties of the subgraph $\mathbb{Y}_{p'}$ of the Young graph $\mathbb{Y}$. This is an extension to odd primes of the work done by Ayyer, Prasad and Spallone for $p=2$.
Notes on Growing a Tree in a Graph
Published
• View Publication
• BIB
We study the height of a spanning tree $T$ of a graph $G$ obtained by starting with a single vertex of $G$ and repeatedly selecting, uniformly at random, an edge of $G$ with exactly one endpoint in $T$ and adding this edge to $T$.
Plane Graphs are Facially-non-repetitively $10^{4 \cdot10^7}$-Choosable
Published
• View Publication
• BIB
A sequence $\left(x_1,x_2,\ldots,x_{2n}\right)$ of even length is a repetition if $\left(x_1,\ldots,x_n\right) = \left(x_{n+1},\ldots,x_{2n}\right)$. We prove existence of a constant $C < 10^{4 \cdot 10^7}$ such that given any planar drawing of a graph $G$, and a list $L(v)$ of $C$ permissible colors for each vertex $v$ in $G$, there is a choice of a permissible color for each vertex such that the sequence of colors of the vertices on any facial simple path in $G$ is not a repetition.
On Sampling Edges Almost Uniformly
We consider the problem of sampling an edge almost uniformly from an unknown graph, $G = (V, E)$. Access to the graph is provided via queries of the following types: (1) uniform vertex queries, (2) degree queries, and (3) neighbor queries. We describe an algorithm that returns a random edge $e \in E$ using $\tilde{O}(n / \sqrt{\varepsilon m})$ queries in expectation, where $n = |V|$ is the number of vertices, and $m = |E|$ is the number of edges, such that each edge $e$ is sampled with probability $(1 \pm \varepsilon)/m$. We prove that our algorithm is optimal in the sense that any algorithm that samples an edge from an almost-uniform distribution must perform $Ω(n / \sqrt{m})$ queries.
Positroids Induced by Rational Dyck Paths
A rational Dyck path of type $(m,d)$ is an increasing unit-step lattice path from $(0,0)$ to $(m,d) \in \mathbb{Z}^2$ that never goes above the diagonal line $y = (d/m)x$. On the other hand, a positroid of rank $d$ on the ground set $[d+m]$ is a special type of matroid coming from the totally nonnegative Grassmannian. In this paper we describe how to naturally assign a rank $d$ positroid on the ground set $[d+m]$, which we name rational Dyck positroid, to each rational Dyck path of type $(m,d)$. We show that such an assignment is one-to-one. There are several families of combinatorial objects in one-to-one correspondence with the set of positroids. Here we characterize some of these families for the positroids we produce, namely Grassmann necklaces, decorated permutations, Le-diagrams, and move-equivalence classes of plabic graphs. Finally, we describe the matroid polytope of a given rational Dyck positroid.
The trivial lower bound for the girth of $S_n$
Consider the Cayley graph of $S_n$ generated by a random pair of elements $x,y$. Conjecturally, the girth of this graph is $Ω(n \log n)$ with probability tending to $1$ as $n\to\infty$. We show that it is at least $Ω(n^{1/3})$.
On the imaginary parts of chromatic root
Published
• View Publication
• BIB
While much attention has been directed to the maximum modulus and maximum real part of chromatic roots of graphs of order $n$ (that is, with $n$ vertices), relatively little is known about the maximum imaginary part of such graphs. We prove that the maximum imaginary part can grow linearly in the order of the graph. We also show that for any fixed $p \in (0,1)$, almost every random graph $G$ in the Erdös-Rényi model has a non-real root.
On the number of Hamiltonian cycles and polynomial invariants of graphs
Firstly, for a general graph, we find a recursion formula on the number of Hamiltonian cycles and one on cycles. By this result, we give some new polynomial invariants. Secondly, we give a condition to tell whether a polynomial defined by recursion on edges is a invariant. Then, we give an generaliztion of the Tutte polynomial. Finally, We have a try on distinguishing different graphs by using these polynomials.
On anti-Kekulé and $s$-restricted matching preclusion problems
Published in Journal of Combinatorial Optimization (2023) 45:103
• View Publication
• BIB
The anti-Kekulé number of a connected graph $G$ is the smallest number of edges whose deletion results in a connected subgraph having no Kekulé structures (perfect matchings). As a common generalization of (conditional) matching preclusion number and anti-Kekulé number of a graph $G$, we introduce $s$-restricted matching preclusion number of $G$ as the smallest number of edges whose deletion results in a subgraph without perfect matchings such that each component has at least $s+1$ vertices. In this paper, we first show that conditional matching preclusion problem and anti-Kekulé problem are NP-complete, respectively, then generalize this result to $s$-restricted matching preclusion problem. Moreover, we give some sufficient conditions to compute $s$-restricted matching preclusion numbers of regular graphs. As applications, $s$-restricted matching preclusion numbers of complete graphs, hypercubes and hyper Petersen networks are determined.
The Second Leaper Theorem
A $(p, q)$-leaper is a fairy chess piece that, from a square $a$, can move to any of the squares $a + (\pm p, \pm q)$ or $a + (\pm q, \pm p)$. Let $L$ be a $(p, q)$-leaper with $p + q$ odd and $C$ a cycle of $L$ within a $(p + q) \times (p + q)$ chessboard. We show that there exists a second leaper $M$, distinct from $L$, such that a Hamiltonian cycle $D$ of $M$ exists over the squares of $C$. We give descriptions of $C$ and $M$ in terms of continued fractions. We introduce the notion of a direction graph, roughly a leaper graph from which all information has been abstracted away save for the directions of the moves, and we study $C$ and $D$ in terms of direction graphs. We introduce the notion of a dual generalized chessboard, a generalized chessboard $B$ of more than one square such that the leaper graph of a leaper $L$ over $B$ is connected and isomorphic to the leaper graph of a second leaper $M$, distinct from $L$, over $B$, and we give constructions for dual generalized chessboards.
A special case of completion invariance for the $c_2$ invariant of a graph
Published
• View Publication
• BIB
The $c_2$ invariant is an arithmetic graph invariant defined by Schnetz. It is useful for understanding Feynman periods. Brown and Schnetz conjectured that the $c_2$ invariant has a particular symmetry known as completion invariance. This paper will prove completion invariance of the $c_2$ invariant in the case that $p=2$ and the completed graph has an odd number of vertices.
The methods involve enumerating certain edge bipartitions of graphs; two different constructions are needed.
Hypergraphs with vanishing Turán density in uniformly dense hypergraphs
Published in J. London Math. Soc. 97 (2018), no. 1, 77-97
• View Publication
• BIB
P. Erdős [On extremal problems of graphs and generalized graphs, Israel Journal of Mathematics 2 (1964), 183-190] characterised those hypergraphs $F$ that have to appear in any sufficiently large hypergraph $H$ of positive density. We study related questions for $3$-uniform hypergraphs with the additional assumption that $H$ has to be uniformly dense with respect to vertex sets. In particular, we characterise those hypergraphs $F$ that are guaranteed to appear in large uniformly dense hypergraphs $H$ of positive density. We also review the case when the density of the induced subhypergraphs of $H$ may depend on the proportion of the considered vertex sets.
Graphs that contain multiply transitive matchings
Published
• View Publication
• BIB
Let $Γ$ be a finite, undirected, connected, simple graph. We say that a matching $\mathcal{M}$ is a \textit{permutable $m$-matching} if $\mathcal{M}$ contains $m$ edges and the subgroup of $\text{Aut}(Γ)$ that fixes the matching $\mathcal{M}$ setwise allows the edges of $\mathcal{M}$ to be permuted in any fashion. A matching $\mathcal{M}$ is \textit{2-transitive} if the setwise stabilizer of $\mathcal{M}$ in $\text{Aut}(Γ)$ can map any ordered pair of distinct edges of $\mathcal{M}$ to any other ordered pair of distinct edges of $\mathcal{M}$. We provide constructions of graphs with a permutable matching; we show that, if $Γ$ is an arc-transitive graph that contains a permutable $m$-matching for $m \ge 4$, then the degree of $Γ$ is at least $m$; and, when $m$ is sufficiently large, we characterize the locally primitive, arc-transitive graphs of degree $m$ that contain a permutable $m$-matching. Finally, we classify the graphs that have a $2$-transitive perfect matching and also classify graphs that have a permutable perfect matching.
Balanced Non-Transitive Dice II: Tournaments
We further study sets of labeled dice in which the relation "is a better die than" is non-transitive. Focusing on sets with an additional symmetry we call "balance," we prove that sets of $n$ such $m$-sided dice exist for all $n,m \geq 3$. We then show how to construct a set of $n$ dice such that the relation behaves according to the direction of the arrows of any tournament (complete directed graph) on $n$ vertices.