Square-root sum problem: Difference between revisions

Browse history interactively

← Previous edit Next edit →

Content deleted Content added

VisualWikitext

Inline

Revision as of 11:49, 1 January 2024

The square-root sum problem (SRS) is a computational problem from the field of numerical analysis.

Details

SRS is a decision problem. It is defined as follows:^[1]

Given n positive integers $a_{1},\ldots ,a_{n}$ and an integer k, decide whether $\sum _{i=1}^{n}{\sqrt {a_{i}}}\leq k$ .

An alternative definition is:

Given 2n positive integers $a_{1},\ldots ,a_{n}$ and $b_{1},\ldots ,b_{n}$ , decide whether $\sum _{i=1}^{n}{\sqrt {a_{i}}}\leq \sum _{i=1}^{n}{\sqrt {b_{i}}}$ .

SRS can be solved in polynomial time in the Real RAM model.^[2] However, its run-time complexity in the Turing machine model is open, as of 1997.^[1] The main difficulty is that, in order to solve the problem, the square-roots should be computed to a high accuracy, which may require a large number of bits.

Importance

SRS is important in computational geometry, as Euclidean distances are given by square-roots, and many geometric problems (e.g. Minimum spanning tree in geometry) require to compute sums of distances.

SRS also has a theoretic importance, as it is a simple special case of a semidefinite programming feasibility problem. Conisder the matrix $\left({\begin{matrix}1&x\\x&a\end{matrix}}\right)$ . This matrix is positive semidefinite iff $a-x^{2}\geq 0$ , iff $|x|\leq {\sqrt {a}}$ . Therefore, to solve SRS, we can construct a feasibility problem with n constraints of the form $\left({\begin{matrix}1&x_{i}\\x_{i}&a_{i}\end{matrix}}\right)\succeq 0$ , and additional linear constraints $x_{i}\geq 0,\sum _{i=1}^{n}x_{i}\geq k$ . The resulting SDP is feasible if and only if SRS is feasible. As the runtime complexity of SRS in the Turing machine model is open, the same is true for SDP feasibility (as of 1997).

References

^ ^a ^b Goemans, Michel X. (1997-10-01). "Semidefinite programming in combinatorial optimization". Mathematical Programming. 79 (1): 143–161. doi:10.1007/BF02614315. ISSN 1436-4646.
^ Tiwari, Prasoon (1992-12-01). "A problem that is easier to solve on the unit-cost algebraic RAM". Journal of Complexity. 8 (4): 393–397. doi:10.1016/0885-064X(92)90003-T. ISSN 0885-064X.

[:0-1] Goemans, Michel X. (1997-10-01). "Semidefinite programming in combinatorial optimization". Mathematical Programming. 79 (1): 143–161. doi:10.1007/BF02614315. ISSN 1436-4646.

[2] Tiwari, Prasoon (1992-12-01). "A problem that is easier to solve on the unit-cost algebraic RAM". Journal of Complexity. 8 (4): 393–397. doi:10.1016/0885-064X(92)90003-T. ISSN 0885-064X.

[1]

[2]

@@ Line 1: / Line 1: @@
-The '''square-root sum problem''' is a computational problem from the field of [[numerical analysis]].
+The '''square-root sum problem''' (SRS) is a computational problem from the field of [[numerical analysis]].
 == Details ==
