English
Related papers

Related papers: On the Complexity of the Orbit Problem

200 papers

A new linear mapping of the linear vector space (LVS) of the octonions is suggested as an approach to the co-ordinatization of space-time. This approach resolves some perplexing issues concerning the validity of certain pre-metric notions…

General Physics · Physics 2025-02-18 Richard Potton

The knapsack problem (KP) is a very famous NP-hard problem in combinatorial optimization. Also its generalization to multiple dimensions named d-dimensional knapsack problem (d-KP) and to multiple knapsacks named multiple knapsack problem…

Computational Complexity · Computer Science 2016-11-24 Carolin Albrecht , Frank Gurski , Jochen Rethmann , Eda Yilmaz

We study the computational complexity of fundamental problems over the $p$-adic numbers ${\mathbb Q}_p$ and the $p$-adic integers ${\mathbb Z}_p$. Gu\'epin, Haase, and Worrell proved that checking satisfiability of systems of linear…

Computational Complexity · Computer Science 2025-04-21 Arno Fehm , Manuel Bodirsky

We consider the decidability of state-to-state reachability in linear time-invariant control systems over continuous time. We analyse this problem with respect to the allowable control sets, which are assumed to be the image under a linear…

Optimization and Control · Mathematics 2021-03-16 Mohan Dantam , Amaury Pouly

In this paper we study the {\it bilinear assignment problem} (BAP) with size parameters $m$ and $n$, $m\leq n$. BAP is a generalization of the well known quadratic assignment problem and the three dimensional assignment problem and hence…

Optimization and Control · Mathematics 2016-05-25 Ante Ćustić , Vladyslav Sokol , Abraham P. Punnen , Binay Bhattacharya

We study the well-known Vertex Cover problem parameterized above and below tight bounds. We show that two of the parameterizations (both were suggested by Mahajan, Raman and Sikdar, J. Computer and System Sciences, 75(2):137--153, 2009) are…

Computational Complexity · Computer Science 2009-08-28 Gregory Gutin , Eun Jung Kim , Michael Lampis , Valia Mitsou

We study the complexity of identifying the integer feasibility of reverse convex sets. We present various settings where the complexity can be either NP-Hard or efficiently solvable when the dimension is fixed. Of particular interest is the…

Optimization and Control · Mathematics 2024-09-10 Robert Hildebrand , Adrian Göß

In 1991, Edelsbrunner and Tan gave an O(n^2) algorithm for finding the MinMax Length triangulation of a set of points in the plane. In this paper we resolve one of the open problems stated in that paper, by showing that finding a MaxMin…

Computational Geometry · Computer Science 2012-08-02 Sándor P. Fekete

The metric determines the casual structure of spacetime, but in quantum gravity it is also a dynamical field which must be quantized using this causal structure; this is the famous problem of time. A radical resolution of this paradox is…

High Energy Physics - Theory · Physics 2007-05-23 T. A. Larsson

The first integrals of the Kepler problem are used to compute preliminary orbits starting from two short observed arcs of a celestial body, which may be obtained either by optical or radar observations. We write polynomial equations for…

Mathematical Physics · Physics 2015-05-27 Giovanni F. Gronchi , Davide Farnocchia , Linda Dimare

We study the 2-dimensional vector packing problem, which is a generalization of the classical bin packing problem where each item has 2 distinct weights and each bin has 2 corresponding capacities. The goal is to group items into minimum…

Data Structures and Algorithms · Computer Science 2011-03-02 Ekow Otoo , Ali Pinar , Doron Rotem

We consider the following problem: Given a rational matrix $A \in \setQ^{m \times n}$ and a rational polyhedron $Q \subseteq\setR^{m+p}$, decide if for all vectors $b \in \setR^m$, for which there exists an integral $z \in \setZ^p$ such…

Optimization and Control · Mathematics 2008-01-29 Friedrich Eisenbrand , Gennady Shmonin

We consider two basic problems of algebraic topology, the extension problem and the computation of higher homotopy groups, from the point of view of computability and computational complexity. The extension problem is the following: Given…

Computational Geometry · Computer Science 2013-02-12 Martin Cadek , Marek Krcal , Jiri Matousek , Lukas Vokrinek , Uli Wagner

We prove that the problem of deciding whether a 2- or 3-dimensional simplicial complex embeds into $\mathbb{R}^3$ is NP-hard. Our construction also shows that deciding whether a 3-manifold with boundary tori admits an $\mathbb{S}^{3}$…

Geometric Topology · Mathematics 2018-08-23 Arnaud de Mesmay , Yo'av Rieck , Eric Sedgwick , Martin Tancer

We show that unless P=NP, there cannot be a polynomial-time algorithm that finds a point within Euclidean distance $c^n$ (for any constant $c \ge 0$) of a local minimizer of an $n$-variate quadratic function over a polytope. This result…

Optimization and Control · Mathematics 2023-09-15 Amir Ali Ahmadi , Jeffrey Zhang

Matrix (or operator) recovery from linear measurements is a well-studied problem. However, there are situations where only bilinear or quadratic measurements are available. A bilinear or quadratic problem can easily be transformed into a…

Signal Processing · Electrical Eng. & Systems 2020-02-14 Michalina Pacholska , Karen Adam , Adam Scholefield , Martin Vetterli

The $k$-CombDMR problem is that of determining whether an $n \times n$ distance matrix can be realised by $n$ vertices in some undirected graph with $n + k$ vertices. This problem has a simple solution in the case $k=0$. In this paper we…

Data Structures and Algorithms · Computer Science 2024-06-24 David L. Fairbairn , George B. Mertzios , Norbert Peyerimhoff

We study the problem of Nadler and Quinn from 1972, which asks whether, given an arc-like continuum $X$ and a point $x \in X$, there exists an embedding of $X$ in $\mathbb{R}^2$ for which $x$ is an accessible point. We develop the notion of…

General Topology · Mathematics 2023-11-27 Andrea Ammerlaan , Ana Anušić , Logan C. Hoehn

We consider reachability decision problems for linear dynamical systems: Given a linear map on $\mathbb{R}^d$ , together with source and target sets, determine whether there is a point in the source set whose orbit, obtained by repeatedly…

Logic in Computer Science · Computer Science 2025-08-15 Toghrul Karimov , Edon Kelmendi , Joël Ouaknine , James Worrell

Let G be a compact group acting in a real vector space V. We obtain a number of inequalities relating the L^infinity norm of a matrix element of the representation of G with its L^p norm for p<infinity. We apply our results to obtain…

Optimization and Control · Mathematics 2007-05-23 Alexander Barvinok