Abstract
AbstractLet $$\textbf{p}$$
p
be a configuration of n points in $$\mathbb R^d$$
R
d
for some n and some $$d \ge 2$$
d
≥
2
. Each pair of points defines an edge, which has a Euclidean length in the configuration. A path is an ordered sequence of the points, and a loop is a path that begins and ends at the same point. A path or loop, as a sequence of edges, also has a Euclidean length, which is simply the sum of its Euclidean edge lengths. We are interested in reconstructing $$\textbf{p}$$
p
given a set of edge, path and loop lengths. In particular, we consider the unlabeled setting where the lengths are given simply as a set of real numbers, and are not labeled with the combinatorial data describing which paths or loops gave rise to these lengths. In this paper, we study the question of when $$\textbf{p}$$
p
will be uniquely determined (up to an unknowable Euclidean transform) from some given set of path or loop lengths through an exhaustive trilateration process. Such a process has already been used for the simpler problem of reconstruction using unlabeled edge lengths. This paper also provides a complete proof that this process must work in that edge-setting when given a sufficiently rich set of edge measurements and assuming that $$\textbf{p}$$
p
is generic.
Funder
National Science Foundation
Defense Advanced Research Projects Agency
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Discrete Mathematics and Combinatorics,Geometry and Topology,Theoretical Computer Science
Reference28 articles.
1. Anning, N.H., Erdös, P.: Integral distances. Bull. Amer. Math. Soc. 51, 598–600 (1945). ISSN 0002-9904. https://doi.org/10.1090/S0002-9904-1945-08407-9. http://dx.doi.org/10.1090/S0002-9904-1945-08407-9
2. Asimow, L., Roth, B.: The rigidity of graphs. Trans. Am. Math. Soc. 245, 279–289 (1978). ISSN 0002-9947. https://doi.org/10.2307/1998867
3. Basu, S., Pollack, R., Roy, M.-F.: Algorithms in real algebraic geometry, volume 10 of Algorithms and Computation in Mathematics. Springer, Berlin, 2nd Edn (2006). ISBN 978-3-540-33098-1; 3-540-33098-4
4. Blum, L., Shub, M., Smale, S.: On a theory of computation and complexity over the real numbers: $$NP$$-completeness, recursive functions and universal machines. Bull. Am. Math. Soc. (New Series) 21(1), 1–46 (1989)
5. Bochnak, J., Coste, M., Roy, M.-F.: Real Algebraic Geometry, vol. 36. Springer, New York (2013)