English
Related papers

Related papers: Kruskal's Tree Theorem for Acyclic Term Graphs

200 papers

A bound on consecutive clique numbers of graphs is established. This bound is evaluated and shown to often be much better than the bound of the Kruskal-Katona theorem. A bound on non-consecutive clique numbers is also proven.

Combinatorics · Mathematics 2007-10-23 Andy Frohmader

Knots are commonly represented and manipulated via diagrams, which are decorated planar graphs. When such a knot diagram has low treewidth, parameterized graph algorithms can be leveraged to ensure the fast computation of many invariants…

Computational Geometry · Computer Science 2023-03-16 Corentin Lunel , Arnaud de Mesmay

A graph is chordal if it contains no induced cycle of length four or more. While finite chordal graphs are precisely those admitting tree-decompositions into cliques, this fails for infinite graphs. We establish two results extending the…

Combinatorics · Mathematics 2026-03-26 Max Pitz , Lucas Real , Roman Schaut

In this extended abstract, we present a simple approach to convergence on term graphs that allows us to unify term graph rewriting and infinitary term rewriting. This approach is based on a partial order and a metric on term graphs. These…

Logic in Computer Science · Computer Science 2013-02-27 Patrick Bahr

The treewidth of a graph is an important invariant in structural and algorithmic graph theory. This paper studies the treewidth of line graphs. We show that determining the treewidth of the line graph of a graph $G$ is equivalent to…

Combinatorics · Mathematics 2014-09-25 Daniel J. Harvey , David R. Wood

One of the major results of [N. Robertson and P. D. Seymour. Graph minors. XIII. The disjoint paths problem. J. Combin. Theory Ser. B, 63(1):65--110, 1995], also known as the weak structure theorem, revealed the local structure of graphs…

Combinatorics · Mathematics 2011-03-01 Archontia C. Giannopoulou , Dimitrios M. Thilikos

In a complete graph $K_n$ with edge weights drawn independently from a uniform distribution $U(0,1)$ (or alternatively an exponential distribution $\operatorname{Exp}(1)$), let $T_1$ be the MST (the spanning tree of minimum weight) and let…

Combinatorics · Mathematics 2019-06-05 Svante Janson , Gregory B. Sorkin

A cut of a graph can be represented in many different ways. Here we propose to represent a cut through a ``relation tree'', which is a spanning tree with signed edges. We show that this picture helps to classify the main greedy heuristics…

Quantum Physics · Physics 2023-12-19 Jianan Wang , Chuixiong Wu , Fen Zuo

In directed graphs, a cycle can be seen as a structure that allows its vertices to loop back to themselves, or as a structure that allows pairs of vertices to reach each other through distinct paths. We extend these concepts to temporal…

Computational Complexity · Computer Science 2025-03-05 Davi de Andrade , Júlio Araújo , Allen Ibiapina , Andrea Marino , Jason Schoeters , Ana Silva

We give new decomposition theorems for classes of graphs that can be transduced in first-order logic from classes of sparse graphs -- more precisely, from classes of bounded expansion and from nowhere dense classes. In both cases, the…

Logic in Computer Science · Computer Science 2022-01-27 Jan Dreier , Jakub Gajarský , Sandra Kiefer , Michał Pilipczuk , Szymon Toruńczyk

Datasets from several domains, such as life-sciences, semantic web, machine learning, natural language processing, etc. are naturally structured as acyclic graphs. These datasets, particularly those in bio-informatics and computational…

Discrete Mathematics · Computer Science 2014-09-02 Sandeep Gupta

In previous work, we defined the intersection graph of a chord diagram associated with a string link (as in the theory of finite type invariants). In this paper, we look at the case when this graph is a tree, and we show that in many cases…

Geometric Topology · Mathematics 2009-01-10 Blake Mellor

We provide a method to obtain beyond-worst-case time complexity for any single-source-shortest-path (SSSP) algorithm by exploiting modular structures in graphs. The key novelty is a graph decomposition, called the acyclic-connected (A-C)…

Data Structures and Algorithms · Computer Science 2026-03-12 Elis Stefansson , Oliver Biggar , Karl H. Johansson

In previous work, the author defined the intersection graph of a chord diagram associated with string links (as in the theory of finite type invariants). In this paper, we classify the trees which can be obtained as intersection graphs of…

Geometric Topology · Mathematics 2007-05-23 Blake Mellor

Much information about a graph can be obtained by studying its spanning trees. On the other hand, a graph can be regarded as a 1-dimensional cell complex, raising the question of developing a theory of trees in higher dimension. As observed…

Combinatorics · Mathematics 2015-06-24 Art M. Duval , Caroline J. Klivans , Jeremy L. Martin

We introduce polytopal cell complexes associated with partial acyclic orientations of a simple graph, which generalize acyclic orientations. Using the theory of cellular resolutions, two of these polytopal cell complexes are observed to…

Combinatorics · Mathematics 2015-02-10 Benjamin Iriarte Giraldo

Directed acyclic graphs are the basic representation of the structure underlying Bayesian networks, which represent multivariate probability distributions. In many practical applications, such as the reverse engineering of gene regulatory…

Computation · Statistics 2013-11-15 Jack Kuipers , Giusi Moffa

The most popular algorithms for generation of minimal spanning tree are Kruskal and Prim algorithm. Many algorithms have been proposed for generation of all spanning tree. This paper deals with generation of all possible spanning trees in…

Data Structures and Algorithms · Computer Science 2012-09-20 Barun Biswas , Krishnendu Basuli , Saptarshi Naskar , Saomya Chakraborti , Samar Sen Sarma

A spanning tree of a network or graph is a subgraph that connects all nodes with the least number or weight of edges. The spanning tree is one of the most straightforward techniques for network simplification and sampling, and for…

Social and Information Networks · Computer Science 2025-12-03 Lovro Šubelj

Given a string $T$, it is known that its suffix tree can be represented using the compact directed acyclic word graph (CDAWG) with $e_T$ arcs, taking overall $O(e_T+e_{{\overline{T}}})$ words of space, where ${\overline{T}}$ is the reverse…

Data Structures and Algorithms · Computer Science 2017-05-25 Djamal Belazzougui , Fabio Cunial