English
Related papers

Related papers: Counting Euler Tours in Undirected Bounded Treewid…

200 papers

We study the problem of sampling a uniformly random directed rooted spanning tree, also known as an arborescence, from a possibly weighted directed graph. Classically, this problem has long been known to be polynomial-time solvable; the…

Data Structures and Algorithms · Computer Science 2020-12-18 Nima Anari , Nathan Hu , Amin Saberi , Aaron Schild

In the present paper, we study algorithmic questions for the arc-intersection graph of directed paths on a tree. Such graphs are known to be perfect (proved by Monma and Wei in 1986). We present faster algorithms than all previously known…

Discrete Mathematics · Computer Science 2009-02-10 Olivier Durand de Gévigney , Frédéric Meunier , Christian Popa , Julien Reygner , Ayrin Romero

Given a set of well-formed terminal pairs on the external face of an undirected planar graph with unit edge weights, we give a linear-time algorithm for computing the union of non-crossing shortest paths joining each terminal pair, where…

Data Structures and Algorithms · Computer Science 2023-05-05 Lorenzo Balzotti , Paolo G. Franciosa

Fixed parameter tractable algorithms for bounded treewidth are known to exist for a wide class of graph optimization problems. While most research in this area has been focused on exact algorithms, it is hard to find decompositions of…

Data Structures and Algorithms · Computer Science 2016-10-05 Thomas Bosman

It is not currently known if quantum Turing machines can efficiently simulate probabilistic computations in the space-bounded case. In this paper we show that space-bounded quantum Turing machines can efficiently simulate a limited class of…

Computational Complexity · Computer Science 2007-05-23 John Watrous

In this paper we revisit the classical Edge Disjoint Paths (EDP) problem, where one is given an undirected graph G and a set of terminal pairs P and asks whether G contains a set of pairwise edge-disjoint paths connecting every terminal…

Data Structures and Algorithms · Computer Science 2017-11-07 Robert Ganian , Sebastian Ordyniak , M. S. Ramanujan

Given a simple graph $G$, its line graph, denoted by $L(G)$, is obtained by representing each edge of $G$ as a vertex, with two vertices in $L(G)$ adjacent whenever the corresponding edges in $G$ share a common endpoint. By applying the…

Combinatorics · Mathematics 2026-02-11 Aryan Sanghi , Anubhav Dhar , Sudeshna Kolay

Many recent works address the question of characterizing induced obstructions to bounded treewidth. In 2022, Lozin and Razgon completely answered this question for graph classes defined by finitely many forbidden induced subgraphs. Their…

\textsc{Directed Token Sliding} asks, given a directed graph and two sets of pairwise nonadjacent vertices, whether one can reach from one set to the other by repeatedly applying a local operation that exchanges a vertex in the current set…

Data Structures and Algorithms · Computer Science 2022-03-28 Takehiro Ito , Yuni Iwamasa , Yasuaki Kobayashi , Yu Nakahata , Yota Otachi , Masahiro Takahashi , Kunihiro Wasa

Counting linear extensions is a fundamental problem in poset theory. It is known to be #P-complete, with polynomial-time formulas available in special cases. In this work, we develop new recursive formulas for counting linear extensions of…

Combinatorics · Mathematics 2026-01-22 Daniela Egas Santander , Matteo Santoro , Jason P. Smith

Acyclic and cyclic orientations of an undirected graph have been widely studied for their importance: an orientation is acyclic if it assigns a direction to each edge so as to obtain a directed acyclic graph (DAG) with the same vertex set;…

Data Structures and Algorithms · Computer Science 2015-06-22 Alessio Conte , Roberto Grossi , Andrea Marino , Romeo Rizzi

Problems of the following kind have been the focus of much recent research in the realm of parameterized complexity: Given an input graph (digraph) on $n$ vertices and a positive integer parameter $k$, find if there exist $k$ edges (arcs)…

Data Structures and Algorithms · Computer Science 2014-09-18 Prachi Goyal , Pranabendu Misra , Fahad Panolan , Geevarghese Philip , Saket Saurabh

For a tree decomposition $\mathcal{T}$ of a graph $G$, let $\mu(\mathcal{T})$ denote the maximum size of an induced matching in $G$ with the property that some bag of $\mathcal{T}$ contains at least one endpoint of every edge of the…

We discuss the complexity of path enumeration and counting in weighted temporal graphs. In a weighted temporal graph, each edge has an availability time, a traversal time and some real cost. We introduce two bicriteria temporal min-cost…

Computational Complexity · Computer Science 2020-07-10 Petra Mutzel , Lutz Oettershagen

Many hard graph problems can be solved efficiently when restricted to graphs of bounded treewidth, and more generally to graphs of bounded clique-width. But there is a price to be paid for this generality, exemplified by the four problems…

Data Structures and Algorithms · Computer Science 2014-05-01 Sigve Hortemo Sæther , Jan Arne Telle

We are interested in computing the treewidth $\tw(G)$ of a given graph $G$. Our approach is to design heuristic algorithms for computing a sequence of improving upper bounds and a sequence of improving lower bounds, which would hopefully…

Data Structures and Algorithms · Computer Science 2022-02-17 Hisao Tamaki

We provide a finite equational presentation of graphs of treewidth at most three, solving an instanceof an open problem by Courcelle and Engelfriet. We use a syntax generalising series-parallel expressions, denoting graphs with a small…

Logic in Computer Science · Computer Science 2025-01-23 Amina Doumane , Samuel Humeau , Damien Pous

An Euler tour in a hypergraph is a closed walk that traverses each edge of the hypergraph exactly once, while an Euler family, first defined by Bahmanian and Sajna, is a family of closed walks that jointly traverse each edge exactly once…

Combinatorics · Mathematics 2017-08-29 Mateja Šajna , Yan D. Steimle

Computing a shortest path between two nodes in an undirected unweighted graph is among the most basic algorithmic tasks. Breadth first search solves this problem in linear time, which is clearly also a lower bound in the worst case.…

Data Structures and Algorithms · Computer Science 2023-08-01 Noga Alon , Allan Grønlund , Søren Fuglede Jørgensen , Kasper Green Larsen

We introduce and study the Separation Problem for infinite graphs, which involves determining whether a connected graph splits into at least two infinite connected components after the removal of a given finite set of edges. We prove that…

Logic · Mathematics 2026-02-11 Nicanor Carrasco-Vargas , Valentino Delle Rose , Cristóbal Rojas
‹ Prev 1 3 4 5 6 7 10 Next ›