English
Related papers

Related papers: A simple lower bound for ARRIVAL

200 papers

We study the Partial Degree Bounded Edge Packing (PDBEP) problem introduced in [5] by Zhang. They have shown that this problem is NP-Hard even for uniform degree constraint. They also presented approximation algorithms for the case when all…

Data Structures and Algorithms · Computer Science 2012-12-18 Pawan Aurora , Sumit Singh , Shashank K. Mehta

We introduce a class of budgeted prize-collecting covering subgraph problems. For an input graph with prizes on the vertices and costs on the edges, the aim of these problems is to find a connected subgraph such that the cost of its edges…

Optimization and Control · Mathematics 2021-08-05 Nicola Morandi , Roel Leus , Hande Yaman

A fundamental component of neural network verification is the computation of bounds on the values their outputs can take. Previous methods have either used off-the-shelf solvers, discarding the problem structure, or relaxed the problem even…

We study the classical Node-Disjoint Paths (NDP) problem: given an $n$-vertex graph $G$ and a collection $M=\{(s_1,t_1),\ldots,(s_k,t_k)\}$ of pairs of vertices of $G$ called demand pairs, find a maximum-cardinality set of node-disjoint…

Data Structures and Algorithms · Computer Science 2016-03-18 Julia Chuzhoy , David H. K. Kim , Shi Li

Interdiction problems are leader-follower games in which the leader is allowed to delete a certain number of edges from the graph in order to maximally impede the follower, who is trying to solve an optimization problem on the impeded…

Data Structures and Algorithms · Computer Science 2013-10-02 Feng Pan , Aaron Schild

A temporal graph is a graph for which the edge set can change from one time step to the next. This paper considers undirected temporal graphs defined over L time steps and connected at each time step. We study the Shortest Temporal…

Optimization and Control · Mathematics 2025-04-10 Stefan Balev , Éric Sanlaville , Antoine Toullalan

We consider the cops and robber game variant consisting of one cop and one robber on time-varying graphs (TVG). The considered TVGs are edge periodic graphs, i.e., for each edge, a binary string $s_e$ determines in which time step the edge…

Computational Complexity · Computer Science 2021-07-13 Nils Morawietz , Petra Wolf

This work introduces a moving anchor acceleration technique to extragradient algorithms for smooth structured minimax problems. The moving anchor is introduced as a generalization of the original algorithmic anchoring framework, i.e. the…

Optimization and Control · Mathematics 2025-06-03 James K. Alcala , Yat Tin Chow , Mahesh Sunkula

A transport equation with a non-smooth velocity field is considered under inhomogeneous Dirichlet boundary conditions. The spatial gradient of the velocity field is assumed in $L^{p'}$ in space and the divergence of the velocity field is…

Analysis of PDEs · Mathematics 2025-01-23 Tokuhiro Eto , Yoshikazu Giga

Computing shortest paths is one of the most researched topics in algorithm engineering. Currently available algorithms compute shortest paths in mere fractions of a second on continental sized road networks. In the presence of…

Data Structures and Algorithms · Computer Science 2014-08-01 Moritz Kobitzsch , Samitha Samaranayake , Dennis Schieferdecker

We show that an improvement to the best known quantum lower bound for GRAPH-COLLISION problem implies an improvement to the best known lower bound for TRIANGLE problem in the quantum query complexity model. In GRAPH-COLLISION we are given…

Quantum Physics · Physics 2015-07-15 Kaspars Balodis , Jānis Iraids

Exact pattern matching in labeled graphs is the problem of searching paths of a graph $G=(V,E)$ that spell the same string as the given pattern $P[1..m]$. This basic problem can be found at the heart of more complex operations on variation…

Computational Complexity · Computer Science 2019-02-12 Massimo Equi , Roberto Grossi , Alexandru I. Tomescu , Veli Mäkinen

A periodic temporal graph, in its simplest form, is a graph in which every edge appears exactly once in the first $\Delta$ time steps, and then it reappears recurrently every $\Delta$ time steps, where $\Delta$ is a given period length.…

Data Structures and Algorithms · Computer Science 2025-04-22 George B. Mertzios , Hendrik Molter , Nils Morawietz , Paul G. Spirakis

The virtualization and softwarization of modern computer networks enables the definition and fast deployment of novel network services called service chains: sequences of virtualized network functions (e.g., firewalls, caches, traffic…

Networking and Internet Architecture · Computer Science 2015-06-16 Tamas Lukovszki , Stefan Schmid

Moving an autonomous agent through an unknown environment is one of the crucial problems for robotics and network analysis. Therefore, it received a lot of attention in the last decades and was analyzed in many different settings. The graph…

Computational Complexity · Computer Science 2018-04-23 Hans-Joachim Böckenhauer , Janosch Fuchs , Walter Unger

Drawing graphs with the minimum number of crossings is a classical problem that has been studied extensively. Many restricted versions of the problem have been considered. For example, bipartite graphs can be drawn such that the two sets in…

In [1] the problem of finding a sharp lower bound on lower against number of a general graph is mentioned as an open question. We solve the problem by establishing a tight lower bound on lower against number of a general graph in terms of…

Combinatorics · Mathematics 2019-08-27 Babak Samadi

In the restricted shortest paths problem, we are given a graph $G$ whose edges are assigned two non-negative weights: lengths and delays, a source $s$, and a delay threshold $D$. The goal is to find, for each target $t$, the length of the…

Data Structures and Algorithms · Computer Science 2024-10-23 Vikrant Ashvinkumar , Aaron Bernstein , Adam Karczmarz

Packet networks need to maintain state in the form of forwarding tables at each switch. The cost of this state increases as networks support ever more sophisticated per-flow routing, traffic engineering, and service chaining. Per-flow or…

Networking and Internet Architecture · Computer Science 2017-06-23 Adiseshu Hari , Urs Niesen , Gordon Wilfong

Graph Crossing Number is a fundamental problem with various applications. In this problem, the goal is to draw an input graph $G$ in the plane so as to minimize the number of crossings between the images of its edges. Despite extensive…

Data Structures and Algorithms · Computer Science 2021-01-12 Julia Chuzhoy , Sepideh Mahabadi , Zihan Tan