English
Related papers

Related papers: A simple lower bound for ARRIVAL

200 papers

The reachability problem in vector addition systems is a central question, not only for the static verification of these systems, but also for many inter-reducible decision problems occurring in various fields. The currently best known…

Logic in Computer Science · Computer Science 2019-08-20 Jérôme Leroux , Sylvain Schmitz

We study the stable matching problem in non-bipartite graphs with incomplete but strict preference lists, where the edges have weights and the goal is to compute a stable matching of minimum or maximum weight. This problem is known to be…

Computer Science and Game Theory · Computer Science 2017-03-28 Linda Farczadi , Natália Guričanová

The fully dynamic transitive closure problem asks to maintain reachability information in a directed graph between arbitrary pairs of vertices, while the graph undergoes a sequence of edge insertions and deletions. The problem has been…

Data Structures and Algorithms · Computer Science 2020-02-04 Kathrin Hanauer , Monika Henzinger , Christian Schulz

We study a graph coloring problem that is otherwise easy but becomes quite non-trivial in the one-pass streaming model. In contrast to previous graph coloring problems in streaming that try to find an assignment of colors to vertices, our…

Data Structures and Algorithms · Computer Science 2020-10-27 Anup Bhattacharya , Arijit Bishnu , Gopinath Mishra , Anannya Upasana

The problem of finding an optimal vertex cover in a graph is a classic NP-complete problem, and is a special case of the hitting set question. On the other hand, the hitting set problem, when asked in the context of induced geometric…

Data Structures and Algorithms · Computer Science 2014-04-24 Akanksha Agrawal , Sathish Govindarajan , Neeldhara Misra

In this paper, we study the complexity of the chip-firing reachability problem. We show that for Eulerian digraphs, the reachability problem can be decided in strongly polynomial time, even if the digraph has multiple edges. We also show a…

Combinatorics · Mathematics 2017-05-23 Bálint Hujter , Viktor Kiss , Lilla Tóthmérész

A long standing open problem in extremal graph theory is to describe all graphs that maximize the number of induced copies of a path on four vertices. The character of the problem changes in the setting of oriented graphs, and becomes more…

Combinatorics · Mathematics 2020-06-12 Ilkyoo Choi , Bernard Lidický , Florian Pfender

We consider a variant of the game of Cops and Robbers, called Containment, in which cops move from edge to adjacent edge, the robber moves from vertex to adjacent vertex (but cannot move along an edge occupied by a cop). The cops win by…

Combinatorics · Mathematics 2015-05-08 Pawel Pralat

In this paper, we show that it is NP-hard to determine whether a given graph admits a min-1-planar drawing. A drawing of a graph is min-$k$-planar if, for every crossing in the drawing, at least one of the two crossing edges involves at…

Computational Geometry · Computer Science 2026-05-25 Yuto Okada

The problem of orienting the edges of an undirected graph such that the resulting digraph is acyclic and has a single source s and a single sink t has a long tradition in graph theory and is central to many graph drawing algorithms. Such an…

Data Structures and Algorithms · Computer Science 2022-08-25 Carla Binucci , Walter Didimo , Maurizio Patrignani

Distance labeling is a preprocessing technique introduced by Peleg [Journal of Graph Theory, 33(3)] to speed up distance queries in large networks. Herein, each vertex receives a (short) label and, the distance between two vertices can be…

Computational Complexity · Computer Science 2014-08-01 Mathias Weller

We study the Minimum Crossing Number problem: given an $n$-vertex graph $G$, the goal is to find a drawing of $G$ in the plane with minimum number of edge crossings. This is one of the central problems in topological graph theory, that has…

Data Structures and Algorithms · Computer Science 2010-12-02 Julia Chuzhoy

We consider a bilevel attacker-defender problem to find the worst-case attack on the relays that control the transmission grid. The attacker maximizes load shed by infiltrating a number of relays and rendering the components connected to…

Optimization and Control · Mathematics 2021-08-24 Emma S. Johnson , Santanu S. Dey

The problem of finding the maximum-weight, planar subgraph of a finite, simple graph with nonnegative real edge weights is well known in industrial and electrical engineering, systems biology, sociology and finance. As the problem is known…

Discrete Mathematics · Computer Science 2017-12-18 Diane Castonguay , Elisângela Silva Dias , Leslie Richard Foulds

(see paper for full abstract) We show that the Edge-Disjoint Paths problem is W[1]-hard parameterized by the number $k$ of terminal pairs, even when the input graph is a planar directed acyclic graph (DAG). This answers a question of…

Data Structures and Algorithms · Computer Science 2021-01-27 Rajesh Chitnis

In this paper we show that the problem of identifying an edge $(i,j)$ in a graph $G$ such that there exists an optimal vertex cover $S$ of $G$ containing exactly one of the nodes $i$ and $j$ is NP-hard. Such an edge is called a weak edge.…

Data Structures and Algorithms · Computer Science 2007-12-21 Qiaoming Han , Abraham P. Punnen

Art Gallery Localization (AGL) is the problem of placing a set $T$ of broadcast towers in a simple polygon $P$ in order for a point to locate itself in the interior. For any point $p \in P$: for each tower $t \in T \cap V(p)$ (where $V(p)$…

Computational Geometry · Computer Science 2018-11-30 Prosenjit Bose , Jean-Lou De Carufel , Alina Shaikhet , Michiel Smid

In this paper, we investigate a special case of the static aircraft landing problem (ALP) with the objective to optimize landing sequences and landing times for a set of air planes. The problem is to land the planes on one or multiple…

Data Structures and Algorithms · Computer Science 2016-11-18 Abhishek Awasthi , Oliver Kramer , Jörg Lässig

Erd\H{o}s and Hajnal proposed a problem that: is it true that every $(2n+1)$-vertex graph with $n^2+n+1$ edges contains two vertices of equal degree connected by a path of length three? The edge bound is sharp by the complete bipartite…

Combinatorics · Mathematics 2026-05-06 Xiamiao Zhao , Yichen Wang , Mei Lu

Devising an optimal strategy for navigation in a partially observable environment is one of the key objectives in AI. One of the problem in this context is the Canadian Traveler Problem (CTP). CTP is a navigation problem where an agent is…

Artificial Intelligence · Computer Science 2017-02-24 Doron Zarchy
‹ Prev 1 4 5 6 7 8 10 Next ›