English
Related papers

Related papers: Computing area in presentations of the trivial gro…

200 papers

In this article we study a broad class of integer programming problems in variable dimension. We show that these so-termed {\em n-fold integer programming problems} are polynomial time solvable. Our proof involves two heavy ingredients…

Optimization and Control · Mathematics 2008-07-24 Jesús A. De Loera , Raymond Hemmecke , Shmuel Onn , Robert Weismantel

Algorithms for continuous optimization problems have a rich history of design and innovation over the past several decades, in which mathematical analysis of their convergence and complexity properties plays a central role. Besides their…

Optimization and Control · Mathematics 2025-12-03 Stephen J. Wright

Convex nonsmooth optimization problems, whose solutions live in very high dimensional spaces, have become ubiquitous. To solve them, the class of first-order algorithms known as proximal splitting algorithms is particularly adequate: they…

Optimization and Control · Mathematics 2023-02-27 Laurent Condat , Daichi Kitahara , Andrés Contreras , Akira Hirabayashi

How best to quantify the information of an object, whether natural or artifact, is a problem of wide interest. A related problem is the computability of an object. We present practical examples of a new way to address this problem. By…

Artificial Intelligence · Computer Science 2011-06-14 Fionn Murtagh

Negatively answering a question posed by Mnich and Wiese (Math. Program. 154(1-2):533-562), we show that P2|prec,$p_j{\in}\{1,2\}$|$C_{\max}$, the problem of finding a non-preemptive minimum-makespan schedule for precedence-constrained jobs…

Optimization and Control · Mathematics 2016-05-04 René van Bevern , Robert Bredereck , Laurent Bulteau , Christian Komusiewicz , Nimrod Talmon , Gerhard J. Woeginger

A rectangular layout is a partition of a rectangle into a finite set of interior-disjoint rectangles. Rectangular layouts appear in various applications: as rectangular cartograms in cartography, as floorplans in building architecture and…

Computational Geometry · Computer Science 2009-01-27 David Eppstein , Elena Mumford , Bettina Speckmann , Kevin Verbeek

We show that certain classes of graphs of free groups contain surface subgroups, including groups with positive $b_2$ obtained by doubling free groups along collections of subgroups, and groups obtained by "random" ascending HNN extensions…

Group Theory · Mathematics 2015-11-03 Danny Calegari , Alden Walker

Adyan and Rabin showed that most properties of groups cannot be algorithmically recognized from a finite presentation alone. We prove that, if one is also given a solution to the word problem, then the class of fundamental groups of closed,…

Group Theory · Mathematics 2012-10-09 Daniel Groves , Jason Fox Manning , Henry Wilton

We extend the well known characterization of $\vpws$ as the class of polynomials computed by polynomial size arithmetic branching programs to other complexity classes. In order to do so we add additional memory to the computation of…

Computational Complexity · Computer Science 2013-03-11 Stefan Mengel

Let $R$ be the polynomial ring in $n$ variables with coefficients in a field $K$ of characteristic zero. Let $D_n$ be the $n$-th Weyl algebra over $K$. Suppose that $f \in R$ defines a hyperplane arrangement in the affine space $K^n$. Then…

Algebraic Geometry · Mathematics 2015-09-08 Toshinori Oaku

We consider polygonal tilings of certain regions and use these to give intuitive definitions of tiling-based perimeter and area. We apply these definitions to rhombic tilings of Elnitsky polygons, computing sharp bounds and average values…

Combinatorics · Mathematics 2020-04-30 Bridget Eileen Tenner

We consider spaces of multivariate splines defined on a particular type of simplicial partitions that we call (generalized) oranges. Such partitions are composed of a finite number of maximal faces with exactly one shared medial face. We…

Combinatorics · Mathematics 2023-07-20 Maritza Sirvent , Tatyana Sorokina , Nelly Villamizar , Beihui Yuan

In a previous work we developed a convex infinite dimensional linear programming (LP) approach to approximating the region of attraction (ROA) of polynomial dynamical systems subject to compact basic semialgebraic state constraints. Finite…

Optimization and Control · Mathematics 2012-10-12 Milan Korda , Didier Henrion , Colin N. Jones

We examine two different ways of encoding a counting function, as a rational generating function and explicitly as a function (defined piecewise using the greatest integer function). We prove that, if the degree and number of input…

Combinatorics · Mathematics 2015-05-08 Sven Verdoolaege , Kevin Woods

The k-means algorithm is a well-known method for partitioning n points that lie in the d-dimensional space into k clusters. Its main features are simplicity and speed in practice. Theoretically, however, the best known upper bound on its…

Computational Geometry · Computer Science 2008-12-03 Andrea Vattani

In many areas of applied geometric/numeric computational mathematics, including geo-mapping, computer vision, computer graphics, finite element analysis, medical imaging, geometric design, and solid modeling, one has to compute incidences,…

Computational Geometry · Computer Science 2019-11-20 Alberto Paoluzzi , Vadim Shapiro , Antonio DiCarlo , Francesco Furiani , Giulio Martella , Giorgio Scorzelli

Solution and analysis of mathematical programming problems may be simplified when these problems are symmetric under appropriate linear transformations. In particular, a knowledge of the symmetries may help reduce the problem dimension, cut…

Optimization and Control · Mathematics 2020-10-13 A. V. Eremeev , A. S. Yurkov

Let $P$ be a planar set of $n$ points in general position. We consider the problem of computing an orientation of the plane for which the Rectilinear Convex Hull of $P$ has minimum area. Bae et al. (Computational Geometry: Theory and…

Computational Geometry · Computer Science 2017-12-29 Carlos Alegría-Galicia , Tzolkin Garduño , Carlos Seara , Areli Rosas-Navarrete , Jorge Urrutia

We consider the problem of uniform sampling of points on an algebraic variety. Specifically, we develop a randomized algorithm that, given a small set of multivariate polynomials over a sufficiently large finite field, produces a common…

Data Structures and Algorithms · Computer Science 2009-02-10 Mahdi Cheraghchi , Amin Shokrollahi

We consider the {\em Shaped Partition Problem} of partitioning $n$ given vectors in real $k$-space into $p$ parts so as to maximize an arbitrary objective function which is convex on the sum of vectors in each part, subject to arbitrary…

Combinatorics · Mathematics 2016-09-07 Frank K. Hwang , Shmuel Onn , Uriel G. Rothblum