graph
35299 papers tagged with this keyword
Identification, location-domination and metric dimension on interval and permutation graphs. I. Bounds
Published in Theoretical Computer Science 668:43-58 (2017)
• View Publication
• BIB
We consider the problems of finding optimal identifying codes, (open) locating-dominating sets and resolving sets of an interval or a permutation graph. In these problems, one asks to find a subset of vertices, normally called a \emph{solution} set, using which all vertices of the graph are distinguished. The identification can be done by considering the neighborhood within the solution set, or by employing the distances to the solution vertices. Normally the goal is to minimize the size of the solution set then. Here we study the case of interval graphs, unit interval graphs, (bipartite) permutation graphs and cographs. For these classes of graphs we give tight lower bounds for the size of such solution sets depending on the order of the input graph. While such lower bounds for the general class of graphs are in logarithmic order, the improved bounds in these special classes are of the order of either quadratic root or linear in terms of number of vertices. Moreover, the results for cographs lead to linear-time algorithms to solve the considered problems on inputs that are cographs.
Edge-partitioning a graph into paths: beyond the Barát-Thomassen conjecture
Published
• View Publication
• BIB
The Barát-Thomassen conjecture asserts that there is a function $f$ such that for every fixed tree $T$ with $t$ edges, every graph which is $f(t)$-edge-connected with its number of edges divisible by $t$ has a partition of its edges into copies of $T$. This has been proved in the case of paths of length $2^k$ by Thomassen, and recently shown to be true for all paths by Botler, Mota, Oshiro and Wakabayashi. Our goal in this paper is to propose an alternative proof of the path case with a weaker hypothesis: Namely, we prove that there is a function $f$ such that every $24$-edge-connected graph with minimum degree $f(t)$ has an edge-partition into paths of length $t$ whenever $t$ divides the number of edges. We also show that $24$ can be dropped to $4$ when the graph is eulerian.
Neighborhood degree lists of graphs
Published in Discrete Mathematics, vol. 341 (2018), no. 1, pp. 175-183
• View Publication
• BIB
The neighborhood degree list (NDL) is a graph invariant that refines information given by the degree sequence and joint degree matrix of a graph and is useful in distinguishing graphs having the same degree sequence. We show that the space of realizations of an NDL is connected via a switching operation. We then determine the NDLs that have a unique realization by a labeled graph; the characterization ties these NDLs and their realizations to the threshold graphs and difference graphs.
Condorcet Domains, Median Graphs and the Single Crossing Property
Published
• View Publication
• BIB
Condorcet domains are sets of linear orders with the property that, whenever the preferences of all voters belong to this set, the majority relation has no cycles. We observe that, without loss of generality, such domain can be assumed to be closed in the sense that it contains the majority relation of every profile with an odd number of individuals whose preferences belong to this domain.
We show that every closed Condorcet domain is naturally endowed with the structure of a median graph and that, conversely, every median graph is associated with a closed Condorcet domain (which may not be a unique one). The subclass of those Condorcet domains that correspond to linear graphs (chains) are exactly the preference domains with the classical single crossing property. As a corollary, we obtain that the domains with the so-called `representative voter property' (with the exception of a 4-cycle) are the single crossing domains.
Maximality of a Condorcet domain imposes additional restrictions on the underlying median graph. We prove that among all trees only the chains can induce maximal Condorcet domains, and we characterize the single crossing domains that in fact do correspond to maximal Condorcet domains.
Finally, using Nehring's and Puppe's (2007) characterization of monotone Arrowian aggregation, our analysis yields a rich class of strategy-proof social choice functions on any closed Condorcet domain.
Algorithmic aspects of rotor-routing and the notion of linear equivalence
Published in Discrete Applied Mathematics 236: pp. 428-437. (2018)
• Search Publication
We define the analogue of linear equivalence of graph divisors for the rotor-router model, and use it to prove polynomial time computability of some problems related to rotor-routing. Using the connection between linear equivalence for chip-firing and for rotor-routing, we give a simple proof for the fact that the number of rotor-router unicycle-orbits equals the order of the Picard group. We also show that the rotor-router action of the Picard group on the set of spanning in-arborescences can be interpreted in terms of the linear equivalence.
Revisiting the combinatorics of the 2D Ising model
Published in Ann. Inst. Henri Poincaré (D) Comb. Phys. Interact. (2017), 4 (3), pp. 309--385
• View Publication
• BIB
We provide a concise exposition with original proofs of combinatorial formulas for the 2D Ising model partition function, multi-point fermionic observables, spin and energy density correlations, for general graphs and interaction constants, using the language of Kac-Ward matrices. We also give a brief account of the relations between various alternative formalisms which have been used in the combinatorial study of the planar Ising model: dimers and Grassmann variables, spin and disorder operators, and, more recently, s-holomorphic observables. In addition, we point out that these formulas can be extended to the double-Ising model, defined as a pointwise product of two Ising spin configurations on the same discrete domain, coupled along the boundary.
On the pseudoachromatic index of the complete graph III
Published in Graphs and Combinatorics-2018
• View Publication
• BIB
Let $ Π_q $ be the projective plane of order $ q $, let $ψ(m):=ψ(L(K_m))$ the pseudoachromatic number of the complete line graph of order $ m $, let $ a\in \{ 3,4,\dots,\tfrac{q}{2}+1 \} $ and $ m_a=(q+1)^2-a $.
In this paper, we improve the upper bound of $ ψ(m) $ given by Araujo-Pardo et al. [J Graph Theory 66 (2011), 89--97] and Jamison [Discrete Math. 74 (1989), 99--115] in the following values: if $ x\geq 2 $ is an integer and $m\in \{4x^2-x,\dots,4x^2+3x-3\}$ then $ψ(m) \leq 2x(m-x-1)$.
On the other hand, if $ q $ is even and there exists $ Π_q $ we give a complete edge-colouring of $ K_{m_a} $ with $(m_a-a)q$ colours. Moreover, using this colouring we extend the previous results for $a=\{-1,0,1,2\}$ given by Araujo-Pardo et al. in [J Graph Theory 66 (2011), 89--97] and [Bol. Soc. Mat. Mex. (2014) 20:17--28] proving that $ψ(m_a)=(m_a-a)q$ for $ a\in \{3,4,\dots,\left\lceil \frac{1+\sqrt{4q+9}}{2}\right\rceil -1 \} $.
Different Volume Computation Methods of Graph Polytopes
The aim of this work is to introduce several different volume computation methods of the graph polytope associated with various type of finite simple graphs. Among them, we obtained the recursive volume formula (RVF) that is fundamental and most useful to compute the volume of the graph polytope for an arbitrary finite simple graph.
On Homeomorphically Irreducible Spanning Trees in Cubic Graphs
Published
• View Publication
• BIB
A spanning tree without a vertex of degree two is called a Hist which is an abbreviation for homeomorphically irreducible spanning tree. We provide a necessary condition for the existence of a Hist in a cubic graph. As one consequence, we answer affirmatively an open question on Hists by Albertson, Berman, Hutchinson and Thomassen.
Cluster duality and mirror symmetry for Grassmannians
In this article we use the cluster structure on the Grassmannian and the combinatorics of plabic graphs to exhibit a new aspect of mirror symmetry for Grassmannians in terms of polytopes. For our $A$-model, we consider the Grassmannian $\mathbb X=Gr_{n-k}(\mathbb{C}^n)$. The $B$-model is a Landau-Ginzburg model $(\check{\mathbb X}^\circ, W_q:\check{\mathbb X}^\circ \to \mathbb{C})$, where $\check{\mathbb X}^\circ$ is the complement of a particular anti-canonical divisor in a Langlands dual Grassmannian $\check{\mathbb X} = Gr_k((\mathbb{C}^n)^*)$, and the superpotential $W_q$ has a simple expression in terms of Plücker coordinates, see [MarshRietsch]. From a given plabic graph $G$ we obtain two coordinate systems: using work of Postnikov and Talaska we have a positive chart $Φ_G:(\mathbb{C}^*)^{k(n-k)}\to \mathbb X$ in our $A$-model, and using work of Scott we have a cluster chart $Φ_G^{\vee}:(\mathbb{C}^*)^{k(n-k)}\to \check{\mathbb X}$ in our $B$-model. To each positive chart $Φ_G$ and choice of positive integer $r$, we associate a polytope $NO_G^r$, which we construct as the convex hull of a set of integer lattice points. This polytope is an example of a Newton-Okounkov polytope associated to the line bundle $\mathcal O(r)$ on $\mathbb X$. On the other hand, using the cluster chart $Φ_G^{\vee}$ and the same positive integer $r$, we obtain a polytope $Q_G^r$ -- described in terms of inequalities -- by "tropicalizing" the composition $W_{t^r}\circ Φ_G^{\vee}$. Our main result is that the polytopes $NO_G^r$ and $Q_G^r$ coincide.
Bounded-degree spanning trees in randomly perturbed graphs
Published
• View Publication
• BIB
We show that for any fixed dense graph G and bounded-degree tree T on the same number of vertices, a modest random perturbation of G will typically contain a copy of T . This combines the viewpoints of the well-studied problems of embedding trees into fixed dense graphs and into random graphs, and extends a sizeable body of existing research on randomly perturbed graphs. Specifically, we show that there is $c = c(α,Δ)$ such that if G is an n-vertex graph with minimum degree at least $αn$, and T is an n-vertex tree with maximum degree at most $Δ$ , then if we add cn uniformly random edges to G, the resulting graph will contain T asymptotically almost surely (as $n\to\infty$ ). Our proof uses a lemma concerning the decomposition of a dense graph into super-regular pairs of comparable sizes, which may be of independent interest.
On degree anti-Ramsey numbers
Published in European Journal of Combinatorics 60 (2017), 31-41
• View Publication
• BIB
The degree anti-Ramsey number $AR_d(H)$ of a graph $H$ is the smallest integer $k$ for which there exists a graph $G$ with maximum degree at most $k$ such that any proper edge colouring of $G$ yields a rainbow copy of $H$. In this paper we prove a general upper bound on degree anti-Ramsey numbers, determine the precise value of the degree anti-Ramsey number of any forest, and prove an upper bound on the degree anti-Ramsey numbers of cycles of any length which is best possible up to a multiplicative factor of $2$. Our proofs involve a variety of tools, including a classical result of Bollobás concerning cross intersecting families and a topological version of Hall's Theorem due to Aharoni, Berger and Meshulam.
Local Connectivity, Local Degree Conditions, some Forbidden Induced Subgraphs, and Cycle Extendability
Published
• View Publication
• BIB
The research in the present paper was motivated by the conjecture of Ryjáček that every locally connected graph is weakly pancyclic.
For a connected locally connected graph $G$ of order at least $3$, our results are as follows: If $G$ is $(K_1+(K_1\cup K_2))$-free, then $G$ is weakly pancyclic. If $G$ is $(K_1+(K_1\cup K_2))$-free, then $G$ is fully cycle extendable if and only if $2δ(G)\geq n(G)$. If $G$ is $\{ K_1+K_1+\bar{K}_3,K_1+P_4\}$-free or $\{ K_1+K_1+\bar{K}_3,K_1+(K_1\cup P_3)\}$-free, then $G$ is fully cycle extendable. If $G$ is distinct from $K_1+K_1+\bar{K}_3$ and $\{ K_1+P_4,K_{1,4},K_2+(K_1\cup K_2)\}$-free, then $G$ is fully cycle extendable.
Furthermore, if $G$ is a connected graph of order at least $3$ such that $$|N_G(u)\cap N_G(v)\cap N_G(w)|>|N_G(u)\setminus (N_G[v]\cup N_G[w])|$$ for every induced path $vuw$ of order $3$ in $G$, then $G$ is fully cycle extendable, which implies that every connected locally Ore or locally Dirac graph of order at least $3$ is fully cycle extendable.
Asymptotically optimal neighbor sum distinguishing total colorings of graphs
Published
• View Publication
• BIB
Given a proper total $k$-coloring $c:V(G)\cup E(G)\to\{1,2,\ldots,k\}$ of a graph $G$, we define the value of a vertex $v$ to be $c(v) + \sum_{uv \in E(G)} c(uv)$. The smallest integer $k$ such that $G$ has a proper total $k$-coloring whose values form a proper coloring is the neighbor sum distinguishing total chromatic number of $G$, $χ"_Σ(G)$. Pilśniak and Woźniak (2013) conjectured that $χ"_Σ(G)\leq Δ(G)+3$ for any simple graph with maximum degree $Δ(G)$. In this paper, we prove this bound to be asymptotically correct by showing that $χ"_Σ(G)\leq Δ(G)(1+o(1))$. The main idea of our argument relies on Przybyło's proof (2014) regarding neighbor sum distinguishing edge-colorings.
Lower bounds for independence and $k$-independence number of graphs using the concept of degenerate degrees
Published
• View Publication
• BIB
Let $G$ be a graph and $v$ any vertex of $G$. We define the degenerate degree of $v$, denoted by $ζ(v)$ as $ζ(v)={\max}_{H: v\in H}~δ(H)$, where the maximum is taken over all subgraphs of $G$ containing the vertex $v$. We show that the degenerate degree sequence of any graph can be determined by an efficient algorithm. A $k$-independent set in $G$ is any set $S$ of vertices such that $Δ(G[S])\leq k$. The largest cardinality of any $k$-independent set is denoted by $α_k(G)$. For $k\in \{1, 2, 3\}$, we prove that $α_{k-1}(G)\geq {\sum}_{v\in G} \min \{1, 1/(ζ(v)+(1/k))\}$. Using the concept of cheap vertices we strengthen our bound for the independence number. The resulting lower bounds improve greatly the famous Caro-Wei bound and also the best known bounds for $α_1(G)$ and $α_2(G)$ for some families of graphs. We show that the equality in our bound for independence number happens for a large class of graphs. Our bounds are achieved by Cheap-Greedy algorithms for $α_k(G)$ which are designed by the concept of cheap sets. At the end, a bound for $α_k(G)$ is presented, where $G$ is a forest and $k$ an arbitrary non-negative integer.
Hypohamiltonian planar cubic graphs with girth five
Published
• View Publication
• BIB
A graph is called hypohamiltonian if it is not hamiltonian but becomes hamiltonian if any vertex is removed. Many hypohamiltonian planar cubic graphs have been found, starting with constructions of Thomassen in 1981. However, all the examples found until now had 4-cycles. In this note we present the first examples of hypohamiltonian planar cubic graphs with cyclic connectivity five, and thus girth five. We show by computer search that the smallest members of this class are three graphs with 76 vertices.
Sharp upper and lower bounds for the spectral radius of a nonnegative irreducible matrix
Published
• View Publication
• BIB
In this paper, we obtain the sharp upper and lower bounds for the spectral radius of a nonnegative irreducible matrix. We also apply these bounds to various matrices associated with a graph or a digraph, obtain some new results or known results about various spectral radii, including the adjacency spectral radius, the signless Laplacian spectral radius, the distance spectral radius, the distance signless Laplacian spectral radius of a graph or a digraph.
Path-factors involving paths of order seven and nine
Published
• View Publication
• BIB
In this paper, we show the following two theorems (here $c_{i}(G-X)$ is the number of components $C$ of $G-X$ with $|V(C)|=i$): (i)~If a graph $G$ satisfies $c_{1}(G-X)+\frac{1}{3}c_{3}(G-X)+\frac{1}{3}c_{5}(G-X)\leq \frac{2}{3}|X|$ for all $X\subseteq V(G)$, then $G$ has a $\{P_{2},P_{7}\}$-factor. (ii)~If a graph $G$ satisfies $c_{1}(G-X)+c_{3}(G-X)+\frac{2}{3}c_{5}(G-X)+\frac{1}{3}c_{7}(G-X)\leq \frac{2}{3}|X|$ for all $X\subseteq V(G)$, then $G$ has a $\{P_{2},P_{9}\}$-factor.
Remoteness and distance eigenvalues of a graph
Published
• View Publication
• BIB
Let $G$ be a connected graph of order $n$ with diameter $d$. Remoteness $ρ$ of $G$ is the maximum average distance from a vertex to all others and $\partial_1\geq\cdots\geq \partial_n$ are the distance eigenvalues of $G$. In \cite{AH}, Aouchiche and Hansen conjectured that $ρ+\partial_3>0$ when $d\geq 3$ and $ρ+\partial_{\lfloor\frac{7d}{8}\rfloor}>0.$ In this paper, we confirm these two conjectures. Furthermore, we give lower bounds on $\partial_n+ρ$ and $\partial_1-ρ$ when $G\ncong K_n$ and the extremal graphs are characterized.
Word-representability of triangulations of grid-covered cylinder graphs
Published
• View Publication
• BIB
A graph $G=(V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$, $x\neq y$, alternate in $w$ if and only if $(x,y)\in E$. Halldórsson et al.\ have shown that a graph is word-representable if and only if it admits a so-called semi-transitive orientation. A corollary to this result is that any 3-colorable graph is word-representable.
Akrobotu et al.\ have shown that a triangulation of a grid graph is word-representable if and only if it is 3-colorable. This result does not hold for triangulations of grid-covered cylinder graphs, namely, there are such word-representable graphs with chromatic number 4. In this paper we show that word-representability of triangulations of grid-covered cylinder graphs with three sectors (resp., more than three sectors) is characterized by avoiding a certain set of six minimal induced subgraphs (resp., wheel graphs $W_5$ and $W_7$).