令
0
≤
q
<
β
/
2
,
−
β
/
2
≤
a
<
β
/
2
0\le q<\beta/2,-\beta/2\le a<\beta/2
0≤q<β/2,−β/2≤a<β/2。
求
r
≡
a
m
o
d
q
,
0
≤
r
≤
q
r \equiv a\mod q,0\le r\le q
r≡amodq,0≤r≤q
1.
v
←
⌊
2
⌊
l
o
g
(
q
)
⌋
−
1
β
q
⌉
2.
t
←
⌊
a
v
2
⌊
l
o
g
(
q
)
⌋
−
1
β
⌋
3.
t
←
t
q
m
o
d
β
4.
r
←
a
−
t
\begin{align} 1.&v \leftarrow \lfloor\frac{2^{\lfloor log(q)\rfloor-1}\beta}{q}\rceil\\ 2.&t \leftarrow \lfloor \frac{av}{2^{\lfloor log(q)\rfloor-1}\beta}\rfloor\\ 3.&t\leftarrow tq \mod \beta\\ 4.&r\leftarrow a-t \end{align}
1.2.3.4.v←⌊q2⌊log(q)⌋−1β⌉t←⌊2⌊log(q)⌋−1βav⌋t←tqmodβr←a−t
证明方法,放缩法,主要利用四舍五入和向一舍入来进行适量缩放。
令
k
=
⌊
l
o
g
(
q
)
⌋
−
1
k=\lfloor log(q)\rfloor -1
k=⌊log(q)⌋−1.
则有
r
≡
a
−
⌊
a
v
2
k
β
⌋
q
<
a
−
a
v
2
k
β
q
+
q
(
减数变大至多不超
1
个
q
,直接加上一个
q
)
≤
a
−
a
2
k
β
2
k
β
q
q
+
a
q
2
⋅
2
k
β
+
q
(
当
v
舍弃时,顶多舍掉
0.5
个
a
q
/
2
k
β
)
<
q
+
1
\begin{align} r &\equiv a - \lfloor \frac{av}{2^k\beta}\rfloor q\\ &<a-\frac{av}{2^k\beta}q+q(减数变大至多不超1个q,直接加上一个q)\\ &\le a -\frac{a2^k\beta}{2^k\beta q}q+\frac{aq}{2\cdot 2^k\beta}+q(当v舍弃时,顶多舍掉0.5个aq/2^k\beta)\\ &<q+1 \end{align}
r≡a−⌊2kβav⌋q<a−2kβavq+q(减数变大至多不超1个q,直接加上一个q)≤a−2kβqa2kβq+2⋅2kβaq+q(当v舍弃时,顶多舍掉0.5个aq/2kβ)<q+1
另有
r
≡
a
−
⌊
a
v
2
k
β
⌋
≥
a
−
a
v
2
k
β
q
≥
a
2
k
β
−
a
v
2
k
β
≥
a
2
k
β
−
a
⌊
2
k
β
/
q
⌋
q
2
k
β
>
−
1
\begin{align} r &\equiv a - \lfloor \frac{av}{2^k\beta}\rfloor\\ &\ge a-\frac{av}{2^k\beta}q\\ &\ge \frac{a2^k\beta-av}{2^k\beta}\\ &\ge \frac{a2^k\beta-a\lfloor2^k\beta/q\rfloor q}{2^k\beta}\\ &>-1 \end{align}
r≡a−⌊2kβav⌋≥a−2kβavq≥2kβa2kβ−av≥2kβa2kβ−a⌊2kβ/q⌋q>−1
barrete约减
于 2022-10-11 16:15:53 首次发布