{"id":3256,"date":"2022-08-20T01:12:56","date_gmt":"2022-08-19T16:12:56","guid":{"rendered":"https:\/\/k.foolslab.net\/dailyreport\/?p=3256"},"modified":"2022-08-20T10:06:58","modified_gmt":"2022-08-20T01:06:58","slug":"2022-8-19","status":"publish","type":"post","link":"https:\/\/k.foolslab.net\/dailyreport\/2022-8-19\/","title":{"rendered":"2022\/8\/19(\u91d1)"},"content":{"rendered":"\n<p>\u4eca\u65e5\u89e3\u3044\u305f\u7af6\u30d7\u30ed\u306e\u554f\u984c\u3002<\/p>\n\n\n\n<p>ABC146-F: \u671f\u5f85\u5024DP\u3002\u3044\u3044\u611f\u3058\u306b\u81ea\u529b\u3067\u8a70\u3081\u3066\u89e3\u3051\u305f\u3002Sugoroku 3\u3068EDPC-J\u3082\u7d4c\u9a13\u3057\u305f\u306e\u3067\u3001\u3082\u3046\u3061\u3087\u3044\u5834\u6570\u3092\u3053\u306a\u305b\u3070\u624b\u65e9\u304f\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308a\u305d\u3046\u3002<\/p>\n\n\n\n<p>$p_i=(\u30de\u30b9i\u304b\u3089\u30de\u30b9N\u3078\u5230\u9054\u3059\u308b\u307e\u3067\u306e\u624b\u6570\u306e\u671f\u5f85\u5024)$\u3068\u5b9a\u7fa9\u3059\u308b\u3002$p_k=0\\ (k\\geq N)$\u3067\u3042\u308a\u3001\u6c42\u3081\u308b\u7b54\u3048\u306f$p_0$\u306b\u306a\u308b\u3002<\/p>\n\n\n\n<p>\u632f\u51fa\u3057\u306b\u623b\u308b\u30de\u30b9\u3067\u306a\u3044\u306a\u3089\u3070$p_i=\\sum_{k=i+1}^{i+m}(1+p_k)\/M$\u304c\u6210\u308a\u7acb\u3064\u3002$p_i$\u306f$p_j\\ (i&lt;j)$\u306e\u307f\u3092\u7528\u3044\u3066\u6c42\u3081\u3089\u308c\u308b\u3053\u3068\u306b\u306a\u308b\u306e\u3067\u5f8c\u308d\u304b\u3089\u6c42\u3081\u3066\u3044\u304f\u3053\u3068\u304c\u51fa\u6765\u308b\u3002<\/p>\n\n\n\n<p>\u554f\u984c\u306f\u632f\u51fa\u3057\u306b\u623b\u308b\u30de\u30b9\u306e\u6271\u3044\u3060\u304c\u3053\u308c\u306f$p_k=p_0$\u3068\u3059\u308b\u3002\u305d\u3046\u3059\u308b\u3068\u5f53\u7136\u30eb\u30fc\u30d7\u304c\u751f\u3058\u308b\u306e\u3067\u3001\u3053\u308c\u306f\u6c17\u5408\u3067\u4f55\u3068\u304b\u3059\u308b\u3002\u5177\u4f53\u7684\u306b\u306f\u3001\u5404$p_i$\u3092\u8a08\u7b97\u3057\u3066\u3044\u304f\u306b\u3042\u305f\u3063\u3066\u5358\u306a\u308b\u6570\u5024\u3092\u7ba1\u7406\u3059\u308b\u306e\u3067\u306f\u306a\u304f$p_i=c_i+b_i p_0$\u3068\u3044\u3046\u4e00\u6b21\u5f0f\u306e\u5f62\u3067\u7ba1\u7406\u3059\u308b\u3002\u3053\u306e\u5f62\u3067\u8a08\u7b97\u3057\u3066\u3044\u304f\u3053\u3068\u306b\u3088\u3063\u3066\u6700\u7d42\u7684\u306b$p_0=c_0 + b_0 p_0$\u3068\u3044\u3046\u5f62\u306b\u306a\u308a\u3001$p_0=c_0\/(1-b_0)$\u3068\u3057\u3066\u7b54\u3048\u304c\u6c42\u307e\u308b\u3002<\/p>\n\n\n\n<p>\u3053\u308c$K\\leq 10$\u3067\u3042\u308b\u610f\u7fa9\u304c\u3088\u304f\u5206\u304b\u3089\u3093\u304b\u3063\u305f\u306a\u2026\u9069\u5207\u306b\u7d2f\u7a4d\u548c\u3092\u7528\u3044\u3066\u9ad8\u901f\u5316\u3059\u308c\u3070$O(N)$\u306b\u306a\u3063\u3066K\u306b\u306f\u4f9d\u3089\u306a\u3044\u3068\u601d\u3046\u3093\u3060\u304c\u3002<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<p>\u81ea\u4f5c\u30b3\u30e1\u30f3\u30c8\u30b7\u30b9\u30c6\u30e0\u304c\u3060\u3044\u3076\u826f\u304f\u306a\u3063\u3066\u304d\u305f\u3002<\/p>\n\n\n\n<figure class=\"wp-block-video\"><video controls src=\"https:\/\/k.foolslab.net\/dailyreport\/__wp_d\/wp-content\/uploads\/sites\/3\/2022\/08\/AGDRec.mp4\"><\/video><\/figure>\n\n\n\n<ul class=\"wp-block-list\"><li>\u8fd4\u4fe1\u306e\u4ef6\u6570\u3092\u8868\u793a<\/li><li>\u8fd4\u4fe1\u306e\u6570\u304c0\u306a\u3089\u3070\u300c\u8fd4\u4fe1\u4e00\u89a7\u300d\u306e\u30dc\u30bf\u30f3\u306f\u8868\u793a\u3057\u306a\u3044\u3088\u3046\u306b\u5909\u66f4<\/li><li>\u7279\u5b9a\u306e\u30b3\u30e1\u30f3\u30c8\u306b\u5bfe\u3059\u308b\u8fd4\u4fe1\u3067\u306a\u3044\u306e\u306a\u3089\u3070\u300c\u6587\u8108\u3092\u8aad\u3080\u300d\u306e\u30dc\u30bf\u30f3\u306f\u8868\u793a\u3057\u306a\u3044\u3088\u3046\u306b\u5909\u66f4<\/li><li><span style=\"color: initial;\">\u8fd4\u4fe1\u5148\u306e\u30b3\u30e1\u30f3\u30c8\u3078\u79fb\u52d5\u3067\u304d\u308b\u3088\u3046\u306b\u3057\u305f<\/span><\/li><li>\u65b0\u3057\u3044\u30b3\u30e1\u30f3\u30c8\u3092\u4e0b\u306b\u8868\u793a\u3059\u308b\u3088\u3046\u306b\u5909\u66f4\u3001Twitter\u5f0f\u3092\u3084\u3081\u305f<\/li><li>Atcoder\u30e9\u30a4\u30af\u306a\u4e8c\u5206\u63a2\u7d22\u53ef\u80fd\u306a\u30da\u30b8\u30cd\u30fc\u30b7\u30e7\u30f3<\/li><\/ul>\n\n\n\n<p>\u8fd4\u4fe1\u306e\u4ef6\u6570\u306e\u8868\u793a\u5468\u308a\u306e\u5b9f\u88c5\u306e\u305f\u3081\u306bSQL\u3092\u304c\u3063\u3064\u308a\u52c9\u5f37\u3059\u308b\u3053\u3068\u306b\u306a\u3063\u305f\u3002\u4eca\u307e\u3067\u53d6\u5f97\u30af\u30a8\u30ea\u3068\u8a00\u3048\u3070SELECT\u3001WHERE\u3001OFFSET\u3001ORDER BY\u304f\u3089\u3044\u3057\u304b\u5206\u304b\u3063\u3066\u3044\u306a\u304b\u3063\u305f\u306e\u3060\u304c\u3001\u30c6\u30fc\u30d6\u30eb\u7d50\u5408\u3068\u3044\u3046\u3082\u306e\u3092\u52c9\u5f37\u3057\u305f\u3002\u4eca\u307e\u3067\u305d\u3046\u3044\u3046\u3082\u306e\u304c\u3042\u308b\u3053\u3068\u81ea\u4f53\u77e5\u3089\u306a\u304b\u3063\u305f\u3002\u3055\u3089\u306bWITH\/DISTINCT\/GROUP BY\/\u30b5\u30d6\u30af\u30a8\u30ea\u3068\u3044\u3063\u305f\u77e5\u8b58\u3092\u65b0\u305f\u306b\u4ed5\u5165\u308c\u305f\u3002SQL\u306e\u4e16\u754c\u304c\u3060\u3044\u3076\u5e83\u304c\u3063\u305f\u6c17\u5206\u3060\u3002\u3053\u3093\u306a\u8907\u96d1\u306a\u77e5\u8b58\u3092\u99c6\u4f7f\u3057\u3066\u66f8\u3044\u305f\u30af\u30a8\u30ea\u306f\u91cd\u3044\u3093\u3058\u3083\u306a\u3044\u304b\u307f\u305f\u3044\u306a\u61f8\u5ff5\u3082\u3042\u308b\u304c\u3002<\/p>\n\n\n\n<p>\u3055\u3057\u3082\u306ediesel\u3082\u3055\u3059\u304c\u306b\u305d\u3093\u306a\u8907\u96d1\u306a\u30af\u30a8\u30ea\u306e\u69cb\u7bc9\u306b\u306f\u5bfe\u5fdc\u3057\u3066\u3044\u306a\u3044\u306e\u3067\u3001\u7d50\u5c40\u751fSQL\u3092\u30bd\u30fc\u30b9\u30b3\u30fc\u30c9\u306b\u66f8\u304f\u3053\u3068\u306b\u306a\u3063\u305f\u3002sql_query\u30de\u30af\u30ed\u3092\u7528\u3044\u3066\u3084\u3063\u3066\u3044\u304f\u306e\u3060\u304c\u3001\u3053\u308c\u3092\u4f7f\u3063\u305f\u30af\u30a8\u30ea\u3092\u9001\u3063\u3066load()\u3059\u308b\u969b\u306f\u30e2\u30c7\u30eb\u306bQueryable\u3067\u306f\u306a\u304fQueryableByName\u30c8\u30ec\u30a4\u30c8\u3092\u5b9f\u88c5\u3057\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u3089\u3057\u3044\u3002\u60c5\u5831\u304c\u5c11\u306a\u3059\u304e\u3066\u53c2\u3063\u305f\u3002<\/p>\n\n\n\n<p>i64\u306fBigInt\u3001i32\u306fInteger\u3068\u5bfe\u5fdc\u3055\u305b\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u307f\u305f\u3044\u306a\u30eb\u30fc\u30eb\u306b\u3082\u304b\u306a\u308a\u30cf\u30de\u3063\u305f\u3002\u3042\u3093\u307e\u308a\u6697\u9ed9\u7684\u306a\u5909\u63db\u3092\u671f\u5f85\u3057\u3066\u306f\u3044\u3051\u306a\u3044\u3002\u81ea\u5206\u306f\u305d\u306e\u8fba\u306e\u611f\u899a\u306f\u6301\u3063\u3066\u3044\u308b\u3082\u306e\u3068\u9ad8\u3092\u304f\u304f\u3063\u3066\u3044\u305f\u306e\u3060\u304c\u3001\u3069\u3046\u3084\u3089i32\u2192BigInt\u306e\u3088\u3046\u306a\u30a2\u30c3\u30d7\u30ad\u30e3\u30b9\u30c8\u3059\u3089\u3082\u3042\u307e\u308a\u671f\u5f85\u3057\u306a\u3044\u65b9\u304c\u826f\u3044\u3089\u3057\u3044\u3002\u3053\u308c\u306b\u306f\u304b\u306a\u308a\u9762\u98df\u3089\u3063\u3066\u82e6\u3057\u3081\u3089\u308c\u3066\u3057\u307e\u3063\u305f\u3002<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>sql_query\u306e\u30d7\u30ec\u30fc\u30b9\u30db\u30eb\u30c0\u3092\u4f7f\u3046\u305f\u3081\u306b<code>bind::&lt;BigInt, i32&gt;<\/code>\u3068\u3057\u305f\u3089\u30a8\u30e9\u30fc\u304c\u51fa\u305f\u3002<\/li><li>\u30e2\u30c7\u30eb\u306b\u8ffd\u52a0\u306e\u30ab\u30e9\u30e0\u3092\u5b9a\u7fa9\u3059\u308b\u969b\u3001<code>#[sql_type = \"Integer\"] pub count_replies: i64<\/code>\u3068\u3057\u305f\u3089\u30a8\u30e9\u30fc\u304c\u51fa\u305f\u3002<\/li><\/ul>\n\n\n\n<p>load()\u3092\u547c\u3076\u6bb5\u306b\u306a\u3063\u3066\u8b0e\u306e\u30a8\u30e9\u30fc\u304c\u51fa\u308b\u3053\u3068\u306b\u306a\u308b\u306e\u3067\u3001\u3069\u3053\u3092\u89e3\u6c7a\u3059\u308c\u3070\u3044\u3044\u306e\u304b\u3082\u5206\u304b\u308a\u3065\u3089\u3044\u3002C++\u306e\u30c6\u30f3\u30d7\u30ec\u30fc\u30c8\u306e\u30a8\u30e9\u30fc\u3092\u5f77\u5f7f\u3068\u3055\u305b\u308b\u3002Rust\u306f\u30b3\u30f3\u30d1\u30a4\u30eb\u30a8\u30e9\u30fc\u304c\u89aa\u5207\u306a\u306e\u304c\u58f2\u308a\u306a\u3093\u3058\u3083\u306a\u304b\u3063\u305f\u306e\u304b\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u4eca\u65e5\u89e3\u3044\u305f\u7af6\u30d7\u30ed\u306e\u554f\u984c\u3002 ABC146-F: \u671f\u5f85\u5024DP\u3002\u3044\u3044\u611f\u3058\u306b\u81ea\u529b\u3067\u8a70\u3081\u3066\u89e3\u3051\u305f\u3002Sugoroku 3\u3068EDPC-J\u3082\u7d4c\u9a13\u3057\u305f\u306e\u3067\u3001\u3082\u3046\u3061\u3087\u3044\u5834\u6570\u3092\u3053\u306a\u305b\u3070\u624b\u65e9\u304f\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308a\u305d\u3046\u3002 $p_i=(\u30de\u30b9i\u304b\u3089\u30de\u30b9N &hellip; <\/p>\n<div><a href=\"https:\/\/k.foolslab.net\/dailyreport\/2022-8-19\/\" class=\"more\">Read more &raquo;<span class=\"screen-reader-text\"> &#8220;2022\/8\/19(\u91d1)&#8221;<\/span><\/a><\/div>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-3256","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/k.foolslab.net\/dailyreport\/wp-json\/wp\/v2\/posts\/3256","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/k.foolslab.net\/dailyreport\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/k.foolslab.net\/dailyreport\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/k.foolslab.net\/dailyreport\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/k.foolslab.net\/dailyreport\/wp-json\/wp\/v2\/comments?post=3256"}],"version-history":[{"count":7,"href":"https:\/\/k.foolslab.net\/dailyreport\/wp-json\/wp\/v2\/posts\/3256\/revisions"}],"predecessor-version":[{"id":3264,"href":"https:\/\/k.foolslab.net\/dailyreport\/wp-json\/wp\/v2\/posts\/3256\/revisions\/3264"}],"wp:attachment":[{"href":"https:\/\/k.foolslab.net\/dailyreport\/wp-json\/wp\/v2\/media?parent=3256"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/k.foolslab.net\/dailyreport\/wp-json\/wp\/v2\/categories?post=3256"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/k.foolslab.net\/dailyreport\/wp-json\/wp\/v2\/tags?post=3256"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}