-
Outer approximations of core points for integer programming
Authors:
Naghmeh Shahverdi,
David Bremner
Abstract:
For several decades the dominant techniques for integer linear programming have been branching and cutting planes. Recently, several authors have developed core point methods for solving symmetric integer linear programs (ILPs). An integer point is called a core point if its orbit polytope is lattice-free. It has been shown that for symmetric ILPs, optimizing over the set of core points gives the…
▽ More
For several decades the dominant techniques for integer linear programming have been branching and cutting planes. Recently, several authors have developed core point methods for solving symmetric integer linear programs (ILPs). An integer point is called a core point if its orbit polytope is lattice-free. It has been shown that for symmetric ILPs, optimizing over the set of core points gives the same answer as considering the entire space. Existing core point techniques rely on the number of core points (or equivalence classes) being finite, which requires special symmetry groups. In this paper we develop some new methods for solving symmetric ILPs (based on outer approximations of core points) that do not depend on finiteness but are more efficient if the group has large disjoint cycles in its set of generators.
△ Less
Submitted 10 May, 2024; v1 submitted 21 July, 2020;
originally announced July 2020.
-
Sparktope: linear programs from algorithms
Authors:
David Avis,
David Bremner
Abstract:
In a recent paper Avis, Bremner, Tiwary and Watanabe gave a method for constructing linear programs (LPs) based on algorithms written in a simple programming language called Sparks. If an algorithm produces the solution $x$ to a problem in polynomial time and space then the LP constructed is also of polynomial size and its optimum solution contains $x$ as well as a complete execution trace of the…
▽ More
In a recent paper Avis, Bremner, Tiwary and Watanabe gave a method for constructing linear programs (LPs) based on algorithms written in a simple programming language called Sparks. If an algorithm produces the solution $x$ to a problem in polynomial time and space then the LP constructed is also of polynomial size and its optimum solution contains $x$ as well as a complete execution trace of the algorithm. Their method led us to the construction of a compiler called Sparktope which we describe in this paper. This compiler allows one to generate polynomial sized LPs for problems in P that have exponential extension complexity, such as matching problems in non-bipartite graphs.
In this paper we describe Sparktope, the language Sparks, and the assembler instructions and LP constraints it produces. This is followed by two concrete examples, the makespan problem and the problem of testing if a matching in a graph is maximum, both of which are known to have exponential extension complexity. Computational results are given. In discussing these examples we make use of visualization techniques included in Sparktope that may be of independent interest. The extremely large linear programs produced by the compiler appear to be quite challenging to solve using currently available software. Since the optimum LP solutions can be computed independently they may be useful as benchmarks. Further enhancements of the compiler and its application are also discussed.
△ Less
Submitted 27 September, 2020; v1 submitted 6 May, 2020;
originally announced May 2020.
-
Approximate Data Depth Revisited
Authors:
Rasoul Shahsavarifar,
David Bremner
Abstract:
Halfspace depth and $β$-skeleton depth are two types of depth functions in nonparametric data analysis. The halfspace depth of a query point $q\in \mathbb{R}^d$ with respect to $S\subset\mathbb{R}^d$ is the minimum portion of the elements of $S$ which are contained in a halfspace which passes through $q$. For $β\geq 1$, the $β$-skeleton depth of $q$ with respect to $S$ is defined to be the total n…
▽ More
Halfspace depth and $β$-skeleton depth are two types of depth functions in nonparametric data analysis. The halfspace depth of a query point $q\in \mathbb{R}^d$ with respect to $S\subset\mathbb{R}^d$ is the minimum portion of the elements of $S$ which are contained in a halfspace which passes through $q$. For $β\geq 1$, the $β$-skeleton depth of $q$ with respect to $S$ is defined to be the total number of \emph{$β$-skeleton influence regions} that contain $q$, where each of these influence regions is the intersection of two hyperballs obtained from a pair of points in $S$. The $β$-skeleton depth introduces a family of depth functions that contain \emph{spherical depth} and \emph{lens depth} if $β=1$ and $β=2$, respectively. The main results of this paper include approximating the planar halfspace depth and $β$-skeleton depth using two different approximation methods. First, the halfspace depth is approximated by the $β$-skeleton depth values. For this method, two dissimilarity measures based on the concepts of \emph{fitting function} and \emph{Hamming distance} are defined to train the halfspace depth function by the $β$-skeleton depth values obtaining from a given data set. The goodness of this approximation is measured by a function of error values. Secondly, computing the planar $β$-skeleton depth is reduced to a combination of some range counting problems. Using existing results on range counting approximations, the planar $β$-skeleton depth of a query point is approximated in $O(n\;poly(1/\varepsilon,\log n))$, $β\geq 1$. Regarding the $β$-skeleton depth functions, it is also proved that this family of depth functions converge when $β\to \infty$. Finally, some experimental results are provided to support the proposed method of approximation and convergence of $β$-skeleton depth functions.
△ Less
Submitted 18 May, 2018;
originally announced May 2018.
-
Computing the Planar $β$-skeleton Depth
Authors:
Rasoul Shahsavarifar,
David Bremner
Abstract:
For $β\geq 1$, the \emph{$β$-skeleton depth} ($\SkD_β$) of a query point $q\in \mathbb{R}^d$ with respect to a distribution function $F$ on $\mathbb{R}^d$ is defined as the probability that $q$ is contained within the \emph{$β$-skeleton influence region} of a random pair of points from $F$. The $β$-skeleton depth of $q\in \mathbb{R}^d$ can also be defined with respect to a given data set…
▽ More
For $β\geq 1$, the \emph{$β$-skeleton depth} ($\SkD_β$) of a query point $q\in \mathbb{R}^d$ with respect to a distribution function $F$ on $\mathbb{R}^d$ is defined as the probability that $q$ is contained within the \emph{$β$-skeleton influence region} of a random pair of points from $F$. The $β$-skeleton depth of $q\in \mathbb{R}^d$ can also be defined with respect to a given data set $S\subseteq \mathbb{R}^d$. In this case, computing the $β$-skeleton depth is based on counting all of the $β$-skeleton influence regions, obtained from pairs of points in $S$, that contain $q$. The $β$-skeleton depth introduces a family of depth functions that contains \emph{spherical depth} and \emph{lens depth} for $β=1$ and $β=2$, respectively. The straightforward algorithm for computing the $β$-skeleton depth in dimension $d$ takes $O(dn^2)$. This complexity of computation is a significant advantage of using the $β$-skeleton depth in multivariate data analysis because unlike most other data depths, the time complexity of the $β$-skeleton depth grows linearly rather than exponentially in the dimension $d$. The main results of this paper include two algorithms. The first one is an optimal algorithm that takes $Θ(n\log n)$ for computing the planar spherical depth, and the second algorithm with the time complexity of $O(n^{\frac{3}{2}+ε})$ is for computing the planar $β$-skeleton depth, $β>1$. By reducing the problem of \textit{Element Uniqueness}, we prove that computing the $β$-skeleton depth requires $Ω(n \log n)$ time. Some geometric properties of $β$-skeleton depth are also investigated in this paper. These properties indicate that \emph{simplicial depth} ($\SD$) is linearly bounded by $β$-skeleton depth. Some experimental bounds for different depth functions are also obtained in this paper.
△ Less
Submitted 15 March, 2018;
originally announced March 2018.
-
An Optimal Algorithm for Computing the Spherical Depth of Points in the Plane
Authors:
David Bremner,
Rasoul Shahsavarifar
Abstract:
For a distribution function $F$ on $\mathbb{R}^d$ and a point $q\in \mathbb{R}^d$, the \emph{spherical depth} $\SphD(q;F)$ is defined to be the probability that a point $q$ is contained inside a random closed hyper-ball obtained from a pair of points from $F$. The spherical depth $\SphD(q;S)$ is also defined for an arbitrary data set $S\subseteq \mathbb{R}^d$ and $q\in \mathbb{R}^d$. This definiti…
▽ More
For a distribution function $F$ on $\mathbb{R}^d$ and a point $q\in \mathbb{R}^d$, the \emph{spherical depth} $\SphD(q;F)$ is defined to be the probability that a point $q$ is contained inside a random closed hyper-ball obtained from a pair of points from $F$. The spherical depth $\SphD(q;S)$ is also defined for an arbitrary data set $S\subseteq \mathbb{R}^d$ and $q\in \mathbb{R}^d$. This definition is based on counting all of the closed hyper-balls, obtained from pairs of points in $S$, that contain $q$. The significant advantage of using the spherical depth in multivariate data analysis is related to its complexity of computation. Unlike most other data depths, the time complexity of the spherical depth grows linearly rather than exponentially in the dimension $d$. The straightforward algorithm for computing the spherical depth in dimension $d$ takes $O(dn^2)$. The main result of this paper is an optimal algorithm that we present for computing the bivariate spherical depth. The algorithm takes $O(n \log n)$ time. By reducing the problem of \textit{Element Uniqueness}, we prove that computing the spherical depth requires $Ω(n \log n)$ time. Some geometric properties of spherical depth are also investigated in this paper. These properties indicate that \emph{simplicial depth} ($\SD$) (Liu, 1990) is linearly bounded by spherical depth (in particular, $\SphD\geq \frac{2}{3}SD$). To illustrate this relationship between the spherical depth and the simplicial depth, some experimental results are provided. The obtained experimental bound ($\SphD\geq 2\SD$) indicates that, perhaps, a stronger theoretical bound can be achieved.
△ Less
Submitted 23 February, 2017;
originally announced February 2017.
-
Monotone Simultaneous Embeddings of Paths in R^d
Authors:
David Bremner,
Olivier Devillers,
Marc Glisse,
Sylvain Lazard,
Giuseppe Liotta,
Tamara Mchedlidze,
Sue Whitesides,
Stephen Wismath
Abstract:
We study the following problem: Given $k$ paths that share the same vertex set, is there a simultaneous geometric embedding of these paths such that each individual drawing is monotone in some direction? We prove that for any dimension $d \geq 2$, there is a set of $d+1$ paths that does not admit a monotone simultaneous geometric embedding.
We study the following problem: Given $k$ paths that share the same vertex set, is there a simultaneous geometric embedding of these paths such that each individual drawing is monotone in some direction? We prove that for any dimension $d \geq 2$, there is a set of $d+1$ paths that does not admit a monotone simultaneous geometric embedding.
△ Less
Submitted 31 August, 2016;
originally announced August 2016.
-
Polynomial size linear programs for problems in P
Authors:
David Avis,
David Bremner,
Hans Raj Tiwary,
Osamu Watanabe
Abstract:
A perfect matching in an undirected graph $G=(V,E)$ is a set of vertex disjoint edges from $E$ that include all vertices in $V$. The perfect matching problem is to decide if $G$ has such a matching. Recently Rothvoß proved the striking result that the Edmonds' matching polytope has exponential extension complexity. Here for each $n=|V|$ we describe a perfect matching polytope that is different fro…
▽ More
A perfect matching in an undirected graph $G=(V,E)$ is a set of vertex disjoint edges from $E$ that include all vertices in $V$. The perfect matching problem is to decide if $G$ has such a matching. Recently Rothvoß proved the striking result that the Edmonds' matching polytope has exponential extension complexity. Here for each $n=|V|$ we describe a perfect matching polytope that is different from Edmonds' polytope and define a weaker notion of extended formulation. We show that the new polytope has a weak extended formulation (WEF) $Q$ of polynomial size. For each graph $G$ with $n$ vertices we can readily construct an objective function so that solving the resulting linear program over $Q$ decides whether or not $G$ has a perfect matching. The construction is uniform in the sense that, for each $n$, a single polytope is defined for the class of all graphs with $n$ nodes. The method extends to solve poly time optimization problems, such as the weighted matching problem. In this case a logarithmic (in the weight of the optimum solution) number of optimizations are made over the constructed WEF.
The method described in the paper involves construction of a compiler that converts an algorithm given in a prescribed pseudocode into a polytope. It can therefore be used to construct a polytope for any decision problem in {\bf P} which can be solved by a given algorithm. Compared with earlier results of Dobkin-Lipton-Reiss and Valiant our method allows the construction of explicit linear programs directly from algorithms written for a standard register model, without intermediate transformations. We apply our results to obtain polynomial upper bounds on the non-negative rank of certain slack matrices related to membership testing of languages in {\bf P/Poly}.
△ Less
Submitted 25 April, 2018; v1 submitted 4 August, 2014;
originally announced August 2014.
-
Necklaces, Convolutions, and X+Y
Authors:
David Bremner,
Timothy M. Chan,
Erik D. Demaine,
Jeff Erickson,
Ferran Hurtado,
John Iacono,
Stefan Langerman,
Mihai Patrascu,
Perouz Taslakian
Abstract:
We give subquadratic algorithms that, given two necklaces each with n beads at arbitrary positions, compute the optimal rotation of the necklaces to best align the beads. Here alignment is measured according to the p norm of the vector of distances between pairs of beads from opposite necklaces in the best perfect matching. We show surprisingly different results for p = 1, p even, and p = \infty.…
▽ More
We give subquadratic algorithms that, given two necklaces each with n beads at arbitrary positions, compute the optimal rotation of the necklaces to best align the beads. Here alignment is measured according to the p norm of the vector of distances between pairs of beads from opposite necklaces in the best perfect matching. We show surprisingly different results for p = 1, p even, and p = \infty. For p even, we reduce the problem to standard convolution, while for p = \infty and p = 1, we reduce the problem to (min, +) convolution and (median, +) convolution. Then we solve the latter two convolution problems in subquadratic time, which are interesting results in their own right. These results shed some light on the classic sorting X + Y problem, because the convolutions can be viewed as computing order statistics on the antidiagonals of the X + Y matrix. All of our algorithms run in o(n^2) time, whereas the obvious algorithms for these problems run in Θ(n^2) time.
△ Less
Submitted 19 December, 2012;
originally announced December 2012.
-
A Branch and Cut Algorithm for the Halfspace Depth Problem
Authors:
David Bremner,
Dan Chen
Abstract:
The concept of \emph{data depth} in non-parametric multivariate descriptive statistics is the generalization of the univariate rank method to multivariate data. \emph{Halfspace depth} is a measure of data depth. Given a set $S$ of points and a point $p$, the halfspace depth (or rank) of $p$ is defined as the minimum number of points of $S$ contained in any closed halfspace with $p$ on its bounda…
▽ More
The concept of \emph{data depth} in non-parametric multivariate descriptive statistics is the generalization of the univariate rank method to multivariate data. \emph{Halfspace depth} is a measure of data depth. Given a set $S$ of points and a point $p$, the halfspace depth (or rank) of $p$ is defined as the minimum number of points of $S$ contained in any closed halfspace with $p$ on its boundary. Computing halfspace depth is NP-hard, and it is equivalent to the Maximum Feasible Subsystem problem. In this paper a mixed integer program is formulated with the big-$M$ method for the halfspace depth problem. We suggest a branch and cut algorithm for these integer programs. In this algorithm, Chinneck's heuristic algorithm is used to find an upper bound and a related technique based on sensitivity analysis is used for branching. Irreducible Infeasible Subsystem (IIS) hitting set cuts are applied. We also suggest a binary search algorithm which may be more numerically stable. The algorithms are implemented with the BCP framework from the \textbf{COIN-OR} project.
△ Less
Submitted 10 October, 2009;
originally announced October 2009.
-
Polyhedral representation conversion up to symmetries
Authors:
David Bremner,
Mathieu Dutour Sikiric,
Achill Schuermann
Abstract:
We give a short survey on computational techniques which can be used to solve the representation conversion problem for polyhedra up to symmetries. We in particular discuss decomposition methods, which reduce the problem to a number of lower dimensional subproblems. These methods have been successfully used by different authors in special contexts. Moreover, we sketch an incremental method, whic…
▽ More
We give a short survey on computational techniques which can be used to solve the representation conversion problem for polyhedra up to symmetries. We in particular discuss decomposition methods, which reduce the problem to a number of lower dimensional subproblems. These methods have been successfully used by different authors in special contexts. Moreover, we sketch an incremental method, which is a generalization of Fourier-Motzkin elimination, and we give some ideas how symmetry can be exploited using pivots.
△ Less
Submitted 13 September, 2007; v1 submitted 8 February, 2007;
originally announced February 2007.
-
Sufficiently Fat Polyhedra are not 2-castable
Authors:
David Bremner,
Alexander Golynski
Abstract:
In this note we consider the problem of manufacturing a convex polyhedral object via casting. We consider a generalization of the sand casting process where the object is manufactured by gluing together two identical faces of parts cast with a single piece mold. In this model we show that the class of convex polyhedra which can be enclosed between two concentric spheres of the ratio of their rad…
▽ More
In this note we consider the problem of manufacturing a convex polyhedral object via casting. We consider a generalization of the sand casting process where the object is manufactured by gluing together two identical faces of parts cast with a single piece mold. In this model we show that the class of convex polyhedra which can be enclosed between two concentric spheres of the ratio of their radii less than 1.07 cannot be manufactured using only two cast parts.
△ Less
Submitted 20 March, 2002;
originally announced March 2002.
-
Small Strictly Convex Quadrilateral Meshes of Point Sets
Authors:
David Bremner,
Ferran Hurtado,
Suneeta Ramaswami,
Vera Sacristan
Abstract:
In this paper, we give upper and lower bounds on the number of Steiner points required to construct a strictly convex quadrilateral mesh for a planar point set. In particular, we show that $3{\lfloor\frac{n}{2}\rfloor}$ internal Steiner points are always sufficient for a convex quadrilateral mesh of $n$ points in the plane. Furthermore, for any given $n\geq 4$, there are point sets for which…
▽ More
In this paper, we give upper and lower bounds on the number of Steiner points required to construct a strictly convex quadrilateral mesh for a planar point set. In particular, we show that $3{\lfloor\frac{n}{2}\rfloor}$ internal Steiner points are always sufficient for a convex quadrilateral mesh of $n$ points in the plane. Furthermore, for any given $n\geq 4$, there are point sets for which $\lceil\frac{n-3}{2}\rceil-1$ Steiner points are necessary for a convex quadrilateral mesh.
△ Less
Submitted 12 February, 2002;
originally announced February 2002.
-
Long Proteins with Unique Optimal Foldings in the H-P Model
Authors:
Oswin Aichholzer,
David Bremner,
Erik D. Demaine,
Henk Meijer,
Vera Sacristán,
Michael Soss
Abstract:
It is widely accepted that (1) the natural or folded state of proteins is a global energy minimum, and (2) in most cases proteins fold to a unique state determined by their amino acid sequence. The H-P (hydrophobic-hydrophilic) model is a simple combinatorial model designed to answer qualitative questions about the protein folding process. In this paper we consider a problem suggested by Brian H…
▽ More
It is widely accepted that (1) the natural or folded state of proteins is a global energy minimum, and (2) in most cases proteins fold to a unique state determined by their amino acid sequence. The H-P (hydrophobic-hydrophilic) model is a simple combinatorial model designed to answer qualitative questions about the protein folding process. In this paper we consider a problem suggested by Brian Hayes in 1998: what proteins in the two-dimensional H-P model have unique optimal (minimum energy) foldings? In particular, we prove that there are closed chains of monomers (amino acids) with this property for all (even) lengths; and that there are open monomer chains with this property for all lengths divisible by four.
△ Less
Submitted 21 January, 2002;
originally announced January 2002.