Table of Contents
Fetching ...

On Approximation of Robust Max-Cut and Related Problems using Randomized Rounding Algorithms

Haoyan Shi, Sanjay Mehrotra

TL;DR

This paper extends the Goemans–Williamson SDP-relaxation and randomized rounding framework for Max-Cut to robust and distributionally robust variants, proving that the classic $0.878$-approximation bound transfers to these uncertain settings. It defines robust and distributionally robust counterparts Val(RP-R) and Val(DRP-R) with corresponding SDP formulations Val(RP-SD) and Val(DRP-SD), and provides analysis showing the rounding still achieves the same performance guarantee via the standard arccos-based rounding analysis. The results further generalize to related problems such as Max-DiCut and Max k-CSP, and the authors explore tractability under polyhedral, ellipsoidal, and Wasserstein uncertainty, offering practical SDP and SIP reformulations. Overall, the work demonstrates that robust and distributionally robust max-cut problems can be solved with the same high-quality guarantees as the nominal problem, broadening applicability to uncertainty-rich optimization tasks.

Abstract

Goemans and Williamson proposed a randomized rounding algorithm for the MAX-CUT problem with a 0.878 approximation bound in expectation. The 0.878 approximation bound remains the best-known approximation bound for this APX-hard problem. Their approach was subsequently applied to other related problems such as Max-DiCut, MAX-SAT, and Max-2SAT, etc. We show that the randomized rounding algorithm can also be used to achieve a 0.878 approximation bound for the robust and distributionally robust counterparts of the max-cut problem. We also show that the approximation bounds for the other problems are maintained for their robust and distributionally robust counterparts if the randomization projection framework is used.

On Approximation of Robust Max-Cut and Related Problems using Randomized Rounding Algorithms

TL;DR

This paper extends the Goemans–Williamson SDP-relaxation and randomized rounding framework for Max-Cut to robust and distributionally robust variants, proving that the classic -approximation bound transfers to these uncertain settings. It defines robust and distributionally robust counterparts Val(RP-R) and Val(DRP-R) with corresponding SDP formulations Val(RP-SD) and Val(DRP-SD), and provides analysis showing the rounding still achieves the same performance guarantee via the standard arccos-based rounding analysis. The results further generalize to related problems such as Max-DiCut and Max k-CSP, and the authors explore tractability under polyhedral, ellipsoidal, and Wasserstein uncertainty, offering practical SDP and SIP reformulations. Overall, the work demonstrates that robust and distributionally robust max-cut problems can be solved with the same high-quality guarantees as the nominal problem, broadening applicability to uncertainty-rich optimization tasks.

Abstract

Goemans and Williamson proposed a randomized rounding algorithm for the MAX-CUT problem with a 0.878 approximation bound in expectation. The 0.878 approximation bound remains the best-known approximation bound for this APX-hard problem. Their approach was subsequently applied to other related problems such as Max-DiCut, MAX-SAT, and Max-2SAT, etc. We show that the randomized rounding algorithm can also be used to achieve a 0.878 approximation bound for the robust and distributionally robust counterparts of the max-cut problem. We also show that the approximation bounds for the other problems are maintained for their robust and distributionally robust counterparts if the randomization projection framework is used.
Paper Structure (22 sections, 13 theorems, 32 equations, 4 algorithms)

This paper contains 22 sections, 13 theorems, 32 equations, 4 algorithms.

Key Result

Proposition 1

The model v-robust-max-cut is an outer relaxation of robust-max-cut, and v-robust-max-cut is equivalent to SDP-MAXCUT. Also, Val(RP-R) = Val(RP-SD) $\geq$ Val(RP).

Theorems & Definitions (15)

  • Proposition 1
  • Proposition 2
  • Lemma 1
  • Lemma 2
  • Theorem 1
  • Theorem 2
  • Lemma 3
  • Lemma 4
  • Definition 1
  • Definition 2
  • ...and 5 more