{"id":866,"date":"2021-03-13T23:40:23","date_gmt":"2021-03-13T14:40:23","guid":{"rendered":"https:\/\/k.foolslab.net\/dailyreport\/?p=866"},"modified":"2021-03-13T23:40:23","modified_gmt":"2021-03-13T14:40:23","slug":"2021-3-13%e5%9c%9f","status":"publish","type":"post","link":"https:\/\/k.foolslab.net\/dailyreport\/2021-3-13%e5%9c%9f\/","title":{"rendered":"2021\/3\/13(\u571f)"},"content":{"rendered":"\n

ABC187-F\u3092\u89e3\u8aacAC\u3057\u305f\u3002\u3053\u308c\u306f\u672c\u5f53\u306b\u672a\u77e5\u306e\u77e5\u8b58\u3060\u3063\u305f\u304b\u3089\u89e3\u8aacAC\u3057\u3066\u6b63\u89e3\u3060\u3063\u305f\u3002\u9752diff\u3060\u304b\u3089\u8003\u5bdf\u6b21\u7b2c\u3067\u81ea\u529bAC\u3067\u304d\u308b\u304b\u3068\u601d\u3063\u305f\u3051\u3069\u5206\u304b\u3089\u3093\u3082\u3093\u3060\u3002<\/p>\n\n\n\n

\u307e\u305a\u3001\u3042\u308b\u96c6\u5408\u306e\u90e8\u5206\u96c6\u5408\u306e\u90e8\u5206\u96c6\u5408\u306e\u7dcf\u548c\u304c<\/p>\n\n\n\n

$\\Sigma_{S\\subset V} 2^{|S|}=3^{|V|}$<\/p>\n\n\n\n

\u3068\u3044\u3046\u306e\u3092\u77e5\u3089\u306a\u304b\u3063\u305f\u3002\u90e8\u5206\u96c6\u5408\u306e\u90e8\u5206\u96c6\u5408\u3092\u306a\u3081\u308bDP\u81ea\u4f53\u306f\u601d\u3044\u3064\u3044\u305f\u304b\u3089\u300c$4^N N$\u3042\u308c\u3070\u9593\u9055\u3044\u306a\u304f\u89e3\u3051\u308b\u3001\u90e8\u5206\u96c6\u5408\u306e\u90e8\u5206\u96c6\u5408\u3060\u304b\u3089$4^N$\u3088\u308a\u306f\u591a\u5c11\u5c0f\u3055\u304f\u306a\u308a\u305d\u3046\u300d\u3068\u3044\u3046\u306e\u306f\u3061\u3089\u3063\u3068\u8003\u3048\u305f\u3051\u3069\u3001$3^N$\u306b\u306a\u3063\u3066\u9593\u306b\u5408\u3046\u306e\u306f\u4e00\u5207\u60f3\u50cf\u3057\u3066\u306a\u304b\u3063\u305f\u3002\u672a\u77e5\u306e\u77e5\u8b58\u3060\u304b\u3089\u4ed5\u65b9\u306a\u304b\u3063\u305f\u3068\u8a00\u3048\u3070\u4ed5\u65b9\u306a\u3044\u3051\u3069\u3001\u5b9f\u969b$4^N$\u3088\u308a\u3069\u306e\u7a0b\u5ea6\u5c0f\u3055\u304f\u306a\u308b\u306e\u304b\u8a08\u7b97\u3092\u8a66\u307f\u308b\u304f\u3089\u3044\u306f\u3057\u3066\u3088\u304b\u3063\u305f\u304b\u3082\u3002<\/p>\n\n\n\n

\u305d\u308c\u304b\u3089<\/p>\n\n\n\n

for(int i = 0; i < (1 << n); i++)
for(int j = i; j > 0; --j &= i)<\/code><\/p>\n\n\n\n

\u3068\u3044\u3046\u30eb\u30fc\u30d7\u3067$3^N$\u3092\u306a\u3081\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u306e\u3082\u77e5\u3089\u306a\u304b\u3063\u305f\u3002<\/p>\n\n\n\n

\u3053\u306e2\u884c\u76ee\u306e\u9762\u767d\u3044for\u3001\u8981\u3059\u308b\u306b2\u9032\u6570\u306e\u30d3\u30c3\u30c8\u5217\u3067\u8868\u73fe\u3055\u308c\u305f\u90e8\u5206\u96c6\u5408\u3092\u4f7f\u3063\u3066\u305d\u308c\u306e\u90e8\u5206\u96c6\u5408\u3092\u5168\u63a2\u7d22\u3067\u304d\u308b\u3068\u3044\u3046\u3053\u3068\u306a\u306e\u3067\u3001\u5fc5\u8981\u5206\u3060\u3051\u91cd\u306d\u308c\u3070\u4efb\u610f\u306ep\u9032\u6570\u306e\u5168\u63a2\u7d22\u304c$O(N p^N)$\u3067\u306a\u304f\u7121\u99c4\u306a\u304f$O(p^N)$\u3067\u51fa\u6765\u308b\u3093\u3058\u3083\u306a\u3044\u306e\u304b\uff1f\u4f8b\u3048\u3070\u3053\u3046\u3044\u3046\u30b3\u30fc\u30c9\u3092\u66f8\u3051\u3070$5^N$\u3092\u5168\u63a2\u7d22\u3067\u304d\u308b\u3002<\/p>\n\n\n\n

for(int i1 = 0; i1 < (1 << n); i1++)
for(int i2 = i1; i2 > 0; --i2 &= i1)
for(int i3 = i2; i3 > 0; --i3 &= i2)
for(int i4 = i3; i4 > 0; --i4 &= i3)<\/code><\/p>\n\n\n\n

\u3046\u304a\u304a\u3059\u3052\u3048\uff01\u3068\u601d\u3063\u305f\u306e\u3060\u304c\u3061\u3087\u3063\u3068\u6ce8\u610f\u70b9\u3068\u3057\u3066\u3001\u4e0a\u8a18\u306b\u304a\u3051\u308bi2,i3,i4\u304c0\u306b\u306a\u308b\u3088\u3046\u306a\u5834\u5408(\u3064\u307e\u308a\u7a7a\u96c6\u5408)\u306f\u30b9\u30eb\u30fc\u3055\u308c\u308b\u306e\u3067\u3001\u6b63\u78ba\u306b\u306f$5^N$\u3067\u306f\u306a\u3044\u3057\u30015\u9032\u6570\u306b\u306f\u5168\u304f\u306a\u3089\u306a\u3044\u3002\u305d\u308c\u3089\u3082\u63a2\u7d22\u3059\u308b\u306b\u306f\u3082\u3046\u4e00\u5de5\u592b\u304c\u5fc5\u8981\u305d\u3046\u3060\u3002\u3061\u3087\u3063\u3068\u8272\u3005\u8a66\u3057\u3066\u307f\u305f\u3051\u3069\u3042\u307e\u308a\u3044\u3044\u611f\u3058\u306e\u30b3\u30fc\u30c9\u306f\u66f8\u3051\u306a\u304b\u3063\u305f\u3002\u3046\u30fc\u30fc\u3093\u3002<\/p>\n\n\n\n

\u4eca\u56de\u306f\u5168\u304f\u77e5\u3089\u306a\u304b\u3063\u305f\u77e5\u8b58\u304c\u624b\u306b\u5165\u3063\u305f\u306e\u3067\u306a\u304b\u306a\u304b\u9762\u767d\u304b\u3063\u305f\uff01\u540d\u524d\u3001\u540d\u524d\u304c\u6b32\u3057\u3044\u3053\u308c\u2026\u8abf\u3079\u306b\u304f\u3044\u2026<\/p>\n\n\n\n

\n\n\n\n

ABC195\u306b\u51fa\u305f\u3002\u3044\u308d\u3044\u308d\u3060\u3081\u3060\u3063\u305f\u3002<\/p>\n\n\n\n

B\u306f\u3082\u3046\u3061\u3087\u3063\u3068\u51b7\u9759\u306b\u8003\u5bdf\u3067\u304d\u3066\u308c\u3070\u6df7\u4e71\u3057\u306a\u304b\u3063\u305f\u306f\u305a\u3002\u5168\u63a2\u7d22\u3057\u3061\u3083\u3048\u308b\u5236\u7d04\u306b\u6c17\u4ed8\u3044\u305f\u306e\u306b\u3069\u3046\u3057\u3066\u7121\u7406\u306b\u672a\u8a3c\u660eO(1)\u306b\u8d70\u3063\u305f\u3093\u3060\u304b\u3002<\/p>\n\n\n\n

E\u306f\u3069\u3046\u3059\u308c\u3070\u826f\u304b\u3063\u305f\u3093\u3060\u304b\u5206\u304b\u3089\u306a\u3044\u3002\u5143\u3005\u30b2\u30fc\u30e0\u554f\u984c\u306f\u82e6\u624b\u3060\u304c\u3001\u305d\u308c\u3067\u3082\u300c\u5f8c\u308d\u304b\u3089\u8003\u3048\u308b\u300d\u300cDP\u300d\u300cmod7\u3067\u305d\u308c\u305e\u308c\u306e\u4f59\u308a\u306e\u53ef\u80fd\u6027\u306b\u3064\u3044\u3066\u8003\u3048\u3066\u3044\u304f\u300d\u3042\u305f\u308a\u307e\u3067\u3061\u3083\u3093\u3068\u8003\u3048\u3066\u3044\u305f\u306e\u306b\u3001\u8a70\u3081\u306b\u5168\u304f\u624b\u304c\u4ed8\u304b\u306a\u304b\u3063\u305f\u3002\u89e3\u8aac\u3082\u8aad\u3081\u3070\u4e00\u77ac\u3067\u300c\u307e\u3042\u305d\u3046\u3060\u308d\u3046\u306d\u300d\u307f\u305f\u3044\u306b\u611f\u3058\u305f\u3093\u3060\u3051\u3069\u3001\u305d\u308c\u3067\u3082\u89e3\u6cd5\u304c\u66f8\u3051\u306a\u304b\u3063\u305f\u3002<\/p>\n\n\n\n

mod7\u306e0~6\u305d\u308c\u305e\u308c\u3078\u306e\u5230\u9054\u53ef\u80fd\u6027\u3092\u8003\u3048\u308b\u3001\u3068\u3044\u3063\u305f\u601d\u8003\u306e\u305b\u3044\u3067\u30010\u306e\u53ef\u80fd\u6027\u30fb1\u306e\u53ef\u80fd\u6027\u30fb2\u306e\u53ef\u80fd\u6027…\u3092\u5206\u3051\u3066\u601d\u8003\u3057\u3066\u3057\u307e\u3063\u305f\u306e\u304c\u826f\u304f\u306a\u304b\u3063\u305f\u306e\u304b\u3082\u3057\u308c\u306a\u3044\u3002\u89e3\u8aac\u3060\u30682\u6b21\u5143DP\u3067\u8a08\u7b97\u3059\u308b\u306e\u3067\u306f\u306a\u304f1\u6b21\u5143DP\u306b\u96c6\u5408\u3092\u4e57\u305b\u3066\u8a08\u7b97\u3057\u3066\u3044\u308b\u306e\u3067\u3001\u3072\u3068\u307e\u3068\u307e\u308a\u306e\u3082\u306e\u3068\u3057\u3066\u8003\u3048\u3084\u3059\u3044\u3002\u3082\u3061\u308d\u3093\u5b9f\u88c5\u4e0a\u3067\u5927\u3057\u305f\u9055\u3044\u306f\u306a\u3044\u304b\u3082\u3057\u308c\u306a\u3044\u304c\u3001\u8003\u3048\u308b\u4e0a\u3067\u306e\u8a71\u3068\u3057\u3066\u3002<\/p>\n\n\n\n

\u4eca\u56de\u306f\u30b2\u30fc\u30e0\u554f\u984c\u304c\u3069\u3046\u3053\u3046\u3068\u3044\u3046\u3088\u308a\u3082\u5b9f\u306fDP\u306b\u3084\u3089\u308c\u3066\u3044\u305f\u53ef\u80fd\u6027\u3082\u3042\u308a\u3002\u307e\u3042\u3069\u3063\u3061\u3082\u8981\u7df4\u7fd2\u3002EDPC\u3068\u304b\u672a\u3060\u306b\u57cb\u3081\u3066\u306a\u3044\u3057\u3084\u308d\u3046\u304b\u306a\u3002<\/p>\n\n\n\n

F\u306f\u76f4\u524d\u306b\u3084\u3063\u3066\u305fABC187-F\u306e\u6240\u70ba\u3067\u30af\u30ea\u30fc\u30af\u306e\u8a71\u984c\u306b\u982d\u304c\u63a5\u7d9a\u3055\u308c\u3066\u3057\u307e\u3063\u305f\u30023^72\u306f\u7d76\u5bfe\u7121\u7406\u306a\u306e\u306f\u6d41\u77f3\u306b\u5206\u304b\u3063\u305f\u306e\u3067\u6570\u5b66\u7684\u8003\u5bdf\u3067\u3069\u3046\u306b\u304b\u3059\u308b\u3093\u3060\u308d\u3046\u3068\u3044\u3046\u6c17\u306f\u3057\u305f\u3051\u3069\u3001\u5168\u7136\u982d\u304c\u50cd\u304b\u305a\u7d42\u4e86\u3002\u305d\u3063\u304b\u3042\u7d20\u6570\u306e\u6570\u3067\u307f\u308b\u3068\u5c11\u306a\u3044\u306e\u304b\u3042\u3002B-A\u304c\u5c11\u306a\u3044\u306e\u3092\u751f\u304b\u3059\u3093\u3060\u308d\u3046\u306a\u3068\u306f\u601d\u3063\u305f\u3051\u3069\u3001B\u3084A\u304c\u5927\u304d\u304f\u3066\u3082B-A\u3055\u3048\u5c0f\u3055\u3051\u308c\u3070\u7d20\u6570\u306e\u6570\u307e\u3067\u5c11\u306a\u304f\u306a\u308b\u306e\u304b\u3002\u3053\u306e\u8ad6\u7406\u3061\u3087\u3063\u3068\u3088\u304f\u5206\u304b\u3093\u306a\u3044\u304b\u3089\u3053\u308c\u3082\u8981\u5fa9\u7fd2\u3002<\/p>\n\n\n\n

\n\n\n\n

\u51fa\u529b\u3055\u308c\u306a\u3044\u5984\u60f3\u304c\u6e9c\u307e\u3063\u3066\u3044\u304f\u3002\u982d\u306e\u4e2d\u3060\u3051\u3067\u516c\u958b\u3055\u308c\u3066\u982d\u306e\u4e2d\u3060\u3051\u3067\u76db\u308a\u4e0a\u304c\u3063\u3066\u982d\u306e\u4e2d\u3060\u3051\u3067\u5b8c\u7d50\u3059\u308b\u5b58\u5728\u3057\u306a\u3044\u4f5c\u54c1\u306e\u601d\u3044\u51fa\u304c\u6b21\u3005\u306b\u6e9c\u307e\u3063\u3066\u3044\u304f\u3002\u305d\u308c\u3092\u898b\u308b\u305f\u3081\u306b\u30cb\u30b3\u52d5\u3092\u958b\u3044\u3066\u3082pixiv\u3092\u958b\u3044\u3066\u3082Twitter\u3092\u958b\u3044\u3066\u3082\u3069\u3053\u306b\u3082\u305d\u308c\u304c\u7121\u3044\u3093\u3060\u3002\u305d\u308c\u306f\u78ba\u304b\u306b\u6df1\u3044\u4e16\u754c\u89b3\u304c\u3042\u3063\u3066\u3001\u307f\u3093\u306a\u304c\u611f\u52d5\u3059\u308b\u304a\u8a71\u3067\u3001\u5f37\u3044\u30e1\u30c3\u30bb\u30fc\u30b8\u6027\u304c\u3042\u3063\u3066\u3001\u4ffa\u3082\u305d\u308c\u306e\u30d5\u30a1\u30f3\u306e\uff11\u4eba\u306e\u306f\u305a\u306a\u3093\u3060\u3002\u4e00\u7dd2\u306b\u898b\u305f\u4eba\u3068SNS\u3067\u77e5\u308a\u5408\u3063\u3066\u4e0e\u592a\u8003\u5bdf\u3092\u3086\u308b\u304f\u8a9e\u308a\u5408\u3063\u305f\u308a\u3067\u304d\u305f\u306f\u305a\u306a\u306e\u306b\u3001\u4ffa\u4ee5\u5916\u306e\u8ab0\u3082\u305d\u308c\u3092\u898b\u305f\u3053\u3068\u304c\u7121\u3044\u3093\u3060\u3002<\/p>\n\n\n\n

\u8ab0\u304b\u3042\u308c\u3089\u3092\u73fe\u5b9f\u754c\u306b\u5b58\u5728\u305b\u3057\u3081\u3066\u304f\u308c\u3002\u4f5c\u54c1\u306b\u306f\u5b8c\u6210\u3059\u308b\u6a29\u5229\u3068\u516c\u958b\u3055\u308c\u308b\u6a29\u5229\u304c\u3042\u308b\u306e\u306b\u3001\u4ffa\u306b\u306f\u305d\u306e\u7fa9\u52d9\u3092\u679c\u305f\u305b\u306a\u3044\u2026<\/p>\n","protected":false},"excerpt":{"rendered":"

ABC187-F\u3092\u89e3\u8aacAC\u3057\u305f\u3002\u3053\u308c\u306f\u672c\u5f53\u306b\u672a\u77e5\u306e\u77e5\u8b58\u3060\u3063\u305f\u304b\u3089\u89e3\u8aacAC\u3057\u3066\u6b63\u89e3\u3060\u3063\u305f\u3002\u9752diff\u3060\u304b\u3089\u8003\u5bdf\u6b21\u7b2c\u3067\u81ea\u529bAC\u3067\u304d\u308b\u304b\u3068\u601d\u3063\u305f\u3051\u3069\u5206\u304b\u3089\u3093\u3082\u3093\u3060\u3002 \u307e\u305a\u3001\u3042\u308b\u96c6\u5408\u306e\u90e8\u5206\u96c6\u5408\u306e\u90e8\u5206\u96c6\u5408\u306e\u7dcf\u548c\u304c $\\Sigma_ … <\/p>\n

Read more » “2021\/3\/13(\u571f)”<\/span><\/a><\/div>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-866","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/k.foolslab.net\/dailyreport\/wp-json\/wp\/v2\/posts\/866","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=866"}],"version-history":[{"count":5,"href":"https:\/\/k.foolslab.net\/dailyreport\/wp-json\/wp\/v2\/posts\/866\/revisions"}],"predecessor-version":[{"id":871,"href":"https:\/\/k.foolslab.net\/dailyreport\/wp-json\/wp\/v2\/posts\/866\/revisions\/871"}],"wp:attachment":[{"href":"https:\/\/k.foolslab.net\/dailyreport\/wp-json\/wp\/v2\/media?parent=866"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/k.foolslab.net\/dailyreport\/wp-json\/wp\/v2\/categories?post=866"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/k.foolslab.net\/dailyreport\/wp-json\/wp\/v2\/tags?post=866"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}