English
Related papers

Related papers: Dempster's Rule for Evidence Ordered in a Complete…

200 papers

This paper considers the problem of inferring the structure of a network from indirect observations. Each observation (a "trace") is the unordered set of nodes which are activated along a path through the network. Since a trace does not…

Data Structures and Algorithms · Computer Science 2013-01-30 Vincent Gripon , Michael Rabbat

We consider the problem of decomposing the edges of a directed graph into as few paths as possible. There is a natural lower bound for the number of paths needed in an edge decomposition of a directed graph $D$ in terms of its degree…

Combinatorics · Mathematics 2021-09-29 Alberto Espuny Díaz , Viresh Patel , Fabian Stroh

Ordered matchings, defined as graphs with linearly ordered vertices, where each vertex is connected to exactly one edge, play a crucial role in the area of ordered graphs and their homomorphisms. Therefore, we consider related problems from…

Computational Complexity · Computer Science 2025-12-01 Michal Čertík , Andreas Emil Feldmann , Jaroslav Nešetřil , Paweł Rzążewski

A path graph is the intersection graph of paths in a tree. A directed path graph is the intersection graph of paths in a directed tree. Even if path graphs and directed path graphs are characterized very similarly, their recognition…

Data Structures and Algorithms · Computer Science 2025-05-07 Lorenzo Balzotti

In this paper we give fast distributed graph algorithms for detecting and listing small subgraphs, and for computing or approximating the girth. Our algorithms improve upon the state of the art by polynomial factors, and for girth, we…

Data Structures and Algorithms · Computer Science 2021-01-20 Keren Censor-Hillel , Orr Fischer , Tzlil Gonen , François Le Gall , Dean Leitersdorf , Rotem Oshman

A set $X$ of vertices of an acyclic digraph $D$ is convex if $X\neq \emptyset$ and there is no directed path between vertices of $X$ which contains a vertex not in $X$. A set $X$ is connected if $X\neq \emptyset$ and the underlying…

Discrete Mathematics · Computer Science 2007-12-18 P. Balister , S. Gerke , G. Gutin , A. Johnstone , J. Reddington , E. Scott , A. Soleimanfallah , A. Yeo

We introduce an automata-theoretic method for the verification of distributed algorithms running on ring networks. In a distributed algorithm, an arbitrary number of processes cooperate to achieve a common goal (e.g., elect a leader).…

Logic in Computer Science · Computer Science 2015-04-27 C. Aiswarya , Benedikt Bollig , Paul Gastin

We prove that there exists a function $f:\mathbb{N}\rightarrow \mathbb{R}$ such that every directed graph $G$ contains either $k$ directed odd cycles where every vertex of $G$ is contained in at most two of them, or a set of at most $f(k)$…

Combinatorics · Mathematics 2024-12-30 Ken-ichi Kawarabayashi , Stephan Kreutzer , O-joung Kwon , Qiqin Xie

This paper details a new algorithm to solve the shortest path problem in valued graphs. Its complexity is $O(D \log v)$ where $D$ is the graph diameter and $v$ its number of vertices. This complexity has to be compared to the one of the…

Data Structures and Algorithms · Computer Science 2007-05-23 Michel Koskas

We propose a simple and time-optimal algorithm for property testing a graph for its conductance in the CONGEST model. Our algorithm takes only $O(\log n)$ rounds of communication (which is known to be optimal), and consists of simply…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-03-12 Tugkan Batu , Amitabh Trehan , Chhaya Trehan

We provide a novel method for constructing asymptotics (to arbitrary accuracy) for the number of directed graphs that realize a fixed bidegree sequence $d = a \times b$ with maximum degree $d_{max}=O(S^{\frac{1}{2}-\tau})$ for an…

Combinatorics · Mathematics 2016-10-24 David Burstein , Jonathan Rubin

In this paper we associate with every (directed) graph G a transformation called the Mobius transformation of the graph G. The Mobius transformation of the graph (O) is of major significance for Dempster-Shafer theory of evidence. However,…

Artificial Intelligence · Computer Science 2013-04-05 Robert Kennes , Philippe Smets

For some geometric graph classes, tractability of testing first-order formulas is precisely characterised by the graph parameter twin-width. This was first proved for interval graphs among others in [BCKKLT, IPEC '22], where the equivalence…

Discrete Mathematics · Computer Science 2025-12-29 Colin Geniet , Gunwoo Kim , Lucas Meijer

Stick graphs are intersection graphs of horizontal and vertical line segments that all touch a line of slope -1 and lie above this line. De Luca et al. [GD'18] considered the recognition problem of stick graphs when no order is given…

Computational Geometry · Computer Science 2020-06-23 Steven Chaplick , Philipp Kindermann , Andre Löffler , Florian Thiele , Alexander Wolff , Alexander Zaft , Johannes Zink

Estimating the structure of directed acyclic graphs (DAGs, also known as Bayesian networks) is a challenging problem since the search space of DAGs is combinatorial and scales superexponentially with the number of nodes. Existing approaches…

Machine Learning · Statistics 2018-11-06 Xun Zheng , Bryon Aragam , Pradeep Ravikumar , Eric P. Xing

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…

Combinatorics · Mathematics 2013-08-13 Andrzej Grzesik , Michał Morayne , Małgorzata Sulkowska

We present a deterministic linear-time algorithm for finding an odd cycle through two specified vertices in an undirected graph. This is shown in a generalized form as follows: Let $\Gamma$ be any group in which every element is of order at…

Data Structures and Algorithms · Computer Science 2026-04-28 Takumi Kano , Yutaro Yamaguchi

We have a set of processors (or agents) and a set of graph networks defined over some vertex set. Each processor can access a subset of the graph networks. Each processor has a demand specified as a pair of vertices $<u, v>$, along with a…

Data Structures and Algorithms · Computer Science 2012-10-08 Venkatesan T. Chakaravarthy , Sambuddha Roy , Yogish Sabharwal

We consider the standard message passing model; we assume the system is fully synchronous: all processes start at the same time and time proceeds in synchronised rounds. In each round each vertex can transmit a different message of size…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-07-14 Y. Métivier , J. M. Robson , A. Zemmari

Exact pattern matching in labeled graphs is the problem of searching paths of a graph $G=(V,E)$ that spell the same string as the pattern $P[1..m]$. This basic problem can be found at the heart of more complex operations on variation graphs…

Computational Complexity · Computer Science 2020-06-04 Massimo Equi , Roberto Grossi , Veli Mäkinen