Table of Contents
Fetching ...

On cone partitions for the min-cut and max-cut problems with non-negative edges

Andrei V. Nikolaev, Alexander V. Korostil

Abstract

We consider the classical minimum and maximum cut problems: find a partition of vertices of a graph into two disjoint subsets that minimize or maximize the sum of the weights of edges with endpoints in different subsets. It is known that if the edge weights are non-negative, then the min-cut problem is polynomially solvable, while the max-cut problem is NP-hard. We construct a partition of the positive orthant into convex cones corresponding to the characteristic cut vectors, similar to a normal fan of a cut polyhedron. A graph of a cone partition is a graph whose vertices are cones, and two cones are adjacent if and only if they have a common facet. We define adjacency criteria in the graphs of cone partitions for the min-cut and max-cut problems. Based on them, we show that for both problems the vertex degrees are exponential, and the graph diameter equals 2. These results contrast with the clique numbers of graphs of cone partitions, which are linear for the minimum cut problem and exponential for the maximum cut problem.

On cone partitions for the min-cut and max-cut problems with non-negative edges

Abstract

We consider the classical minimum and maximum cut problems: find a partition of vertices of a graph into two disjoint subsets that minimize or maximize the sum of the weights of edges with endpoints in different subsets. It is known that if the edge weights are non-negative, then the min-cut problem is polynomially solvable, while the max-cut problem is NP-hard. We construct a partition of the positive orthant into convex cones corresponding to the characteristic cut vectors, similar to a normal fan of a cut polyhedron. A graph of a cone partition is a graph whose vertices are cones, and two cones are adjacent if and only if they have a common facet. We define adjacency criteria in the graphs of cone partitions for the min-cut and max-cut problems. Based on them, we show that for both problems the vertex degrees are exponential, and the graph diameter equals 2. These results contrast with the clique numbers of graphs of cone partitions, which are linear for the minimum cut problem and exponential for the maximum cut problem.
Paper Structure (6 sections, 9 theorems, 19 equations, 12 figures, 1 table)

This paper contains 6 sections, 9 theorems, 19 equations, 12 figures, 1 table.

Key Result

theorem 1

The 1-skeleton of the $\mathrm{CUT}(n)$ polytope is a complete graph.

Figures (12)

  • Figure 1: An example of constructing a cut polytope for $K_3$
  • Figure 2: An example of a 1-skeleton and cone partition
  • Figure 3: An example of crossing sets
  • Figure 4: Cuts of $X$ and $Y$ in the case of $X \subset Y$
  • Figure 5: Cuts $X$, $Y$, $Z$, and $T$.
  • ...and 7 more figures

Theorems & Definitions (15)

  • theorem 1: Barahona and Mahjoub Barahona1986
  • theorem 2
  • proof
  • theorem 3
  • proof
  • theorem 4
  • proof
  • theorem 5
  • proof
  • theorem 6
  • ...and 5 more