Packing of Circles on Square Flat Torus as Global Optimization of Mixed Integer Nonlinear problem

09/27/2018
by   Sergey A. Smirnov, et al.
0

The article demonstrates rather general approach to problems of discrete geometry: treat them as global optimization problems to be solved by one of general purpose solver implementing branch-and-bound algorithm. This approach may be used for various types of problems, i.e. Tammes problems, Thomson problems, search of minimal potential energy of micro-clusters, etc. Here we consider a problem of densest packing of equal circles in special geometrical object, so called square flat torus R^2/Z^2 with the induced metric. It is formulated as Mixed-Integer Nonlinear Problem with linear and non-convex quadratic constraints. The open-source solver SCIP, http://scip.zib.de, and its parallel implementation ParaSCIP, http://ug.zib.de, had been used in computing experiments. The main result is "computer aided" proof of the conjecture on optimal packing for N=9 that was published in 2012. To do that, ParaSCIP took about 2059 CPU*hours (16 hours x 128 CPUs) of cluster HPC4/HPC5, National Research Centre "Kurchatov Institute".

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/19/2021

A Branch-and-Cut Algorithm for Mixed Integer Bilevel Linear Optimization Problems and Its Implementation

In this paper, we describe a comprehensive algorithmic framework for sol...
research
07/03/2019

A unified approach to mixed-integer optimization: Nonlinear formulations and scalable algorithms

We propose a unified framework to address a family of classical mixed-in...
research
06/11/2020

Symbolic Regression using Mixed-Integer Nonlinear Optimization

The Symbolic Regression (SR) problem, where the goal is to find a regres...
research
01/02/2022

On the convex hull of convex quadratic optimization problems with indicators

We consider the convex quadratic optimization problem with indicator var...
research
02/16/2021

Learning Symbolic Expressions: Mixed-Integer Formulations, Cuts, and Heuristics

In this paper we consider the problem of learning a regression function ...
research
04/02/2020

PackingSolver: a solver for Packing Problems

In this article, we introduce PackingSolver, a new solver for two-dimens...
research
07/01/2023

Solving break minimization problems in mirrored double round-robin tournament with QUBO solver

The break minimization problem is a fundamental problem in sports schedu...

Please sign up or login with your details

Forgot password? Click here to reset