English
Related papers

Related papers: Canonizable Partial Order Generators and Regular S…

200 papers

In 1993, Savage, Squire, and West described an inductive construction for generating every acyclic orientation of a chordal graph exactly once, flipping one arc at a time. We provide two generalizations of this result. Firstly, we describe…

Combinatorics · Mathematics 2022-12-09 Jean Cardinal , Hung P. Hoang , Arturo Merino , Ondřej Mička , Torsten Mütze

Motivated by the problem of designing inference-friendly Bayesian nonparametric models in probabilistic programming languages, we introduce a general class of partially exchangeable random arrays which generalizes the notion of hierarchical…

Probability · Mathematics 2020-07-27 Paul Jung , Jiho Lee , Sam Staton , Hongseok Yang

In this paper we explore the design of sequent calculi operating on graphs. For this purpose, we introduce a set of logical connectives allowing us to extend the correspondence between cographs and classical propositional formulas to any…

Logic in Computer Science · Computer Science 2024-02-13 Matteo Acclavio

A directed graph is semi-transitive if and only if it is acyclic and for any directed path $u_1\rightarrow u_2\rightarrow \cdots \rightarrow u_t$, $t \geq 2$, either there is no edge from $u_1$ to $u_t$ or all edges $u_i\rightarrow u_j$…

Combinatorics · Mathematics 2021-08-13 Kittitat Iamthong , Sergey Kitaev

This work addresses the NP-Hard problem of acyclic directed acyclic graph (DAG) partitioning problem. The acyclic partitioning problem is defined as partitioning the vertex set of a given directed acyclic graph into disjoint and…

Data Structures and Algorithms · Computer Science 2022-07-28 M. Yusuf Özkaya , Ümit V. Çatalyürek

We consider construction of the suffix tree and the directed acyclic word graph (DAWG) indexing data structures for a collection $\mathcal{T}$ of texts, where a new symbol may be appended to any text in $\mathcal{T} = \{T_1, \ldots, T_K\}$,…

Data Structures and Algorithms · Computer Science 2018-07-13 Takuya Takagi , Shunsuke Inenaga , Hiroki Arimura , Dany Breslauer , Diptarama Hendrian

(First-order) transductions are a basic notion capturing graph modifications that can be described in first-order logic. In this work, we propose an efficient algorithmic method to approximately reverse the application of a transduction,…

Logic in Computer Science · Computer Science 2026-01-22 Jan Dreier , Jakub Gajarský , Michał Pilipczuk

Estimating a directed acyclic graph (DAG) from observational data represents a canonical learning problem and has generated a lot of interest in recent years. Research has focused mostly on the following two cases: when no information…

Applications · Statistics 2019-02-15 Syed Rahman , Kshitij Khare , George Michailidis , Carlos Martinez , Juan Carulla

The exchange graph of a cluster algebra encodes the combinatorics of mutations of clusters. Through the recent "categorifications" of cluster algebras using representation theory one obtains a whole variety of exchange graphs associated…

Representation Theory · Mathematics 2023-08-04 Thomas Brüstle , Dong Yang

Constraint-based grammars can, in principle, serve as the major linguistic knowledge source for both parsing and generation. Surface generation starts from input semantics representations that may vary across grammars. For many declarative…

Computation and Language · Computer Science 2007-05-23 Stephan Busemann

A common way of partitioning graphs is through minimum cuts. One drawback of classical minimum cut methods is that they tend to produce small groups, which is why more balanced variants such as normalized and ratio cuts have seen more…

Machine Learning · Computer Science 2024-10-07 Chakib Fettal , Lazhar Labiod , Mohamed Nadif

Analyzing massive complex networks yields promising insights about our everyday lives. Building scalable algorithms to do so is a challenging task that requires a careful analysis and an extensive evaluation. However, engineering such…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-03-19 Daniel Funke , Sebastian Lamm , Ulrich Meyer , Peter Sanders , Manuel Penschuck , Christian Schulz , Darren Strash , Moritz von Looz

We study the following version of cut sparsification. Given a large edge-weighted network $G$ with $k$ terminal vertices, compress it into a smaller network $H$ with the same terminals, such that every minimum terminal cut in $H$…

Data Structures and Algorithms · Computer Science 2019-10-08 Robert Krauthgamer , Havana , Rika

Discovering the underlying structures present in large real world graphs is a fundamental scientific problem. In this paper we show that a graph's clique tree can be used to extract a hyperedge replacement grammar. If we store an ordering…

Social and Information Networks · Computer Science 2016-08-11 Salvador Aguiñaga , Rodrigo Palacios , David Chiang , Tim Weninger

Graph-based semantic representations are valuable in natural language processing, where it is often simple and effective to represent linguistic concepts as nodes, and relations as edges between them. Several attempts has been made to find…

Formal Languages and Automata Theory · Computer Science 2021-05-10 Johanna Björklund , Frank Drewes , Anna Jonsson

A DAG compression of a (typically dense) graph is a simple data structure that stores how vertex clusters are connected, where the clusters are described indirectly as sets of reachable sinks in a directed acyclic graph (DAG). They…

Data Structures and Algorithms · Computer Science 2026-03-24 Florian Chudigiewitsch , Till Tantau , Felix Winkler

Directed acyclic graphs (DAGs) are directed graphs in which there is no path from a vertex to itself. DAGs are an omnipresent data structure in computer science and the problem of counting the DAGs of given number of vertices and to sample…

Discrete Mathematics · Computer Science 2025-10-03 Martin Pépin , Alfredo Viola

We study a graph partition problem where we are given a directed acyclic graph (DAG) whose vertices and arcs can be respectively regarded as tasks and dependencies among tasks. The objective of the problem is to minimize the total energy…

Data Structures and Algorithms · Computer Science 2024-09-17 Wei Liu , Jian-Jia Chen , Yongjie Yang

This paper is concerned with structures of general graphs with perfect matchings. We first reveal a partially ordered structure among factor-components of general graphs with perfect matchings. Our second result is a generalization of…

Discrete Mathematics · Computer Science 2013-03-26 Nanao Kita

Graph neural networks are increasingly becoming the go-to approach in various fields such as computer vision, computational biology and chemistry, where data are naturally explained by graphs. However, unlike traditional convolutional…

Machine Learning · Computer Science 2021-10-28 Moshe Eliasof , Eldad Haber , Eran Treister