Hızlı cevap: Asla, pratik amaçlar için. Şu anda herhangi bir pratik kullanımda değil.
Öncelikle, "pratik" birleşiklik testini birincillik kanıtlarından ayıralım. İlki, hemen hemen tüm amaçlar için yeterince iyidir, ancak insanların yeterli olduğunu düşündüğü farklı test seviyeleri vardır. 2 ^ 64'ün altındaki sayılar için, deterministik bir cevap için en fazla 7 Miller-Rabin testi veya bir BPSW testi gerekir. Bu AKS'den çok daha hızlı olacak ve her durumda olduğu gibi doğru olacak. 2 ^ 64 ve üzeri rakamlar için BPSW iyi bir seçimdir, bazı ek rasgele-temelli Miller-Rabin testleri, çok az maliyet için ekstra güven ekler. Kanıtlama yöntemlerinin hemen hepsi, böyle bir testle başlayacaktır (ya da yapmalılar) çünkü ucuzdur ve sadece neredeyse kesinlikle asal olan sayılar üzerinde sıkı çalışmamız anlamına gelir.
Provalara geçiyorum. Her durumda, sonuçta elde edilen kanıt hiçbir varsayım gerektirmez, bu nedenle bunlar işlevsel olarak karşılaştırılabilir. APR-CL'nin "gotcha" si oldukça polinom değildir ve ECPP / fastECPP'nin "gotcha" si beklenenden daha uzun süren sayilarin var olabilecegidir.
Grafikte, iki açık kaynak AKS uygulaması görüyoruz - birincisi v6 gazetesinden, ikincisi Bernstein ve Voloch'tan gelen iyileştirmeler ve Bornemann'dan güzel bir r / s buluşması. Bunlar, polinom çarpımları için GMP'deki ikili segmentasyonu kullanırlar, bu nedenle oldukça verimlidirler ve bellek kullanımı, burada ele alınan boyutlar için sorun değildir. Bu log-log grafiğinde ~ 6.4 eğimiyle güzel düz çizgiler oluşturur, bu harikadır. Ancak, 1000 basamağa kadar ekstrapolasyon yapmak, yüz binlerce ila milyonlarca yıl arasında tahmin edilen zamanlarda, yani APR-CL ve ECPP için birkaç dakikada gelir. 2002 Bernstein gazetesinden yapılabilecek daha başka optimizasyonlar var, ancak bunun maddi olarak durumu değiştireceğini sanmıyorum (ancak bunun kanıtlanmamasına rağmen).
Sonunda AKS deneme bölümünü yener. BLS75 teoremi 5 (örn. N-1 kanıtı) yöntemi, n-1'in kısmi faktoringini gerektirir. Bu, küçük boyutlarda harika çalışır ve ayrıca şanslı olduğumuzda ve n-1'in faktörü kolay olduğunda, ancak sonunda büyük bir yarı üssü etkilemek zorunda kalarak takılıp kalırız. Daha verimli uygulamalar var, ancak ne olursa olsun 100 rakamı geçiyor. AKS'nin bu yöntemi geçeceğini görüyoruz. Bu yüzden soruyu 1975'te sorduysanız (ve o zamanlar AKS algoritması olsaydı), AKS'nin en pratik algoritma olduğu geçiş noktasını hesaplayabilirdik. Fakat 1980'lerin sonunda APR-CL ve diğer siklotomik yöntemler doğru bir karşılaştırmaydı ve 1990'ların ortalarında ECPP'yi dahil etmemiz gerekiyordu.
APR-CL ve ECPP yöntemlerinin her ikisi de açık kaynaklı uygulamalardır. Primo (ücretsiz ancak açık kaynaklı olmayan ECPP) daha büyük rakamlar için daha hızlı olacak ve daha güzel bir eğriye sahip olduğumdan eminim (henüz yeni bir kıyaslama yapmadım). APR-CL polinom değildir, ancak üs, "kesilen birinin sonsuzluğa gittiği, ancak bunu asla gözlemlemediği" şeklinde bir faktörüne sahiptir. Bu bize teoride, güneş yanmadan önce çizgilerin AKS'nin nerede biteceği hiçbir değeri geçmeyeceğine inanmamızı sağlar. ECPP bir Las Vegas algoritmasıdır, çünkü bir cevap aldığımızda% 100 doğrudur, varsayılmış (ECPP) veyalogloglognO(log5+ϵ(n))O(log4+ϵ(n))("fastECPP") süre, ancak daha uzun süren rakamlar olabilir. Bu nedenle beklentimiz, neredeyse tüm sayılar için standart AKS'nin ECPP'den her zaman daha yavaş olacağıdır (25k basamağa kadar olan sayılar için kesinlikle kendini göstermiştir).
AKS, onu pratik yapan keşfedilmeyi bekleyen daha fazla gelişmeye sahip olabilir. Bernstein'ın Quartic makalesinde AKS tabanlı randomize bir algoritması ve Morain'in fastECPP makalesi de deterministik olmayan diğer AKS tabanlı yöntemlere atıfta bulunuyor. Bu temel bir değişiklik, ancak AKS'nin bazı yeni araştırma alanlarını nasıl açtığını gösteriyor. Ancak neredeyse 10 yıl sonra, kimsenin bu metodu (veya hatta uygulamaları) kullandığını görmedim. O mı", giriş bölümünde yazar daha küçük yeni algoritma zamanı elliptic- bulmak için zaman sertifikalar mı? Benim şu anki izlenimim cevabın hayır olduğudur, fakat daha başka sonuçlar [...] cevabı değiştirebilir. "O(log4+ϵ(n))(lgn)4+o(1)(lgn)4+o(1)
Bu algoritmaların bazıları kolayca paralelleştirilebilir veya dağıtılabilir. AKS çok kolay (her birinin testi bağımsızdır). ECPP çok zor değil. APR-CL hakkında emin değilim.
ECPP ve BLS75 yöntemleri bağımsız ve hızlı bir şekilde doğrulanabilen sertifikalar üretir. Bu AKS ve APR-CL'ye göre çok büyük bir avantaj, sadece onu üreten uygulamaya ve bilgisayara güvenmemiz gerekiyor.