Cipollas algoritması - Cipollas algorithm - Wikipedia

İçinde hesaplamalı sayı teorisi, Cipolla'nın algoritması çözmek için bir tekniktir uyum şeklinde

${ displaystyle x ^ {2} eşdeğeri n { pmod {p}},}$

nerede ${ displaystyle x, n in mathbf {F} _ {p}}$, yani n karesi x, ve nerede ${ displaystyle p}$ bir garip önemli. Buraya ${ displaystyle mathbf {F} _ {p}}$ sonlu anlamına gelir alan ile ${ displaystyle p}$ elementler; ${ displaystyle {0,1, noktalar, p-1 }}$. algoritma Adını almıştır Michele Cipolla, bir İtalyan matematikçi 1907'de kim keşfetti.

Asal modüllerden ayrı olarak, Cipolla'nın algoritması aynı zamanda karekök modülo asal güçlerini alabilir.^[1]

Algoritma

Girişler:

• ${ displaystyle p}$, garip bir asal
• ${ displaystyle n in mathbf {F} _ {p}}$bir kare olan.

Çıktılar:

• ${ displaystyle x in mathbf {F} _ {p}}$, doyurucu ${ displaystyle x ^ {2} = n.}$

Adım 1, bir ${ displaystyle a in mathbf {F} _ {p}}$ öyle ki ${ displaystyle a ^ {2} -n}$ kare değil. Böyle bir şey bulmak için bilinen bir algoritma yoktur. ${ displaystyle a}$hariç Deneme ve hata yöntem. Basitçe bir ${ displaystyle a}$ ve hesaplayarak Legendre sembolü ${ displaystyle (a ^ {2} -n | p)}$ biri görebilir mi ${ displaystyle a}$ koşulu karşılar. Rastgele olma şansı ${ displaystyle a}$ tatmin edecek ${ displaystyle (p-1) / 2p}$. İle ${ displaystyle p}$ bu yeterince büyük ${ displaystyle 1/2}$.^[2] Bu nedenle, uygun bir test bulmadan önce beklenen deneme sayısı ${ displaystyle a}$ yaklaşık 2.

Adım 2 hesaplamaktır x hesaplayarak ${ displaystyle x = sol (a + { sqrt {a ^ {2} -n}} sağ) ^ {(p + 1) / 2}}$ alan içinde ${ displaystyle mathbf {F} _ {p ^ {2}} = mathbf {F} _ {p} ({ sqrt {a ^ {2} -n}})}$. Bu x tatmin edici olacak ${ displaystyle x ^ {2} = n.}$

Eğer ${ displaystyle x ^ {2} = n}$, sonra ${ displaystyle (-x) ^ {2} = n}$ ayrıca tutar. Dan beri p garip, ${ displaystyle x neq -x}$. Yani ne zaman bir çözüm olursa x her zaman ikinci bir çözüm bulunur, -x.

Misal

(Not: İkinci adımdan önceki tüm öğeler, ${ displaystyle mathbf {F} _ {13}}$ ve ikinci adımdaki tüm öğeler, ${ displaystyle mathbf {F} _ {13 ^ {2}}}$).

Hepsini bul x öyle ki ${ displaystyle x ^ {2} = 10.}$

Algoritmayı uygulamadan önce kontrol edilmelidir. ${ displaystyle 10}$ gerçekten de bir kare ${ displaystyle mathbf {F} _ {13}}$. Bu nedenle, Legendre sembolü ${ displaystyle (10 | 13)}$ 1'e eşit olmalıdır. Bu, kullanılarak hesaplanabilir. Euler'in kriteri; ${ displaystyle (10 | 13) eşdeğeri 10 ^ {6} eşdeğeri 1 { bmod {1}} 3.}$ Bu, 10'un bir kare olduğunu ve dolayısıyla algoritmanın uygulanabileceğini doğrular.

