arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34828 papers tagged with this keyword
A Family of Dense Mixed Graphs of Diameter $2$
Published • View Publication • BIB
A mixed graph is said to be dense if its order is close to the Moore bound and it is optimal if there is not a mixed graph with the same parameters and bigger order. We present a construction that provides dense mixed graphs of undirected degree $q$, directed degree $\frac{q-1}{2}$ and order $2q^2$, for $q$ being an odd prime power. Since the Moore bound for a mixed graph with these parameters is equal to $\frac{9q^2-4q+3}{4}$ the defect of these mixed graphs is $({\frac{q-2}{2}})^2-\frac{1}{4}$. In particular we obtain a known mixed Moore graph of order $18$, undirected degree $3$ and directed degree $1$ called Bosák's graph and a new mixed graph of order $50$, undirected degree $5$ and directed degree $2$, which is proved to be optimal.
2015-11-19
Hardness result for the total rainbow $k$-connection of graphs
Published • View Publication • BIB
A path in a total-colored graph is called \emph{total rainbow} if its edges and internal vertices have distinct colors. For an $\ell$-connected graph $G$ and an integer $k$ with $1\leq k \leq\ell$, the \emph{total rainbow $k$-connection number} of $G$, denoted by $trc_k(G)$, is the minimum number of colors used in a total coloring of $G$ to make $G$ \emph{total rainbow $k$-connected}, that is, any two vertices of $G$ are connected by $k$ internally vertex-disjoint total rainbow paths. In this paper, we study the computational complexity of total rainbow $k$-connection number of graphs. We show that it is NP-complete to decide whether $trc_k(G)=3$.
2015-11-19
Bounds of distance Estrada index of graphs
Published in Ars Combinatoria, 2016, vol. 128, pp. 287-294 • View Publication • BIB
Let $λ_1,λ_2,\cdots,λ_n$ be the eigenvalues of the distance matrix of a connected graph $G$. The distance Estrada index of $G$ is defined as $DEE(G)=\sum_{i=1}^ne^{λ_i}$. In this note, we present new lower and upper bounds for $DEE(G)$. In addition, a Nordhaus-Gaddum type inequality for $DEE(G)$ is given.
2015-11-19
Characterizing graphs of maximum principal ratio
Published • View Publication • BIB
The principal ratio of a connected graph, denoted $γ(G)$, is the ratio of the maximum and minimum entries of its first eigenvector. Cioabă and Gregory conjectured that the graph on $n$ vertices maximizing $γ(G)$ is a kite graph: a complete graph with a pendant path. In this paper we prove their conjecture.
2015-11-18
Uniqueness of the extreme cases in theorems of Drisko and Erdős-Ginzburg-Ziv
Published • View Publication • BIB
Drisko \cite{drisko} proved (essentially) that every family of $2n-1$ matchings of size $n$ in a bipartite graph possesses a partial rainbow matching of size $n$. In \cite{bgs} this was generalized as follows: Any $\lfloor \frac{k+2}{k+1} n \rfloor -(k+1)$ matchings of size $n$ in a bipartite graph have a rainbow matching of size $n-k$. We extend this latter result to matchings of not necessarily equal cardinalities. Settling a conjecture of Drisko, we characterize those families of $2n-2$ matchings of size $n$ in a bipartite graph that do not possess a rainbow matching of size $n$. Combining this with an idea of Alon \cite{alon}, we re-prove a characterization of the extreme case in a well-known theorem of Erdős-Ginzburg-Ziv in additive number theory.
2015-11-18
The Hopf Algebra of graph invariants
We propose an algebraic study of the simple graph isomorphism problem. We define a Hopf algebra from an explicit realization of its elements as formal power series. We show that these series can be evaluated on graphs and count occurrences of subgraphs. We establish a criterion for the isomorphism test of two simple graphs by means of occurrence counting of subgraphs. This criterion is deduced from algebraic relations between elements of our algebra.
2015-11-18 v2
Infinite excursions of rotor walks on regular trees
Published in The Electronic Journal of Combinatorics, Volume 24, Issue 2 (2017), Paper #P2.18 • Search Publication
A rotor configuration on a graph contains in every vertex an infinite ordered sequence of rotors, each is pointing to a neighbor of the vertex. After sampling a configuration according to some probability measure, a rotor walk is a deterministic process: at each step it chooses the next unused rotor in its current location, and uses it to jump to the neighboring vertex to which it points. Rotor walks capture many aspects of the expected behavior of simple random walks. However, this similarity breaks down for the property of having an infinite excursion. In this paper we study that question for natural random configuration models on regular trees. Our results suggest that in this context the rotor model behaves like the simple random walk unless it is not "close to" the standard rotor-router model.
Bounds on the Burning Number
Published • View Publication • BIB
Motivated by a graph theoretic process intended to measure the speed of the spread of contagion in a graph, Bonato, Janssen, and Roshanbin [Burning a Graph as a Model of Social Contagion, Lecture Notes in Computer Science 8882 (2014) 13-22] define the burning number $b(G)$ of a graph $G$ as the smallest integer $k$ for which there are vertices $x_1,\ldots,x_k$ such that for every vertex $u$ of $G$, there is some $i\in \{ 1,\ldots,k\}$ with ${\rm dist}_G(u,x_i)\leq k-i$, and ${\rm dist}_G(x_i,x_j)\geq j-i$ for every $i,j\in \{ 1,\ldots,k\}$. For a connected graph $G$ of order $n$, they prove that $b(G)\leq 2\left\lceil\sqrt{n}\right\rceil-1$, and conjecture $b(G)\leq \left\lceil\sqrt{n}\right\rceil$. We show that $b(G)\leq \sqrt{\frac{32}{19}\cdot \frac{n}{1-ε}}+\sqrt{\frac{27}{19ε}}$ and $b(G)\leq \sqrt{\frac{12n}{7}}+3\approx 1.309 \sqrt{n}+3$ for every connected graph $G$ of order $n$ and every $0<ε<1$. For a tree $T$ of order $n$ with $n_2$ vertices of degree $2$, and $n_{\geq 3}$ vertices of degree at least $3$, we show $b(T)\leq \left\lceil\sqrt{(n+n_2)+\frac{1}{4}}+\frac{1}{2}\right\rceil$ and $b(T)\leq \left\lceil\sqrt{n}\right\rceil+n_{\geq 3}$. Furthermore, we characterize the binary trees of depth $r$ that have burning number $r+1$.
2015-11-17
Light tails and the Hermitian dual polar graphs
Published • View Publication • BIB
Juriśič et al. conjectured that if a distance-regular graph $Γ$ with diameter $D$ at least three has a light tail, then one of the following holds: 1.$a_1 =0$; 2.$Γ$ is an antipodal cover of diameter three; 3.$Γ$ is tight; 4.$Γ$ is the halved $2D+1$-cube; 5.$Γ$ is a Hermitian dual polar graph $^2A_{2D-1}(r)$ where $r$ is a prime power. In this note, we will consider the case when the light tail corresponds to the eigenvalue $-\frac{k}{a_1 +1}$. Our main result is: Theorem Let $Γ$ be a non-bipartite distance-regular graph with valency $k \geq 3$ , diameter $D \geq 3$ and distinct eigenvalues $θ_0 > θ_1 > \cdots > θ_D$. Suppose that $Γ$ is $2$-bounded with smallest eigenvalue $θ_D = -\frac{k}{a_1 +1}$. If the minimal idempotent $E_D$, corresponding to eigenvalue $θ_D$, is a light tail, then $Γ$ is the dual polar graph $^2A_{2D-1}(r)$, where $r$ is a prime power. As a consequence of this result we will also show: Theorem Let $Γ$ be a distance-regular graph with valency $k \geq 3$, diameter $D \geq 2$, $a_1 =1$ and $θ_0 > θ_1 > \cdots > θ_D$. If $c_2 \geq5$ and $θ_D = -k/2$, then $c_2 =5$ and $Γ$ is the dual polar graph $^2A_{2D-1}(2)$.
2015-11-17
On path sequences of graphs
Published in Schedae Informaticae, vol. 24 (2015), pp. 230-242 • View Publication • BIB
A subset $S$ of vertices of a graph $G=(V,E)$ is called a $k$-path vertex cover if every path on $k$ vertices in $G$ contains at least one vertex from $S$. Denote by $ψ_k(G)$ the minimum cardinality of a $k$-path vertex cover in $G$ and form a sequence $ψ(G)=(ψ_1(G),ψ_2(G),\ldots,ψ_{|V|}(G))$, called the path sequence of $G$. In this paper we prove necessary and sufficient conditions for two integers to appear on fixed positions in $ψ(G)$. A complete list of all possible path sequences (with multiplicities) for small connected graphs is also given.
2015-11-17
On the Existence of Tree Backbones that Realize the Chromatic Number on a Backbone Coloring
Published • View Publication • BIB
A proper $k$-coloring of a graph $G=(V,E)$ is a function $c: V(G)\to \{1,\ldots,k\}$ such that $c(u)\neq c(v)$, for every $uv\in E(G)$. The chromatic number $χ(G)$ is the minimum $k$ such that there exists a proper $k$-coloring of $G$. Given a spanning subgraph $H$ of $G$, a $q$-backbone $k$-coloring of $(G,H)$ is a proper $k$-coloring $c$ of $V(G)$ such that $\lvert c(u)-c(v)\rvert \ge q$, for every edge $uv\in E(H)$. The $q$-backbone chromatic number $BBC_q(G,H)$ is the smallest $k$ for which there exists a $q$-backbone $k$-coloring of $(G,H)$. In this work, we show that every connected graph $G$ has a generating tree $T$ such that $BBC_q(G,T) = \max\{χ(G),\left\lceil\frac{χ(G)}{2}\right\rceil+q\}$, and that this value is the best possible. As a direct consequence, we get that every connected graph $G$ has a spanning tree $T$ for which $BBC_2(G,T)=χ(G)$, if $χ(G)\ge 4$, or $BBC_2(G,T)=χ(G)+1$, otherwise. Thus, by applying the Four Color Theorem, we have that every connected nonbipartite planar graph $G$ has a spanning tree $T$ such that $BBC_2(G,T)=4$. This settles a question by Wang, Bu, Montassier and Raspaud (2012), and generalizes a number of previous partial results to their question.
2015-11-16 v3
Vertex-weighted graphs and freeness of $ ψ$-graphical arrangements
Published • View Publication • BIB
Let $ G $ be a simple graph of $ \ell $ vertices $ \{1, \dots, \ell \} $ with edge set $ E_{G} $. The graphical arrangement $ \mathcal{A}_{G} $ consists of hyperplanes $ \{x_{i}-x_{j}=0\} $, where $ \{i, j \} \in E_{G} $. It is well known that three properties, chordality of $ G $, supersolvability of $ \mathcal{A}_{G} $, and freeness of $ \mathcal{A}_{G} $ are equivalent. Recently, Richard P. Stanley introduced $ ψ$-graphical arrangement $ \mathcal{A}_{G, ψ} $ as a generalization of graphical arrangements. Lili Mu and Stanley characterized the supersolvability of the $ ψ$-graphical arrangements and conjectured that the freeness and the supersolvability of $ ψ$-graphical arrangements are equivalent. In this paper, we will prove the conjecture.
2015-11-16
On the global offensive alliance in unicycle graphs
Published • View Publication • BIB
For a graph $G=(V,E)$, a set $S\subseteq V$ is a dominating set if every vertex in $V-S$ has at least a neighbor in $S$. A dominating set $S$ is a global offensive alliance if for each vertex $v$ in $V-S$ at least half the vertices from the closed neighborhood of $v$ are in $S.$ The domination number $γ(G)$ is the minimum cardinality of a dominating set of $G$, and the global offensive alliance number $γ_{o}(G)$ is the minimum cardinality of a global offensive alliance of $G$. We show that if $G$ is a connected unicycle graph of order $n$ with $l(G)$ leaves and $s(G)$ support vertices then $γ_{o}(G)\geq\frac{n-l(G)+s(G)}{3}$. Moreover, we characterize all extremal unicycle graphs attaining this bound.
Planar Disjoint-Paths Completion
Published • View Publication • BIB
introduce {\sc Planar Disjoint Paths Completion}, a completion counterpart of the Disjoint Paths problem, and study its parameterized complexity. The problem can be stated as follows: given a, not necessarily connected, plane graph $G,$ $k$ pairs of terminals, and a face $F$ of $G,$ find a minimum-size set of edges, if one exists, to be added inside $F$ so that the embedding remains planar and the pairs become connected by $k$ disjoint paths in the augmented network. Our results are twofold: first, we give an upper bound on the number of necessary additional edges when a solution exists. This bound is a function of $k$, independent of the size of $G.$ Second, we show that the problem is fixed-parameter tractable, in particular, it can be solved in time $f(k)\cdot n^{2}.$
2015-11-16
Distance integral complete multipartite graphs with $s=5,6$
Published • View Publication • BIB
Let $D(G)=(d_{ij})_{n\times n}$ denote the distance matrix of a connected graph $G$ with order $n$, where $d_{ij}$ is equal to the distance between vertices $v_{i}$ and $v_{j}$ in $G$. A graph is called distance integral if all eigenvalues of its distance matrix are integers. In 2014, Yang and Wang gave a sufficient and necessary condition for complete $r$-partite graphs $K_{p_{1},p_{2},\ldots,p_{r}}=K_{a_{1}\cdot p_{1},a_{2}\cdot p_{2},\ldots,a_{s}\cdot p_{s}}$ to be distance integral and obtained such distance integral graphs with $s=1,2,3,4$. However distance integral complete multipartite graphs $K_{a_{1}\cdot p_{1},a_{2}\cdot p_{2},\ldots,a_{s}\cdot p_{s}}$ with $s>4$ have not been found. In this paper, we find and construct some infinite classes of these distance integral graphs $K_{a_{1}\cdot p_{1},a_{2}\cdot p_{2},\ldots,a_{s}\cdot p_{s}}$ with $s=5,6$. The problem of the existence of such distance integral graphs $K_{a_{1}\cdot p_{1},a_{2}\cdot p_{2},\ldots,a_{s}\cdot p_{s}}$ with arbitrarily large number $s$ remains open.
What Graphs are 2-Dot Product Graphs?
Published • View Publication • BIB
Let $d \geq 1$ be an integer. From a set of $d$-dimensional vectors, we obtain a $d$-\dpg\ by letting each vector $\va^u$ correspond to a vertex $u$ and by adding an edge between two vertices $u$ and $v$ if and only if their dot product $\va^{u} \cdot \va^{v} \geq t$, for some fixed, positive threshold~$t$. Dot product graphs can be used to model social networks. Recognizing a $d$-dot product graph is known to be \NP-hard for all fixed $d\geq 2$. To understand the position of $d$-dot product graphs in the landscape of graph classes, we consider the case $d=2$, and investigate how $2$-dot product graphs relate to a number of other known graph classes including a number of well-known classes of intersection graphs.
2015-11-16
The Kelmans-Seymour conjecture I: special separations
Published • View Publication • BIB
Seymour and, independently, Kelmans conjectured in the 1970s that every 5-connected nonplanar graph contains a subdivision of $K_5$. This conjecture was proved by Ma and Yu for graphs containing $K_4^-$, and an important step in their proof is to deal with a 5-separation in the graph with a planar side. In order to establish the Kelmans-Seymour conjecture for all graphs, we need to consider 5-separations and 6-separations with less restrictive structures. The goal of this paper is to deal with special 5-separations and 6-separations, including those with an apex side. Results will be used in subsequent papers to prove the Kelmans-Seymour conjecture.
2015-11-15 v2
Cliques in Graphs Excluding a Complete Graph Minor
Published in Electronic J. Combinatorics 23.3:18, 2016 • View Publication • BIB
This paper considers the following question: What is the maximum number of $k$-cliques in an $n$-vertex graph with no $K_t$-minor? This question generalises the extremal function for $K_t$-minors, which corresponds to the $k=2$ case. The exact answer is given for $t\leq 9$ and all values of $k$. We also determine the maximum total number of cliques in an $n$-vertex graph with no $K_t$-minor for $t\leq 9$. Several observations are made about the case of general $t$.
2015-11-15 v2
The maximum degree resistance distance of cacti
Various topological indices, based on the distances between the vertices of a graph, are widely used in theoretical chemistry. The degree resistance distance of a graph $G$ is defined as ${D_R}(G) = \sum\limits_{\{u,v\} \subseteq V(G)} {[d(u) + d(v)]R(u,v)},$ where $d(u)$ is the degree of the vertex $u,$ and $R(u, v)$ the resistance distance between the vertices $u$ and $v.$ A graph $G$ is called a cactus if each block of $G$ is either an edge or a cycle. In this paper, we completely characterize the extremal cacti having the maximum degree resistance distance among all cacti with $n$ vertices and $t$ cycles, and extend some results of a recent paper [J. Tu, J. Du, G. Su, The unicyclic graphs with maximum degree resistance distance, Appl. Math. Comput. 268 (2015) 859-864].
2015-11-15
Edge-transitivity of Cayley graphs generated by transpositions
Published • View Publication • BIB
Let $S$ be a set of transpositions generating the symmetric group $S_n$. The transposition graph of $S$ is defined to be the graph with vertex set $\{1,\ldots,n\}$, and with vertices $i$ and $j$ being adjacent in $T(S)$ whenever $(i,j) \in S$. In the present note, it is proved that two transposition graphs are isomorphic if and only if the corresponding two Cayley graphs are isomorphic. It is also proved that the transposition graph $T(S)$ is edge-transitive if and only if the Cayley graph $Cay(S_n,S)$ is edge-transitive.