|
|
|
1 | (8) |
|
|
|
1 | (2) |
|
1.2 Setting up Mathematica |
|
|
3 | (1) |
|
|
|
3 | (3) |
|
1.3.1 Clock synchronization |
|
|
3 | (1) |
|
1.3.2 Sensor network localization |
|
|
4 | (1) |
|
|
|
4 | (1) |
|
|
|
5 | (1) |
|
1.3.5 What these problems have in common |
|
|
5 | (1) |
|
1.4 Solving the Clock Synchronization Problem |
|
|
6 | (1) |
|
|
|
7 | (2) |
|
2 The Distance Geometry Problem |
|
|
9 | (10) |
|
2.1 Computing all pairwise distances from points |
|
|
9 | (1) |
|
2.2 Computing points from all pairwise distances |
|
|
9 | (2) |
|
|
|
9 | (1) |
|
|
|
10 | (1) |
|
2.3 The fundamental problem of DG |
|
|
11 | (1) |
|
2.3.1 The input as a weighted graph |
|
|
11 | (1) |
|
2.3.2 Formalization of the DGP |
|
|
11 | (1) |
|
2.4 A quadratic system of equations |
|
|
12 | (4) |
|
2.4.1 The number of solutions |
|
|
13 | (1) |
|
2.4.2 Computational complexity of the DGP |
|
|
14 | (2) |
|
2.5 Direct solution methods |
|
|
16 | (2) |
|
2.5.1 A global optimization formulation |
|
|
16 | (2) |
|
|
|
18 | (1) |
|
3 Realizing complete graphs |
|
|
19 | (12) |
|
|
|
19 | (1) |
|
3.2 Realizing (K + 1)-cliques in RK-1 |
|
|
19 | (4) |
|
3.2.1 The trilateration system in RK-1 |
|
|
20 | (1) |
|
3.2.2 Solving the linear system |
|
|
21 | (1) |
|
3.2.3 Iterative realization of complete graphs |
|
|
21 | (2) |
|
3.3 Realizing (K+ l)-cliques in RK |
|
|
23 | (5) |
|
3.3.1 Basic and nonbasic columns |
|
|
23 | (1) |
|
3.3.2 Expressing basics as linear functions of nonbasics |
|
|
23 | (1) |
|
3.3.3 The K-lateration system in RK |
|
|
24 | (2) |
|
3.3.4 Differences between Rk and Rk-1 |
|
|
26 | (1) |
|
3.3.5 The realization algorithm |
|
|
27 | (1) |
|
3.3.6 The assumption on the rank of A |
|
|
27 | (1) |
|
|
|
28 | (3) |
|
|
|
31 | (12) |
|
4.1 The volume of simplices |
|
|
31 | (1) |
|
4.1.1 Length and area: k-volume for K ≥ 2 |
|
|
31 | (1) |
|
4.1.2 The Cayley-Menger determinant |
|
|
32 | (1) |
|
4.2 Realizing quasi-cliques |
|
|
32 | (1) |
|
4.2.1 Flat simplices and zero volume |
|
|
32 | (1) |
|
4.3 Realizing K-laterative graphs in RK |
|
|
33 | (3) |
|
4.3.1 Trilateration orders |
|
|
34 | (1) |
|
|
|
35 | (1) |
|
4.3.3 The number of solutions of the TDGP |
|
|
35 | (1) |
|
4.3.4 Sensor network localization |
|
|
36 | (1) |
|
4.4 Realizing (K - 1)-laterative graphs in RK |
|
|
36 | (5) |
|
4.4.1 The shape of protein backbones |
|
|
37 | (1) |
|
|
|
37 | (1) |
|
4.4.3 A Branch-and-Prune algorithm |
|
|
38 | (1) |
|
|
|
39 | (2) |
|
4.4.5 Finding all realizations |
|
|
41 | (1) |
|
4.4.6 Worst-case complexity |
|
|
41 | (1) |
|
4.4.7 Best-case complexity |
|
|
41 | (1) |
|
|
|
41 | (2) |
|
5 Molecular distance geometry problems |
|
|
43 | (14) |
|
5.1 Contiguous (K - 1)-lateration orders |
|
|
43 | (2) |
|
5.1.1 The generalized DMDGP |
|
|
43 | (1) |
|
5.1.2 Realizing KDMDGP graphs |
|
|
44 | (1) |
|
5.1.3 Feasibility of Next |
|
|
44 | (1) |
|
5.2 Partial reflection symmetry |
|
|
45 | (7) |
|
5.2.1 Isometry and congruence |
|
|
46 | (1) |
|
5.2.2 The discretization group |
|
|
47 | (2) |
|
|
|
49 | (2) |
|
5.2.4 A symmetry-aware BP |
|
|
51 | (1) |
|
5.2.5 Number of realizations of KDMDGP graphs |
|
|
52 | (1) |
|
5.3 Fixed-parameter tractability |
|
|
52 | (2) |
|
|
|
52 | (2) |
|
5.3.2 The BP seems polynomial on proteins |
|
|
54 | (1) |
|
|
|
54 | (3) |
|
|
|
57 | (10) |
|
6.1 Existence of trilateration orders |
|
|
57 | (4) |
|
|
|
57 | (3) |
|
6.1.2 A Fixed-Parameter Tractable algorithm |
|
|
60 | (1) |
|
6.2 Existence of contiguous trilateration orders |
|
|
61 | (3) |
|
|
|
62 | (1) |
|
6.2.2 A mathematical programming formulation |
|
|
63 | (1) |
|
|
|
64 | (3) |
|
7 Flexibility and rigidity |
|
|
67 | (14) |
|
7.1 Some preliminary notions |
|
|
67 | (1) |
|
7.2 Rigidity of frameworks |
|
|
68 | (1) |
|
|
|
69 | (6) |
|
7.3.1 The rank of the rigidity matrix |
|
|
69 | (1) |
|
7.3.2 Regular and singular realizations |
|
|
70 | (1) |
|
7.3.3 The nullity of the rigidity matrix: infinitesimal rigidity |
|
|
71 | (2) |
|
7.3.4 Asimow and Roth's theorems |
|
|
73 | (1) |
|
|
|
74 | (1) |
|
7.4 Graph rigidity on the line and in the plane |
|
|
75 | (4) |
|
7.4.1 Graph rigidity on a line |
|
|
76 | (1) |
|
|
|
76 | (1) |
|
|
|
76 | (2) |
|
|
|
78 | (1) |
|
|
|
79 | (2) |
|
8 Approximate realizations |
|
|
81 | (12) |
|
8.1 The weighted adjacency matrix |
|
|
81 | (1) |
|
|
|
81 | (1) |
|
8.3 Overall method structure |
|
|
82 | (1) |
|
8.4 Approximate Completion Methods |
|
|
82 | (1) |
|
8.4.1 Constant completion |
|
|
82 | (1) |
|
|
|
83 | (1) |
|
8.5 Approximate realization methods |
|
|
83 | (4) |
|
8.5.1 Classic Multidimensional Scaling |
|
|
83 | (4) |
|
8.5.2 Proximity adjustment |
|
|
87 | (1) |
|
8.6 Approximate projection methods |
|
|
87 | (3) |
|
8.6.1 Principal Components Analysis |
|
|
87 | (1) |
|
8.6.2 Gaussian random projections |
|
|
88 | (1) |
|
8.6.3 The Johnson--Lindenstrauss lemma |
|
|
88 | (2) |
|
|
|
90 | (1) |
|
8.8 Stochastic Proximity Embedding |
|
|
90 | (1) |
|
|
|
91 | (2) |
|
|
|
93 | (4) |
|
9.1 Modeling signal processing problems |
|
|
94 | (1) |
|
9.2 Theory of solution uniqueness |
|
|
95 | (1) |
|
9.3 Combinatorial methods |
|
|
95 | (1) |
|
9.4 Optimization-based solution methods |
|
|
95 | (1) |
|
9.5 Debitum Gratitudinis (DG) |
|
|
96 | (1) |
| Appendix: Mathematical notions |
|
97 | (20) |
| References |
|
117 | (4) |
| Index |
|
121 | |