English
Related papers

Related papers: Deciding if a DAG is Interesting is Hard

200 papers

We analyze a new property of directed acyclic graphs (DAGs), called layerwidth, arising from a class of DAGs proposed by Eiter and Lukasiewicz. This class of DAGs permits certain problems of structural model-based causality and explanation…

Data Structures and Algorithms · Computer Science 2012-12-12 Mark Hopkins

The vertex PI index is a distance--based molecular structure descriptor, that recently found numerous chemical applications. In order to increase diversity of this topological index for bipartite graphs, we introduce weighted version…

Combinatorics · Mathematics 2015-03-19 Aleksandar Ili\' c , Nikola Milosavaljevi\' c

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

Cycles in graphs often signify interesting processes. For example, cyclic trading patterns can indicate inefficiencies or economic dependencies in trade networks, cycles in food webs can identify fragile dependencies in ecosystems, and…

Data Structures and Algorithms · Computer Science 2019-09-04 Florian Adriaens , Cigdem Aslay , Tijl De Bie , Aristides Gionis , Jefrey Lijffijt

Finding a shortest path in a graph is one of the most classic problems in algorithmic and graph theory. While we dispose of quite efficient algorithms for this ordinary problem (like the Dijkstra or Bellman-Ford algorithms), some slight…

Data Structures and Algorithms · Computer Science 2024-08-05 Abderrahim Bendahi , Adrien Fradin

We introduce and study the complexity of Path Packing. Given a graph $G$ and a list of paths, the task is to embed the paths edge-disjoint in $G$. This generalizes the well known Hamiltonian-Path problem. Since Hamiltonian Path is…

Computational Complexity · Computer Science 2019-10-02 Jan Dreier , Janosch Fuchs , Tim A. Hartmann , Philipp Kuinke , Peter Rossmanith , Bjoern Tauer , Hung-Lung Wang

A directed graph $D$ is singly connected if for every ordered pair of vertices $(s,t)$, there is at most one path from $s$ to $t$ in $D$. Graph orientation problems ask, given an undirected graph $G$, to find an orientation of the edges…

Combinatorics · Mathematics 2023-06-06 Tim A. Hartmann , Komal Muluk

In the Maximum Connectivity Improvement (MCI) problem, we are given a directed graph $G=(V,E)$ and an integer $B$ and we are asked to find $B$ new edges to be added to $G$ in order to maximize the number of connected pairs of vertices in…

Discrete Mathematics · Computer Science 2019-04-30 Federico Corò , Gianlorenzo D'Angelo , Vahan Mkrtchyan

Amiri and Wargalla (2020) proved the following local-to-global theorem in directed acyclic graphs (DAGs): if $G$ is a weighted DAG such that for each subset $S$ of 3 nodes there is a shortest path containing every node in $S$, then there…

Data Structures and Algorithms · Computer Science 2023-06-29 Shyan Akmal , Nicole Wein

Say that an edge of a graph G dominates itself and every other edge adjacent to it. An edge dominating set of a graph G = (V,E) is a subset of edges E' of E which dominates all edges of G. In particular, if every edge of G is dominated by…

Discrete Mathematics · Computer Science 2013-03-12 Min Chih Lin , Michel J. Mizrahi , Jayme L. Szwarcfiter

Graphs have been commonly used to model many applications. A natural problem which abstracts applications such as itinerary planning, playlist recommendation, and flow analysis in information networks is that of finding the heaviest path(s)…

Databases · Computer Science 2015-03-19 Mohammad Khabbaz , Smriti Bhagat , Laks V. S. Lakshmanan

Bhawalkar, Kleinberg, Lewi, Roughgarden, and Sharma [ICALP 2012] introduced the Anchored k-Core problem, where the task is for a given graph G and integers b, k, and p to find an induced subgraph H with at least p vertices (the core) such…

Data Structures and Algorithms · Computer Science 2013-09-18 Rajesh Chitnis , Fedor V. Fomin , Petr A. Golovach

A straightforward dynamic programming method for the single-source shortest paths problem (SSSP) in an edge-weighted directed acyclic graph (DAG) processes the vertices in a topologically sorted order. First, we similarly iterate this…

Data Structures and Algorithms · Computer Science 2021-08-10 Andrzej Lingas , Mia Persson , Dzmitry Sledneu

We point out that the computation of true \emph{proof} and \emph{disproof} numbers for proof number search in arbitrary directed acyclic graphs is NP-hard, an important theoretical result for proof number search. The proof requires a…

Computational Complexity · Computer Science 2021-02-10 Chao Gao

We study the algorithmic complexity of partitioning the vertex set of a given (di)graph into a small number of paths. The Path Partition problem (PP) has been studied extensively, as it includes Hamiltonian Path as a special case. The…

Data Structures and Algorithms · Computer Science 2024-12-24 Henning Fernau , Florent Foucaud , Kevin Mann , Utkarsh Padariya , Rajath Rao K. N

In the Survivable Network Design Problem (SNDP), the input is an edge-weighted (di)graph $G$ and an integer $r_{uv}$ for every pair of vertices $u,v\in V(G)$. The objective is to construct a subgraph $H$ of minimum weight which contains…

Data Structures and Algorithms · Computer Science 2017-01-12 Manu Basavaraju , Pranabendu Misra , M. S. Ramanujan , Saket Saurabh

We study the Equitable Connected Partition (ECP for short) problem, where we are given a graph G=(V,E) together with an integer p, and our goal is to find a partition of V into p parts such that each part induces a connected sub-graph of G…

Data Structures and Algorithms · Computer Science 2024-05-01 Václav Blažej , Dušan Knop , Jan Pokorný , Šimon Schierreich

Let $G$ be a complete edge-weighted graph on $n$ vertices. To each subset of vertices of $G$ assign the cost of the minimum spanning tree of the subset as its weight. Suppose that $n$ is a multiple of some fixed positive integer $k$. The…

In the Disjoint Paths problem, one is given a graph with a set of $k$ vertex pairs $(s_i,t_i)$ and the task is to connect each $s_i$ to $t_i$ with a path, so that the $k$ paths are pairwise disjoint. In the optimization variant, Max…

Data Structures and Algorithms · Computer Science 2024-09-06 Michał Włodarczyk

Paths P1,...,Pk in a graph G=(V,E) are said to be mutually induced if for any 1 <= i < j <= k, Pi and Pj have neither common vertices nor adjacent vertices (except perhaps their end-vertices). The Induced Disjoint Paths problem is to test…

Discrete Mathematics · Computer Science 2014-03-07 Petr A. Golovach , Daniel Paulusma , Erik Jan van Leeuwen