{"type":"rich","blog_url":"https://186.hatenablog.com/","title":" \u7d20\u6570\u5224\u5b9a","version":"1.0","height":"190","description":"2/9\u3092\u7d42\u3048\u305f\u3068\u3053\u308d. n\u304c341550071728321\u672a\u6e80\u306e\u3068\u304d\u307e\u3067\u306f\u7d20\u6570\u5224\u5b9a\u304cO(log^3 n)\u304b. Miller-Rabin\u30c6\u30b9\u30c8\u306f\u3084\u3063\u3071\u308a\u5049\u3044\u3093\u3060\u306a\u30fc. \u3068\u3053\u308d\u3067\u672c\u696d\u306e\u65b9\u3092scheme\u3067\u66f8\u304f\u3068\u3044\u3046\u66b4\u6319\u306f\u3069\u3046\u3060\u308d\u3046. LLL\u3068\u304b\u5b9f\u88c5\u3059\u3093\u306e. \u5927\u5909\u305d\u3046. ;Refs:http://www.ice.nuie.nagoya-u.ac.jp/~h003149b/lang/miller.html (define (decomposition-k&q n) ;n=q 2^k (let loop [(k 0) (q n)] (if (even? q) (loop (+ k 1) (/ q 2)) \u2026","blog_title":"186 @ hatenablog","published":"2008-02-22 01:33:55","author_url":"https://blog.hatena.ne.jp/smoking186/","width":"100%","provider_url":"https://hatena.blog","provider_name":"Hatena Blog","image_url":null,"url":"https://186.hatenablog.com/entry/20080222/1203611635","categories":["CS","Project Euler"],"author_name":"smoking186","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2F186.hatenablog.com%2Fentry%2F20080222%2F1203611635\" title=\" \u7d20\u6570\u5224\u5b9a - 186 @ hatenablog\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>"}