Integer Relation Among Integers: Difference between revisions

From Algorithm Wiki
Jump to navigation Jump to search
(Created page with "{{DISPLAYTITLE:Integer Relation Among Integers (Integer Relation)}} == Description == Given a vector $x \in \mathbb{Z}^n$, find an integer relation, i.e. a non-zero vector $m \in \mathbb{Z}^n$ such that $<x, m> = 0$ == Related Problems == Generalizations: Integer Relation Among Reals == Parameters == <pre>n: dimensionality of vectors</pre> == Table of Algorithms == {| class="wikitable sortable" style="text-align:center;" width="100%" ! Name !! Year !! Ti...")
 
No edit summary
 
(One intermediate revision by the same user not shown)
Line 10: Line 10:
== Parameters ==  
== Parameters ==  


<pre>n: dimensionality of vectors</pre>
$n$: dimensionality of vectors


== Table of Algorithms ==  
== Table of Algorithms ==  
Line 20: Line 20:
|-
|-


| [[HJLS algorithm ( Integer Relation)|HJLS algorithm]] || 1986 || $O(n^{3}(n+k)$) || $O(n^{2})$ -- but requires infinite precision with large n or else it becomes unstable || Exact || Deterministic || [https://epubs-siam-org.ezproxy.canberra.edu.au/doi/pdf/10.1137/0218059 Time]
| [[HJLS algorithm ( Integer Relation)|HJLS algorithm]] || 1986 || $O(n^{3}(n+k))$ || $O(n^{2})$ -- but requires infinite precision with large n or else it becomes unstable || Exact || Deterministic || [https://epubs-siam-org.ezproxy.canberra.edu.au/doi/pdf/10.1137/0218059 Time]
|-
|-
|}
|}

Latest revision as of 08:24, 10 April 2023

Description

Given a vector $x \in \mathbb{Z}^n$, find an integer relation, i.e. a non-zero vector $m \in \mathbb{Z}^n$ such that $<x, m> = 0$

Related Problems

Generalizations: Integer Relation Among Reals

Parameters

$n$: dimensionality of vectors

Table of Algorithms

Name Year Time Space Approximation Factor Model Reference
HJLS algorithm 1986 $O(n^{3}(n+k))$ $O(n^{2})$ -- but requires infinite precision with large n or else it becomes unstable Exact Deterministic Time