English
Related papers

Related papers: Separator for $c$-Packed Segments and Curves

200 papers

We provide a polynomial time cutting plane algorithm based on split cuts to solve integer programs in the plane. We also prove that the split closure of a polyhedron in the plane has polynomial size.

Optimization and Control · Mathematics 2020-11-12 Amitabh Basu , Michele Conforti , Marco Di Summa , Hongyi Jiang

For homogeneous simply connected Hodge manifolds it is proved that the set of coherent vectors orthogonal to a given one is the divisor responsible for the homogeneous holomorphic line bundle of the coherent vectors. In particular, for…

Differential Geometry · Mathematics 2009-10-31 Stefan Berceanu

Let $\D$ be a set of $n$ pairwise disjoint unit balls in $\R^d$ and $P$ the set of their center points. A hyperplane $\Hy$ is an \emph{$m$-separator} for $\D$ if each closed halfspace bounded by $\Hy$ contains at least $m$ points from $P$.…

Computational Geometry · Computer Science 2014-05-09 Michael Hoffmann , Vincent Kusters , Tillmann Miltzow

We consider a planar graph $G$ in which the edges have nonnegative integer lengths such that the length of every cycle of $G$ is even, and three faces are distinguished, called holes in $G$. It is known that there exists a packing of cuts…

Combinatorics · Mathematics 2018-03-20 Alexander V. Karzanov

We show the existence of O(f(c)k) sized vertex sparsifiers that preserve all edge-connectivity values up to c between a set of k terminal vertices, where f(c) is a function that only depends on c, the edge-connectivity value. This…

Data Structures and Algorithms · Computer Science 2019-10-24 Yang P. Liu , Richard Peng , Mark Sellke

In this article we give an implementation of the standard algorithm to segment a real algebraic plane curve defined implicitly. Our implementation is efficient and simpler than previous. We use global information to count the number of…

Algebraic Geometry · Mathematics 2016-05-24 Cesar Massri , Manuel Dubinsky

We present a new certified and complete algorithm to compute arrangements of real planar algebraic curves. Our algorithm provides a geometric-topological analysis of the decomposition of the plane induced by a finite number of algebraic…

Symbolic Computation · Computer Science 2011-03-25 Eric Berberich , Pavel Emeliyanenko , Alexander Kobel , Michael Sagraloff

In an undirected connected graph G=(V,E), the vertex separator problem (VSP) asks for a partition of V into nonempty subsets A, B, C such that |C| is minimized such that there is no edge between A and B, and sizes of A and B are similar.…

Discrete Mathematics · Computer Science 2007-11-21 Marie-Jean Meurs

For distributed graph processing on massive graphs, a graph is partitioned into multiple equally-sized parts which are distributed among machines in a compute cluster. In the last decade, many partitioning algorithms have been developed…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-04-12 Nikolai Merkel , Ruben Mayer , Tawkir Ahmed Fakir , Hans-Arno Jacobsen

Mathematica offers, by way of the package Combinatorics, many useful functions to work on graphs and ordered structures, but none of these functions was specific enough to meet the needs of our research group. Moreover, the existing…

Mathematical Software · Computer Science 2013-07-05 Pietro Codara

Let \phi(G) be the minimum conductance of an undirected graph G, and let 0=\lambda_1 <= \lambda_2 <=... <= \lambda_n <= 2 be the eigenvalues of the normalized Laplacian matrix of G. We prove that for any graph G and any k >= 2, \phi(G) =…

Data Structures and Algorithms · Computer Science 2013-01-24 Tsz Chiu Kwok , Lap Chi Lau , Yin Tat Lee , Shayan Oveis Gharan , Luca Trevisan

In this paper, we concentrate on generating cutting planes for the unsplittable capacitated network design problem. We use the unsplittable flow arc-set polyhedron of the considered problem as a substructure and generate cutting planes by…

Optimization and Control · Mathematics 2020-11-10 Liang Chen , Wei-Kun Chen , Mu-Ming Yang , Yu-Hong Dai

It is shown that a separated sequence of points in the unit disc of the complex plane is in fact uniformly separated, if there exists a certain intermediate sequence whose separated subsequences are uniformly separated. This property is…

Classical Analysis and ODEs · Mathematics 2018-10-01 Janne Gröhn , Artur Nicolau

It is pointed out that separability problem for arbitrary multi-partite states can be fully solved by a finite size, elementary recursive algorithm. In the worse case scenario, the underlying numerical procedure, may grow doubly…

Quantum Physics · Physics 2007-05-23 Piotr Badziag , Pawel Horodecki , Ryszard Horodecki

We describe an algorithm for computing the separating common tangents of two simple polygons using linear time and only constant workspace. A tangent of a polygon is a line touching the polygon such that all of the polygon lies to the same…

Computational Geometry · Computer Science 2015-11-13 Mikkel Abrahamsen

We study the problem of partitioning a given simple polygon $P$ into a minimum number of connected polygonal pieces, each of bounded size. We describe a general technique for constructing such partitions that works for several notions of…

Computational Geometry · Computer Science 2024-10-23 Mikkel Abrahamsen , Nichlas Langhoff Rasmussen

We study nested partitions of $R^d$ obtained by successive cuts using hyperplanes with fixed directions. We establish the number of measures that can be split evenly simultaneously by taking a partition of this kind and then distributing…

Metric Geometry · Mathematics 2014-10-14 Roman Karasev , Edgardo Roldán-Pensado , Pablo Soberón

Cell nuclei segmentation is one of the most important tasks in the analysis of biomedical images. With ever-growing sizes and amounts of three-dimensional images to be processed, there is a need for better and faster segmentation methods.…

Computer Vision and Pattern Recognition · Computer Science 2017-02-20 Julian Arz , Peter Sanders , Johannes Stegmaier , Ralf Mikut

We study how the number $c(X)$ of components of a graph $X$ can be expressed through the number and properties of the components of a quotient graph $X/\sim.$ We partially rely on classic qualifications of graph homomorphisms such as…

Combinatorics · Mathematics 2016-07-25 Daniela Bubboloni

Two kinds of approximation algorithms exist for the k-BALANCED PARTITIONING problem: those that are fast but compute unsatisfying approximation ratios, and those that guarantee high quality ratios but are slow. In this paper we prove that…

Computational Complexity · Computer Science 2019-04-29 Andreas Emil Feldmann