An O(|E|)-linear Model for the MaxCut Problem
Authors:
Sostenes L. Lins,
Diogo B. Henriques
Abstract:
A polytope $P$ is a {\em model} for a combinatorial problem on finite graphs $G$ whose variables are indexed by the edge set $E$ of $G$ if the points of $P$ with (0,1)-coordinates are precisely the characteristic vectors of the subset of edges inducing the feasible configurations for the problem. In the case of the (simple) MaxCut Problem, which is the one that concern us here, the feasible subset…
▽ More
A polytope $P$ is a {\em model} for a combinatorial problem on finite graphs $G$ whose variables are indexed by the edge set $E$ of $G$ if the points of $P$ with (0,1)-coordinates are precisely the characteristic vectors of the subset of edges inducing the feasible configurations for the problem. In the case of the (simple) MaxCut Problem, which is the one that concern us here, the feasible subsets of edges are the ones inducing the bipartite subgraphs of $G$. In this paper we introduce a new polytope $\mathbb{P}_{12} \subset \mathbb{R}^{|E|}$ given by at most $11|E|$ inequalities, which is a model for the MaxCut Problem on $G$. Moreover, the left side of each inequality is the sum of at most 4 edge variables with coefficients $\pm1$ and right side 0,1, or 2. We restrict our analysis to the case of $G=K_{z}$, the complete graph in $z$ vertices, where $z$ is an even positive integer $z\ge 4$. This case is sufficient to study because the simple MaxCut problem for general graphs $G$ can be reduced to the complete graph $K_z$ by considering the obective function of the associated integer programming as the characteristic vector of the edges in $G \subseteq K_z$. This is a polynomial algorithmic transformation.
△ Less
Submitted 8 April, 2016;
originally announced April 2016.
Closed oriented 3-manifolds are subtle equivalence classes of plane graphs
Authors:
Sóstenes L. Lins,
Diogo B. Henriques
Abstract:
A {\em blink} is a plane graph with an arbitrary bipartition of its edges. As a consequence of a recent result of Martelli, I show that the homeomorphisms classes of closed oriented 3-manifolds are in 1-1 correspondence with specific classes of blinks. In these classes, two blinks are equivalent if they are linked by a finite sequence of local moves, where each one appears in a concrete list of 64…
▽ More
A {\em blink} is a plane graph with an arbitrary bipartition of its edges. As a consequence of a recent result of Martelli, I show that the homeomorphisms classes of closed oriented 3-manifolds are in 1-1 correspondence with specific classes of blinks. In these classes, two blinks are equivalent if they are linked by a finite sequence of local moves, where each one appears in a concrete list of 64 moves: they organize in 8 types, each being essentially the same move on 8 simply related configurations. The size of the list can be substantially decreased at the cost of loosing symmetry, just by kee** a very simple move type, the {\em ribbon moves} denoted $\pm μ_{11}^{\pm}$ (which are in principle redundant). The inclusion of $\pm μ_{11}^{\pm}$ implies that all the moves corresponding to plane duality (the starred moves), except for $μ_{20}^\star$ and $μ_{02}^\star$, are redundant and the coin calculus is reduced to 36 moves on 36 coins.
A {\em residual fraction link} or a {\em flink}, is a new object which generalizes {\em blackboard-framed link}. It plays an important role in this work. I try to make the topological exposition as complete as possible: about half of the exposition deals with the topological preliminaries. The objective is to make it easier for the combinatorially oriented readers to understand the paper. It is in the aegis of this work to find new important connections between 3-manifolds and plane graphs.
△ Less
Submitted 7 December, 2016; v1 submitted 20 May, 2013;
originally announced May 2013.