• 1. Adım: Bir a öyle ki ${ displaystyle a ^ {2} -n}$ kare değil. Belirtildiği gibi, bu deneme yanılma yoluyla yapılmalıdır. Seç ${ displaystyle a = 2}$. Sonra ${ displaystyle a ^ {2} -n}$ 7 olur. Legendre sembolü ${ displaystyle (7 | 13)}$ -1 olmalıdır. Yine bu, Euler'in kriteri kullanılarak hesaplanabilir. ${ displaystyle 7 ^ {6} = 343 ^ {2} equiv 5 ^ {2} equiv 25 equiv -1 { bmod {1}} 3.}$ Yani ${ displaystyle a = 2}$ için uygun bir seçimdir a.
• 2. Adım: Hesaplama ${ displaystyle x = sol (a + { sqrt {a ^ {2} -n}} sağ) ^ {(p + 1) / 2} = sol (2 + { sqrt {-6}} sağ) ^ {7}.}$

${ displaystyle left (2 + { sqrt {-6}} sağ) ^ {2} = 4 + 4 { sqrt {-6}} - 6 = -2 + 4 { sqrt {-6}} .}$

${ displaystyle sol (2 + { sqrt {-6}} sağ) ^ {4} = sol (-2 + 4 { sqrt {-6}} sağ) ^ {2} = - 1- 3 { sqrt {-6}}.}$

${ displaystyle sol (2 + { sqrt {-6}} sağ) ^ {6} = sol (-2 + 4 { sqrt {-6}} sağ) sol (-1-3 { sqrt {-6}} sağ) = 9 + 2 { sqrt {-6}}.}$

${ displaystyle sol (2 + { sqrt {-6}} sağ) ^ {7} = sol (9 + 2 { sqrt {-6}} sağ) sol (2 + { sqrt { -6}} sağ) = 6.}$

Yani ${ displaystyle x = 6}$ bir çözüm olduğu kadar ${ displaystyle x = -6 { bmod {1}} 3 = (- 6 + 13) { bmod {1}} 3 = 7.}$ Aslında, ${ displaystyle 6 ^ {2} = 36 { bmod {1}} 3 = 10}$ ve ${ displaystyle 7 ^ {2} = 49 { bmod {1}} 3 = 10.}$

Kanıt

İspatın ilk kısmı bunu doğrulamaktır. ${ displaystyle mathbf {F} _ {p ^ {2}} = mathbf {F} _ {p} ({ sqrt {a ^ {2} -n}}) = {x + y { sqrt {a ^ {2} -n}}: x, y in mathbf {F} _ {p} }}$ gerçekten bir alandır. Gösterim basitliği uğruna, ${ displaystyle omega}$ olarak tanımlanır ${ displaystyle { sqrt {a ^ {2} -n}}}$. Elbette, ${ displaystyle a ^ {2} -n}$ ikinci dereceden bir kalıntı değildir, bu nedenle yoktur kare kök içinde ${ displaystyle mathbf {F} _ {p}}$. Bu ${ displaystyle omega}$ kabaca karmaşık sayıya benzer olarak görülebilir ben Alan aritmetiği oldukça açıktır. İlave olarak tanımlanır

${ displaystyle sol (x_ {1} + y_ {1} omega sağ) + sol (x_ {2} + y_ {2} omega sağ) = sol (x_ {1} + x_ {2 } sağ) + left (y_ {1} + y_ {2} sağ) omega}$.

Çarpma işlemi ayrıca her zamanki gibi tanımlanır. Bunu akılda tutarak ${ displaystyle omega ^ {2} = a ^ {2} -n}$, o olur

${ displaystyle sol (x_ {1} + y_ {1} omega sağ) sol (x_ {2} + y_ {2} omega sağ) = x_ {1} x_ {2} + x_ {1 } y_ {2} omega + y_ {1} x_ {2} omega + y_ {1} y_ {2} omega ^ {2} = left (x_ {1} x_ {2} + y_ {1} y_ {2} left (a ^ {2} -n sağ) sağ) + left (x_ {1} y_ {2} + y_ {1} x_ {2} sağ) omega}$.

