arXiv++ Combinatorics

Using the concepts of Eulerian-spanning set and coboundary operator, we generalize Hadlock's conversion of the maxcut problem on planar graphs to one on general graphs with non-negative weights. Using our conversion, we can explore algorithms for maxcut beyond the class of planar graphs. We obtain a Fixed-Parameter Tractable algorithm for $k$-contraction apex graphs. Specifically, our algorithm can be applied to graphs with crossing number $k$, giving an $O(2^k(n+k)^{3/2}\log (n+k))$-time algorithm that matches the best known results when restricted to non-negative weights.

This paper introduces a geometric representation of hypergraphs by representing hyperedges as simplices. Building on this framework, we employ homotopy groups to analyze the topological structure of hypergraphs embedded in high-dimensional Euclidean spaces. Under the assumptions of the triangulation and that all $i$-th homotopy groups are trivial for $i \leq d-2$, we provide a necessary and sufficient condition for a $d$-uniform hypergraph to be embeddable in $\mathbb{R}^d$, which can be regarded as a kind of high-dimensional extension of Wagner's Theorem for planar graphs. Specifically, we establish that a triangulated $d$-uniform topological hypergraph embeds into $\mathbb{R}^d$ if and only if it contains neither $K_{d+3}^d$ nor $K_{3,d+1}^d$ as a minor. Here, a triangulated $d$-uniform topological hypergraph constitutes a geometrized form of a $d$-uniform hypergraph, while $K_{d+3}^d$ and $K_{3,d+1}^d$ are the high-dimensional generalizations of the complete graph $K_5$ and the complete bipartite graph $K_{3,3}$ in $\mathbb{R}^d$, respectively.

We prove that every 2-connected, cubic, planar graph with faces of size at most 6 is Hamiltonian, and show that the 6-face condition is tight. Our results push the connectivity condition of the Barnette-Goodey conjecture to the weakest possible.

A geometrization method that transforms a $(d+1)$-connected graph $G$ into a $(d-1)$-dimensional manifold $U^{d-1}(G)$ is first established through adding some $i$-balls with $2\le i \le d-1$ into $G$ such that the $j$-th homotopy group is trivial for $j=0, 1, \dots, d-2$. On this basis, we establish a sufficient condition for $U^{d-1}(G)$ to be embedded into $\mathbb{R}^d$ and an upper bound for $χ(G)$, the chromatic number of $G$. To be more specific, we prove that if $G$ contains neither $K_{d+3}$ nor $K_{3,d+1}$ as a minor, then $U^{d-1}(G)$ embeds into $\mathbb{R}^d$ and $χ(G) \leq d(d+1)$. Furthermore, based on the above theorem, we extend the Discharging method, originally developed for the study of the four color theorem, to $\mathbb{R}^d$. This generalized approach can be applied to investigate the coloring problems in $\mathbb{R}^d$.

We introduce and develop equivalent spectral graph theory for several fundamental graph cut problems including maxcut, mincut, Cheeger cut, anti-Cheeger cut, dual Cheeger problem and their useful variants. A specified strategy for achieving an equivalent eigenproblem is proposed for a general graph cut problem via the set-pair Lovász extension and the Dinkelbach scheme. For a class of 2-cut and 3-cut problems, we reveal the intrinsic difference-of-submodularity for the fractional formulations and show that their set-pair Lovász extensions yield equivalent difference-of-convex structures. Building on the Dinkelbach scheme, we finally establish a unified research roadmap for nonlinear spectral theory that provides a one-to-one correspondence between certain eigenpairs and the optimal graph cut problems. The finer structure of the eigenvectors, the Courant nodal domain theorem and the graphic feature of eigenvalues are studied systematically in the setting of these new nonlinear eigenproblems.

The existing inverse power ($\mathbf{IP}$) method for solving the balanced graph cut lacks local convergence and its inner subproblem requires a nonsmooth convex solver. To address these issues, we develop a simple inverse power ($\mathbf{SIP}$) method using a novel equivalent continuous formulation of the balanced graph cut, and its inner subproblem allows an explicit analytic solution, which is the biggest advantage over $\mathbf{IP}$ and constitutes the main reason why we call it $\mathit{simple}$. By fully exploiting the closed-form of the inner subproblem solution, we design a boundary-detected subgradient selection with which $\mathbf{SIP}$ is proved to be locally converged. We show that $\mathbf{SIP}$ is also applicable to a new ternary valued $θ$-balanced cut which reduces to the balanced cut when $θ=1$. When $\mathbf{SIP}$ reaches its local optimum, we seamlessly transfer to solve the $θ$-balanced cut within exactly the same iteration algorithm framework and thus obtain $\mathbf{SIP}$-$\mathbf{perturb}$ -- an efficient local breakout improvement of $\mathbf{SIP}$, which transforms some ``partitioned" vertices back to the ``un-partitioned" ones through the adjustable $θ$. Numerical experiments on G-set for Cheeger cut and Sparsest cut demonstrate that $\mathbf{SIP}$ is significantly faster than $\mathbf{IP}$ while maintaining approximate solutions of comparable quality, and $\mathbf{SIP}$-$\mathbf{perturb}$ outperforms $\mathtt{Gurobi}$ in terms of both computational cost and solution quality.

