English
Related papers

Related papers: Max-Cut and Max-Bisection are NP-hard on unit disk…

200 papers

Unit disk graphs are the intersection graphs of unit radius disks in the Euclidean plane. Deciding whether there exists an embedding of a given unit disk graph, i.e. unit disk graph recognition, is an important geometric problem, and has…

Computational Geometry · Computer Science 2020-03-24 Onur Çağırıcı

The NP-hard Maximum Planar Subgraph problem asks for a planar subgraph $H$ of a given graph $G$ such that $H$ has maximum edge cardinality. For more than two decades, the only known non-trivial exact algorithm was based on integer linear…

Data Structures and Algorithms · Computer Science 2018-06-22 Markus Chimani , Tilo Wiedera

We unconditionally prove that it is NP-hard to compute a constant multiplicative approximation to the QUANTUM MAX-CUT problem on an unweighted graph of constant bounded degree. The proof works in two stages: first we demonstrate a generic…

Quantum Physics · Physics 2025-10-10 Stephen Piddock

Although it has been claimed in two different papers that the maximum cardinality cut problem is polynomial-time solvable for proper interval graphs, both of them turned out to be erroneous. In this paper, we give FPT algorithms for the…

Data Structures and Algorithms · Computer Science 2020-06-09 Arman Boyacı , Tınaz Ekim , Mordechai Shalom

We show that the linear or quadratic 0/1 program\[P:\quad\min\{ c^Tx+x^TFx : \:A\,x =b;\:x\in\{0,1\}^n\},\]can be formulated as a MAX-CUT problem whose associated graph is simply related to the matrices $\F$ and $\A^T\A$.Hence the whole…

Optimization and Control · Mathematics 2015-12-23 Jean-Bernard Lasserre

In a graph $G=(V,E)$, a bisection $(X,Y)$ is a partition of $V$ into sets $X$ and $Y$ such that $|X|\le |Y|\le |X|+1$. The size of $(X,Y)$ is the number of edges between $X$ and $Y$. In the Max Bisection problem we are given a graph…

Data Structures and Algorithms · Computer Science 2010-05-18 Gregory Gutin , Anders Yeo

We present polynomial-time approximation schemes based on local search} technique for both geometric (discrete) independent set (\mdis) and geometric (discrete) dominating set (\mdds) problems, where the objects are arbitrary radii disks…

Computational Geometry · Computer Science 2025-04-17 Raghunath Reddy Madireddy , Apurva Mudgal , Supantha Pandit

For any $\epsilon > 0$, we show that if $G$ is a regular graph on $n \gg_\epsilon 1$ vertices that is $\epsilon$-far (differs by at least $\epsilon n^2$ edges) from any Tur\'{a}n graph, then its second eigenvalue $\lambda_2$ satisfies…

Combinatorics · Mathematics 2025-07-15 Shengtong Zhang

MAXCUT defines a classical NP-hard problem for graph partitioning and it serves as a typical case of the symmetric non-monotone Unconstrained Submodular Maximization (USM) problem. Applications of MAXCUT are abundant in machine learning,…

Data Structures and Algorithms · Computer Science 2016-09-06 Yatao Bian , Alexey Gronskiy , Joachim M. Buhmann

We give a 2-approximation algorithm for Non-Uniform Sparsest Cut that runs in time $n^{O(k)}$, where $k$ is the treewidth of the graph. This improves on the previous $2^{2^k}$-approximation in time $\poly(n) 2^{O(k)}$ due to Chlamt\'a\v{c}…

Data Structures and Algorithms · Computer Science 2013-05-08 Anupam Gupta , Kunal Talwar , David Witmer

We show that computing the lexicographically first four-coloring for planar graphs is P^{NP}-hard. This result optimally improves upon a result of Khuller and Vazirani who prove this problem to be NP-hard, and conclude that it is not…

Computational Complexity · Computer Science 2007-05-23 Andre Grosse , Joerg Rothe , Gerd Wechsung

A graph is reducible if it is the lexicographic product of two smaller non-trivial graphs. It is well-known a 1-planar graph with $n ~(\ge3)$ vertices has at most $4n-8$ edges, and a graph $G$ with $n$ vertices is optimal if $G$ has exactly…

Combinatorics · Mathematics 2024-12-20 Licheng Zhang , Yuanqiu Huang

In this paper, we prove the problem of stabbing a set of disjoint bends by a convex stabber to be NP-hard. We also consider the optimization version of the convex stabber problem and prove this problem to be APX-hard for sets of line…

Computational Geometry · Computer Science 2012-11-22 Lena Schlipf

We prove that it is NP-hard to decide whether a graph is the square of a 6-apex graph. This shows that the square root problem is not tractable for squares of sparse graphs (or even graphs from proper minor-closed classes).

Discrete Mathematics · Computer Science 2023-07-17 Zdeněk Dvořák , Benjamin Moore , Abhiruk Lahiri

A graph is NIC-planar if it admits a drawing in the plane with at most one crossing per edge and such that two pairs of crossing edges share at most one common end vertex. NIC-planarity generalizes IC-planarity, which allows a vertex to be…

Discrete Mathematics · Computer Science 2017-11-06 Christian Bachmaier , Franz J. Brandenburg , Kathrin Hanauer , Daniel Neuwirth , Josef Reislhuber

A function on a topological space is called unimodal if all of its super-level sets are contractible. A minimal unimodal decomposition of a function $f$ is the smallest number of unimodal functions that sum up to $f$. The problem of…

Algebraic Topology · Mathematics 2025-10-08 Mishal Assif P K , Yuliy Baryshnikov

Two-Bar Charts Packing Problem is to pack $n$ two-bar charts (2-BCs) in a minimal number of unit-capacity bins. This problem generalizes the strongly NP-hard Bin Packing Problem. We prove that the problem remains strongly NP-hard even if…

Optimization and Control · Mathematics 2022-12-05 Adil Erzin , Alexander Kononov , Georgii Melidi , Stepan Nazarenko

We consider the problem of estimating the size of a maximum cut (Max-Cut problem) in a random Erd\H{o}s-R\'{e}nyi graph on $n$ nodes and $\lfloor cn \rfloor$ edges. It is shown in Coppersmith et al. ~\cite{Coppersmith2004} that the size of…

Probability · Mathematics 2017-02-14 David Gamarnik , Quan Li

This paper presents an $O^{*}(1.42^{n})$ time algorithm for the Maximum Cut problem on split graphs, along with a subexponential time algorithm for its decision variant.

Data Structures and Algorithms · Computer Science 2024-06-03 Marko Lalovic

An $r$-cut of a $k$-uniform hypergraph is a partition of its vertex set into $r$ parts, and the size of the cut is the number of edges which have at least one vertex in each part. The study of the possible size of the largest $r$-cut in a…

Combinatorics · Mathematics 2025-11-12 Oliver Janzer , Julien Portier