Şimdi alan özelliklerinin kontrol edilmesi gerekiyor. Toplama ve çarpma altındaki kapanmanın özellikleri, birliktelik, değişme ve DAĞILMA kolayca görülebilir. Bunun nedeni, bu durumda alanın ${ displaystyle mathbf {F} _ {p ^ {2}}}$ alanına biraz benziyor Karışık sayılar (ile ${ displaystyle omega}$ analogu olmak ben).
Katkı maddesi Kimlik dır-dir ${ displaystyle 0}$veya daha resmi olarak ${ displaystyle 0 + 0 omega}$: İzin Vermek ${ displaystyle alpha in mathbf {F} _ {p ^ {2}}}$, sonra

${ displaystyle alpha + 0 = (x + y omega) + (0 + 0 omega) = (x + 0) + (y + 0) omega = x + y omega = alpha}$.

Çarpımsal kimlik ${ displaystyle 1}$veya daha resmi olarak ${ displaystyle 1 + 0 omega}$:

${ displaystyle alpha cdot 1 = (x + y omega) (1 + 0 omega) = sol (x cdot 1 + 0 cdot y sol (a ^ {2} -n sağ) sağ) + (x cdot 0 + 1 cdot y) omega = x + y omega = alpha}$.

Geriye kalan tek şey ${ displaystyle mathbf {F} _ {p ^ {2}}}$ alan olmak, eklemeli ve çarpanların varlığıdır ters. Katkı maddesinin tersinin ${ displaystyle x + y omega}$ dır-dir ${ displaystyle -x-y omega}$, bir unsuru olan ${ displaystyle mathbf {F} _ {p ^ {2}}}$, Çünkü ${ displaystyle -x, -y in mathbf {F} _ {p}}$. Aslında, bunlar toplamsal ters öğelerdir. x ve y. Sıfır olmayan her elemanın ${ displaystyle alpha}$ çarpımsal tersi vardır, yazın ${ displaystyle alpha = x_ {1} + y_ {1} omega}$ ve ${ displaystyle alpha ^ {- 1} = x_ {2} + y_ {2} omega}$. Diğer bir deyişle,

${ displaystyle (x_ {1} + y_ {1} omega) (x_ {2} + y_ {2} omega) = sol (x_ {1} x_ {2} + y_ {1} y_ {2} left (a ^ {2} -n sağ) sağ) + left (x_ {1} y_ {2} + y_ {1} x_ {2} sağ) omega = 1}$.

Yani iki eşitlik ${ displaystyle x_ {1} x_ {2} + y_ {1} y_ {2} (a ^ {2} -n) = 1}$ ve ${ displaystyle x_ {1} y_ {2} + y_ {1} x_ {2} = 0}$ tutmalıdır. Ayrıntıları çalışmak için ifadeler verir ${ displaystyle x_ {2}}$ ve ${ displaystyle y_ {2}}$, yani

${ displaystyle x_ {2} = - y_ {1} ^ {- 1} x_ {1} sol (y_ {1} sol (a ^ {2} -n sağ) -x_ {1} ^ {2 } y_ {1} ^ {- 1} sağ) ^ {- 1}}$,

${ displaystyle y_ {2} = sol (y_ {1} sol (a ^ {2} -n sağ) -x_ {1} ^ {2} y_ {1} ^ {- 1} sağ) ^ {-1}}$.

İfadelerinde gösterilen ters elemanlar ${ displaystyle x_ {2}}$ ve ${ displaystyle y_ {2}}$ var çünkü bunların hepsi ${ displaystyle mathbf {F} _ {p}}$. Bu, ispatın ilk bölümünü tamamlar ve şunu gösterir: ${ displaystyle mathbf {F} _ {p ^ {2}}}$ bir alandır.

İspatın ikinci ve orta kısmı, her unsur için ${ displaystyle x + y omega in mathbf {F} _ {p ^ {2}} :( x + y omega) ^ {p} = x-y omega}$.Tanım olarak, ${ displaystyle omega ^ {2} = a ^ {2} -n}$ kare değil ${ displaystyle mathbf {F} _ {p}}$. Euler'in kriteri şöyle diyor:

