{"type":"rich","version":"1.0","blog_url":"https://info.atcoder.jp/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Finfo.atcoder.jp%2Fentry%2Falgorithm_lectures%2Flinearly_recurrent_sequence_reconstruction_mod\" title=\"\u7dda\u5f62\u6f38\u5316\u5f0f\u306e\u5fa9\u5143\uff08mod m\uff09 - AtCoderInfo\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","categories":["\u591a\u9805\u5f0f\u30fb\u5f62\u5f0f\u7684\u3079\u304d\u7d1a\u6570","\u7dda\u5f62\u4ee3\u6570","\u7dda\u5f62\u6f38\u5316\u7684\u6570\u5217","C-recursive","Berlekamp\u2013Massey \u306e\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0","Reeds\u2013Sloane \u306e\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0"],"description":"1. \u6982\u8981 \u672c\u8b1b\u5ea7\u3067\u306f\uff0c\u6b63\u6574\u6570 $\\boldsymbol{m}$ \u3092\u6cd5\u3068\u3059\u308b\u7dda\u5f62\u6f38\u5316\u5f0f\u306e\u5fa9\u5143\u554f\u984c\u3092\u6271\u3044\u307e\u3059\uff0e \u7dda\u5f62\u6f38\u5316\u5f0f\u306e\u5fa9\u5143 \u3067\u306f\uff0c\u6570\u5217\u304b\u3089\u5b9a\u6570\u4fc2\u6570\u7dda\u5f62\u6f38\u5316\u5f0f\u3092\u5fa9\u5143\u3059\u308b\u554f\u984c\u3092\uff0c\u4fc2\u6570\u74b0\u304c\u4f53\u3067\u3042\u308b\u5834\u5408\u306b\u89e3\u8aac\u3057\u307e\u3057\u305f\uff0e\u305d\u306e\u5834\u5408\u306e\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306e\u4ee3\u8868\u304c Berlekamp\u2013Massey \u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u3067\u3059\uff0eBerlekamp\u2013Massey \u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306f\uff0c\u5165\u529b\u5217\u3092\u5148\u982d\u304b\u3089\u9806\u306b\u51e6\u7406\u3057\uff0c\u5404\u6642\u70b9\u3067\u6570\u5217\u304c\u6e80\u305f\u3059\u6700\u5c0f\u4f4d\u6570\u306e\u6f38\u5316\u5f0f\u3092\u66f4\u65b0\u3057\u3066\u3044\u304f\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u3067\u3059\uff0e \u4e00\u65b9\u3067\uff0c\u7af6\u6280\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3067\u3082\u3057\u3070\u3057\u3070 $\\mathbb Z/m\\mathbb Z$ \u3092\u4fc2\u6570\u74b0\u3068\u3057\u3066\u6570\u5217\u3092\u6271\u3044\u307e\u3059\uff0e$m$ \u304c\u7d20\u6570\u3067\u3042\u308c\u3070\u3053\u308c\u306f\u4f53\u3067\u3059\u304c\uff0c\u2026","published":"2026-06-26 10:51:45","blog_title":"AtCoderInfo","author_url":"https://blog.hatena.ne.jp/atcoder/","provider_name":"Hatena Blog","author_name":"atcoder","height":"190","width":"100%","provider_url":"https://hatena.blog","url":"https://info.atcoder.jp/entry/algorithm_lectures/linearly_recurrent_sequence_reconstruction_mod","image_url":"https://cdn-ak.f.st-hatena.com/images/fotolife/a/atcoder/20260626/20260626105145.png","title":"\u7dda\u5f62\u6f38\u5316\u5f0f\u306e\u5fa9\u5143\uff08mod m\uff09"}