English
Related papers

Related papers: The Directed Disjoint Paths Problem with Congestio…

200 papers

An {\sf oriented perfect path double cover} ($\rm OPPDC$) of a graph $G$ is a collection of directed paths in the symmetric orientation $G_s$ of $G$ such that each edge of $G_s$ lies in exactly one of the paths and each vertex of $G$…

Combinatorics · Mathematics 2012-07-10 Behrooz Bagheri Gh. , Behnaz Omoomi

The Minimum Path Cover problem on directed acyclic graphs (DAGs) is a classical problem that provides a clear and simple mathematical formulation for several applications in different areas and that has an efficient algorithmic solution. In…

Data Structures and Algorithms · Computer Science 2014-03-06 Niko Beerenwinkel , Stefano Beretta , Paola Bonizzoni , Riccardo Dondi , Yuri Pirola

The present work proves that P=NP. The proof, presented in this work, is a constructive one: the program of a polynomial time deterministic multi-tape Turing machine M_ExistsAcceptingPath, that determines if there exists an accepting…

Computational Complexity · Computer Science 2017-03-21 Sergey V. Yakhontov

We show that finding minimally intersecting $n$ paths from $s$ to $t$ in a directed graph or $n$ perfect matchings in a bipartite graph can be done in polynomial time. This holds more generally for unimodular set systems.

Optimization and Control · Mathematics 2015-10-05 Volker Kaibel , Shmuel Onn , Pauline Sarrabezolles

Given a directed graph $G = (V, E)$, the $k$-path partition problem is to find a minimum collection of vertex-disjoint directed paths each of order at most $k$ to cover all the vertices of $V$. The problem has various applications in…

Data Structures and Algorithms · Computer Science 2021-07-13 Yong Chen , Zhi-Zhong Chen , Curtis Kennedy , Guohui Lin , Yao Xu , An Zhang

For two positive integers $k$ and $\ell$, a $(k \times \ell)$-spindle is the union of $k$ pairwise internally vertex-disjoint directed paths with $\ell$ arcs between two vertices $u$ and $v$. We are interested in the (parameterized)…

Data Structures and Algorithms · Computer Science 2017-06-29 Júlio Araújo , Victor A. Campos , Ana Karolinna Maia , Ignasi Sau , Ana Silva

This note summarizes the state of what is known about the tractability of the problem ModPath, which asks if an input undirected graph contains a simple st-path whose length satisfies modulo constraints. We also consider the problem…

Data Structures and Algorithms · Computer Science 2024-09-04 Antoine Amarilli

Techniques of `dynamic renormalization', developed earlier for undirected percolation and the contact model, are adapted to the setting of directed percolation, thereby obtaining solutions of several problems for directed percolation on…

Probability · Mathematics 2007-05-23 Geoffrey Grimmett , Philipp Hiemer

Dynamic network flows, sometimes called flows over time, extend the notion of network flows to include a transit time for each edge. While Ford and Fulkerson showed that certain dynamic flow problems can be solved via a reduction to static…

Discrete Mathematics · Computer Science 2023-02-16 Thomas Bläsius , Adrian Feilhauer , Jannik Westenfelder

This is the final article in a series of four articles. Richard Karp has proven that a deterministic polynomial time solution to K-SAT will result in a deterministic polynomial time solution to all NP-Complete problems. However, it is…

Computational Complexity · Computer Science 2008-09-03 Jerrald Meek

A solution of the $k$ shortest paths problem may output paths that are identical up to a single edge. On the other hand, a solution of the $k$ independent shortest paths problem consists of paths that share neither an edge nor an…

Data Structures and Algorithms · Computer Science 2022-11-08 Yefim Dinitz , Shlomi Dolev , Manish Kumar , Baruch Schieber

Among the local consistency techniques used for solving constraint networks, path-consistency (PC) has received a great deal of attention. However, enforcing PC is computationally expensive and sometimes even unnecessary. Directional…

Artificial Intelligence · Computer Science 2018-04-24 Shufeng Kong , Sanjiang Li , Michael Sioutis

Motivated by problems of comparative genomics and paleogenomics, in [Chauve et al., 2009], the authors introduced the Gapped Consecutive-Ones Property Problem (k,delta)-C1P: given a binary matrix M and two integers k and delta, can the…

Computational Complexity · Computer Science 2009-12-05 Cedric Chauve , Jan Manuch , Murray Patterson

We demonstrate a polynomial approach to express the decision version of the directed Hamiltonian Cycle Problem (HCP), which is NP-Complete, as the Solvability of a Polynomial Equation with a constant number of variables, within a bounded…

Computational Complexity · Computer Science 2011-11-10 Deepak Chermakani

When can $t$ terminal pairs in an $m \times n$ grid be connected by $t$ vertex-disjoint paths that cover all vertices of the grid? We prove that this problem is NP-complete. Our hardness result can be compared to two previous NP-hardness…

We prove that every 2k-edge-connected graph with countably many edge-ends admits a k-arc-connected orientation, extending the previous result by Assem, Koloschin and Pitz that also assumed the hypothesis of the graph being locally finite.…

Combinatorics · Mathematics 2025-10-09 Leandro Aurichi , Paulo Magalhães Júnior , Guilherme Eduardo Pinto

We discuss the combinatorics of decorated Dyck paths and decorated parallelogram polyominoes, extending to the decorated case the main results of both [Haglund 2004] and [Aval et al. 2014]. This settles in particular the cases…

Combinatorics · Mathematics 2022-06-02 Michele D'Adderio , Alessandro Iraci , Anna Vanden Wyngaerd

The Path Contraction and Cycle Contraction problems take as input an undirected graph $G$ with $n$ vertices, $m$ edges and an integer $k$ and determine whether one can obtain a path or a cycle, respectively, by performing at most $k$ edge…

Data Structures and Algorithms · Computer Science 2024-03-12 R. Krithika , V. K. Kutty Malu , Prafullkumar Tale

Efficient communication between nodes in ad-hoc networks can be established through repeated cluster formations with designated \textit{cluster-heads}. In this context minimum d-hop dominating set problem was introduced for cluster…

Data Structures and Algorithms · Computer Science 2017-01-27 Joydeep Banerjee , Arun Das , Arunabha Sen

In this paper, we settle the open complexity status of interval constrained coloring with a fixed number of colors. We prove that the problem is already NP-complete if the number of different colors is 3. Previously, it has only been known…

Discrete Mathematics · Computer Science 2009-12-17 Jaroslaw Byrka , Andreas Karrenbauer , Laura Sanita
‹ Prev 1 8 9 10 Next ›