{"id":14367,"date":"2023-05-21T16:07:01","date_gmt":"2023-05-21T07:07:01","guid":{"rendered":"https:\/\/zelkova-tree.net\/WordPress\/?p=14367"},"modified":"2023-05-21T16:12:39","modified_gmt":"2023-05-21T07:12:39","slug":"psifunction%e3%81%a7%e4%b8%80%e3%81%a4%e7%96%91%e5%95%8f%e3%81%8c%e6%8c%81%e3%81%a1%e4%b8%8a%e3%81%8c%e3%81%a3%e3%81%a6%e3%81%84%e3%82%8b","status":"publish","type":"post","link":"https:\/\/zelkova-tree.net\/WordPress\/2023\/05\/21\/psifunction%e3%81%a7%e4%b8%80%e3%81%a4%e7%96%91%e5%95%8f%e3%81%8c%e6%8c%81%e3%81%a1%e4%b8%8a%e3%81%8c%e3%81%a3%e3%81%a6%e3%81%84%e3%82%8b\/","title":{"rendered":"PsiFunction\u3067\u4e00\u3064\u7591\u554f\u304c\u6301\u3061\u4e0a\u304c\u3063\u3066\u3044\u308b"},"content":{"rendered":"<p><font face=\"\u30e1\u30a4\u30ea\u30aa\"><\/p>\n<p>\u3055\u3066\uff0c\u304b\u306a\u308a\u6574\u3063\u3066\u306f\u6765\u3066\u3044\u308b\u306e\u3060\u304c\uff0cPsiFunction\u3067\u4e00\u3064\u7591\u554f\u304c\u6301\u3061\u4e0a\u304c\u3063\u3066\u3044\u308b\uff0e\u300c\uff4e\u30fb\uff4b\u304c\u7d20\u306f\uff0c\u2460(n, k)=1\uff0c\u2461drop=0, \u2462\u03c8=period\u3068\u540c\u5024\u3068\u3044\u3046\u3053\u3068\u306b\u306a\u308b\u300d\u3068\u3044\u3046\u70b9\u3060\uff0e\u03c8\u304c\u5024\u3092\u6301\u3064\u3068\u304d\uff0c\u3064\u307e\u308a\uff0c\u975e\u30bc\u30ed\u306e\u3068\u304d\u306f\u78ba\u304b\u306b\u03c8=period\u306b\u306a\u3063\u3066\u3044\u308b\u304c\uff0cdrop=0\u3067\u03c8\u304c\u5024\u3092\u6301\u305f\u306a\u3044\u5834\u5408\u304c\u3042\u308b\uff0e\u3053\u308c\u306f\uff0c\u5270\u4f59\u30de\u30c8\u30ea\u30c3\u30af\u30b9\u306e\u6700\u7d42\u7248\u3067\u3082\u540c\u3058\u52d5\u4f5c\u306b\u306a\u3063\u3066\u3044\u308b\u306e\u3067\uff0c\u6700\u8fd1\u306e\u4fee\u6b63\u306e\u5f71\u97ff\u3067\u306f\u306a\u3044\uff0e\u3064\u307e\u308a\uff0c\u2461drop=0\u3068\u2460(n, k)=1\u306f\u540c\u5024\u306f\u5143\u3005\u6210\u7acb\u3057\u3066\u3044\u306a\u304b\u3063\u305f\u3068\u898b\u308b\u3057\u304b\u306a\u3044\uff0edrop=0\u306e\u3068\u304d\u306b\u5f37\u5236\u7684\u306b\u03c8=period\u3068\u3059\u308b\u3053\u3068\u306f\u4e0d\u53ef\u80fd\u3067\u306f\u306a\u3044\u304c\uff0c\u679c\u305f\u3057\u3066\u305d\u308c\u304c\u6b63\u3057\u3044\u306e\u304b\u3069\u3046\u304b\u3068\u3044\u3046\u70b9\u306b\u95a2\u3057\u3066\u306f\u541f\u5473\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3060\u308d\u3046\uff0e<\/p>\n<p>TestMatrix\u306b\u306f\u3082\u3046\u4e00\u3064\u7591\u554f\u304c\u3042\u308b\uff0egcd1\u3068gcd2\u306b\u306f i \u306a\u3044\u3057 j \u3068K-1\u306eGCM\u304c\u5165\u3063\u3066\u3044\u308b\u304c\uff0c\u3053\u308c\u306f i, j \u3068K\u306eGCM\u3060\u3063\u305f\u306e\u3067\u306f\u306a\u3044\u3060\u308d\u3046\u304b\uff1f\u21d2\u66ab\u5b9a\u7684\u306b\u4fee\u6b63\u3092\u5165\u308c\u305f\uff0e\u3053\u3061\u3089\u306e\u65b9\u304c\u6b63\u3057\u3044\u3088\u3046\u306b\u601d\u308f\u308c\u308b\uff0e\u305f\u3060\u3057\uff0cK=10\u306e\u3068\u304d\uff0cN=1\u3067\u306fG=1\u3060\u304c\uff0c\u03c8\uff1d\uff10\u306b\u306a\u3063\u3066\u3044\u308b\uff0e\u3053\u308c\u306fG=1\u306e\u5834\u5408\u306f\u3064\u306d\u306b\u03c8\u304c\u7acb\u3064\u3068\u3044\u3046\u30eb\u30fc\u30eb\u3068\u6574\u5408\u3057\u306a\u3044\uff0e\u21d2\u3053\u308c\u3092\u4fee\u6b63\u3059\u308b\u3068\uff0c\u4eca\u5ea6\u306f\u300c\u6587\u5b57\u6570\uff58GCM\u306f k-1 \u306b\u4e00\u81f4\u3059\u308b\u300d\u3068\u6574\u5408\u3057\u306a\u304f\u306a\u308b\uff0e\u3053\u308c\u306fK=\uff13\uff0cJ=\uff12\u3067\u767a\u751f\u3059\u308b\uff0e\u3053\u308c\u306f\u7e26\u6570\u5217\u3067\u306e\u307f\u767a\u751f\u3059\u308b\u30a8\u30e9\u30fc\u306a\u306e\u3067\uff0cgcd2\u306f\u5f93\u6765\u4ed5\u69d8\u306b\u623b\u3057\u3066\u307f\u3088\u3046\uff0e\u21d2\u3053\u308c\u306f\u66ab\u5b9a\u4fee\u6b63\u3067\u3042\u308b\uff0e<\/p>\n<p><font color=\"#cccccc\">\u25b2<\/font>N-123\uff0cK=10\uff0cB=10\u2192\u30ea\u30bf\u30fc\u30f3\u3067\u78ba\u5b9a\u3057\u3066\uff0cValueChanged\u3067\u505c\u6b62\u3057\u305f\uff0eInvertFunc\u304cketa=5\u3092\u8fd4\u3057\uff0cB^keta \u22611 mod N\u3068\u306a\u3063\u305f\uff0e\u03c8=5\u304cketa\u3068\u4e00\u81f4\u3057\u306a\u3044\u305f\u3081\u3060\uff0e\u5f93\u6765\u306ePsiFunction\u306a\u3089\u554f\u984c\u306f\u751f\u3058\u306a\u3044\uff0e\u21d2\u5f93\u6765\u95a2\u6570\u3068\u73fe\u95a2\u6570\u3067\u306fModPow\u306e\u547c\u3073\u51fa\u3057\u304c\u9006\u306b\u306a\u3063\u3066\u3044\u308b\uff0e\u5f93\u6765\u65b9\u5f0f\u3067\u306fModPow(B, px, num)\u3068\u306a\u3063\u3066\u3044\u308b\u306e\u306b\u5bfe\u3057\uff0c\u65b0\u7248\u3067\u306fModPow(num, px, K)\u3067\u3042\u308a\uff0cnum\u21d4B\/K\u304c\u9006\u8ee2\u3057\u3066\u3044\u308b\uff0e\u5f93\u3063\u3066\uff0c\u95a2\u6570\u3092\u5171\u901a\u5316\u3059\u308b\u305f\u3081\u306b\u306f\uff0c\u547c\u3073\u51fa\u3057\u5074\u3067\u9006\u8ee2\u3055\u305b\u308b\u4ee5\u5916\u306a\u3044\uff0e\u5b9f\u969b\uff0cInvertFunc\u306f\u901a\u5e38\u306e\u3079\u304d\u4e57\u5270\u4f59\u306e\u9006\u64cd\u4f5c\u306b\u306a\u3063\u3066\u3044\u308b\u306e\u3060\u304b\u3089\uff0c\u305d\u3046\u306a\u3089\u306a\u3051\u308c\u3070\u304a\u304b\u3057\u3044\uff0e\u21d2\u5bfe\u51e6\u3057\u305f\uff0e<\/p>\n<p><font color=\"#cccccc\">\u25b2<\/font>N=12345678\u3067\u5236\u5fa1\u304c\u623b\u3063\u3066\u3053\u306a\u3044\uff0e\u21d2InvertFunc\u3067\u6642\u9593\u304c\u639b\u304b\u3063\u3066\u3044\u308b\uff0e\u305d\u308c\u306b\u3057\u3066\u3082\u3053\u3093\u306a\u306b\u9045\u304b\u3063\u305f\u308d\u3046\u304b\uff1f\u524d\u306b\u306f\u3082\u3063\u3068\u901f\u304b\u3063\u305f\u3088\u3046\u306a\u6c17\u3082\u3059\u308b\u2026 10\u6841\u304f\u3089\u3044\u307e\u3067\u306f\u305d\u3053\u305d\u3053\u8d70\u3063\u3066\u3044\u305f\u3088\u3046\u306a\u6c17\u3082\u3059\u308b\u306e\u3060\u304c\u2026 \u3053\u306eInvertFunc\u4e2d\u306e\u5468\u671f\u306e\u8a08\u7b97\u3068\u3079\u304d\u4e57\u5270\u4f59\u6570\u5217\u306e\u5468\u671f\u8a08\u7b97\u3092\u5171\u901a\u5316\u3059\u308b\u3068\u3044\u3046\u306e\u304c\u304a\u305d\u3089\u304f\u5f53\u9762\u306e\u76ee\u6a19\u306b\u306a\u308b\u306e\u3067\u306f\u306a\u3044\u304b\uff1f<\/p>\n<p>ValueChanged\u3067StrComp(str3.Substring(0, MAXDOUBLEKETA), str4.Substring(0, MAXDOUBLEKETA))\u306b\u3088\u308a\u505c\u6b62\u3057\u305f\uff0eMAXDOUBLEKETA\uff1d16\u3068\u3044\u3046\u5b9a\u6570\u3060\uff0e\u3053\u308c\u306f\u691c\u7b97\u306e\u305f\u3081\u306b\u500d\u7cbe\u5ea6\u6570\u3068\u6bd4\u8f03\u3057\u3066\u3044\u308b\u3068\u3053\u308d\u3060\uff0estr3\u306f\u30bc\u30ed\u306e\u4e26\u3073\uff0e&#8221;0.0000000000000\u20260000000000&#8243;\uff0cstr4\u306f&#8221;0.0000000810000066&#8243;\u306e\u3088\u3046\u306b\u6570\u5b57\u304c\u5165\u3063\u3066\u3044\u308b\uff0e\u3053\u306e\u6570\u5b57\u306f8.1000006642000542E-08\u3060\uff0eMakeDecimalString\u3067\u5931\u6557\u3057\u3066\u3044\u308b\u3088\u3046\u306a\u6c17\u3082\u3059\u308b\uff0e<\/p>\n<p>\u73fe\u884c\u3067\u306f\uff0cN^pow \u3067pow\u306b64\u4ee5\u4e0a\u306e\u5024\u304c\u8a2d\u5b9a\u3067\u304d\u306a\u3044\uff0e\u3053\u308c\u306f\u4e0d\u90fd\u5408\u3060\uff0eMaximum\u304c64\u306b\u8a2d\u5b9a\u3055\u308c\u3066\u3044\u305f\uff0e\u3068\u308a\u3042\u3048\u305a\uff0c65,535\u307e\u3067\u306f\u8a2d\u5b9a\u3067\u304d\u308b\u3088\u3046\u306b\u3057\u3066\u307f\u305f\uff0e<\/p>\n<p><\/p>\n<p><\/font><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u3055\u3066\uff0c\u304b\u306a\u308a\u6574\u3063\u3066\u306f\u6765\u3066\u3044\u308b\u306e\u3060\u304c\uff0cPsiFunction\u3067\u4e00\u3064\u7591\u554f\u304c\u6301\u3061\u4e0a\u304c\u3063\u3066\u3044\u308b\uff0e\u300c\uff4e\u30fb\uff4b\u304c\u7d20\u306f\uff0c\u2460(n, k)=1\uff0c\u2461drop=0, \u2462\u03c8=period\u3068\u540c\u5024\u3068\u3044\u3046\u3053\u3068\u306b\u306a\u308b\u300d\u3068\u3044\u3046\u70b9\u3060\uff0e\u03c8\u304c\u5024\u3092\u6301\u3064\u3068\u304d\uff0c\u3064\u307e\u308a &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/zelkova-tree.net\/WordPress\/2023\/05\/21\/psifunction%e3%81%a7%e4%b8%80%e3%81%a4%e7%96%91%e5%95%8f%e3%81%8c%e6%8c%81%e3%81%a1%e4%b8%8a%e3%81%8c%e3%81%a3%e3%81%a6%e3%81%84%e3%82%8b\/\" class=\"more-link\"><span class=\"screen-reader-text\">&#8220;PsiFunction\u3067\u4e00\u3064\u7591\u554f\u304c\u6301\u3061\u4e0a\u304c\u3063\u3066\u3044\u308b&#8221; \u306e<\/span>\u7d9a\u304d\u3092\u8aad\u3080<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"_links":{"self":[{"href":"https:\/\/zelkova-tree.net\/WordPress\/wp-json\/wp\/v2\/posts\/14367"}],"collection":[{"href":"https:\/\/zelkova-tree.net\/WordPress\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/zelkova-tree.net\/WordPress\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/zelkova-tree.net\/WordPress\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/zelkova-tree.net\/WordPress\/wp-json\/wp\/v2\/comments?post=14367"}],"version-history":[{"count":8,"href":"https:\/\/zelkova-tree.net\/WordPress\/wp-json\/wp\/v2\/posts\/14367\/revisions"}],"predecessor-version":[{"id":14375,"href":"https:\/\/zelkova-tree.net\/WordPress\/wp-json\/wp\/v2\/posts\/14367\/revisions\/14375"}],"wp:attachment":[{"href":"https:\/\/zelkova-tree.net\/WordPress\/wp-json\/wp\/v2\/media?parent=14367"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/zelkova-tree.net\/WordPress\/wp-json\/wp\/v2\/categories?post=14367"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/zelkova-tree.net\/WordPress\/wp-json\/wp\/v2\/tags?post=14367"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}