tree
6737 papers tagged with this keyword
The Graceful Tree Conjecture: a class of graceful diameter-6 trees
We survey the current state of progress on the Graceful Tree Conjecture, and then we present several new results toward the conjecture, driven by three new ideas: (1) It has been proven that generalized banana trees are graceful by rearranging the branches at the root--consider rearranging branches at all internal vertices; (2) The method of transfers has typically involved type-1 transfers and type-2 transfers--all type-2 transfers are type-1 transfers in disguise, and hence can be removed from the discussion; (3) The method of transfers has typically used the sequence of transfers $0\rightarrow n\rightarrow 1\rightarrow n - 1\rightarrow\cdots$--transfer backwards to manipulate the resulting labels. Using these ideas, we prove that several classes of diameter-6 trees are graceful, and we generalize some of these classes to larger trees. We also introduce a class of graceful spiders, prove that attaching sufficiently many leaves to any tree gives a graceful tree, and extend known results on trees with perfect matchings.
Mixed, Multi-color, and Bipartite Ramsey Numbers Involving Trees of Small Diameter
In this paper we study Ramsey numbers for trees of diameter 3 (bistars) vs., respectively, trees of diameter 2 (stars), complete graphs, and many complete graphs. In the case of bistars vs. many complete graphs, we determine this number exactly as a function of the Ramsey number for the complete graphs. We also determine the order of growth of the bipartite $k$-color Ramsey number for a bistar.
Separator-Based Graph Embedding into Multidimensional Grids with Small Edge-Congestion
Published
• View Publication
• BIB
We study the problem of embedding a guest graph with minimum edge-congestion into a multidimensional grid with the same size as that of the guest graph. Based on a well-known notion of graph separators, we show that an embedding with a smaller edge-congestion can be obtained if the guest graph has a smaller separator, and if the host grid has a higher but constant dimension. Specifically, we prove that any graph with $N$ nodes, maximum node degree $Δ$, and with a node-separator of size $O(n^α)$ ($0\leqα<1$) can be embedded into a grid of a fixed dimension $d\geq 2$ with at least $N$ nodes, with an edge-congestion of $O(Δ)$ if $d>1/(1-α)$, $O(Δ\log N)$ if $d=1/(1-α)$, and $O(ΔN^{α-1+\frac{1}{d}})$ if $d< 1/(1-α)$. This edge-congestion achieves constant ratio approximation if $d>1/(1-α)$, and matches an existential lower bound within a constant factor if $d\leq 1/(1-α)$. Our result implies that if the guest graph has an excluded minor of a fixed size, such as a planar graph, then we can obtain an edge-congestion of $O(Δ\log N)$ for $d=2$ and $O(Δ)$ for any fixed $d\geq 3$. Moreover, if the guest graph has a fixed treewidth, such as a tree, an outerplanar graph, and a series-parallel graph, then we can obtain an edge-congestion of $O(Δ)$ for any fixed $d\geq 2$. To design our embedding algorithm, we introduce edge-separators bounding expansion, such that in partitioning a graph into isolated nodes using edge-separators recursively, the number of outgoing edges from a subgraph to be partitioned in a recursive step is bounded. We present an algorithm to construct an edge-separator with expansion of $O(Δn^α)$ from a node-separator of size $O(n^α)$.
Picker-Chooser fixed graph games
Published
• View Publication
• BIB
Given a fixed graph $H$ and a positive integer $n$, a Picker-Chooser $H$-game is a biased game played on the edge set of $K_n$ in which Picker is trying to force many copies of $H$ and Chooser is trying to prevent him from doing so. In this paper we conjecture that the value of the game is roughly the same as the expected number of copies of $H$ in the random graph $G(n,p)$ and prove our conjecture for special cases of $H$ such as complete graphs and trees.
New graceful diameter-6 trees by transfers
Given a graph $G$, a labeling of $G$ is an injective function $f:V(G)\rightarrow\mathbb{Z}_{\ge 0}$. Under the labeling $f$, the label of a vertex $v$ is $f(v)$, and the induced label of an edge $uv$ is $|f(u) - f(v)|$. The labeling $f$ is graceful if the labels of the vertices are $\{0, 1, \ldots , |V(G)| - 1\}$, and the induced labels of the edges are distinct. The graph $G$ is graceful if it has a graceful labeling. The Graceful Tree Conjecture, introduced by Kotzig in the late 1960's, states that all trees are graceful. It is an open problem whether every diameter-6 tree has a graceful labeling. In this paper, we prove that if $T$ is a tree with central vertex and root $v$, such that each vertex not in the last two levels has an odd number of children, and $T$ satisfies one of the following conditions (a)-(e), then $T$ has a graceful labeling $f$ with $f(v) = 0$: (a) $T$ is a diameter-6 complete tree; (b) $T$ is a diameter-6 tree such that no two leaves of distance 2 from $v$ are siblings, and each leaf of distance 2 from $v$ has a sibling with an even number of children; (c) $T$ is a diameter-$2r$ complete tree, such that the number of vertices of distance $r - 1$ from $v$, with an even number of children, is not $3\pmod{4}$; (d) $T$ is a diameter-$2r$ tree, such that the number of vertices of distance $r - 1$ from $v$, with an even number of children, is not $3\pmod{4}$, no two leaves of distance $r - 1$ from $v$ are siblings, and each leaf of distance $r - 1$ from $v$ has a sibling with an even number of children; (e) $T$ is a diameter-6 tree, such that each internal vertex has an odd number of children. In particular, all depth-3 trees of which each internal vertex has an odd number of children are graceful.
Bilateral symmetry and modified Pascal triangles in Parsimonious games
We discuss the prominent role played by bilateral symmetry and modified Pascal triangles in self twin games, a subset of constant sum homogeneous weighted majority games. We show that bilateral symmetry of the free representations unequivocally identifies and characterizes this class of games and that modified Pascal triangles describe their cardinality for combinations of m and k, respectively linked through linear transforms to the key parameters n, number of players and h, number of types in the game. Besides, we derive the whole set of self twin games in the form of a genealogical tree obtained through a simple constructive procedure in which each game of a generation, corresponding to a given value of m, is able to give birth to one child or two children (depending on the parity of m), self twin games of the next generation. The breeding rules are, given the parity of m, invariant through generations and quite simple.
Minimum Entropy Submodular Optimization (and Fairness in Cooperative Games)
We study minimum entropy submodular optimization, a common generalization of the minimum entropy set cover problem, studied earlier by Cardinal et al., and the submodular set cover problem.
We give a general bound of the approximation performance of the greedy algorithm using an approach that can be interpreted in terms of a particular type of biased network flows. As an application we rederive known results for the Minimum Entropy Set Cover and Minimum Entropy Orientation problems, and obtain a nontrivial bound for a new problem called the Minimum Entropy Spanning Tree problem.
The problem can be applied to (and is partly motivated by) the definition of worst-case approaches to fairness in concave cooperative games, similar to the notion of price of anarchy in noncooperative settings.
Lower bounds for bootstrap percolation on Galton-Watson trees
Published
• View Publication
• BIB
Bootstrap percolation is a cellular automaton modelling the spread of an `infection' on a graph. In this note, we prove a family of lower bounds on the critical probability for $r$-neighbour bootstrap percolation on Galton--Watson trees in terms of moments of the offspring distributions. With this result we confirm a conjecture of Bollobás, Gunderson, Holmgren, Janson and Przykucki. We also show that these bounds are best possible up to positive constants not depending on the offspring distribution.
Block patterns in Stirling permutations
Published
• View Publication
• BIB
We introduce and study a new notion of patterns in Stirling and $k$-Stirling permutations, which we call block patterns. We prove a general result which allows us to compute generating functions for the occurrences of various block patterns in terms of generating functions for the occurrences of patterns in permutations. This result yields a number of applications involving, among other things, Wilf equivalence of block patterns and a new interpretation of Bessel polynomials. We also show how to interpret our results for a certain class of labeled trees, which are in bijection with Stirling permutations.
Generalized Huffman Coding for Binary Trees with Choosable Edge Lengths
Published in Information Processing Letters 115 (4), pp. 502-506 (2015)
• View Publication
• BIB
In this paper we study binary trees with choosable edge lengths, in particular rooted binary trees with the property that the two edges leading from every non-leaf to its two children are assigned integral lengths $l_1$ and $l_2$ with $l_1+l_2 =k$ for a constant $k\in\mathbb{N}$. The depth of a leaf is the total length of the edges of the unique root-leaf-path.
We present a generalization of the Huffman Coding that can decide in polynomial time if for given values $d_1,...,d_n\in\mathbb{N}_{\geq 0}$ there exists a rooted binary tree with choosable edge lengths with $n$ leaves having depths at most $d_1,..., d_n$.
The Total Acquisition Number of Random Graphs
Published
• View Publication
• BIB
Let $G$ be a graph in which each vertex initially has weight 1. In each step, the weight from a vertex $u$ can be moved to a neighbouring vertex $v$, provided that the weight on $v$ is at least as large as the weight on $u$. The total acquisition number of $G$, denoted by $a_t(G)$, is the minimum possible size of the set of vertices with positive weight at the end of the process. LeSaulnier, Prince, Wenger, West, and Worah asked for the minimum value of $p=p(n)$ such that $a_t(\mathcal{G}(n,p)) = 1$ with high probability, where $\mathcal{G}(n,p)$ is a binomial random graph. We show that $p = \frac{\log_2 n}{n} \approx 1.4427 \ \frac{\log n}{n}$ is a sharp threshold for this property. We also show that almost all trees $T$ satisfy $a_t(T) = Θ(n)$, confirming a conjecture of West.
Growing random 3-connected maps, or comment s'enfuir de l'hexagone
Published
• View Publication
• BIB
We use a growth procedure for binary trees due to Luczak and Winkler, a bijection between binary trees and irreducible quadrangulations of the hexagon due to Fusy, Poulalhon and Schaeffer, and the classical angular mapping between quadrangulations and maps, to define a growth procedure for maps. The growth procedure is local, in that every map is obtained from its predecessor by an operation that only modifies vertices lying on a common face with some fixed vertex. As n tends to infinity, the probability that the n'th map in the sequence is 3-connected tends to 2^8/3^6. The sequence of maps has an almost sure limit G, and we show that G is the distributional local limit of large, uniformly random 3-connected graphs.
On the binomial edge ideals of block graphs
Published
• View Publication
• BIB
We find a class of block graphs whose binomial edge ideals have minimal regularity. As a consequence, we characterize the trees whose binomial edge ideals have minimal regularity. Also, we show that the binomial edge ideal of a block graph has the same depth as its initial ideal.
On the Dual of the Solvency Cone
Published in Discrete Applied Mathematics 186, 176-185, (2015)
• View Publication
• BIB
A solvency cone is a polyhedral convex cone which is used in Mathematical Finance to model proportional transaction costs. It consists of those portfolios which can be traded into nonnegative positions. In this note, we provide a characterization of its dual cone in terms of extreme directions and discuss some consequences, among them: (i) an algorithm to construct extreme directions of the dual cone when a corresponding "contribution scheme" is given; (ii) estimates for the number of extreme directions; (iii) an explicit representation of the dual cone for special cases. The validation of the algorithm is based on the following easy-to-state but difficult-to-solve result on bipartite graphs: Running over all spanning trees of a bipartite graph, the number of left degree sequences equals the number of right degree sequences.
On Zero Forcing Number of Graphs and Their Complements
Published in Discrete Math. Algorithms Appl. Vol. 7(1) (2015) 1550002 (10 pages)
• View Publication
• BIB
The \emph{zero forcing number}, $Z(G)$, of a graph $G$ is the minimum cardinality of a set $S$ of black vertices (whereas vertices in $V(G) \setminus S$ are colored white) such that $V(G)$ is turned black after finitely many applications of "the color-change rule": a white vertex is converted to a black vertex if it is the only white neighbor of a black vertex. Zero forcing number was introduced and used to bound the minimum rank of graphs by the "AIM Minimum Rank -- Special Graphs Work Group". It's known that $Z(G)\geq δ(G)$, where $δ(G)$ is the minimum degree of $G$. We show that $Z(G)\leq n-3$ if a connected graph $G$ of order $n$ has a connected complement graph $\overline{G}$. Further, we characterize a tree or a unicyclic graph $G$ which satisfies either $Z(G)+Z(\overline{G})=δ(G)+δ(\overline{G})$ or $Z(G)+Z(\overline{G})=2(n-3)$.
On the Maximum Parsimony distance between phylogenetic trees
Published
• View Publication
• BIB
Within the field of phylogenetics there is great interest in distance measures to quantify the dissimilarity of two trees. Here, based on an idea of Bruen and Bryant, we propose and analyze a new distance measure: the Maximum Parsimony (MP) distance. This is based on the difference of the parsimony scores of a single character on both trees under consideration, and the goal is to find the character which maximizes this difference. In this article we show that this new distance is a metric and provides a lower bound to the well-known Subtree Prune and Regraft (SPR) distance. We also show that to compute the MP distance it is sufficient to consider only characters that are convex on one of the trees, and prove several additional structural properties of the distance. On the complexity side, we prove that calculating the MP distance is in general NP-hard, and identify an interesting island of tractability in which the distance can be calculated in polynomial time.
The Obstacle Problem on Graphs and Other Results
Our primary motivation is existence and uniqueness for the obstacle problem on graphs. That is, we look for unique solutions to the problem $Lu = χ_{\{u>0\}}$, where $L$ is the Laplacian matrix associated to a graph, and $u$ is a nonnegative real-valued vector with preassigned zero coordinates and positive coordinates to be determined. In the course of solving this problem, we make a detour into the study of Laplacian matrices themselves. First, we present the row reduced echelon form of such matrices and determine the invertibility of proper square submatrices. Next, we determine eigenvalues of several simple Laplacians. In this context, we introduce a new polynomial called the generalized characteristic polynomial that allows us to compute (theoretically, if inefficiently)the usual characteristic polynomial for trees by inspection of the graph. Finally, we give our solution to the obstacle problem on graphs and discuss other components of the obstacle problem, which we investigate in future research.
On graphs whose Hosoya indices are primitive Pythagorean triples
We discuss families of triples of graphs whose Hosoya indices are primitive Pythagorean triples. Hosoya gave a method to construct such families of caterpillars, i.e., trees whose vertices are within distance 1 of a central path. He also pointed out a common structure to the families, and conjectured the uniqueness of the structure. In this paper, we give an answer to his conjecture.
Towards a Characterization of Leaf Powers by Clique Arrangements
Published
• View Publication
• BIB
The class ${\cal L}_k$ of $k$-leaf powers consists of graphs $G=(V,E)$ that have a $k$-leaf root, that is, a tree $T$ with leaf set $V$, where $xy \in E$, if and only if the $T$-distance between $x$ and $y$ is at most $k$. Structure and linear time recognition algorithms have been found for $2$-, $3$-, $4$-, and, to some extent, $5$-leaf powers, and it is known that the union of all $k$-leaf powers, that is, the graph class ${\cal L} = \bigcup_{k=2}^\infty {\cal L}_k$, forms a proper subclass of strongly chordal graphs. Despite from that, no essential progress has been made lately. In this paper, we use the new notion of clique arrangements to suggest that leaf powers are a natural special case of strongly chordal graphs. The clique arrangement ${\cal A}(G)$ of a chordal graph $G$ is a directed graph that represents the intersections between maximal cliques of $G$ by nodes and the mutual inclusion of these vertex subsets by arcs. Recently, strongly chordal graphs have been characterized as the graphs that have a clique arrangement without bad $k$-cycles for $k \geq 3$. We show that the clique arrangement of every graph of ${\cal L}$ is free of bad $2$-cycles. The question whether this characterizes the class ${\cal L}$ exactly remains open.
Local algorithms for independent sets are half-optimal
Published in Ann. Probab. 45 (2017), no. 3, 1543-1577
• View Publication
• BIB
We show that the largest density of factor of i.i.d. independent sets on the d-regular tree is asymptotically at most (log d)/d as d tends to infinity. This matches the lower bound given by previous constructions. It follows that the largest independent sets given by local algorithms on random d-regular graphs have the same asymptotic density. In contrast, the density of the largest independent sets on these graphs is asymptotically 2(log d)/d. We also prove analogous results for Poisson-Galton-Watson trees, which yield bounds for local algorithms on sparse Erdos-Renyi graphs.