${ displaystyle omega ^ {p-1} = sol ( omega ^ {2} sağ) ^ { frac {p-1} {2}} = - 1}$.

Böylece ${ displaystyle omega ^ {p} = - omega}$. Bu, birlikte Fermat'ın küçük teoremi (ki bunu söylüyor ${ displaystyle x ^ {p} = x}$ hepsi için ${ displaystyle x in mathbf {F} _ {p}}$) ve alanlarındaki bilgi karakteristik p denklem ${ displaystyle sol (a + b sağ) ^ {p} = a ^ {p} + b ^ {p}}$ tutar, bazen adı verilen bir ilişki Birinci sınıf rüyası, istenen sonucu gösterir

${ displaystyle (x + y omega) ^ {p} = x ^ {p} + y ^ {p} omega ^ {p} = x-y omega}$.

İspatın üçüncü ve son kısmı, eğer ${ displaystyle x_ {0} = sol (a + omega sağ) ^ { frac {p + 1} {2}} in mathbf {F} _ {p ^ {2}}}$, sonra ${ displaystyle x_ {0} ^ {2} = n in mathbf {F} _ {p}}$.
Hesaplama

${ displaystyle x_ {0} ^ {2} = sol (a + omega sağ) ^ {p + 1} = (a + omega) (a + omega) ^ {p} = (a + omega) (a - omega) = a ^ {2} - omega ^ {2} = a ^ {2} - left (a ^ {2} -n sağ) = n}$.

Bu hesaplamanın gerçekleştiğine dikkat edin ${ displaystyle mathbf {F} _ {p ^ {2}}}$yani bu ${ displaystyle x_ {0} in mathbf {F} _ {p ^ {2}}}$. Fakat Lagrange teoremi, sıfır olmayan bir polinom derece n en fazla n herhangi bir alandaki kökler Kve bilgi ${ displaystyle x ^ {2} -n}$ 2 kökü vardır ${ displaystyle mathbf {F} _ {p}}$, bu kökler içindeki tüm kökler olmalıdır ${ displaystyle mathbf {F} _ {p ^ {2}}}$. Sadece gösterildi ${ displaystyle x_ {0}}$ ve ${ displaystyle -x_ {0}}$ kökleri ${ displaystyle x ^ {2} -n}$ içinde ${ displaystyle mathbf {F} _ {p ^ {2}}}$yani öyle olmalı ${ displaystyle x_ {0}, - x_ {0} in mathbf {F} _ {p}}$.^[3]

Hız

Uygun bulduktan sonra aalgoritma için gerekli işlem sayısı ${ displaystyle 4a + 2k-4}$ çarpımlar, ${ displaystyle 4m-2}$ toplamlar, nerede m sayısı rakamlar içinde ikili gösterim nın-nin p ve k bu gösterimde bulunanların sayısıdır. Bulmak a Deneme yanılma yoluyla, Legendre sembolünün beklenen hesaplama sayısı 2'dir. Ancak kişi ilk denemede şanslı olabilir ve 2'den fazla denemeye ihtiyaç duyulabilir. Alan içerisinde ${ displaystyle mathbf {F} _ {p ^ {2}}}$aşağıdaki iki eşitlik geçerlidir

${ displaystyle (x + y omega) ^ {2} = sol (x ^ {2} + y ^ {2} omega ^ {2} sağ) + sol ( sol (x + y sağ ) ^ {2} -x ^ {2} -y ^ {2} sağ) omega,}$

nerede ${ displaystyle omega ^ {2} = a ^ {2} -n}$ önceden bilinmektedir. Bu hesaplamanın 4 çarpma ve 4 toplama ihtiyacı vardır.

${ Displaystyle sol (x + y omega sağ) ^ {2} sol (a + omega sağ) = sol (reklam ^ {2} -b sol (x + d sağ) sağ) + left (d ^ {2} -by sağa) omega,}$

