graph
34934 papers tagged with this keyword
Interval colorings of complete bipartite graphs and trees
A translation from Russian of the work of R.R. Kamalian "Interval colorings of complete bipartite graphs and trees", Preprint of the Computing Centre of the Academy of Sciences of Armenia, Yerevan, 1989. (Was published by the decision of the Academic Council of the Computing Centre of the Academy of Sciences of Armenian SSR and Yerevan State University from 7.09.1989).
From directed path to linear order - the best choice problem for powers of directed path
Published
• View Publication
• BIB
We examine the evolution of the best choice algorithm and the probability of its success from a directed path to the linear order of the same cardinality through $k$th powers of a directed path, $1 \leq k < n$. The vertices of a $k$th power of a directed path of a known length $n$ are exposed one by one to a selector in some random order. At any time the selector can see the graph induced by the vertices that have already come. The selector's aim is to choose online the maximal vertex (i.e. the vertex with no outgoing edges). It is shown that the probability of success $p_n$ for the optimal algorithm for the $k$th power of a directed path satisfies $p_n = Θ(n^{-1/(k+1)})$. We also consider the case when the selector knows the distance in the underlying path between each two vertices that are joined by an edge in the induced graph. An optimal algorithm for this choice problem is presented. The exact probability of success when using this algorithm is given.
Combinatorially interpreting generalized Stirling numbers
Published
• View Publication
• BIB
Let $w$ be a word in alphabet $\{x,D\}$ with $m$ $x$'s and $n$ $D$'s. Interpreting "$x$" as multiplication by $x$, and "$D$" as differentiation with respect to $x$, the identity $wf(x) = x^{m-n}\sum_k S_w(k) x^k D^k f(x)$, valid for any smooth function $f(x)$, defines a sequence $(S_w(k))_k$, the terms of which we refer to as the {\em Stirling numbers (of the second kind)} of $w$. The nomenclature comes from the fact that when $w=(xD)^n$, we have $S_w(k)={n \brace k}$, the ordinary Stirling number of the second kind.
Explicit expressions for, and identities satisfied by, the $S_w(k)$ have been obtained by numerous authors, and combinatorial interpretations have been presented. Here we provide a new combinatorial interpretation that retains the spirit of the familiar interpretation of ${n \brace k}$ as a count of partitions. Specifically, we associate to each $w$ a quasi-threshold graph $G_w$, and we show that $S_w(k)$ enumerates partitions of the vertex set of $G_w$ into classes that do not span an edge of $G_w$. We also discuss some relatives of, and consequences of, our interpretation, including $q$-analogs and bijections between families of labelled forests and sets of restricted partitions.
Rotor-routing and spanning trees on planar graphs
Published in International Mathematics Research Notices 2015 (2015) 11, 3225-3244
• View Publication
• BIB
The sandpile group Pic^0(G) of a finite graph G is a discrete analogue of the Jacobian of a Riemann surface which was rediscovered several times in the contexts of arithmetic geometry, self-organized criticality, random walks, and algorithms. Given a ribbon graph G, Holroyd et al. used the "rotor-routing" model to define a free and transitive action of Pic^0(G) on the set of spanning trees of G. However, their construction depends a priori on a choice of basepoint vertex. Ellenberg asked whether this action does in fact depend on the choice of basepoint. We answer this question by proving that the action of Pic^0(G) is independent of the basepoint if and only if G is a planar ribbon graph.
Bounds for the boxicity of Mycielski graphs
Published
• View Publication
• BIB
A box in Euclidean $k$-space is the Cartesian product $I_1\times I_2\times \cdots \times I_k$, where $I_j$ is a closed interval on the real line. The boxicity of a graph $G$, denoted by $\text{box}(G)$, is the minimum nonnegative integer $k$ such that $G$ can be isomorphic to the intersection graph of a family of boxes in Euclidean $k$-space. Mycielski introduced an interesting graph operation that extends a graph $G$ to a new graph $M(G)$, called the Mycielski graph of $G$. In this paper, we observe behavior of the boxicity of Mycielski graphs. The inequality $\text{box}(M(G))\geq \text{box}(G)$ holds for a graph $G$, and hence we are interested in whether the boxicity of the Mycielski graph of $G$ is more than that of $G$ or not. Here we give bounds for the boxicity of Mycielski graphs: for a graph $G$ with $l$ universal vertices, the inequalities $\text{box}(G)+\left \lceil \frac{l}{2}\right \rceil \leq \text{box}(M(G))\leq θ(\overline{G})+\left\lceil \frac{l}{2}\right\rceil +1$ hold, where $θ(\overline{G})$ is the edge clique cover number of the complement $\overline{G}$. Further observations determine the boxicity of the Mycielski graph $M(G)$, if $G$ has no universal vertices or odd universal vertices and satisfies $\text{box}(G)=θ(\overline{G})$. We also present relations between the Mycielski graph $M(G)$ and its analogous ones $M_3(G)$ and $M_r(G)$ in the context of boxicity, which will encourage us to calculate the boxicity of $M(G)$ or $M_3(G)$.
The tail of a quantum spin network
Published
• View Publication
• BIB
The tail of a sequence $\{P_n(q)\}_{n \in \mathbb{N}}$ of formal power series in $\mathbb{Z}[[q]]$ is the formal power series whose first $n$ coefficients agree up to a common sign with the first $n$ coefficients of $P_n$. This paper studies the tail of a sequence of admissible trivalent graphs with edges colored $n$ or $2n$. We use local skein relations to understand and compute the tail of these graphs. We also give product formulas for the tail of such trivalent graphs. Furthermore, we show that our skein theoretic techniques naturally lead to a proof for the Andrews-Gordon identities for the two variable Ramanujan theta function as well to corresponding identities for the false theta function.
Maximum matchings in regular graphs
Published
• View Publication
• BIB
It was conjectured by Mkrtchyan, Petrosyan, and Vardanyan that every graph $G$ with $Δ(G)-δ(G) \le 1$ has a maximum matching $M$ such that any two $M$-unsaturated vertices do not share a neighbor. In this note, we confirm the conjecture for all $k$-regular simple graphs and also $k$-regular multigraphs with $k\le 4$.
On the determinant of the distance matrix of a bicyclic graph
Two cycles are referred as disjoint if they have no common edges. In this paper, we will investigate the determinant of the distance matrix of a graph, giving a formula for the determinant of the distance matrix of a bicyclic graph whose two cycles are disjoint, which extends the formula for the determinant of the distance matrix of a tree, as well as that of a unicyclic graph.
Integer invariants of abelian Cayley graphs
Published
• View Publication
• BIB
Let $G$ be a finite abelian group, let $E$ be a subset of $G$, and form the Cayley (directed) graph of $G$ with connecting set $E$. We explain how, for various matrices associated to this graph, the spectrum can be used to give information on the Smith normal form. This technique is applied to several interesting examples, including matrices in the Bose-Mesner algebra of the Hamming association scheme $H(n,q)$. We also recover results of Bai and Jacobson-Niedermaier-Reiner on the critical group of a Cartesian product of complete graphs.
The Minimum Spectral Radius of Graphs with the Independence Number
Published
• View Publication
• BIB
In this paper, we investigate some properties of the Perron vector of connected graphs. These results are used to characterize that all extremal connected graphs with having the minimum (maximum) spectra radius among all connected graphs of order $n=kα$ with the independence number $α$, respectively.
Defensive alliances in graphs: a survey
A set $S$ of vertices of a graph $G$ is a defensive $k$-alliance in $G$ if every vertex of $S$ has at least $k$ more neighbors inside of $S$ than outside. This is primarily an expository article surveying the principal known results on defensive alliances in graph. Its seven sections are: Introduction, Computational complexity and realizability, Defensive $k$-alliance number, Boundary defensive $k$-alliances, Defensive alliances in Cartesian product graphs, Partitioning a graph into defensive $k$-alliances, and Defensive $k$-alliance free sets.
Fast Recognition of Partial Star Products and Quasi Cartesian Products
Published
• View Publication
• BIB
This paper is concerned with the fast computation of a relation $\R$ on the edge set of connected graphs that plays a decisive role in the recognition of approximate Cartesian products, the weak reconstruction of Cartesian products, and the recognition of Cartesian graph bundles with a triangle free basis.
A special case of $\R$ is the relation $δ^\ast$, whose convex closure yields the product relation $σ$ that induces the prime factor decomposition of connected graphs with respect to the Cartesian product. For the construction of $\R$ so-called Partial Star Products are of particular interest. Several special data structures are used that allow to compute Partial Star Products in constant time. These computations are tuned to the recognition of approximate graph products, but also lead to a linear time algorithm for the computation of $δ^\ast$ for graphs with maximum bounded degree.
Furthermore, we define \emph{quasi Cartesian products} as graphs with non-trivial $δ^\ast$. We provide several examples, and show that quasi Cartesian products can be recognized in linear time for graphs with bounded maximum degree. Finally, we note that quasi products can be recognized in sublinear time with a parallelized algorithm.
Taylor Expansion Proof of the Matrix Tree Theorem - Part I
The Matrix-Tree Theorem states that the number of spanning trees of a graph is given by the absolute value of any cofactor of the Laplacian matrix of the graph. We propose a very short proof of this result which amounts to comparing Taylor expansions.
Tuza's Conjecture for Graphs of Maximum Average Degree Less Than 7
Published in European Journal of Combinatorics 49 (2015), pp. 134-152
• View Publication
• BIB
Tuza's Conjecture states that if a graph $G$ does not contain more than $k$ edge-disjoint triangles, then some set of at most $2k$ edges meets all triangles of $G$. We prove Tuza's Conjecture for all graphs $G$ having no subgraph with average degree at least $7$. As a key tool in the proof, we introduce a notion of reducible sets for Tuza's Conjecture; these are substructures which cannot occur in a minimal counterexample to Tuza's Conjecture. We also introduce weak König--Egerváry graphs, a generalization of the well-studied König--Egerváry graphs.
Editing to a Connected Graph of Given Degrees
Published
• View Publication
• BIB
The aim of edge editing or modification problems is to change a given graph by adding and deleting of a small number of edges in order to satisfy a certain property. We consider the Edge Editing to a Connected Graph of Given Degrees problem that asks for a graph G, non-negative integers d,k and a function δ:V(G)->{1,...,d}, whether it is possible to obtain a connected graph G' from G such that the degree of v is δ(v) for any vertex v by at most k edge editing operations. As the problem is NP-complete even if δ(v)=2, we are interested in the parameterized complexity and show that Edge Editing to a Connected Graph of Given Degrees admits a polynomial kernel when parameterized by d+k. For the special case δ(v)=d, i.e., when the aim is to obtain a connected d-regular graph, the problem is shown to be fixed parameter tractable when parameterized by k only.
On the chromatic number of random Cayley graphs
Published
• View Publication
• BIB
Let G be an abelian group of cardinality N, where (N,6) = 1, and let A be a random subset of G. Form a graph Gamma_A on vertex set G by joining x to y if and only if x + y is in A. Then, almost surely as N tends to infinity, the chromatic number chi(Gamma_A) is at most (1 + o(1))N/2 log_2 N. This is asymptotically sharp when G = Z/NZ, N prime.
Presented at the conference in honour of Bela Bollobas on his 70th birthday, Cambridge August 2013.
The Parameterised Complexity of Counting Connected Subgraphs and Graph Motifs
Published
• View Publication
• BIB
We introduce a class of parameterised counting problems on graphs, p-#Induced Subgraph With Property(Φ), which generalises a number of problems which have previously been studied. This paper focusses on the case in which Φdefines a family of graphs whose edge-minimal elements all have bounded treewidth; this includes the special case in which Φdescribes the property of being connected. We show that exactly counting the number of connected induced k-vertex subgraphs in an n-vertex graph is #W[1]-hard, but on the other hand there exists an FPTRAS for the problem; more generally, we show that there exists an FPTRAS for p-#Induced Subgraph With Property(Φ) whenever Φis monotone and all the minimal graphs satisfying Φhave bounded treewidth. We then apply these results to a counting version of the Graph Motif problem.
On the structure of vertex cuts separating the ends of a graph
Published in Pacific J. Math. Vol. 278 (2015) No. 2 479-510
• View Publication
• BIB
Dinits, Karzanov and Lomonosov showed that the minimal edge cuts of a finite graph have the structure of a cactus, a tree-like graph constructed from cycles. Evangelidou and Papasoglu extended this to minimal cuts separating the ends of an infinite graph. In this paper we show that minimal vertex cuts separating the ends of a graph can be encoded by a succulent, a mild generalization of a cactus that is still tree-like. We go on to show that the earlier cactus results follow from our work.
Maxima of the Q-index: forbidden 4-cycle and 5-cycle
Published
• View Publication
• BIB
This paper gives tight upper bounds on the largest eigenvalue q(G) of the signless Laplacian of graphs with no 4-cycle and no 5-cycle. If n is odd, let F_{n} be the friendship graph of order n; if n is even, let F_{n} be F_{n-1} with an edge hanged to its center. It is shown that if G is a graph of order n, with no 4-cycle, then q(G)<q(F_{n}), unless G=F_{n}. Let S_{n,k} be the join of a complete graph of order k and an independent set of order n-k. It is shown that if G is a graph of order n, with no 5-cycle, then q(G)<q(S_{n,2}), unless G=S_{n,k}. It is shown that these results are significant in spectral extremal graph problems. Two conjectures are formulated for the maximum q(G) of graphs with forbidden cycles.
Maxima of the Q-index: graphs with bounded clique number
Published in Electronic J. Linear Algebra 23 (2012), 782-789
• View Publication
• BIB
This paper gives a tight upper bound on the spectral radius of the signless Laplacian of graphs of given order and clique number. More precisely, let G be a graph of order n, let A be its adjacency matrix, and let D be the diagonal matrix of the row-sums of A. If G has clique number r, then the largest eigenvalue q(G) of the matrix Q=A+D satisfies q(G)<= 2(1-1/r)n.
If G is a complete regular r-partite graph, then equality holds in the above inequality. This result confirms a conjecture of Hansen and Lucas.