English
Related papers

Related papers: Faster Pseudo-Deterministic Minimum Cut

200 papers

Consider the following 2-respecting min-cut problem. Given a weighted graph $G$ and its spanning tree $T$, find the minimum cut among the cuts that contain at most two edges in $T$. This problem is an important subroutine in Karger's…

Data Structures and Algorithms · Computer Science 2021-02-19 Sagnik Mukhopadhyay , Danupon Nanongkai

We give a randomized algorithm that finds a minimum cut in an undirected weighted $m$-edge $n$-vertex graph $G$ with high probability in $O(m \log^2 n)$ time. This is the first improvement to Karger's celebrated $O(m \log^3 n)$ time…

Data Structures and Algorithms · Computer Science 2020-08-04 Paweł Gawrychowski , Shay Mozes , Oren Weimann

An $s{\operatorname{-}}t$ minimum cut in a graph corresponds to a minimum weight subset of edges whose removal disconnects vertices $s$ and $t$. Finding such a cut is a classic problem that is dual to that of finding a maximum flow from $s$…

Quantum Physics · Physics 2024-02-06 Simon Apers , Arinta Auza , Troy Lee

We give the first deterministic algorithm that makes sub-quadratic queries to find the global min-cut of a simple graph in the cut query model. Given an $n$-vertex graph $G$, our algorithm makes $\widetilde{O}(n^{5/3})$ queries to compute…

Data Structures and Algorithms · Computer Science 2024-10-25 Aditya Anand , Thatchaphol Saranurak , Yunfan Wang

We develop new $(1+\epsilon)$-approximation algorithms for finding the global minimum edge-cut in a directed edge-weighted graph, and for finding the global minimum vertex-cut in a directed vertex-weighted graph. Our algorithms are…

Data Structures and Algorithms · Computer Science 2025-12-17 Ron Mosenzon

We obtain the first near-linear time deterministic algorithm for negative-weight single-source shortest paths on integer-weighted graphs. Our main ingredient is a deterministic construction of a padded decomposition on directed graphs,…

Data Structures and Algorithms · Computer Science 2026-04-09 Jason Li

In [20] Goldwasser, Grossman and Holden introduced pseudo-deterministic interactive proofs for search problems where a powerful prover can convince a probabilistic polynomial time verifier that a solution to a search problem is canonical.…

Computational Complexity · Computer Science 2020-04-28 Michel Goemans , Shafi Goldwasser , Dhiraj Holden

We present a practically efficient algorithm for maintaining a global minimum cut in large dynamic graphs under both edge insertions and deletions. While there has been theoretical work on this problem, our algorithm is the first…

Data Structures and Algorithms · Computer Science 2021-01-14 Monika Henzinger , Alexander Noe , Christian Schulz

We significantly improve known time bounds for solving the minimum cut problem on undirected graphs. We use a ``semi-duality'' between minimum cuts and maximum spanning tree packings combined with our previously developed random sampling…

Data Structures and Algorithms · Computer Science 2007-05-23 David R. Karger

Let $G$ be an edge-weighted directed graph with $n$ vertices embedded on an orientable surface of genus $g$. We describe a simple deterministic lexicographic perturbation scheme that guarantees uniqueness of minimum-cost flows and shortest…

Data Structures and Algorithms · Computer Science 2018-04-04 Jeff Erickson , Kyle Fox , Luvsandondov Lkhamsuren

A maximal matching can be maintained in fully dynamic (supporting both addition and deletion of edges) $n$-vertex graphs using a trivial deterministic algorithm with a worst-case update time of O(n). No deterministic algorithm that…

Data Structures and Algorithms · Computer Science 2013-02-19 Ofer Neiman , Shay Solomon

We present a deterministic (global) mincut algorithm for weighted, undirected graphs that runs in $m^{1+o(1)}$ time, answering an open question of Karger from the 1990s. To obtain our result, we de-randomize the construction of the…

Data Structures and Algorithms · Computer Science 2026-05-07 Jason Li

We study the problem of computing a minimum $s$--$t$ cut in an unweighted, undirected graph via \emph{cut queries}. In this model, the input graph is accessed through an oracle that, given a subset of vertices $S \subseteq V$, returns the…

Data Structures and Algorithms · Computer Science 2025-10-22 Yonggang Jiang , Danupon Nanongkai , Pachara Sawettamalya

In the vertex connectivity problem, given an undirected $n$-vertex $m$-edge graph $G$, we need to compute the minimum number of vertices that can disconnect $G$ after removing them. This problem is one of the most well-studied graph…

Data Structures and Algorithms · Computer Science 2022-10-26 Thatchaphol Saranurak , Sorrachai Yingchareonthawornchai

The minimum cut problem for an undirected edge-weighted graph asks us to divide its set of nodes into two blocks while minimizing the weight sum of the cut edges. In this paper, we engineer the fastest known exact algorithm for the problem.…

Data Structures and Algorithms · Computer Science 2018-08-17 Monika Henzinger , Alexander Noe , Christian Schulz

In the decremental single-source shortest paths (SSSP) problem, the input is an undirected graph $G=(V,E)$ with $n$ vertices and $m$ edges undergoing edge deletions, together with a fixed source vertex $s\in V$. The goal is to maintain a…

Data Structures and Algorithms · Computer Science 2020-09-21 Julia Chuzhoy , Thatchaphol Saranurak

In this paper we consider the decremental single-source shortest paths (SSSP) problem, where given a graph $G$ and a source node $s$ the goal is to maintain shortest distances between $s$ and all other nodes in $G$ under a sequence of…

Data Structures and Algorithms · Computer Science 2017-05-30 Aaron Bernstein

Dynamically maintaining the minimum cut in a graph $G$ under edge insertions and deletions is a fundamental problem in dynamic graph algorithms for which no conditional lower bound on the time per operation exists. In an $n$-node graph the…

Data Structures and Algorithms · Computer Science 2025-01-07 Antoine El-Hayek , Monika Henzinger , Jason Li

We study the problem of computing approximate minimum edge cuts by distributed algorithms. We use a standard synchronous message passing model where in each round, $O(\log n)$ bits can be transmitted over each edge (a.k.a. the CONGEST…

Data Structures and Algorithms · Computer Science 2013-11-21 Mohsen Ghaffari , Fabian Kuhn

We present a very simple and intuitive algorithm to find balanced sparse cuts in a graph via shortest-paths. Our algorithm combines a new multiplicative-weights framework for solving unit-weight multi-commodity flows with standard ball…

Data Structures and Algorithms · Computer Science 2022-09-20 Li Chen , Rasmus Kyng , Maximilian Probst Gutenberg , Sushant Sachdeva