{"id":4364,"date":"2023-03-25T23:55:19","date_gmt":"2023-03-25T14:55:19","guid":{"rendered":"https:\/\/k.foolslab.net\/dailyreport\/?p=4364"},"modified":"2023-03-25T23:55:19","modified_gmt":"2023-03-25T14:55:19","slug":"2023-3-25","status":"publish","type":"post","link":"https:\/\/k.foolslab.net\/dailyreport\/2023-3-25\/","title":{"rendered":"2023\/3\/25(\u571f)"},"content":{"rendered":"\n<p>\u4eca\u65e5\u89e3\u3044\u305f\u7af6\u30d7\u30ed\u306e\u554f\u984c\u3002<\/p>\n\n\n\n<p>ABC290-F: \u306a\u3093\u3068\u304b\u81ea\u529bAC\u3002<\/p>\n\n\n\n<p>X\u3092\u56fa\u5b9a\u3057\u3066\u8003\u3048\u305f\u3068\u304d\u306b\u76f4\u5f84\u304c\u6700\u5927\u3068\u306a\u308b\u6728\u3092\u8003\u3048\u308b\u3002<\/p>\n\n\n\n<p>\u307e\u305a\u6b21\u6570\u304c1\u306e\u9802\u70b9\u306f\u3069\u3046\u5909\u3048\u3088\u3046\u3082\u306a\u3044\u306e\u3067\u3068\u3063\u3066\u304a\u304f\u3002\u6b21\u6570\u304c2\u4ee5\u4e0a\u306a\u3089\u81ea\u7531\u306b\u7e4b\u3044\u3067\u884c\u3051\u308b\u3002\u76f4\u5f84\u6700\u5927\u3092\u8003\u3048\u308b\u3068\u3001\u6b21\u65702\u4ee5\u4e0a\u306e\u9802\u70b9\u3092\u4e00\u76f4\u7dda\u306b\u7e4b\u3052\u308b\u306e\u304c\u6700\u3082\u826f\u3044\u3053\u3068\u304c\u5206\u304b\u308b\u3002\u6b8b\u308a\u306e\u8fba\u3092\u6b21\u65701\u306e\u9802\u70b9\u3067\u585e\u3052\u3070\u3088\u3044\u3002<\/p>\n\n\n\n<p>\u6700\u5927\u76f4\u5f84L\u3068\u9802\u70b9\u6570N\u3092\u56fa\u5b9a\u3057\u305f\u3068\u304d\u3001\u305d\u308c\u3092\u6e80\u305f\u3059\u3088\u3046\u306aX\u306e\u30d1\u30bf\u30fc\u30f3\u6570\u3092\u8003\u3048\u308b\u3002<\/p>\n\n\n\n<p>\u6728\u306e\u8fba\u6570\u306fN-1\u3067\u3042\u308a\u3001\u5404\u8fba\u306f2\u304b\u6240\u306e\u9802\u70b9\u3068\u7e4b\u304c\u308b\u3053\u3068\u304b\u3089\u3001\u6b21\u6570X\u306e\u7dcf\u548c\u306f2N-2\u3067\u3042\u308b\u3053\u3068\u304c\u5206\u304b\u308b\u3002\u307e\u305f\u6700\u5927\u76f4\u5f84L\u306e\u4e21\u7aef\u306f\u6b21\u65701\u3001\u9593\u306f\u5168\u3066\u6b21\u65702\u4ee5\u4e0a\u306e\u9802\u70b9\u3067\u3042\u308a\u3001\u307e\u305f\u305d\u3053\u4ee5\u5916\u306b\u6b21\u65702\u4ee5\u4e0a\u306e\u9802\u70b9\u306f\u7121\u3044\u3053\u3068\u304b\u3089\u3001\u6b21\u65702\u4ee5\u4e0a\u306e\u9802\u70b9\u6570\u306fL-1\u3067\u3042\u308b\u3053\u3068\u304c\u5206\u304b\u308b\u3002\u6b8b\u308a\u306e\u9802\u70b9N-L+1\u500b\u306f\u5168\u3066\u6b21\u65701\u306e\u9802\u70b9\u3067\u3042\u308b\u3002<\/p>\n\n\n\n<p>X\u306e\u7dcf\u548c\u304b\u3089\u52d5\u304b\u305b\u306a\u3044\u5206\u306e\u6570\u3092\u5f15\u3044\u305f(2N-2)-2(L-1)-(N-L+1)=N-L-1\u3092\u6b21\u65702\u4ee5\u4e0a\u306e\u9802\u70b9\u306b\u914d\u5206\u3059\u308b\u30d1\u30bf\u30fc\u30f3\u6570\u306f$_{N-L-1}H_{L-1}$\u3068\u306a\u308b\u3002\u307e\u305f\u6b21\u65702\u4ee5\u4e0a\u306e\u9802\u70b9L-1\u500b\u3092\u9078\u3076\u30d1\u30bf\u30fc\u30f3\u6570\u306f$_NC_{L-1}$\u500b\u3067\u3042\u308a\u3001\u3053\u306e\u7a4d\u304cX\u306e\u30d1\u30bf\u30fc\u30f3\u6570\u3067\u3042\u308b\u3002<\/p>\n\n\n\n<p>\u3042\u3068\u306f\u76f4\u5f84\u00d7X\u306e\u30d1\u30bf\u30fc\u30f3\u6570\u30921\u2266L\u2266N-1\u306b\u3064\u3044\u3066\u5168\u3066\u8db3\u305b\u3070\u6c42\u307e\u308b\u306b\u306f\u6c42\u307e\u308b\u304c\u3001\u3053\u308c\u3067\u306f$O(N)$\u3068\u306a\u3063\u3066\u3057\u307e\u3046\u305f\u3081\u5de5\u592b\u304c\u8981\u308b\u3002<\/p>\n\n\n\n<p>\u691c\u7d22\u3057\u307e\u304f\u3063\u305f\u7d50\u679c\u300c\u30d1\u30b9\u30ab\u30eb\u306e\u6cd5\u5247\u306e\u4e00\u822c\u5f62\u300d\u3068\u3044\u3046\u5f0f\u304c\u51fa\u3066\u304d\u305f\u306e\u3067\u3053\u308c\u3067\u5909\u5f62\u3059\u308b\u3068$N_{2N-4}C_{N-3}+_{2N-3}C_{N-2}$\u3068\u3044\u3046\u5f0f\u306b\u306a\u308b\u3002\u3053\u308c\u3067\u524d\u8a08\u7b97$O(\\max N)$\u306e\u30af\u30a8\u30ea$O(1)$\u3067\u6c42\u307e\u308b\u3002<\/p>\n\n\n\n<figure class=\"wp-block-embed is-type-wp-embed is-provider-\u91ce\u6751\u6570\u5b66\u7814\u7a76\u6240 wp-block-embed-\u91ce\u6751\u6570\u5b66\u7814\u7a76\u6240\"><div class=\"wp-block-embed__wrapper\">\n<blockquote class=\"wp-embedded-content\" data-secret=\"0VQtPQbKMZ\"><a href=\"https:\/\/www.nomuramath.com\/gkhugivo\/\">\u30d1\u30b9\u30ab\u30eb\u306e\u6cd5\u5247\u306e\u4e00\u822c\u5f62<\/a><\/blockquote><iframe loading=\"lazy\" class=\"wp-embedded-content\" sandbox=\"allow-scripts\" security=\"restricted\" style=\"position: absolute; clip: rect(1px, 1px, 1px, 1px);\" title=\"&#8220;\u30d1\u30b9\u30ab\u30eb\u306e\u6cd5\u5247\u306e\u4e00\u822c\u5f62&#8221; &#8212; \u91ce\u6751\u6570\u5b66\u7814\u7a76\u6240\" src=\"https:\/\/www.nomuramath.com\/gkhugivo\/embed\/#?secret=0VQtPQbKMZ\" data-secret=\"0VQtPQbKMZ\" width=\"600\" height=\"338\" frameborder=\"0\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\"><\/iframe>\n<\/div><\/figure>\n\n\n\n<p>\u7d76\u5bfe\u3082\u3063\u3068\u7c21\u5358\u306b\u3053\u306e\u7b54\u3048\u306b\u305f\u3069\u308a\u7740\u304f\u65b9\u6cd5\u3042\u3063\u305f\u3060\u308d\uff5e\uff5e\u3068\u601d\u3063\u3066\u89e3\u8aac\u3092\u8aad\u3093\u3060\u3089\u4e3b\u5ba2\u8ee2\u5012\u3067\u5bc4\u4e0e\u3092\u8003\u3048\u3066\u3044\u304f\u3053\u3068\u3067\u540c\u3058\u3088\u3046\u306a\u5f0f\u306b\u307e\u3063\u3059\u3050\u306b\u8fbf\u308a\u7740\u3044\u3066\u3044\u305f\u3002\u304b\u3057\u3053\u3044\u3002<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<p>\u6628\u65e5\u306b\u5f15\u304d\u7d9a\u304dNvidia\u306eVulkan\u30c9\u30e9\u30a4\u30d0\u30fc\u306edll\u3082\u8997\u3044\u3066\u307f\u305f\u3002<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>         15    F 01361980 DrvSetPixelFormat\n         16   10 01361BD0 DrvShareLists\n         17   11 01361F10 DrvSwapBuffers\n         18   12 01361F20 DrvSwapLayerBuffers\n         19   13 01362220 DrvValidateVersion\n         21   14 017522E0 vkCreateInstance\n         22   15 01752AF0 vkEnumerateInstanceExtensionProperties\n         23   16 01752B20 vkEnumerateInstanceLayerProperties\n         24   17 017532A0 vkGetInstanceProcAddr\n         25   18 01356890 vkGetProcAddressNV\n         26   19 01855EB0 vk_icdEnumerateAdapterPhysicalDevices\n         27   1A 01855ED0 vk_icdGetInstanceProcAddr\n         28   1B 01855F20 vk_icdGetPhysicalDeviceProcAddr\n         29   1C 01855FB0 vk_icdNegotiateLoaderICDInterfaceVersion\n         30   1D 0170CE40 vk_optimusGetDeviceProcAddr\n         31   1E 0170CE90 vk_optimusGetInstanceProcAddr<\/code><\/pre>\n\n\n\n<p>Drv\uff5e\u3068\u3044\u3046\u306e\u306f\u826f\u304f\u5206\u304b\u3089\u306a\u3044\u3002\u8abf\u3079\u305f\u3089Gallium3D\u3068\u3044\u3046\u30e9\u30a4\u30d6\u30e9\u30ea\u306e\u30c9\u30ad\u30e5\u30e1\u30f3\u30c8\u304c\u51fa\u3066\u304d\u305f\u3002<\/p>\n\n\n\n<p><a href=\"https:\/\/dri.freedesktop.org\/doxygen\/gallium\/stw__icd_8h.html\">https:\/\/dri.freedesktop.org\/doxygen\/gallium\/stw__icd_8h.html<\/a><\/p>\n\n\n\n<p>vk_icd\u7cfb\u7d71\u306e\u95a2\u6570\u306f\u3044\u3044\u3068\u3057\u3066\u3001vk_optimus\u7cfb\u7d71\u306e\u95a2\u6570\u306f\u3069\u3046\u3084\u3089Nvidia\u72ec\u81ea\u306eVulkan\u30ec\u30a4\u30e4\u30fcVK_LAYER_NV_optimus\u306e\u5b9f\u88c5\u306e\u3088\u3046\u3060\u3002json\u30d5\u30a1\u30a4\u30eb\u306b\u30ec\u30a4\u30e4\u30fc\u306e\u5b9a\u7fa9\u304c\u66f8\u3044\u3066\u3042\u3063\u305f\u3002<\/p>\n\n\n\n<p>igvk64\u306e\u3068\u304d\u3068\u9055\u3044\u3001vkCreateInstance\u306a\u3069\u304c\u5b9f\u88c5\u3055\u308c\u3066\u3044\u308b\u3002\u3069\u3046\u3057\u3066\u3053\u3046\u306a\u3063\u3066\u3044\u308b\u306e\u304b\u5206\u304b\u3089\u306a\u3044\u3002\u305d\u3057\u3066vkGetProcAddressNV\u304c\u5b9f\u88c5\u3055\u308c\u3066\u3044\u308b\u3002igvk64\u3067vkGetProcAddressINTEL\u304c\u5b9f\u88c5\u3055\u308c\u3066\u3044\u305f\u306e\u3068\u4f3c\u3066\u3044\u308b\u3002<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<p>ABC295\u306b\u51fa\u305f\u3002<\/p>\n\n\n\n<p>A: \u3084\u308b\u3060\u3051<\/p>\n\n\n\n<p>B: \u30dc\u30f3\u30d0\u30fc\u30de\u30f3\u4ed5\u69d8\u3068\u8aa4\u8aad\u3057\u305f\u3000\u3046\u3093\u3061<\/p>\n\n\n\n<p>C: \u30bd\u30fc\u30c8\u3057\u3066\u30e9\u30f3\u30ec\u30f3\u30b0\u30b9\u5727\u7e2e\u3057\u3066\u5404\u5024\u306e1\/2\u306e\u5207\u308a\u6368\u3066\u306e\u7dcf\u548c<\/p>\n\n\n\n<p>D: \u533a\u9593\u5185\u306e\u5404\u7a2e\u985e\u306e\u6570\u5b57\u306e\u6570\u304c\u5076\u6570\u306a\u3089\u3070OK\u3001\u611a\u76f4\u306b\u30ab\u30a6\u30f3\u30c8\u3059\u308b\u3068O(N^2)\u306b\u306a\u3063\u3066\u3057\u307e\u3046\u306e\u3067\u7d2f\u7a4d\u548c\u3067\u9ad8\u901f\u5316\u3059\u308b\u3002\u5404\u7a2e\u985e\u306e\u6570\u5b57\u306e\u51fa\u73fe\u6570\u306e\u7d2f\u7a4d\u548c\u3092\u3068\u308a\u3001\u5168\u3066\u306e\u7a2e\u985e\u306e\u6570\u5b57\u306b\u3064\u3044\u30662\u304b\u6240\u306e\u5dee\u304cmod 2\u30670\u306a\u3089\u3070OK\u306a\u306e\u3067\u30010\uff5e9\u306e\u5404\u7a2e\u985e\u306e\u6570\u5b57\u306e\u7d2f\u7a4d\u51fa\u73fe\u6570\u306e\u5076\u5947\u309210bit\u3067\u8868\u3057\u3066\u5404\u30d3\u30c3\u30c8\u30d1\u30bf\u30f3\u306e\u51fa\u73fe\u6570\u3092\u6570\u3048\u308b\u3002<\/p>\n\n\n\n<p>DP\u30c6\u30fc\u30d6\u30eb\u3092\u66f4\u65b0\u3057\u3064\u3064\u7b54\u3048\u3092\u8db3\u3057\u3066\u3044\u304f\u611f\u3058\u306e\u30b3\u30fc\u30c9\u3092\u66f8\u3044\u305f\u304c\u3001\u5358\u7d14\u306b\u51fa\u73fe\u6570\u3092\u6570\u3048\u3066\u6700\u5f8c\u306bnC2\u3092\u8db3\u3057\u3066\u3044\u3063\u305f\u65b9\u304c\u697d\u3060\u3068\u601d\u308f\u308c\u308b\u3002<\/p>\n\n\n\n<p>E: \u81ea\u4fe1\u304c\u306a\u3044\u306e\u3067\u3042\u304d\u3089\u3081\u305f\u3002<\/p>\n\n\n\n<p>F: S\u304c\u3069\u3053\u306e\u6841\u3067\u30ab\u30a6\u30f3\u30c8\u3055\u308c\u308b\u304b\u3092\u8003\u3048\u308b\u3068\u826f\u3044\u3002\u554f\u984c\u6587\u306e\u3088\u3046\u306bS=22\u3092\u8003\u3048\u308b\u3068\u3001xxx22\u3067\u30ab\u30a6\u30f3\u30c8\u3055\u308c\u308b\u5834\u5408\u3001xx22x\u3067\u30ab\u30a6\u30f3\u30c8\u3055\u308c\u308b\u5834\u5408\u3001x22xx\u3067\u30ab\u30a6\u30f3\u30c8\u3055\u308c\u308b\u5834\u5408\u306a\u3069\u304c\u3042\u308a\u3046\u308b\u3002R\u3092\u8d85\u3048\u308b\u307e\u3067\u6570\u5024\u5316\u3057\u305fS\u309210\u500d\u3057\u3066\u3044\u3051\u3070\u3088\u3044\u3002S\u306e1\u6587\u5b57\u76ee\u304c0\u306e\u6642\u3060\u3051\u6ce8\u610f\u3002<\/p>\n\n\n\n<p>\u6587\u5b57\u5217S\u3092\u4f5c\u308b\u6841\u3088\u308a\u4e0a\u306e\u6841\u3068\u4e0b\u306e\u6841\u306b\u5206\u3051\u3066\u8003\u3048\u308b\u3002S\u306e\u4e0b\u306e\u6841\u6570\u3092k\u3068\u3059\u308b\u3068\u3001$A=10^{|S|+k}$\u3068\u3057\u3066$Ap+S+q$\u3068\u8868\u305b\u308b\u3002\u3053\u3053\u3067p\u3068q\u3092\u7e1b\u308b\u5236\u7d04\u3092\u8003\u3048\u308b\u3002<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>$L\\leq Ap+S+q\\leq R$<\/li>\n\n\n\n<li>$q&lt; 10^k$<\/li>\n\n\n\n<li>S\u306e1\u6587\u5b57\u76ee\u304c0\u306e\u3068\u304d\u3001$p\\geq 1$<\/li>\n<\/ul>\n\n\n\n<p>\u3053\u306e\u3088\u3046\u306ap,q\u306e\u7d44\u3092\u9811\u5f35\u3063\u3066\u6570\u3048\u308b\u3002\u7d30\u304b\u3044\u51e6\u7406\u306f\u9762\u5012\u3060\u304c\u3001\u57fa\u672c\u7684\u306b\u306fL\u3068R\u306e\u6761\u4ef6\u304b\u3089\u4e0a\u4e0b\u9650\u3092\u8003\u3048\u3066\u3084\u308c\u3070\u3088\u308d\u3057\u3044\u3002\u3053\u308c\u306f\u4e01\u5be7\u306b\u5b9f\u88c5\u3059\u308c\u3070$O(1)$\u3067\u6c42\u307e\u308b\u306e\u3067\u30011\u30b1\u30fc\u30b9\u5f53\u305f\u308a$O(\\log R)$\u3067\u89e3\u3051\u308b\u3002<\/p>\n\n\n\n<p>G: \u89e3\u3051\u305a\u3002\u3068\u308a\u3042\u3048\u305aSCC\u3084UF\u3092\u6e96\u5099\u3057\u3066\u306f\u307f\u305f\u3082\u306e\u306e\u3001\u52b9\u679c\u7684\u306a\u65b9\u91dd\u304c\u6642\u9593\u5185\u306b\u306f\u51fa\u306a\u304b\u3063\u305f\u3002\u7d42\u308f\u3063\u3066\u3057\u3070\u3089\u304f\u7d4c\u3063\u3066\u304b\u3089\u3069\u306e\u9802\u70b9\u3082\u5165\u6b21\u6570\u304c1\u3067\u3057\u304b\u3082\u81ea\u660e\u306bDAG\u3067\u3042\u308b\u3053\u3068\u306b\u6c17\u304c\u4ed8\u3044\u305f\u3002\u3053\u306e\u6027\u8cea\u306f\u4f7f\u3048\u305d\u3046\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u4eca\u65e5\u89e3\u3044\u305f\u7af6\u30d7\u30ed\u306e\u554f\u984c\u3002 ABC290-F: \u306a\u3093\u3068\u304b\u81ea\u529bAC\u3002 X\u3092\u56fa\u5b9a\u3057\u3066\u8003\u3048\u305f\u3068\u304d\u306b\u76f4\u5f84\u304c\u6700\u5927\u3068\u306a\u308b\u6728\u3092\u8003\u3048\u308b\u3002 \u307e\u305a\u6b21\u6570\u304c1\u306e\u9802\u70b9\u306f\u3069\u3046\u5909\u3048\u3088\u3046\u3082\u306a\u3044\u306e\u3067\u3068\u3063\u3066\u304a\u304f\u3002\u6b21\u6570\u304c2\u4ee5\u4e0a\u306a\u3089\u81ea\u7531\u306b\u7e4b\u3044\u3067\u884c\u3051\u308b\u3002\u76f4\u5f84\u6700\u5927\u3092 &hellip; <\/p>\n<div><a href=\"https:\/\/k.foolslab.net\/dailyreport\/2023-3-25\/\" class=\"more\">Read more &raquo;<span class=\"screen-reader-text\"> &#8220;2023\/3\/25(\u571f)&#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-4364","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/k.foolslab.net\/dailyreport\/wp-json\/wp\/v2\/posts\/4364","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=4364"}],"version-history":[{"count":4,"href":"https:\/\/k.foolslab.net\/dailyreport\/wp-json\/wp\/v2\/posts\/4364\/revisions"}],"predecessor-version":[{"id":4368,"href":"https:\/\/k.foolslab.net\/dailyreport\/wp-json\/wp\/v2\/posts\/4364\/revisions\/4368"}],"wp:attachment":[{"href":"https:\/\/k.foolslab.net\/dailyreport\/wp-json\/wp\/v2\/media?parent=4364"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/k.foolslab.net\/dailyreport\/wp-json\/wp\/v2\/categories?post=4364"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/k.foolslab.net\/dailyreport\/wp-json\/wp\/v2\/tags?post=4364"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}