English
Related papers

Related papers: On the complexity of strongly connected components…

200 papers

A fundamental algorithmic problem at the heart of static analysis is Dyck reachability. The input is a graph where the edges are labeled with different types of opening and closing parentheses, and the reachability information is computed…

Programming Languages · Computer Science 2019-10-02 Krishnendu Chatterjee , Bhavya Choudhary , Andreas Pavlogiannis

We introduce the notion of balance for directed graphs: a weighted directed graph is $\alpha$-balanced if for every cut $S \subseteq V$, the total weight of edges going from $S$ to $V\setminus S$ is within factor $\alpha$ of the total…

Data Structures and Algorithms · Computer Science 2016-03-31 Alina Ene , Gary Miller , Jakub Pachocki , Aaron Sidford

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

A model of computation that is widely used in the formal analysis of reactive systems is symbolic algorithms. In this model the access to the input graph is restricted to consist of symbolic operations, which are expensive in comparison to…

Data Structures and Algorithms · Computer Science 2017-11-28 Krishnendu Chatterjee , Wolfgang Dvořák , Monika Henzinger , Veronika Loitzenbauer

The 1-median problem (1MP) on undirected weighted graphs seeks to find a facility location minimizing the total weighted distance to all customer nodes. Although the 1MP can be solved exactly by computing the single-source shortest paths…

Data Structures and Algorithms · Computer Science 2025-09-04 Keisuke Ueta , Wei Wu , Mutsunori Yagiura

Vertex connectivity and its variants are among the most fundamental problems in graph theory, with decades of extensive study and numerous algorithmic advances. The directed variants of vertex connectivity are usually solved by manually…

Data Structures and Algorithms · Computer Science 2025-10-24 Olivier Fischer , Yonggang Jiang , Sagnik Mukhopadhyay , Sorrachai Yingchareonthawornchai

Controlling real-world networked systems, including ecological, biomedical, and engineered networks that exhibit higher-order interactions, remains challenging due to inherent nonlinearities and large system scales. Despite extensive…

Optimization and Control · Mathematics 2026-03-23 Joshua Pickard , Xin Mao , Can Chen

Given a data matrix $\mathbf{A} \in \mathbb{R}^{n \times d}$, principal component projection (PCP) and principal component regression (PCR), i.e. projection and regression restricted to the top-eigenspace of $\mathbf{A}$, are fundamental…

Data Structures and Algorithms · Computer Science 2019-10-16 Yujia Jin , Aaron Sidford

A cycle cover of a graph is a set of cycles such that every vertex is part of exactly one cycle. An L-cycle cover is a cycle cover in which the length of every cycle is in the set L. The weight of a cycle cover of an edge-weighted graph is…

Data Structures and Algorithms · Computer Science 2007-05-23 Bodo Manthey

The paper revisits the robust $s$-$t$ path problem, one of the most fundamental problems in robust optimization. In the problem, we are given a directed graph with $n$ vertices and $k$ distinct cost functions (scenarios) defined over edges,…

Data Structures and Algorithms · Computer Science 2024-06-25 Shi Li , Chenyang Xu , Ruilong Zhang

We consider hypergraph network design problems where the goal is to construct a hypergraph that satisfies certain connectivity requirements. For graph network design problems where the goal is to construct a graph that satisfies certain…

Data Structures and Algorithms · Computer Science 2024-02-19 Kristóf Bérczi , Karthekeyan Chandrasekaran , Tamás Király , Shubhang Kulkarni

In this paper, we present new incremental algorithms for maintaining data structures that represent all connectivity cuts of size one in directed graphs (digraphs), and the strongly connected components that result by the removal of each of…

Data Structures and Algorithms · Computer Science 2018-03-01 Loukas Georgiadis , Giuseppe F. Italiano , Nikos Parotsidis

One of the most fundamental problems in computer science is the reachability problem: Given a directed graph and two vertices s and t, can s reach t via a path? We revisit existing techniques and combine them with new approaches to support…

Data Structures and Algorithms · Computer Science 2021-02-02 Kathrin Hanauer , Christian Schulz , Jonathan Trummer

The Graph Pricing problem is among the fundamental problems whose approximability is not well-understood. While there is a simple combinatorial 1/4-approximation algorithm, the best hardness result remains at 1/2 assuming the Unique Games…

Data Structures and Algorithms · Computer Science 2014-11-06 Euiwoong Lee

Learning properties of large graphs from samples has been an important problem in statistical network analysis since the early work of Goodman \cite{Goodman1949} and Frank \cite{Frank1978}. We revisit a problem formulated by Frank…

Statistics Theory · Mathematics 2019-06-18 Jason M. Klusowski , Yihong Wu

One of the most important recent developments in the complexity of approximate counting is the classification of the complexity of approximating the partition functions of antiferromagnetic 2-spin systems on bounded-degree graphs. This…

Computational Complexity · Computer Science 2016-06-21 Andreas Galanis , Leslie Ann Goldberg

Given an $n$-vertex non-negatively real-weighted graph $G$, whose vertices are partitioned into a set of $k$ clusters, a \emph{clustered network design problem} on $G$ consists of solving a given network design optimization problem on $G$,…

Data Structures and Algorithms · Computer Science 2018-02-01 Mattia D'Emidio , Luca Forlizzi , Daniele Frigioni , Stefano Leucci , Guido Proietti

Finding the k-medianin a network involves identifying a subset of k vertices that minimize the total distance to all other vertices in a graph. This problem has been extensively studied in computer science, graph theory, operations…

Data Structures and Algorithms · Computer Science 2023-12-14 Roldan Pozo

Finding strongly connected components (SCCs) and the diameter of a directed network play a key role in a variety of discrete optimization problems, and subsequently, machine learning and control theory problems. On the one hand, SCCs are…

Optimization and Control · Mathematics 2021-06-25 Emily A. Reed , Guilherme Ramos , Paul Bogdan , Sérgio Pequito

We consider the fundamental problems of determining the rooted and global edge and vertex connectivities (and computing the corresponding cuts) in directed graphs. For rooted (and hence also global) edge connectivity with small integer…

Data Structures and Algorithms · Computer Science 2021-04-16 Chandra Chekuri , Kent Quanrud