nerede ${ displaystyle d = (x + ya)}$ ve ${ displaystyle b = ny}$. Bu işlemin 6 çarpma ve 4 toplama ihtiyacı vardır.

Varsayalım ki ${ displaystyle p eşdeğeri 1 { pmod {4}},}$ (durumda ${ displaystyle p eşdeğeri 3 { pmod {4}}}$doğrudan hesaplama ${ displaystyle x eşdeğeri pm n ^ { frac {p + 1} {4}}}$ çok daha hızlıdır) ikili ifadesi ${ displaystyle (p + 1) / 2}$ vardır ${ displaystyle m-1}$ rakamlar k olanlardır. Yani hesaplamak için ${ displaystyle (p + 1) / 2}$ gücü ${ displaystyle sol (a + omega sağ)}$ilk formülün kullanılması gerekir ${ displaystyle n-k-1}$ kez ve ikinci ${ displaystyle k-1}$ zamanlar.

Bunun için Cipolla'nın algoritması, Tonelli – Shanks algoritması ancak ve ancak ${ displaystyle S (S-1)> 8 milyon + 20}$, ile ${ displaystyle 2 ^ {S}}$ bölen 2'nin maksimum gücü olmak ${ displaystyle p-1}$.^[4]

Prime güç modülleri

Dickson'ın "History Of Numbers" a göre, Cipolla'nın aşağıdaki formülü asalın karekök modulo güçlerini bulacaktır:^[5][6]

${ displaystyle 2 ^ {- 1} q ^ {t} ((k + { sqrt {k ^ {2} -q}}) ^ {s} + (k - { sqrt {k ^ {2} -q }}) ^ {s}) { bmod {p ^ { lambda}}}}$

nerede ${ displaystyle t = (p ^ { lambda} -2p ^ { lambda -1} +1) / 2}$ ve ${ displaystyle s = p ^ { lambda -1} (p + 1) / 2}$

nerede ${ displaystyle q = 10}$, ${ displaystyle k = 2}$ bu makalenin örneğinde olduğu gibi

Wiki makalesindeki örneği ele alırsak, yukarıdaki bu formülün gerçekten de karekök modülo asal güçler aldığını görebiliriz.

Gibi

${ displaystyle { sqrt {10}} { bmod {13 ^ {3}}} eşdeğeri 1046}$

Şimdi çöz ${ displaystyle 2 ^ {- 1} q ^ {t}}$ üzerinden:

${ displaystyle 2 ^ {- 1} 10 ^ {(13 ^ {3} -2 cdot 13 ^ {2} +1) / 2} { bmod {13 ^ {3}}} eşdeğeri 1086}$

Şimdi oluştur ${ displaystyle (2 + { sqrt {2 ^ {2} -10}}) ^ {13 ^ {2} cdot 7} { bmod {13 ^ {3}}}}$ ve ${ displaystyle (2 - { sqrt {2 ^ {2} -10}}) ^ {13 ^ {2} cdot 7} { bmod {13 ^ {3}}}}$(Görmek İşte Yukarıdaki hesaplamayı gösteren mathematica kodu için, burada karmaşık modüler aritmetiğe yakın bir şey olduğunu hatırlayarak)

Gibi:

${ displaystyle (2 + { sqrt {2 ^ {2} -10}}) ^ {13 ^ {2} cdot 7} { bmod {13 ^ {3}}} eşdeğeri 1540}$ ve ${ displaystyle (2 - { sqrt {2 ^ {2} -10}}) ^ {13 ^ {2} cdot 7} { bmod {13 ^ {3}}} eşdeğeri 1540}$

ve son denklem:

${ displaystyle 1086 (1540 + 1540) { bmod {13 ^ {3}}} eşdeğeri 1046}$ cevap hangisi.

Referanslar

Kaynaklar

• E. Bach, J.O. Şallit Algoritmik Sayı Teorisi: Etkili algoritmalar MIT Press, (1996)
• Leonard Eugene Dickson Sayılar Teorisinin Tarihi Cilt 1 p218 ^[1]