English
Related papers

Related papers: Geometric Embeddability of Complexes is $\exists \…

200 papers

Efficient embedding virtual clusters in physical network is a challenging problem. In this paper we consider a scenario where physical network has a structure of a balanced tree. This assumption is justified by many real- world…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-01-30 Carlo Fuerst , Maciej Pacut , Stefan Schmid

For positive integers k,n, we investigate the simplicial complex NM_k(n) of all graphs G on vertex set [n] such that every matching in G has size less than k. This complex (along with other associated cell complexes) is found to be homotopy…

Combinatorics · Mathematics 2007-05-23 Svante Linusson , John Shareshian , Volkmar Welker

In the Partially Embedded Planarity problem, we are given a graph $G$ together with a topological drawing of a subgraph $H$ of $G$. The task is to decide whether the drawing can be extended to a drawing of the whole graph such that no two…

Computational Geometry · Computer Science 2024-10-18 Simon D. Fink , Ignaz Rutter , Sandhya T. P

In many singular metric spaces, the regularity of a shortest-length curve is unknown. Algebraic varieties, or more generally sets defined by finitely many polynomial or real analytic equalities or inequalities, all locally partition into…

Differential Geometry · Mathematics 2023-01-30 Chengcheng Yang

The embedding is an essential step when calculating on the D-Wave machine. In this work we show the hardness of the embedding problem for both types of existing hardware, represented by the Chimera and the Pegasus graphs, containing…

Quantum Physics · Physics 2024-07-24 Elisabeth Lobe , Annette Lutz

Conjunctive query (CQ) evaluation is NP-complete, but becomes tractable for fragments of bounded hypertreewidth. Approximating a hard CQ by a query from such a fragment can thus allow for an efficient approximate evaluation. While…

Databases · Computer Science 2019-04-02 Pablo Barceló , Miguel Romero , Thomas Zeume

We study conditions under which a finite simplicial complex $K$ can be mapped to $\mathbb R^d$ without higher-multiplicity intersections. An almost $r$-embedding is a map $f: K\to \mathbb R^d$ such that the images of any $r$ pairwise…

Geometric Topology · Mathematics 2022-04-12 S. Avvakumov , I. Mabillard , A. Skopenkov , U. Wagner

Grothendieck proved that any finite epimorphism of noetherian schemes factors into a finite sequence of effective epimorphisms. We define the complexity of a flat groupoid $R\rightrightarrows X$ with finite stabilizer to be the length of…

Algebraic Geometry · Mathematics 2018-05-08 Matthieu Romagny , David Rydh , Gabriel Zalamansky

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

The Geometric Bin Packing (GBP) problem is a generalization of Bin Packing where the input is a set of $d$-dimensional rectangles, and the goal is to pack them into unit $d$-dimensional cubes efficiently. It is NP-Hard to obtain a PTAS for…

Data Structures and Algorithms · Computer Science 2025-02-11 Arka Ray , Sai Sandeep

We investigate the complexity of explicit construction problems, where the goal is to produce a particular object of size $n$ possessing some pseudorandom property in time polynomial in $n$. We give overwhelming evidence that $\bf{APEPP}$,…

Computational Complexity · Computer Science 2022-02-14 Oliver Korten

We close three open problems in the separation complexity of valid inequalities for the knapsack polytope. Specifically, we establish that the separation problems for extended cover inequalities, (1,k)-configuration inequalities, and weight…

Optimization and Control · Mathematics 2023-01-03 Alberto Del Pia , Jeff Linderoth , Haoran Zhu

We complete the complexity classification by degree of minimizing a polynomial over the integer points in a polyhedron in $\mathbb{R}^2$. Previous work shows that optimizing a quadratic polynomial over the integer points in a polyhedral…

Optimization and Control · Mathematics 2015-05-07 Alberto Del Pia , Robert Hildebrand , Robert Weismantel , Kevin Zemmer

We propose an algorithm which for any recursive group $G$, given by its effectively enumerable generators and recursively enumerable relations, outputs an explicit embedding of $G$ into a finitely presented group directly written by its…

Group Theory · Mathematics 2026-01-22 V. H. Mikaelian

Let G be a finite undirected graph. A vertex dominates itself and all its neighbors in G. A vertex set D is an efficient dominating set (e.d. for short) of G if every vertex of G is dominated by exactly one vertex of D. The Efficient…

Discrete Mathematics · Computer Science 2013-04-24 Andreas Brandstädt , Martin Milanic , Ragnar Nevries

We study a basic algorithmic problem in algebraic geometry, which we call NNL, of constructing a normalizing map as per Noether's Normalization Lemma. For general explicit varieties, as formally defined in this paper, we give a randomized…

Computational Complexity · Computer Science 2016-05-27 Ketan D. Mulmuley

We prove that the existence of totally real immersions of manifolds is a closed property under cut-and-paste constructions along submanifolds including connected sums. We study the existence of totally real embeddings for simply connected…

Complex Variables · Mathematics 2018-05-29 Marko Slapar , Rafael Torres

The question of whether the complexity class P is equal to the complexity class NP has been a seemingly intractable problem for over 4 decades. It has been clear that if an algorithm existed that would solve the problems in the NP class in…

Computational Complexity · Computer Science 2015-06-04 Jason W. Steinmetz

In the point set embeddability problem, we are given a plane graph $G$ with $n$ vertices and a point set $S$ with $n$ points. Now the goal is to answer the question whether there exists a straight-line drawing of $G$ such that each vertex…

Computational Geometry · Computer Science 2020-05-13 Tanaeem M. Moosa , M. Sohel Rahman

We construct a simply connected $2-$complex $C$ embeddable in $3-$space such that for any embedding of $C$ in $\mathbb S^3$, any edge contraction forms a minor of the $2-$complex not embeddable in $3-$space. We achieve this by proving that…

Combinatorics · Mathematics 2020-03-03 Johannes Carmesin , Lyuben Lichev