ערך מחפש מקורות
רובו של ערך זה אינו כולל מקורות או הערות שוליים, וככל הנראה, הקיימים אינם מספקים. אנא עזרו לשפר את אמינות הערך באמצעות הבאת מקורות לדברים ושילובם בגוף הערך בצורת קישורים חיצוניים והערות שוליים . אם אתם סבורים כי ניתן להסיר את התבנית, ניתן לציין זאת בדף השיחה .
במתמטיקה , ובפרט במדעי המחשב , בעיית הווקטור הקרוב ביותר היא בעיה NP-שלמה אשר משמשת בהצפנה וברדוקציה של בעיות.
שימוש מהותי של בעיה זו הוא בפרוטוקול ההצפנה GGH . בעיה זו היא בעיית הסריג המפורסמת ביותר.
בהינתן קבוצה של
n
{\displaystyle n}
וקטורים בלתי תלויים מעל
R
n
{\displaystyle \mathbb {R} ^{n}}
:
סריג (Lattice)
L
{\displaystyle L}
הנפרש על ידי
B
=
{
b
1
,
b
2
,
.
.
.
,
b
n
}
{\displaystyle B=\{\mathbf {b} _{1},\mathbf {b} _{2},...,\mathbf {b} _{n}\}}
הוא קבוצת כל הצירופים הליניאריים האפשריים של הווקטורים
b
i
{\displaystyle \mathbf {b} _{i}}
עם מקדמים שלמים , כלומר:
L
B
=
{
∑
i
=
0
n
k
i
b
i
:
k
i
∈
Z
∀
i
}
{\displaystyle {\mathcal {L}}_{B}={\Biggl \{}\sum _{i=0}^{n}k_{i}{\textbf {b}}_{i}:k_{i}\in \mathbb {Z} \;\;\forall i{\Biggr \}}}
, לעיתים נקרא לסריג זה הסריג שנוצר על ידי B
נגדיר בנוסף את הדטרמיננטה של הסריג להיות
D
e
t
(
L
B
)
=
|
d
e
t
(
B
)
|
{\displaystyle Det({\mathcal {L}}_{B})=|det(B)|}
כאשר det היא הדטרמיננטה של קבוצת הווקטורים B.
עבור סריג
L
{\displaystyle {\mathcal {L}}}
נגדיר את הסריג הדואלי , שנסמנו
L
∗
{\displaystyle {\mathcal {L}}^{*}}
, בתור האוסף הבא:
L
∗
=
{
x
∈
R
n
:
y
T
x
∈
Z
for all
y
∈
L
}
{\displaystyle {\mathcal {L}}^{*}={\Biggl \{}x\in \mathbb {R} ^{n}:y^{T}x\in \mathbb {Z} \;{\text{for all}}\;y\in {\mathcal {L}}{\Biggr \}}}
. טענה מרכזית היא להוכיח שאכן הסריג הדואלי הוא המרחב הדואלי של הסריג המקורי.