We consider a class of $0$-$1$ polynomial programming termed multiple choice polynomial programming (MCPP) where the constraint requires exact one component per subset of the partition to be $1$ after all the entries are partitioned. Compared to the unconstrained counterpart, there are few polyhedral studies of MCPP in general form. This paper serves as the first attempt to propose a polytope associated with a hypergraph to study MCPP, which is the convex hull of $0$-$1$ vectors satisfying multiple choice constraints and production constraints. With the help of the decomposability property, we obtain an explicit half-space representation of the MCPP polytope when the underlying hypergraph is $α$-acyclic by induction on the number of hyperedges, which is an analogy of the acyclicity results on the multilinear polytope by Del Pia and Khajavirad (SIAM J Optim 28 (2018) 1049) when the hypergraph is $γ$-acyclic. We also present a necessary and sufficient condition for the inequalities lifted from the facet-inducing ones for the multilinear polytope to be still facet-inducing for the MCPP polytope. This result covers the particular cases by Bärmann, Martin and Schneider (SIAM J Optim 33 (2023) 2909).

A powerful technique for solving combinatorial optimization problems is to reduce the search space without compromising the solution quality by exploring intrinsic mathematical properties of the problems. For the maximum weight independent set (MWIS) problem, using an upper bound lemma which says the weight of any independent set not contained in the MWIS is bounded from above by the weight of the intersection of its closed neighbor set and the MWIS, we give two extension theorems -- independent set extension theorem and vertex cover extension theorem. With them at our disposal, two types of causal inference techniques (CITs) are proposed on the assumption that a vertex is strongly reducible (included or not included in all MWISs) or reducible (contained or not contained in a MWIS). One is a strongly reducible state-preserving technique, which extends a strongly reducible vertex into a vertex set where all vertices have the same strong reducibility. The other, as a reducible state-preserving technique, extends a reducible vertex into a vertex set with the same reducibility as that vertex and creates some weighted packing constraints to narrow the search space. Numerical experiments show that our CITs can help reduction algorithms find much smaller remaining graphs, improve the ability of exact algorithms to find the optimal solutions and help heuristic algorithms produce approximate solutions of better quality. In particular, detailed tests on $12$ representative graphs generated from datasets in Network Data Repository demonstrate that, compared to the state-of-the-art algorithms, the size of remaining graphs is further reduced by more than 32.6%, and the number of solvable instances is increased from 1 to 5.

We propose an ODE approach to solving multiple choice polynomial programming (MCPP) after assuming that the optimum point can be approximated by the expected value of so-called thermal equilibrium as usually did in simulated annealing. The explicit form of the feasible region and the affine property of the objective function are both fully exploited in transforming the MCPP problem into the ODE system. We also show theoretically that a local optimum of the former can be obtained from an equilibrium point of the latter. Numerical experiments on two typical combinatorial problems, MAX-$k$-CUT and the calculation of star discrepancy, demonstrate the validity of our ODE approach, and the resulting approximate solutions are of comparable quality to those obtained by the state-of-the-art heuristic algorithms but with much less cost. This paper also serves as the first attempt to use a continuous algorithm for approximating the star discrepancy.

As a judicious correspondence to the classical maxcut, the anti-Cheeger cut has more balanced structure, but few numerical results on it have been reported so far. In this paper, we propose a continuous iterative algorithm (CIA) for the anti-Cheeger cut problem through fully using an equivalent continuous formulation. It does not need rounding at all and has advantages that all subproblems have explicit analytic solutions, the objective function values are monotonically updated and the iteration points converge to a local optimum in finite steps via an appropriate subgradient selection. It can also be easily combined with the maxcut iterations for breaking out of local optima and improving the solution quality thanks to the similarity between the anti-Cheeger cut problem and the maxcut problem. The performance of CIAs is fully demonstrated through numerical experiments on G-set from two aspects: one is on the solution quality where we find that the approximate solutions obtained by CIAs are of comparable quality to those by the multiple search operator heuristic method; the other is on the computational cost where we show that CIAs always run faster than the often-used continuous iterative algorithm based on the rank-two relaxation.

We propose a simple iterative (SI) algorithm for the maxcut problem through fully using an equivalent continuous formulation. It does not need rounding at all and has advantages that all subproblems have explicit analytic solutions, the cut values are monotonically updated and the iteration points converge to a local optima in finite steps via an appropriate subgradient selection. Numerical experiments on G-set demonstrate the performance. In particular, the ratios between the best cut values achieved by SI and those by some advanced combinatorial algorithms in [Ann. Oper. Res. 248 (2017) 365] are at least $0.986$ and can be further improved to at least $0.997$ by a preliminary attempt to break out of local optima.

A set-pair Lovász extension is established to construct equivalent continuous optimization problems for graph $k$-cut problems.

The first nontrivial lower bound of the worst-case approximation ratio for the maxcut problem was achieved via the dual Cheeger problem, whose optimal value is referred to the dual Cheeger constant $h^+$, and later improved through its modification $\widehat{h}^+$. However, the dual Cheeger problem and its modification themselves are relatively unexplored, especially lack of effective approximate algorithms. To this end, we first derive equivalent spectral formulations of $h^+$ and $\widehat{h}^+$ within the framework of the nonlinear spectral theory of signless 1-Laplacian, present their interactions with the Laplacian matrix and 1-Laplacian, and then use them to develop an inverse power algorithm that leverages the local linearity of the objective functions involved. We prove that the inverse power algorithm monotonically converges to a ternary-valued eigenvector, and provide the approximate values of $h^+$ and $\widehat{h}^+$ on G-set for the first time. The recursive spectral cut algorithm for the maxcut problem can be enhanced by integrating into the inverse power algorithms, leading to significantly improved approximate values on G-set. Finally, we show that the lower bound of the worst-case approximation ratio for the maxcut problem within the recursive spectral cut framework can not be improved beyond $0.769$.