Abstract:Assuming the Unique Games Conjecture (UGC), the best approximation ratio that can be obtained in polynomial time for the MAX CUT problem is $\alpha_{\text{CUT}}\simeq 0.87856$, obtained by the celebrated SDP-based approximation algorithm of Goemans and Williamson. The currently best approximation algorithm for MAX DI-CUT, i.e., the MAX CUT problem in directed graphs, achieves a ratio of about $0.87401$, leaving open the question whether MAX DI-CUT can be approximated as well as MAX CUT. We obtain a slightly improved algorithm for MAX DI-CUT and a new UGC-hardness result for it, showing that $0.87446\le \alpha_{\text{DI-CUT}}\le 0.87461$, where $\alpha_{\text{DI-CUT}}$ is the best approximation ratio that can be obtained in polynomial time for MAX DI-CUT under UGC. The new upper bound separates MAX DI-CUT from MAX CUT, resolving a question raised by Feige and Goemans. A natural generalization of MAX DI-CUT is the MAX 2-AND problem in which each constraint is of the form $z_1\land z_2$, where $z_1$ and $z_2$ are literals, i.e., variables or their negations (In MAX DI-CUT each constraint is of the form $\bar{x}_1\land x_2$, where $x_1$ and $x_2$ are variables.) Austrin separated MAX 2-AND from MAX CUT by showing that $\alpha_{\text{2AND}} < 0.87435$ and conjectured that MAX 2-AND and MAX DI-CUT have the same approximation ratio. Our new lower bound on MAX DI-CUT refutes this conjecture, completing the separation of the three problems MAX 2-AND, MAX DI-CUT and MAX CUT. We also obtain a new lower bound for MAX 2-AND, showing that $0.87414\le \alpha_{\text{2AND}}\le 0.87435$. Our upper bound on MAX DI-CUT is achieved via a simple, analytical proof. The lower bounds on MAX DI-CUT and MAX 2-AND (the new approximation algorithms) use experimentally-discovered distributions of rounding functions which are then verified via computer-assisted proofs.

Improved Approximation Algorithms for MAX \(\frac{n}{{\text{2}}}\) -DIRECTED-BISECTION and MAX \(\frac{n}{{\text{2}}}\) -DENSE-SUBGRAPH

Improved Approximation Algorithms for MAX \frac{n}2 -DIRECTED-BISECTION and MAX \frac{n}2 -DENSE-SUBGRAPH

Improved Approximation Algorithms for MAX n/2 -DIRECTED-BISECTION and MAX n/2 -DENSE-SUBGRAPH

Improved Approximation Algorithms for MAX

An Improved Approximation Algorithm for the Max-$3$-Section Problem

An approximation algorithm for Maximum DiCut vs. Cut

Faster Approximation Algorithms for Restricted Shortest Paths in Directed Graphs

Purely Combinatorial Algorithms for Approximate Directed Minimum Degree Spanning Trees

Approximate Directed Minimum Degree Spanning Tree in Polynomial Time

An SDP Primal-Dual Approximation Algorithm for Directed Hypergraph Expansion and Sparsest Cut with Product Demands

Minimum Cuts in Directed Graphs via $\sqrt{n}$ Max-Flows

Fast Algorithms for Directed Graph Partitioning Using Flows and Reweighted Eigenvalues

Separating MAX 2-AND, MAX DI-CUT and MAX CUT

Approximation algorithms for maximum weighted internal spanning trees in regular graphs and subdivisions of graphs

An Improved Approximation Algorithm for Metric Triangle Packing

A $4/3$-Approximation Algorithm for the Minimum $2$-Edge Connected Multisubgraph Problem in the Half-Integral Case

Approximation and FPT Algorithms for Finding DM-Irreducible Spanning Subgraphs

Approximating Bounded Degree Maximum Spanning Subgraphs

Fast Approximations for Rooted Connectivity in Weighted Directed Graphs

Maximizing the Number of Spanning Trees in a Connected Graph

An Improved Approximation Algorithm for Quantum Max-Cut