English
Related papers

Related papers: CMSO-transducing tree-like graph decompositions

200 papers

Bayesian networks can be used to extract explanations about the observed state of a subset of variables. In this paper, we explicate the desiderata of an explanation and confront them with the concept of explanation proposed by existing…

Artificial Intelligence · Computer Science 2012-06-18 Ulf Nielsen , Jean-Philippe Pellet , André Elisseeff

In deep neural networks, better results can often be obtained by increasing the complexity of previously developed basic models. However, it is unclear whether there is a way to boost performance by decreasing the complexity of such models.…

Machine Learning · Computer Science 2021-09-07 Junran Wu , Jianhao Li , Yicheng Pan , Ke Xu

In this paper, we build on recent results by Chauve et al. (2014) and Bahrani and Lumbroso (2017), which combined the split-decomposition, as exposed by Gioan and Paul, with analytic combinatorics, to produce new enumerative results on…

Combinatorics · Mathematics 2017-11-30 Maryam Bahrani , Jérémie Lumbroso

General treebank analyses are graph structured, but parsers are typically restricted to tree structures for efficiency and modeling reasons. We propose a new representation and algorithm for a class of graph structures that is flexible…

Computation and Language · Computer Science 2020-06-05 Jonathan K. Kummerfeld , Dan Klein

We introduce a method for creating a special type of tree, called a tree position, from a weighted graph. Leaves of the tree correspond to vertices of the original graph, and the tree edges contain information which can be used to partition…

Combinatorics · Mathematics 2014-08-19 R. Sean Bowman , Douglas R. Heisterkamp , Jesse Johnson

Mode-based model-reduction is used to reduce the degrees of freedom of high dimensional systems, often by describing the system state by a linear combination of spatial modes. Transport dominated phenomena, ubiquitous in technical and…

Numerical Analysis · Mathematics 2020-02-28 Julius Reiss

Courcelle's Theorem states that on graphs $G$ of tree-width at most $k$ with a given tree-decomposition of size $t(G)$, graph properties $\mathcal{P}$ definable in Monadic Second Order Logic can be checked in linear time in the size of…

Logic in Computer Science · Computer Science 2025-05-06 Yuval Filmus , Johann A. Makowsky

We study edge-decompositions of highly connected graphs into copies of a given tree. In particular we attack the following conjecture by Bar\'at and Thomassen: for each tree $T$, there exists a natural number $k_T$ such that if $G$ is a…

Combinatorics · Mathematics 2012-03-09 János Barát , Dániel Gerbner

An intense activity is nowadays devoted to the definition of models capturing the properties of complex networks. Among the most promising approaches, it has been proposed to model these graphs via their clique incidence bipartite graphs.…

Discrete Mathematics · Computer Science 2021-03-09 Matthieu Latapy , Thi Ha Duong Phan , Christophe Crespelle , Thanh Qui Nguyen

Tree-decompositions and treewidth are of fundamental importance in structural and algorithmic graph theory. The "spread" of a tree-decomposition is the minimum integer $s$ such that every vertex lies in at most $s$ bags. A…

Combinatorics · Mathematics 2026-04-08 Marc Distel , Neel Kaul , Raj Kaul , David R. Wood

We prove that every oriented tree on $n$ vertices with bounded maximum degree appears as a spanning subdigraph of every directed graph on $n$ vertices with minimum semidegree at least $n/2+o(n)$. This can be seen as a directed graph…

Combinatorics · Mathematics 2026-05-20 Richard Mycroft , Tássio Naia

We prove that a large family of graphs which are decomposable with respect to the modular decomposition can be reconstructed from their collection of vertex-deleted subgraphs.

Combinatorics · Mathematics 2012-02-28 Robert Brignall , Nicholas Georgiou , Robert J. Waters

This is a companion note to our paper 'Some advances on Sidorenko's conjecture', elaborating on a remark in that paper that the approach which proves Sidorenko's conjecture for strongly tree-decomposable graphs may be extended to a broader…

Combinatorics · Mathematics 2018-05-08 David Conlon , Jeong Han Kim , Choongbum Lee , Joonkyung Lee

Graph translation is very promising research direction and has a wide range of potential real-world applications. Graph is a natural structure for representing relationship and interactions, and its translation can encode the intrinsic…

Machine Learning · Computer Science 2021-03-17 Tianxiang Zhao , Xianfeng Tang , Xiang Zhang , Suhang Wang

Many modern data analytics applications on graphs operate on domains where graph topology is not known a priori, and hence its determination becomes part of the problem definition, rather than serving as prior knowledge which aids the…

Information Theory · Computer Science 2020-01-03 Ljubisa Stankovic , Danilo Mandic , Milos Dakovic , Milos Brajovic , Bruno Scalzo , Shengxi Li , Anthony G. Constantinides

We describe a translation from a fragment of SUMO (SUMO-K) into higher-order set theory. The translation provides a formal semantics for portions of SUMO which are beyond first-order and which have previously only had an informal…

Artificial Intelligence · Computer Science 2023-05-16 Chad Brown , Adam Pease , Josef Urban

We study the first-order (FO) model checking problem of dense graphs, namely those which have FO interpretations in (or are FO transductions of) some sparse graph classes. We give a structural characterization of the graph classes which are…

Logic in Computer Science · Computer Science 2018-05-07 Jakub Gajarský , Petr Hliněný , Daniel Lokshtanov , Jan Obdržálek , M. S. Ramanujan

The question of whether there is a logic that captures polynomial time is one of the main open problems in descriptive complexity theory and database theory. In 2010 Grohe showed that fixed point logic with counting captures polynomial time…

Computational Complexity · Computer Science 2023-06-22 Berit Grußien

Learning a graph topology to reveal the underlying relationship between data entities plays an important role in various machine learning and data analysis tasks. Under the assumption that structured data vary smoothly over a graph, the…

Machine Learning · Statistics 2023-08-23 Xingyue Pu , Tianyue Cao , Xiaoyun Zhang , Xiaowen Dong , Siheng Chen

In this paper we propose a new wavelet transform applicable to functions defined on graphs, high dimensional data and networks. The proposed method generalizes the Haar-like transform proposed in [1], and it is defined via a hierarchical…

Computer Vision and Pattern Recognition · Computer Science 2015-05-20 Idan Ram , Michael Elad , Israel Cohen