English
Related papers

Related papers: The Mutual-Visibility Problem In Directed Graphs

200 papers

Estimating the structure of directed acyclic graphs (DAGs) of features (variables) plays a vital role in revealing the latent data generation process and providing causal insights in various applications. Although there have been many…

Machine Learning · Computer Science 2024-03-06 Shaohua Fan , Shuyang Zhang , Xiao Wang , Chuan Shi

Estimating the structure of directed acyclic graphs (DAGs) from observational data remains a significant challenge in machine learning. Most research in this area concentrates on learning a single DAG for the entire population. This paper…

Machine Learning · Statistics 2024-02-21 Ryan Thompson , Edwin V. Bonilla , Robert Kohn

We study directed random graphs (random graphs whose edges are directed) as they evolve in discrete time by the addition of nodes and edges. For two distinct evolution strategies, one that forces the graph to a condition of near acyclicity…

Statistical Mechanics · Physics 2007-05-23 Valmir C. Barbosa , Raul Donangelo , Sergio R. Souza

Let $D$ be a strongly connected digraph. The average distance $\bar{\sigma}(v)$ of a vertex $v$ of $D$ is the arithmetic mean of the distances from $v$ to all other vertices of $D$. The remoteness $\rho(D)$ and proximity $\pi(D)$ of $D$ are…

Combinatorics · Mathematics 2020-01-29 Jiangdong Ai , Stefanie Gerke , Gregory Gutin , Sonwabile Mafunda

We prove that every digraph of circumference $l$ has DAG-width at most $l$ and this is best possible. As a consequence of our result we deduce that the $k$-linkage problem is polynomially solvable for every fixed $k$ in the class of…

Discrete Mathematics · Computer Science 2015-02-12 Jørgen Bang-Jensen , Tilde My Larsen

A matching $M$ in a graph $G$ is acyclic if the subgraph of $G$ induced by the set of vertices that are incident to an edge in $M$ is a forest. We prove that every graph with $n$ vertices, maximum degree at most $\Delta$, and no isolated…

Combinatorics · Mathematics 2020-02-11 Julien Baste , Maximilian Fürst , Dieter Rautenbach

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 characterise the classes of tournaments with tractable first-order model checking. For every hereditary class of tournaments $\mathcal T$, first-order model checking is either fixed parameter tractable or $\textrm{AW}[*]$-hard. This…

Logic in Computer Science · Computer Science 2025-10-15 Colin Geniet , Stéphan Thomassé

Graph databases in many applications---semantic web, transport or biological networks among others---are not only large, but also frequently modified. Evaluating graph queries in this dynamic context is a challenging task, as those queries…

Logic in Computer Science · Computer Science 2015-12-18 Pablo Muñoz , Nils Vortmeier , Thomas Zeume

We study strategic games on weighted directed graphs, in which the payoff of a player is defined as the sum of the weights on the edges from players who chose the same strategy, augmented by a fixed non-negative integer bonus for picking a…

Computer Science and Game Theory · Computer Science 2021-03-15 Krzysztof R. Apt , Sunil Simon , Dominik Wojtczak

The determination of the computational complexity of multi-agent pathfinding on directed graphs has been an open problem for many years. For undirected graphs, solvability can be decided in polynomial time, as has been shown already in the…

Artificial Intelligence · Computer Science 2022-09-20 Bernhard Nebel

In the homomorphism order of digraphs, a duality pair is an ordered pair of digraphs $(G,H)$ such that for any digraph, $D$, $G\to D$ if and only if $D\not\to H$. The directed path on $k+1$ vertices together with the transitive tournament…

Combinatorics · Mathematics 2020-04-01 Santiago Guzmán-Pro , César Hernández-Cruz

In multiplayer games with sequential decision-making, self-interested players form dynamic coalitions to achieve most-preferred temporal goals beyond their individual capabilities. We introduce a novel procedure to synthesize strategies…

Computer Science and Game Theory · Computer Science 2025-01-31 A. Kaan Ata Yilmaz , Abhishek Kulkarni , Ufuk Topcu

Bayesian networks, with structure given by a directed acyclic graph (DAG), are a popular class of graphical models. However, learning Bayesian networks from discrete or categorical data is particularly challenging, due to the large…

Methodology · Statistics 2018-02-06 Jiaying Gu , Fei Fu , Qing Zhou

A matching is a set of edges in a graph with no common endpoint. A matching M is called acyclic if the induced subgraph on the endpoints of the edges in M is acyclic. Given a graph G and an integer k, Acyclic Matching Problem seeks for an…

Computational Complexity · Computer Science 2022-10-05 Sahab Hajebi , Ramin Javadi

We investigate the odd multiway node (edge) cut problem where the input is a graph with a specified collection of terminal nodes and the goal is to find a smallest subset of nonterminal nodes (edges) to delete so that the terminal nodes do…

Data Structures and Algorithms · Computer Science 2018-04-09 Karthekeyan Chandrasekaran , Matthias Mnich , Sahand Mozaffari

The \emph{interestingness score} of a directed path $\Pi = e_1, e_2, e_3, \dots, e_\ell$ in an edge-weighted directed graph $G$ is defined as $\texttt{score}(\Pi) := \sum_{i=1}^\ell w(e_i) \cdot \log{(i+1)}$, where $w(e_i)$ is the weight of…

Computational Complexity · Computer Science 2025-03-18 Jean-Lou De Carufel , Anil Maheshwari , Saeed Odak , Bodhayan Roy , Michiel Smid , Marc Vicuna

We consider the problem of determining if a pair of undirected graphs $\langle G_\mathsf{V}, G_\mathsf{H} \rangle$, which share the same vertex set, has a representation using opaque geometric shapes for vertices, and vertical/horizontal…

Computational Geometry · Computer Science 2021-05-26 Ben Chugg , William S. Evans , Kelvin Wong

The Hajnal--Szemer\'edi theorem states that for any integer $r \ge 1$ and any multiple $n$ of $r$, if $G$ is a graph on $n$ vertices and $\delta(G) \ge (1 - 1/r)n$, then $G$ can be partitioned into $n/r$ vertex-disjoint copies of the…

Combinatorics · Mathematics 2016-03-29 Andrzej Czygrinow , Louis DeBiasio , Theodore Molla , Andrew Treglown

A classical Tur\'an problem asks for the maximum possible number of edges in a graph of a given order that does not contain a particular graph $H$ as a subgraph. It is well-known that the chromatic number of $H$ is the graph parameter which…