-The square-root sum problem is a [[decision problem]]. It is defined as follows:<ref name=":0">{{Cite journal |last=Goemans |first=Michel X. |date=1997-10-01 |title=Semidefinite programming in combinatorial optimization |url=https://doi.org/10.1007/BF02614315 |journal=Mathematical Programming |language=en |volume=79 |issue=1 |pages=143–161 |doi=10.1007/BF02614315 |issn=1436-4646}}</ref><blockquote>Given ''n'' positive integers <math>a_1,\ldots,a_n</math> and an integer ''k'', decide whether <math>\sum_{i=1}^n \sqrt{a_i} \leq k</math>.</blockquote>An alternative definition is:<blockquote>Given 2''n'' positive integers <math>a_1,\ldots,a_n</math> and <math>b_1,\ldots,b_n</math>, decide whether <math>\sum_{i=1}^n \sqrt{a_i} \leq \sum_{i=1}^n \sqrt{b_i}</math>.</blockquote>The problem can be solved in polynomial time in the [[Real RAM]] model.<ref>{{Cite journal |last=Tiwari |first=Prasoon |date=1992-12-01 |title=A problem that is easier to solve on the unit-cost algebraic RAM |url=https://www.sciencedirect.com/science/article/pii/0885064X9290003T |journal=Journal of Complexity |volume=8 |issue=4 |pages=393–397 |doi=10.1016/0885-064X(92)90003-T |issn=0885-064X}}</ref> However, its run-time complexity in the Turing machine model is open, as of 1999.<ref name=":0" /> The main difficulty is that, in order to solve the problem, the square-roots should be computed to a high accuracy, which may require a large number of bits.
+SRS is a [[decision problem]]. It is defined as follows:<ref name=":0">{{Cite journal |last=Goemans |first=Michel X. |date=1997-10-01 |title=Semidefinite programming in combinatorial optimization |url=https://doi.org/10.1007/BF02614315 |journal=Mathematical Programming |language=en |volume=79 |issue=1 |pages=143–161 |doi=10.1007/BF02614315 |issn=1436-4646}}</ref><blockquote>Given ''n'' positive integers <math>a_1,\ldots,a_n</math> and an integer ''k'', decide whether <math>\sum_{i=1}^n \sqrt{a_i} \leq k</math>.</blockquote>An alternative definition is:<blockquote>Given 2''n'' positive integers <math>a_1,\ldots,a_n</math> and <math>b_1,\ldots,b_n</math>, decide whether <math>\sum_{i=1}^n \sqrt{a_i} \leq \sum_{i=1}^n \sqrt{b_i}</math>.</blockquote>SRS can be solved in polynomial time in the [[Real RAM]] model.<ref>{{Cite journal |last=Tiwari |first=Prasoon |date=1992-12-01 |title=A problem that is easier to solve on the unit-cost algebraic RAM |url=https://www.sciencedirect.com/science/article/pii/0885064X9290003T |journal=Journal of Complexity |volume=8 |issue=4 |pages=393–397 |doi=10.1016/0885-064X(92)90003-T |issn=0885-064X}}</ref> However, its run-time complexity in the Turing machine model is open, as of 1997.<ref name=":0" /> The main difficulty is that, in order to solve the problem, the square-roots should be computed to a high accuracy, which may require a large number of bits.
 == Importance ==
-The square-root sum problem is important in [[computational geometry]], as Euclidean distances are given by square-roots, and many geometric problems (e.g. [[Minimum spanning tree]] in geometry)  require to compute sums of distances.
+SRS is important in [[computational geometry]], as Euclidean distances are given by square-roots, and many geometric problems (e.g. [[Minimum spanning tree]] in geometry)  require to compute sums of distances.
+SRS also has a theoretic importance, as it is a simple special case of a [[semidefinite programming]] feasibility problem. Conisder the matrix <math>\left(
+\begin{matrix}
+& x
+\\
+x & a
+\end{matrix}
+\right)
+</math>. This matrix is [[positive semidefinite]] iff <math>a - x^2 \geq 0</math>, iff <math>|x|\leq \sqrt{a}</math>. Therefore, to solve SRS, we can construct a feasibility problem with ''n'' constraints of the form <math>\left(
+\begin{matrix}
+& x_i
+\\
+x_i & a_i
+\end{matrix}
+\right)  \succeq 0
+</math>, and additional linear constraints <math>x_i\geq 0, \sum_{i=1}^n x_i \geq k</math>. The resulting SDP is feasible if and only if SRS is feasible. As the runtime complexity of SRS in the Turing machine model is open, the same is true for SDP feasibility (as of 1997).
 == References ==