graph
34905 papers tagged with this keyword
Minimum Fault-Tolerant, local and strong metric dimension of graphs
In this paper, we consider three similar optimization problems: the fault-tolerant metric dimension problem, the local metric dimension problem and the strong metric dimension problem. These problems have applications in many diverse areas, including network discovery and verification, robot navigation and chemistry, etc. We give integer linear programming formulations of the fault-tolerant metric dimension problem and the local metric dimension problem. Also, we study local metric dimension and strong metric dimension of two convex polytopes $S_n$ and $U_n$.
Scattered packings of cycles
Published
• View Publication
• BIB
We consider the problem Scattered Cycles which, given a graph $G$ and two positive integers $r$ and $\ell$, asks whether $G$ contains a collection of $r$ cycles that are pairwise at distance at least $\ell$. This problem generalizes the problem Disjoint Cycles which corresponds to the case $\ell = 1$. We prove that when parameterized by $r$, $\ell$, and the maximum degree $Δ$, the problem Scattered Cycles admits a kernel on $24 \ell^2 Δ^\ell r \log(8 \ell^2 Δ^\ell r)$ vertices. We also provide a $(16 \ell^2 Δ^\ell)$-kernel for the case $r=2$ and a $(148 Δr \log r)$-kernel for the case $\ell = 1$. Our proofs rely on two simple reduction rules and a careful analysis.
Trees, ladders and graphs
Published
• View Publication
• BIB
We introduce a new method to construct uncountably chromatic graphs from non special trees and ladder systems. Answering a question of P. Erdős and A. Hajnal from 1985, we construct graphs of chromatic number $ω_1$ without uncountable $ω$-connected subgraphs. Second, we build triangle free graphs of chromatic number $ω_1$ without subgraphs isomorphic to $H_{ω,ω+2}$.
Many 2-level polytopes from matroids
Published
• View Publication
• BIB
The family of 2-level matroids, that is, matroids whose base polytope is 2-level, has been recently studied and characterized by means of combinatorial properties. 2-level matroids generalize series-parallel graphs, which have been already successfully analyzed from the enumerative perspective.
We bring to light some structural properties of 2-level matroids and exploit them for enumerative purposes. Moreover, the counting results are used to show that the number of combinatorially non-equivalent (n-1)-dimensional 2-level polytopes is bounded from below by $c \cdot n^{-5/2} \cdot ρ^{-n}$, where $c\approx 0.03791727 $ and $ρ^{-1} \approx 4.88052854$.
Colouring of plane graphs with unique maximal colours on faces
Published in J. Graph Theory, 83(4) 359-371, 2016
• View Publication
• BIB
The Four Colour Theorem asserts that the vertices of every plane graph can be properly coloured with four colors. Fabrici and Göring conjectured the following stronger statement to also hold: the vertices of every plane graph can be properly coloured with the numbers 1,...,4 in such a way that every face contains a unique vertex coloured with the maximal color appearing on that face. They proved that every plane graph has such a colouring with the numbers 1,...,6. We prove that every plane graph has such a colouring with the numbers 1,...,5 and we also prove the list variant of the statement for lists of sizes seven.
Harmonic functions on multiplicative graphs and inverse Pitman transform on infinite random paths
Published
• View Publication
• BIB
We introduce and characterize central probability distributions on Littelmann paths. Next we establish a law of large numbers and a central limit theorem for the generalized Pitmann transform. We then study harmonic functions on multiplicative graphs defined from the tensor powers of finite-dimensional Lie algebras representations. Finally, we show there exists an inverse of the generalized Pitman transform defined almost surely on the set of infinite paths remaining in the Weyl chamber and explain how it can be computed.
Some NP-complete edge packing and partitioning problems in planar graphs
Published
• View Publication
• BIB
Graph packing and partitioning problems have been studied in many contexts, including from the algorithmic complexity perspective. Consider the packing problem of determining whether a graph contains a spanning tree and a cycle that do not share edges. Bernáth and Király proved that this decision problem is NP-complete and asked if the same result holds when restricting to planar graphs. Similarly, they showed that the packing problem with a spanning tree and a path between two distinguished vertices is NP-complete. They also established the NP-completeness of the partitioning problem of determining whether the edge set of a graph can be partitioned into a spanning tree and a (not-necessarily spanning) tree. We prove that all three problems remain NP-complete even when restricted to planar graphs.
A computer-assisted proof of Barnette-Goodey conjecture: Not only fullerene graphs are Hamiltonian
Fullerene graphs, i.e., 3-connected planar cubic graphs with pentagonal and hexagonal faces, are conjectured to be Hamiltonian. This is a special case of a conjecture of Barnette and Goodey, stating that 3-connected planar graphs with faces of size at most 6 are Hamiltonian. We prove the conjecture.
Proof of a Conjectured Three-Valued Family of Weil Sums of Binomials
Published
• View Publication
• BIB
We consider Weil sums of binomials of the form $W_{F,d}(a)=\sum_{x \in F} ψ(x^d-a x)$, where $F$ is a finite field, $ψ\colon F\to {\mathbb C}$ is the canonical additive character, $\gcd(d,|F^\times|)=1$, and $a \in F^\times$. If we fix $F$ and $d$ and examine the values of $W_{F,d}(a)$ as $a$ runs through $F^\times$, we always obtain at least three distinct values unless $d$ is degenerate (a power of the characteristic of $F$ modulo $|F^\times|$). Choices of $F$ and $d$ for which we obtain only three values are quite rare and desirable in a wide variety of applications. We show that if $F$ is a field of order $3^n$ with $n$ odd, and $d=3^r+2$ with $4 r \equiv 1 \pmod{n}$, then $W_{F,d}(a)$ assumes only the three values $0$ and $\pm 3^{(n+1)/2}$. This proves the 2001 conjecture of Dobbertin, Helleseth, Kumar, and Martinsen. The proof employs diverse methods involving trilinear forms, counting points on curves via multiplicative character sums, divisibility properties of Gauss sums, and graph theory.
On $k$-ended spanning and dominating trees
A tree with at most $k$ leaves is called a $k$-ended tree. A spanning 2-ended tree is a Hamilton path. A Hamilton cycle can be considered as a spanning 1-ended tree. The earliest result concerning spanning trees with few leaves states that if $k$ is a positive integer and $G$ is a connected graph of order $n$ with $d(x)+d(y)\ge n-k+1$ for each pair of nonadjacent vertices $x,y$, then $G$ has a spanning $k$-ended tree. In this paper, we improve this result in two ways, and an analogous result is proved for dominating $k$-ended trees based on the generalized parameter $t_k$ - the order of a largest $k$-ended tree. In particular, $t_1$ is the circumference (the length of a longest cycle), and $t_2$ is the order of a longest path.
Christoffel-Darboux type identities for independence polynomial
Published
• View Publication
• BIB
In this paper we introduce some Christoffel-Darboux type identities for independence polynomials. As an application, we give a new proof of a theorem of M. Chudnovsky and P. Seymour, claiming that the independence polynomial of a claw-free graph has only real roots. Another application is related to a conjecture of Merrifield and Simmons.
A (forgotten) upper bound for the spectral radius of a graph
Published
• View Publication
• BIB
The best degree-based upper bound for the spectral radius is due to Liu and Weng. This paper begins by demonstrating that a (forgotten) upper bound for the spectral radius dating from 1983 is equivalent to their much more recent bound. This bound is then used to compare lower bounds for the clique number. A series of sharp upper bounds for the signless Laplacian spectral radius is then proposed as another application. Finally a new lower bound for generalised r-partite graphs is proved, by extending a result due to Erdos.
Conjectured bounds for the sum of squares of positive eigenvalues of a graph
Published
• View Publication
• BIB
A well known upper bound for the spectral radius of a graph, due to Hong, is that $μ_1^2 \le 2m - n + 1$. It is conjectured that for connected graphs $n - 1 \le s^+ \le 2m - n + 1$, where $s^+$ denotes the sum of the squares of the positive eigenvalues. The conjecture is proved for various classes of graphs, including bipartite, regular, complete $q$-partite, hyper-energetic, and barbell graphs. Various searches have found no counter-examples. The paper concludes with a brief discussion of the apparent difficulties of proving the conjecture in general.
New bounds on the signed domination numbers of graphs
Published in Australasian Journal of Combinatorics, 61 (3) (2015), 273-280
• Search Publication
In this paper, we study the signed domination numbers of graphs and present new sharp lower and upper bounds for this parameter. As an example, we present a lower bound on signed domination number of trees in terms of the order, leaves and support vertices.
4-Factor-criticality of vertex-transitive graphs
Published
• View Publication
• BIB
A graph of order $n$ is $p$-factor-critical, where $p$ is an integer of the same parity as $n$, if the removal of any set of $p$ vertices results in a graph with a perfect matching. 1-factor-critical graphs and 2-factor-critical graphs are well-known factor-critical graphs and bicritical graphs, respectively. It is known that if a connected vertex-transitive graph has odd order, then it is factor-critical, otherwise it is elementary bipartite or bicritical. In this paper, we show that a connected vertex-transitive non-bipartite graph of even order at least 6 is 4-factor-critical if and only if its degree is at least 5. This result implies that each connected non-bipartite Cayley graphs of even order and degree at least 5 is 2-extendable.
The Maximal Matching Energy of Tricyclic Graphs
Gutman and Wagner proposed the concept of the matching energy (ME) and pointed out that the chemical applications of ME go back to the 1970s. Let $G$ be a simple graph of order $n$ and $μ_1,μ_2,\ldots,μ_n$ be the roots of its matching polynomial. The matching energy of $G$ is defined to be the sum of the absolute values of $μ_{i}\ (i=1,2,\ldots,n)$. Gutman and Cvetkoić determined the tricyclic graphs on $n$ vertices with maximal number of matchings by a computer search for small values of $n$ and by an induction argument for the rest. Based on this result, in this paper, we characterize the graphs with the maximal value of matching energy among all tricyclic graphs, and completely determine the tricyclic graphs with the maximal matching energy. We prove our result by using Coulson-type integral formula of matching energy, which is similar as the method to comparing the energies of two quasi-order incomparable graphs.
Matching Energy of Unicyclic and Bicyclic Graphs with a Given Diameter
Published
• View Publication
• BIB
Gutman and Wagner proposed the concept of matching energy (ME) and pointed out that the chemical applications of ME go back to the 1970s. Let $G$ be a simple graph of order $n$ and $μ_1,μ_2,\ldots,μ_n$ be the roots of its matching polynomial. The matching energy of $G$ is defined to be the sum of the absolute values of $μ_{i}\ (i=1,2,\ldots,n)$. In this paper, we characterize the graphs with minimal matching energy among all unicyclic and bicyclic graphs with a given diameter $d$.
The Buchberger resolution
Published
• View Publication
• BIB
We define the Buchberger resolution, which is a graded free resolution of a monomial ideal in a polynomial ring. Its construction uses a generalization of the Buchberger graph and encodes much of the combinatorics of the Buchberger algorithm. The Buchberger resolution is a cellular resolution that coincides with the Scarf resolution for generic monomial ideals, which is the case when it is minimal. The simplicial complex underlying the Buchberger resolution is of interest for its own sake and its combinatorics is not fully understood. We close with a conjecture on the clique complex of the Buchberger graph.
Erdős-Ko-Rado for Perfect Matchings
Published
• View Publication
• BIB
A perfect matching of a complete graph $K_{2n}$ is a 1-regular subgraph that contains all the vertices. Two perfect matchings intersect if they share an edge. It is known that if $\mathcal{F}$ is family of intersecting perfect matchings of $K_{2n}$, then $|\mathcal{F}| \leq (2(n-1) - 1)!!$ and if equality holds, then $\mathcal{F} = \mathcal{F}_{ij}$ where $ \mathcal{F}_{ij}$ is the family of all perfect matchings of $K_{2n}$ that contain some fixed edge $ij$. We give a short algebraic proof of this result, resolving a question of Godsil and Meagher. Along the way, we show that if a family $\mathcal{F}$ is non-Hamiltonian, that is, $m \cup m' \not \cong C_{2n}$ for any $m,m' \in \mathcal{F}$, then $|\mathcal{F}| \leq (2(n-1) - 1)!!$ and this bound is met with equality if and only if $\mathcal{F} = \mathcal{F}_{ij}$. Our results make ample use of a somewhat understudied symmetric commutative association scheme arising from the Gelfand pair $(S_{2n},S_2 \wr S_n)$. We give an exposition of a few new interesting objects that live in this scheme as they pertain to our results.
New polynomial case for efficient domination in $P_6$-free graphs
Published
• View Publication
• BIB
In a graph $G$, an {\it efficient dominating set} is a subset $D$ of vertices such that $D$ is an independent set and each vertex outside $D$ has exactly one neighbor in $D$. The {\textsc{Efficient Dominating Set}} problem (EDS) asks for the existence of an efficient dominating set in a given graph $G$. The EDS is known to be $NP$-complete for $P_7$-free graphs, and is known to be polynomial time solvable for $P_5$-free graphs. However, the computational complexity of the EDS problem is unknown for $P_6$-free graphs. In this paper, we show that the EDS problem can be solved in polynomial time for a subclass of $P_6$-free graphs, namely ($P_6$, banner)-free graphs.