{"categories":[],"provider_url":"https://hatena.blog","url":"https://oupo.hatenadiary.com/entry/2019/03/07/120044","blog_url":"https://oupo.hatenadiary.com/","published":"2019-03-07 12:00:44","blog_title":"oupo\u306e\u65e5\u8a18","provider_name":"Hatena Blog","author_url":"https://blog.hatena.ne.jp/oupo/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Foupo.hatenadiary.com%2Fentry%2F2019%2F03%2F07%2F120044\" title=\"\u7dda\u5f62\u5408\u540c\u6cd5\u3068p\u9032\u6574\u6570\u3068\u7e2e\u5c0f\u5199\u50cf - oupo\u306e\u65e5\u8a18\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","image_url":"https://chart.apis.google.com/chart?cht=tx&chl=p","type":"rich","title":"\u7dda\u5f62\u5408\u540c\u6cd5\u3068p\u9032\u6574\u6570\u3068\u7e2e\u5c0f\u5199\u50cf","version":"1.0","author_name":"oupo","width":"100%","height":"190","description":"\u3092\u7d20\u6570\uff0c\u3092\u6b63\u6574\u6570\uff0c\u3092\u6574\u6570\u3068\u3059\u308b\uff0e \u3092 $$f(x) = a x + b$$ \u3067\u5b9a\u3081\u308b\uff0e \u547d\u984c1 \u304c\u306e\u500d\u6570\u3067\u3042\u308b\u3068\u4eee\u5b9a\u3059\u308b\uff0e \u3053\u306e\u3068\u304d\u6b21\u304c\u6210\u7acb\u3059\u308b\uff0e \u306e\u4e0d\u52d5\u70b9\uff0c\u3059\u306a\u308f\u3061 $$f(x) = x$$ \u3092\u6e80\u305f\u3059\u304c\u5b58\u5728\u3059\u308b\uff0e \u306e\u4e0d\u52d5\u70b9\u306f\u4e00\u610f\u3067\u3042\u308b\uff0e \u4efb\u610f\u306e\u306b\u3064\u3044\u3066\u6b21\u3067\u5b9a\u7fa9\u3055\u308c\u308b\u6570\u5217: $$ x_n = f^n(x_0) $$ \u306f\u4e0d\u52d5\u70b9\u306b\u53ce\u675f\u3059\u308b\uff0e\uff08\u3053\u3053\u306b\u306f\u306e\u56de\u5408\u6210\uff09 \u8a3c\u660e\uff0e(1)\u3068(2): $$ f(x) = x \\iff (a-1)x \\equiv -b \\pmod{p^e} $$ \u3060\u304c\uff0c\u4eca\u304c\u306e\u500d\u6570\u306a\u306e\u3067\uff0c\u306f\u3068\u4e92\u3044\u306b\u7d20\uff0e\u3088\u3063\u3066\u3053\u306e\u4e00\u6b21\u5408\u540c\u65b9\u7a0b\u5f0f\u306b\u306f\u89e3\u304c\u4e00\u610f\u306b\u5b58\u5728\u3059\u308b\uff0e (3): \u6570\u5217\u306e\u4e00\u822c\u9805\u306f $$ \u2026"}