English
Related papers

Related papers: The Complexity of the Partial Order Dimension Prob…

200 papers

A perfect matching in a hypergraph is a set of edges that partition the set of vertices. We study the complexity of deciding the existence of a perfect matching in orderable and separable hypergraphs. We show that the class of orderable…

Combinatorics · Mathematics 2022-02-03 Shmuel Onn

We define the parametric closure problem, in which the input is a partially ordered set whose elements have linearly varying weights and the goal is to compute the sequence of minimum-weight lower sets of the partial order as the weights…

Data Structures and Algorithms · Computer Science 2018-01-18 David Eppstein

A resolving set $S$ of a graph $G$ is a subset of its vertices such that no two vertices of $G$ have the same distance vector to $S$. The Metric Dimension problem asks for a resolving set of minimum size, and in its decision form, a…

Computational Complexity · Computer Science 2019-07-19 Édouard Bonnet , Nidhi Purohit

We study a two-dimensional generalization of the classical Bin Packing problem, denoted as 2D Demand Bin Packing. In this context, each bin is a horizontal timeline, and rectangular tasks (representing electric appliances or computational…

Data Structures and Algorithms · Computer Science 2025-08-20 Susanne Albers , Waldo Gálvez , Ömer Behic Özdemir

A poset $\bfp$ is well-partially ordered (WPO) if all its linear extensions are well orders~; the supremum of ordered types of these linear extensions is the {\em length}, $\ell(\bfp)$ of $\bfp$. We prove that if the vertex set $X$ of…

Logic · Mathematics 2015-10-05 Christian Delhommé , Maurice Pouzet

We determine the minimum vertex degree that ensures a perfect matching in a 3-uniform hypergraph. More precisely, suppose that H is a sufficiently large 3-uniform hypergraph whose order n is divisible by 3. If the minimum vertex degree of H…

Combinatorics · Mathematics 2012-11-14 Daniela Kühn , Deryk Osthus , Andrew Treglown

Alternative novel measures of the distance between any two partitions of a n-set are proposed and compared, together with a main existing one, namely 'partition-distance' D(.,.). The comparison achieves by checking their restriction to…

Discrete Mathematics · Computer Science 2011-06-24 Giovanni Rossi

We focus on rational solutions or nearly-feasible rational solutions that serve as certificates of feasibility for polynomial optimization problems. We show that, under some separability conditions, certain cubic polynomially constrained…

Optimization and Control · Mathematics 2022-04-15 Daniel Bienstock , Alberto del Pia , Robert Hildebrand

We define analogues of Boolean operations on not necessarily complete partial orders, they often have as results sets of elements rather than single elements. It proves useful to add to such sets X if they are intended to be sup(X) or…

Logic in Computer Science · Computer Science 2018-10-10 Karl Schlechta

We define a proportionally dense subgraph (PDS) as an induced subgraph of a graph with the property that each vertex in the PDS is adjacent to proportionally as many vertices in the subgraph as in the graph. We prove that the problem of…

Computational Complexity · Computer Science 2020-06-11 Cristina Bazgan , Janka Chlebíková , Clément Dallard , Thomas Pontoizeau

This manuscript explores novel complexity results for the feasibility problem over $p$-order cones, extending the foundational work of Porkolab and Khachiyan. By leveraging the intrinsic structure of $p$-order cones, we derive refined…

Optimization and Control · Mathematics 2025-07-23 Víctor Blanco , Victor Magron , Miguel Martínez-Antón

We study the number of linear extensions of a partial order with a given proportion of comparable pairs of elements, and estimate the maximum and minimum possible numbers. We also consider a random interval partial order on $n$ elements,…

Combinatorics · Mathematics 2018-10-16 Colin McDiarmid , David Penman , Vasileios Iliopoulos

We discuss the computational complexity of special cases of the 3-dimensional (axial) assignment problem where the elements are points in a Cartesian space and where the cost coefficients are the perimeters of the corresponding triangles…

Optimization and Control · Mathematics 2014-09-03 Ante Ćustić , Bettina Klinz , Gerhard J. Woeginger

The lattice diameter of a bounded set $S \subset \mathbb{R}^d$ measures the maximal number of lattice points in a segment whose endpoints are lattice points in $S$. Such a segment is called a lattice diameter segment of $S$. This simple…

Combinatorics · Mathematics 2025-08-29 Anouk E. Brose , Jesús A. De Loera , Gyivan Lopez-Campos , Antonio J. Torres

Classical problems of sorting and searching assume an underlying linear ordering of the objects being compared. In this paper, we study a more general setting, in which some pairs of objects are incomparable. This generalization is relevant…

Data Structures and Algorithms · Computer Science 2007-07-12 Constantinos Daskalakis , Richard M. Karp , Elchanan Mossel , Samantha Riesenfeld , Elad Verbin

A matching is said to be disconnected if the saturated vertices induce a disconnected subgraph and induced if the saturated vertices induce a 1-regular graph. The disconnected and induced matching numbers are defined as the maximum…

We study subclasses of grid intersection graphs from the perspective of order dimension. We show that partial orders of height two whose comparability graph is a grid intersection graph have order dimension at most four. Starting from this…

Combinatorics · Mathematics 2015-12-09 Steven Chaplick , Stefan Felsner , Udo Hoffmann , Veit Wiechert

The dimension of a partially-ordered set (poset), introduced by Dushnik and Miller (1941), has been studied extensively in the literature. Recently, Ueckerdt (2016) proposed a variation called local dimension which makes use of partial…

We study the fundamental problem of polytope membership aiming at large convex polytopes, i.e. in high dimension and with many facets, given as an intersection of halfspaces. Standard data-structures as well as brute force methods cannot…

Computational Geometry · Computer Science 2018-05-01 Evangelos Anagnostopoulos , Ioannis Z. Emiris , Vissarion Fisikopoulos

Perfect Matching-Cut is the problem of deciding whether a graph has a perfect matching that contains an edge-cut. We show that this problem is NP-complete for planar graphs with maximum degree four, for planar graphs with girth five, for…

Combinatorics · Mathematics 2021-11-01 Valentin Bouquet , Christophe Picouleau