{"id":5783,"date":"2026-10-17T00:03:20","date_gmt":"2026-10-16T15:03:20","guid":{"rendered":"https:\/\/blog.id774.net\/entry\/?p=5783"},"modified":"2026-10-16T12:55:21","modified_gmt":"2026-10-16T03:55:21","slug":"%e9%87%8f%e5%ad%90%e5%b0%86%e6%a3%8b%e3%81%ae%e5%8f%8e%e6%9d%9f%e3%82%92-hall-%e3%81%ae%e5%ae%9a%e7%90%86%e3%81%a7%e5%8e%b3%e5%af%86%e3%81%ab%e6%b1%82%e3%82%81%e3%82%8b","status":"publish","type":"post","link":"https:\/\/blog.id774.net\/entry\/2026\/10\/17\/5783\/","title":{"rendered":"\u91cf\u5b50\u5c06\u68cb\u306e\u53ce\u675f\u3092 Hall \u306e\u5b9a\u7406\u3067\u53b3\u5bc6\u306b\u6c42\u3081\u308b"},"content":{"rendered":"<p>\u98db\u8eca\u306f\u7e26\u6a2a\u306b\u52d5\u304d\u3001\u89d2\u306f\u659c\u3081\u306b\u52d5\u304f\u3002\u901a\u5e38\u306e\u5c06\u68cb\u3067\u306f\u99d2\u306e\u7a2e\u985e\u304c\u521d\u3081\u304b\u3089\u6c7a\u307e\u3063\u3066\u3044\u308b\u304c\u3001\u91cf\u5b50\u5c06\u68cb\u3067\u306f\u3001\u3069\u306e\u99d2\u3082\u6700\u521d\u306f\u738b\u3001\u98db\u8eca\u3001\u89d2\u3001\u91d1\u3001\u9280\u3001\u6842\u99ac\u3001\u9999\u8eca\u3001\u6b69\u306e\u3059\u3079\u3066\u306b\u306a\u308a\u5f97\u308b\u3002\u6307\u3057\u624b\u3092\u91cd\u306d\u308b\u3068\u53ef\u80fd\u6027\u306f\u7d5e\u3089\u308c\u3001\u96e2\u308c\u305f\u4f4d\u7f6e\u306b\u3042\u308b\u5225\u306e\u99d2\u306e\u52d5\u304d\u307e\u3067\u5236\u9650\u3055\u308c\u308b\u3002\u3053\u306e\u73fe\u8c61\u306b\u306f\u300120 \u679a\u306e\u99d2\u3092\u4e00\u3064\u306e\u5272\u5f53\u554f\u984c\u3068\u3057\u3066\u6271\u3046\u6570\u5b66\u7684\u306a\u7406\u7531\u304c\u3042\u308b\u3002<\/p>\n<p>\u7247\u5074\u306e\u521d\u671f\u9663\u55b6\u306b\u306f\u98db\u8eca\u304c 1 \u679a\u3001\u9999\u8eca\u304c 2 \u679a\u3042\u308b\u3002\u4eee\u306b 3 \u679a\u306e\u99d2\u306e\u5019\u88dc\u304c\u3044\u305a\u308c\u3082\u98db\u8eca\u304b\u9999\u8eca\u3060\u3051\u306b\u306a\u308c\u3070\u3001\u3053\u306e 3 \u679a\u306e\u6b63\u4f53\u304c\u500b\u5225\u306b\u306f\u6c7a\u307e\u3063\u3066\u3044\u306a\u304f\u3066\u3082\u3001\u307b\u304b\u306e 17 \u679a\u304b\u3089\u98db\u8eca\u3068\u9999\u8eca\u306e\u53ef\u80fd\u6027\u304c\u6d88\u3048\u308b\u3002\u99d2\u306e\u79fb\u52d5\u3068\u3044\u3046\u5c40\u6240\u7684\u306a\u64cd\u4f5c\u304b\u3089\u3001\u5168\u4f53\u306e\u679a\u6570\u5236\u7d04\u3092\u4ecb\u3057\u3066\u5019\u88dc\u304c\u4f1d\u64ad\u3059\u308b\u305f\u3081\u3067\u3042\u308b\u3002<\/p>\n<p>\u3053\u306e\u95a2\u4fc2\u3092\u3001\u5019\u88dc\u96c6\u5408\u3001\u5b9f\u73fe\u53ef\u80fd\u306a\u5272\u5f53\u96c6\u5408\u3001Hall \u306e\u5b9a\u7406\u3001\u5bb9\u91cf\u4ed8\u304d\u4e8c\u90e8\u30de\u30c3\u30c1\u30f3\u30b0\u3067\u5b9a\u5f0f\u5316\u3059\u308b\u3002\u500b\u3005\u306e\u99d2\u306e\u53ef\u80fd\u6027\u3092\u6b63\u78ba\u306b\u6c42\u3081\u308b\u6761\u4ef6\u3092\u5c0e\u304d\u3001\u7d44\u5408\u305b\u3092\u5217\u6319\u305b\u305a\u306b\u53ce\u675f\u3092\u8a08\u7b97\u3059\u308b\u65b9\u6cd5\u3092\u793a\u3057\u305f\u3046\u3048\u3067\u3001\u76e4\u9762\u3068\u6301\u3061\u99d2\u3092\u542b\u3080\u5bfe\u5c40\u72b6\u614b\u306e\u9077\u79fb\u307e\u3067\u5b9a\u7fa9\u3059\u308b\u3002\u91cf\u5b50\u5c06\u68cb\u306f\u3001\u672a\u78ba\u5b9a\u306a\u5909\u6570\u3092\u542b\u3080\u30b2\u30fc\u30e0\u3092\u3001\u78ba\u5b9a\u3057\u305f\u5236\u7d04\u306b\u3088\u3063\u3066\u52d5\u304b\u3059\u5177\u4f53\u7684\u306a\u30e2\u30c7\u30eb\u306b\u306a\u308b\u3002<\/p>\n<hr>\n<h2>1. \u91cf\u5b50\u5c06\u68cb\u3068\u306f\u4f55\u304b<\/h2>\n<h3>1.1 \u666e\u901a\u306e\u5c06\u68cb\u3068\u4f55\u304c\u9055\u3046\u306e\u304b<\/h3>\n<p>\u91cf\u5b50\u5c06\u68cb\u306f\u3001\u3055\u307e\u3056\u307e\u306a\u5909\u5247\u5c06\u68cb\u3092\u30aa\u30f3\u30e9\u30a4\u30f3\u3067\u5bfe\u5c40\u3067\u304d\u308b\u30a6\u30a7\u30d6\u30b5\u30fc\u30d3\u30b9\u300c\u5c06\u68cb\u3063\u305f\u30fc\u300d\u306b\u53ce\u9332\u3055\u308c\u3066\u3044\u308b\u30b2\u30fc\u30e0\u306e\u4e00\u3064\u3067\u3042\u308b\u3002\u76e4\u9762\u306f\u901a\u5e38\u306e\u5c06\u68cb\u3068\u540c\u3058 9 \u00d7 9 \u30de\u30b9\u3067\u3001\u5148\u624b\u3068\u5f8c\u624b\u304c\u4ea4\u4e92\u306b\u6307\u3057\u3001\u305d\u308c\u305e\u308c 20 \u679a\u306e\u99d2\u3092\u4f7f\u3046\u3002\u305f\u3060\u3057\u3001\u521d\u671f\u914d\u7f6e\u306b\u3042\u308b\u99d2\u306f\u3059\u3079\u3066\u300c\u91cf\u5b50\u99d2\u300d\u3068\u547c\u3070\u308c\u308b\u540c\u3058\u7a2e\u985e\u306e\u99d2\u3067\u3042\u308b\u3002\u91cf\u5b50\u99d2\u306f\u3001\u305d\u308c\u305e\u308c\u738b\u3001\u98db\u8eca\u3001\u89d2\u3001\u91d1\u3001\u9280\u3001\u6842\u99ac\u3001\u9999\u8eca\u3001\u6b69\u306e 8 \u7a2e\u985e\u306e\u53ef\u80fd\u6027\u3092\u6301\u3063\u3066\u3044\u308b\u3002\u3069\u306e\u7a2e\u985e\u3067\u3042\u308b\u304b\u306f\u5bfe\u5c40\u958b\u59cb\u6642\u70b9\u3067\u306f\u78ba\u5b9a\u3057\u3066\u304a\u3089\u305a\u3001\u99d2\u306e\u79fb\u52d5\u3084\u6210\u308a\u3001\u307b\u304b\u306e\u99d2\u306e\u52d5\u304d\u306a\u3069\u306b\u3088\u3063\u3066\u5019\u88dc\u304c\u5909\u5316\u3057\u3066\u3044\u304f<a href=\"#ref1\">[1]<\/a>\u3002<\/p>\n<p>\u666e\u901a\u306e\u5c06\u68cb\u3067\u306f\u3001\u99d2\u306e\u7a2e\u985e\u306b\u3088\u3063\u3066\u79fb\u52d5\u53ef\u80fd\u306a\u7bc4\u56f2\u304c\u6c7a\u307e\u308b\u3002\u4f8b\u3048\u3070\u3001\u6b69\u3092\u9078\u629e\u3057\u305f\u3068\u304d\u306f\u524d\u65b9 1 \u30de\u30b9\u304c\u79fb\u52d5\u5148\u3068\u306a\u308a\u3001\u98db\u8eca\u306a\u3089\u969c\u5bb3\u7269\u306e\u306a\u3044\u7e26\u6a2a\u306e\u76f4\u7dda\u4e0a\u3092\u79fb\u52d5\u3067\u304d\u308b\u3002\u91cf\u5b50\u5c06\u68cb\u3067\u306f\u3001\u3053\u306e\u95a2\u4fc2\u304c\u5019\u88dc\u96c6\u5408\u3092\u4ecb\u3057\u3066\u6c7a\u307e\u308b\u3002\u6b69\u3068\u98db\u8eca\u306e\u53ef\u80fd\u6027\u304c\u6b8b\u3063\u3066\u3044\u308b\u99d2\u306a\u3089\u3001\u6b69\u3068\u3057\u3066\u524d\u65b9 1 \u30de\u30b9\u3078\u9032\u3080\u52d5\u304d\u3082\u3001\u98db\u8eca\u3068\u3057\u3066\u6a2a\u3078\u9032\u3080\u52d5\u304d\u3082\u5019\u88dc\u306b\u306a\u308b\u3002\u305f\u3060\u3057\u3001\u5b9f\u969b\u306b\u6a2a\u3078\u52d5\u304b\u305b\u3070\u6b69\u306e\u53ef\u80fd\u6027\u304c\u9664\u5916\u3055\u308c\u3001\u305d\u308c\u307e\u3067\u306e\u79fb\u52d5\u5c65\u6b74\u3068\u4e21\u7acb\u3059\u308b\u7a2e\u985e\u3060\u3051\u304c\u6b8b\u308b\u3002<\/p>\n<p>\u3053\u306e\u9055\u3044\u3092\u6574\u7406\u3059\u308b\u3068\u3001\u91cf\u5b50\u5c06\u68cb\u3067\u306f\u99d2\u306e\u4f4d\u7f6e\u3068\u79fb\u52d5\u5c65\u6b74\u306b\u52a0\u3048\u3001\u73fe\u5728\u6b8b\u3063\u3066\u3044\u308b\u99d2\u7a2e\u306e\u5019\u88dc\u304c\u5c40\u9762\u3092\u69cb\u6210\u3059\u308b\u60c5\u5831\u306b\u306a\u308b\u3002\u540c\u3058\u30de\u30b9\u306b\u7f6e\u304b\u308c\u3066\u3044\u308b\u91cf\u5b50\u99d2\u3067\u3082\u3001\u305d\u308c\u307e\u3067\u306b\u524d\u9032\u3060\u3051\u3092\u7e70\u308a\u8fd4\u3057\u305f\u99d2\u3068\u3001\u6a2a\u65b9\u5411\u3078\u5927\u304d\u304f\u52d5\u3044\u305f\u99d2\u3067\u306f\u3001\u4ee5\u5f8c\u306b\u53ef\u80fd\u306a\u6307\u3057\u624b\u304c\u7570\u306a\u308b\u3002\u3055\u3089\u306b\u3001\u307b\u304b\u306e\u99d2\u304c\u7279\u5b9a\u306e\u7a2e\u985e\u306b\u78ba\u5b9a\u3059\u308b\u3068\u3001\u307e\u3060\u4e00\u5ea6\u3082\u52d5\u3044\u3066\u3044\u306a\u3044\u99d2\u306e\u5019\u88dc\u307e\u3067\u5909\u5316\u3059\u308b\u5834\u5408\u304c\u3042\u308b\u3002<\/p>\n<table>\n<thead>\n<tr>\n<th>\u89b3\u70b9<\/th>\n<th>\u666e\u901a\u306e\u5c06\u68cb<\/th>\n<th>\u91cf\u5b50\u5c06\u68cb<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>\u958b\u59cb\u6642\u306e\u99d2\u7a2e<\/td>\n<td>\u5404\u99d2\u306e\u7a2e\u985e\u304c\u521d\u671f\u914d\u7f6e\u306b\u3088\u3063\u3066\u6c7a\u307e\u3063\u3066\u3044\u308b\u3002<\/td>\n<td>\u3059\u3079\u3066\u306e\u99d2\u304c 8 \u7a2e\u985e\u306e\u53ef\u80fd\u6027\u3092\u6301\u3063\u3066\u958b\u59cb\u3059\u308b\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u79fb\u52d5\u3067\u304d\u308b\u7bc4\u56f2<\/td>\n<td>\u5404\u99d2\u306b\u5b9a\u3081\u3089\u308c\u305f\u79fb\u52d5\u80fd\u529b\u3067\u6c7a\u307e\u308b\u3002<\/td>\n<td>\u6b8b\u3055\u308c\u305f\u5019\u88dc\u306e\u3044\u305a\u308c\u304b\u304c\u5b9f\u73fe\u3067\u304d\u308b\u79fb\u52d5\u3092\u9078\u3079\u308b\u3002\u305f\u3060\u3057\u3001\u5168\u4f53\u306e\u679a\u6570\u5236\u7d04\u3068\u3082\u4e21\u7acb\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u79fb\u52d5\u5f8c\u306e\u72b6\u614b<\/td>\n<td>\u99d2\u306e\u4f4d\u7f6e\u304c\u5909\u308f\u308a\u3001\u5fc5\u8981\u306b\u5fdc\u3058\u3066\u6210\u308a\u72b6\u614b\u304c\u5909\u5316\u3059\u308b\u3002<\/td>\n<td>\u4f4d\u7f6e\u3084\u6210\u308a\u72b6\u614b\u306b\u52a0\u3048\u3001\u305d\u306e\u79fb\u52d5\u3068\u4e21\u7acb\u3059\u308b\u99d2\u7a2e\u3078\u5019\u88dc\u304c\u7d5e\u3089\u308c\u308b\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u4ed6\u306e\u99d2\u3078\u306e\u5f71\u97ff<\/td>\n<td>\u99d2\u306e\u4f4d\u7f6e\u304c\u5909\u308f\u308b\u3053\u3068\u3067\u3001\u5229\u304d\u3084\u79fb\u52d5\u7d4c\u8def\u304c\u5909\u5316\u3059\u308b\u3002<\/td>\n<td>\u4f4d\u7f6e\u95a2\u4fc2\u306e\u5909\u5316\u306b\u52a0\u3048\u3001\u99d2\u7a2e\u306e\u679a\u6570\u5236\u7d04\u3092\u901a\u3058\u3066\u3001\u76f4\u63a5\u52d5\u304b\u3057\u3066\u3044\u306a\u3044\u99d2\u306e\u5019\u88dc\u3082\u5909\u5316\u3059\u308b\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u76f8\u624b\u306e\u738b\u5c06<\/td>\n<td>\u738b\u5c06\u306e\u4f4d\u7f6e\u3068\u7a2e\u985e\u304c\u5206\u304b\u3063\u3066\u3044\u308b\u3002<\/td>\n<td>\u738b\u5c06\u306b\u306a\u308a\u5f97\u308b\u99d2\u304c\u8907\u6570\u5b58\u5728\u3057\u3001\u5bfe\u5c40\u4e2d\u306b\u5019\u88dc\u304c\u7d5e\u3089\u308c\u3066\u3044\u304f\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u679a\u6570\u306e\u6761\u4ef6<\/td>\n<td>\u521d\u671f\u914d\u7f6e\u306b\u738b\u5c06 1 \u679a\u3001\u98db\u8eca 1 \u679a\u306a\u3069\u306e\u69cb\u6210\u304c\u53cd\u6620\u3055\u308c\u3066\u3044\u308b\u3002<\/td>\n<td>\u521d\u671f\u9663\u55b6\u306e 20 \u679a\u5168\u4f53\u306b\u5bfe\u3057\u3066\u3001\u540c\u3058\u679a\u6570\u69cb\u6210\u3092\u6e80\u305f\u3059\u5272\u5f53\u304c\u8981\u6c42\u3055\u308c\u308b\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u6301\u3061\u99d2<\/td>\n<td>\u53d6\u3063\u305f\u99d2\u306e\u7a2e\u985e\u304c\u5206\u304b\u3063\u3066\u304a\u308a\u3001\u305d\u306e\u7a2e\u985e\u306e\u99d2\u3068\u3057\u3066\u6253\u3064\u3002<\/td>\n<td>\u53d6\u3063\u305f\u99d2\u306b\u3082\u672a\u78ba\u5b9a\u306e\u5019\u88dc\u304c\u6b8b\u308b\u5834\u5408\u304c\u3042\u308a\u3001\u5143\u306e\u521d\u671f\u9663\u55b6\u306e\u679a\u6570\u5236\u7d04\u306b\u5c5e\u3057\u7d9a\u3051\u308b\u3002<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\u4f8b\u3048\u3070\u3001\u3042\u308b\u99d2\u304c\u98db\u8eca\u306b\u78ba\u5b9a\u3057\u305f\u3068\u304d\u3001\u540c\u3058\u521d\u671f\u9663\u55b6\u306e\u6b8b\u308a 19 \u679a\u304b\u3089\u98db\u8eca\u306e\u53ef\u80fd\u6027\u304c\u6d88\u3048\u308b\u3002\u901a\u5e38\u306e\u5c06\u68cb\u3067\u3082\u98db\u8eca\u304c 1 \u679a\u3057\u304b\u306a\u3044\u3053\u3068\u306f\u540c\u3058\u3060\u304c\u3001\u99d2\u7a2e\u304c\u6700\u521d\u304b\u3089\u78ba\u5b9a\u3057\u3066\u3044\u308b\u305f\u3081\u3001\u3053\u306e\u3088\u3046\u306a\u5019\u88dc\u306e\u66f4\u65b0\u51e6\u7406\u306f\u5fc5\u8981\u306a\u3044\u3002\u91cf\u5b50\u5c06\u68cb\u3067\u306f\u3001\u679a\u6570\u914d\u5206\u3068\u3044\u3046\u65e2\u77e5\u306e\u60c5\u5831\u3068\u3001\u99d2\u7a2e\u3068\u3044\u3046\u672a\u78ba\u5b9a\u306e\u60c5\u5831\u304c\u540c\u6642\u306b\u5b58\u5728\u3059\u308b\u3002\u305d\u306e\u7d44\u5408\u305b\u306b\u3088\u3063\u3066\u3001\u76e4\u4e0a\u306e\u96e2\u308c\u305f\u99d2\u306e\u72b6\u614b\u304c\u4e92\u3044\u306b\u5236\u7d04\u3055\u308c\u308b\u3002<\/p>\n<h3>1.2 \u3069\u3046\u3084\u3063\u3066\u6307\u3059\u306e\u304b<\/h3>\n<p>\u91cf\u5b50\u99d2\u306e\u79fb\u52d5\u306f\u3001\u73fe\u5728\u6b8b\u3063\u3066\u3044\u308b\u99d2\u7a2e\u306e\u3044\u305a\u308c\u304b\u304c\u5b9f\u73fe\u3067\u304d\u308b\u52d5\u304d\u3092\u5019\u88dc\u3068\u3059\u308b\u3002\u521d\u671f\u72b6\u614b\u3067\u306f 8 \u7a2e\u985e\u3059\u3079\u3066\u306e\u53ef\u80fd\u6027\u304c\u6b8b\u3063\u3066\u3044\u308b\u305f\u3081\u3001\u305d\u308c\u3089\u306e\u99d2\u304c\u6301\u3064\u79fb\u52d5\u80fd\u529b\u3092\u5229\u7528\u3067\u304d\u308b\u3002\u305f\u3060\u3057\u3001\u9014\u4e2d\u306b\u5225\u306e\u99d2\u304c\u3042\u308b\u5834\u5408\u306f\u901a\u5e38\u306e\u5c06\u68cb\u3068\u540c\u69d8\u306b\u79fb\u52d5\u7d4c\u8def\u304c\u5236\u9650\u3055\u308c\u308b\u3002\u307e\u305f\u3001\u52d5\u304b\u3057\u305f\u7d50\u679c\u3068\u3057\u3066\u99d2\u7a2e\u306e\u5272\u5f53\u306b\u77db\u76fe\u304c\u751f\u3058\u308b\u6307\u3057\u624b\u306f\u8a8d\u3081\u3089\u308c\u306a\u3044\u3002\u76e4\u9762\u4e0a\u306e\u79fb\u52d5\u6761\u4ef6\u3068\u3001\u99d2\u7a2e\u5168\u4f53\u306e\u5272\u5f53\u6761\u4ef6\u306e\u4e21\u65b9\u3092\u6e80\u305f\u3059\u3053\u3068\u304c\u5fc5\u8981\u306b\u306a\u308b\u3002<\/p>\n<p>\u6700\u3082\u7c21\u5358\u306a\u306e\u306f\u3001\u521d\u671f\u72b6\u614b\u306e\u91cf\u5b50\u99d2\u3092\u524d\u3078 1 \u30de\u30b9\u52d5\u304b\u3059\u5834\u5408\u3067\u3042\u308b\u3002\u6b69\u3001\u91d1\u3001\u9280\u3001\u9999\u8eca\u3001\u98db\u8eca\u3001\u738b\u5c06\u306f\u3001\u3053\u306e\u79fb\u52d5\u3092\u5b9f\u73fe\u3067\u304d\u308b\u3002\u4e00\u65b9\u3001\u89d2\u3068\u6842\u99ac\u306f\u524d\u65b9 1 \u30de\u30b9\u3078\u76f4\u63a5\u79fb\u52d5\u3067\u304d\u306a\u3044\u3002\u305d\u3053\u3067\u3001\u6700\u521d\u306f 8 \u7a2e\u985e\u3042\u3063\u305f\u5019\u88dc\u304b\u3089\u89d2\u3068\u6842\u99ac\u304c\u9664\u5916\u3055\u308c\u3001\u79fb\u52d5\u5f8c\u306e\u5019\u88dc\u306f\u300c\u738b\u30fb\u98db\u30fb\u91d1\u30fb\u9280\u30fb\u9999\u30fb\u6b69\u300d\u306e 6 \u7a2e\u985e\u306b\u306a\u308b<a href=\"#ref2\">[2]<\/a>\u3002<\/p>\n<p>\u540c\u3058\u99d2\u3092\u3001\u9014\u4e2d\u306b\u969c\u5bb3\u7269\u306e\u306a\u3044\u72b6\u614b\u3067\u524d\u65b9\u3078 2 \u30de\u30b9\u52d5\u304b\u3059\u5834\u5408\u306f\u7d50\u679c\u304c\u7570\u306a\u308b\u3002\u6210\u3063\u3066\u3044\u306a\u3044\u99d2\u3067\u3001\u3053\u306e\u79fb\u52d5\u3092\u5b9f\u73fe\u3067\u304d\u308b\u306e\u306f\u98db\u8eca\u3068\u9999\u8eca\u3067\u3042\u308b\u3002\u79fb\u52d5\u5f8c\u306e\u5019\u88dc\u306f\u300c\u98db\u30fb\u9999\u300d\u306e 2 \u7a2e\u985e\u306b\u7d5e\u3089\u308c\u308b\u3002\u3053\u306e\u6642\u70b9\u3067\u98db\u8eca\u3068\u9999\u8eca\u306e\u3069\u3061\u3089\u304b\u304c\u62bd\u9078\u3055\u308c\u308b\u308f\u3051\u3067\u306f\u306a\u304f\u3001\u4e21\u65b9\u306e\u53ef\u80fd\u6027\u304c\u6b8b\u308b\u3002\u3055\u3089\u306b\u305d\u306e\u99d2\u3092\u6a2a\u65b9\u5411\u3078 2 \u30de\u30b9\u52d5\u304b\u305b\u3070\u3001\u9999\u8eca\u306f\u6a2a\u65b9\u5411\u3078\u79fb\u52d5\u3067\u304d\u306a\u3044\u305f\u3081\u3001\u98db\u8eca\u306b\u78ba\u5b9a\u3059\u308b\u3002\u3053\u306e\u3088\u3046\u306b\u3001\u7570\u306a\u308b\u65b9\u5411\u3078\u306e\u6307\u3057\u624b\u3092\u7d44\u307f\u5408\u308f\u305b\u308b\u3053\u3068\u3067\u3001\u5019\u88dc\u3092\u6bb5\u968e\u7684\u306b\u9650\u5b9a\u3067\u304d\u308b\u3002<\/p>\n<table>\n<thead>\n<tr>\n<th>\u79fb\u52d5\u306e\u4f8b<\/th>\n<th>\u305d\u306e\u79fb\u52d5\u304c\u53ef\u80fd\u306a\u99d2\u7a2e<\/th>\n<th>\u5019\u88dc\u304c\u7d5e\u3089\u308c\u308b\u7406\u7531<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>\u524d\u65b9\u3078 1 \u30de\u30b9<\/td>\n<td>\u738b\u30fb\u98db\u30fb\u91d1\u30fb\u9280\u30fb\u9999\u30fb\u6b69<\/td>\n<td>\u89d2\u3068\u6842\u99ac\u306f\u524d\u65b9\u3078 1 \u30de\u30b9\u9032\u3080\u79fb\u52d5\u80fd\u529b\u3092\u6301\u305f\u306a\u3044\u305f\u3081\u3001\u5019\u88dc\u304b\u3089\u9664\u5916\u3055\u308c\u308b\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u524d\u65b9\u3078 2 \u30de\u30b9<\/td>\n<td>\u98db\u30fb\u9999<\/td>\n<td>\u98db\u8eca\u3068\u9999\u8eca\u3060\u3051\u304c\u3001\u524d\u65b9\u306e\u76f4\u7dda\u4e0a\u3092 2 \u30de\u30b9\u4ee5\u4e0a\u9032\u3081\u308b\u305f\u3081\u3001\u3053\u306e 2 \u7a2e\u985e\u304c\u6b8b\u308b\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u6a2a\u65b9\u5411\u3078 2 \u30de\u30b9<\/td>\n<td>\u98db<\/td>\n<td>\u6210\u3063\u3066\u3044\u306a\u3044\u99d2\u3067\u6a2a\u65b9\u5411\u3078 2 \u30de\u30b9\u9032\u3081\u308b\u306e\u306f\u98db\u8eca\u3060\u3051\u306a\u306e\u3067\u3001\u98db\u8eca\u306b\u78ba\u5b9a\u3059\u308b\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u659c\u3081\u65b9\u5411\u3078 2 \u30de\u30b9<\/td>\n<td>\u89d2<\/td>\n<td>\u6210\u3063\u3066\u3044\u306a\u3044\u99d2\u3067\u659c\u3081\u65b9\u5411\u3078 2 \u30de\u30b9\u9032\u3081\u308b\u306e\u306f\u89d2\u3060\u3051\u306a\u306e\u3067\u3001\u89d2\u306b\u78ba\u5b9a\u3059\u308b\u3002<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\u3053\u306e\u8868\u306f\u3001\u79fb\u52d5\u3059\u308b\u99d2\u304c\u6210\u3063\u3066\u304a\u3089\u305a\u3001\u79fb\u52d5\u7d4c\u8def\u306b\u969c\u5bb3\u7269\u304c\u306a\u3044\u5834\u5408\u306e\u57fa\u672c\u7684\u306a\u5bfe\u5fdc\u3092\u793a\u3057\u3066\u3044\u308b\u3002\u5b9f\u969b\u306b\u6307\u305b\u308b\u304b\u3069\u3046\u304b\u306f\u3001\u305d\u308c\u307e\u3067\u306e\u79fb\u52d5\u5c65\u6b74\u304b\u3089\u6b8b\u3063\u3066\u3044\u308b\u5019\u88dc\u3068\u3001\u521d\u671f\u9663\u55b6\u5168\u4f53\u306e\u679a\u6570\u5236\u7d04\u306b\u3082\u4f9d\u5b58\u3059\u308b\u3002\u4f8b\u3048\u3070\u3001\u307e\u3060\u4e00\u5ea6\u3082\u52d5\u3044\u3066\u3044\u306a\u3044\u99d2\u306b\u306f\u3001\u79fb\u52d5\u5c65\u6b74\u306b\u3088\u308b\u5236\u7d04\u304c\u306a\u3044\u305f\u3081\u89d2\u306e\u53ef\u80fd\u6027\u304c\u6b8b\u308b\u3002\u3057\u304b\u3057\u3001\u540c\u3058\u521d\u671f\u9663\u55b6\u306e\u5225\u306e\u99d2\u304c\u89d2\u306b\u78ba\u5b9a\u3059\u308c\u3070\u3001\u672a\u79fb\u52d5\u306e\u99d2\u304b\u3089\u3082\u89d2\u306e\u53ef\u80fd\u6027\u304c\u9664\u5916\u3055\u308c\u308b\u3002\u99d2\u81ea\u8eab\u306e\u79fb\u52d5\u5c65\u6b74\u304b\u3089\u5f97\u3089\u308c\u308b\u5c40\u6240\u5019\u88dc \\(D_i\\) \u3068\u3001\u307b\u304b\u306e\u99d2\u306e\u78ba\u5b9a\u306b\u3088\u308b\u679a\u6570\u5236\u7d04\u307e\u3067\u53cd\u6620\u3057\u305f\u6b63\u78ba\u306a\u5019\u88dc \\(P_i(D)\\) \u3092\u533a\u5225\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002<\/p>\n<p>\u3082\u3046\u4e00\u3064\u6ce8\u610f\u3059\u3079\u304d\u70b9\u306f\u3001\u3042\u308b\u79fb\u52d5\u3092\u5b9f\u73fe\u3067\u304d\u308b\u99d2\u7a2e\u304c\u6b8b\u3063\u3066\u3044\u308b\u3053\u3068\u304c\u3001\u5fc5\u305a\u3057\u3082\u305d\u306e\u6307\u3057\u624b\u3092\u4fdd\u8a3c\u3059\u308b\u308f\u3051\u3067\u306f\u306a\u3044\u3053\u3068\u3067\u3042\u308b\u3002\u4f8b\u3048\u3070\u3001\u98db\u8eca 1 \u679a\u3068\u9999\u8eca 2 \u679a\u306e\u679a\u6570\u3092\u3001\u3059\u3067\u306b\u5225\u306e 3 \u679a\u306e\u99d2\u306e\u5019\u88dc\u304c\u4f7f\u3044\u5207\u3063\u3066\u3044\u308b\u5834\u5408\u3092\u8003\u3048\u308b\u3002\u3053\u306e\u3068\u304d\u30014 \u679a\u76ee\u306e\u99d2\u304c\u524d\u65b9\u3078 2 \u30de\u30b9\u52d5\u3053\u3046\u3068\u3059\u308b\u3068\u3001\u305d\u306e\u99d2\u3082\u98db\u8eca\u304b\u9999\u8eca\u3067\u3042\u308b\u5fc5\u8981\u304c\u751f\u3058\u308b\u3002\u3057\u304b\u3057\u3001\u98db\u8eca\u3068\u9999\u8eca\u3092\u5272\u308a\u5f53\u3066\u308b\u4f59\u5730\u306f\u6b8b\u3063\u3066\u3044\u306a\u3044\u305f\u3081\u3001\u305d\u306e\u6307\u3057\u624b\u306f\u8a31\u3055\u308c\u306a\u3044\u3002\u5404\u99d2\u306e\u79fb\u52d5\u80fd\u529b\u3092\u8abf\u3079\u308b\u51e6\u7406\u306b\u52a0\u3048\u3066\u3001\u5168\u4f53\u306e\u679a\u6570\u69cb\u6210\u3068\u77db\u76fe\u3057\u306a\u3044\u304b\u3092\u78ba\u8a8d\u3059\u308b\u51e6\u7406\u304c\u5fc5\u8981\u306b\u306a\u308b\u3002<\/p>\n<h3>1.3 \u99d2\u3092\u53d6\u308b\u3001\u6210\u308b\u3001\u6253\u3064<\/h3>\n<p>\u91cf\u5b50\u5c06\u68cb\u3067\u3082\u3001\u76f8\u624b\u306e\u99d2\u3092\u53d6\u3063\u3066\u6301\u3061\u99d2\u3068\u3057\u3001\u5f8c\u304b\u3089\u76e4\u4e0a\u3078\u6253\u3064\u3053\u3068\u304c\u3067\u304d\u308b\u3002\u305f\u3060\u3057\u3001\u53d6\u3089\u308c\u305f\u99d2\u306e\u7a2e\u985e\u304c\u78ba\u5b9a\u3057\u3066\u3044\u308b\u3068\u306f\u9650\u3089\u306a\u3044\u3002\u4f8b\u3048\u3070\u3001\u53d6\u3089\u308c\u308b\u76f4\u524d\u306b\u300c\u738b\u30fb\u98db\u30fb\u9280\u300d\u306e 3 \u7a2e\u985e\u306e\u53ef\u80fd\u6027\u304c\u6b8b\u3063\u3066\u3044\u305f\u99d2\u306b\u3064\u3044\u3066\u8003\u3048\u308b\u3002\u738b\u5c06\u3067\u3042\u308b\u3068\u78ba\u5b9a\u3057\u3066\u3044\u306a\u3051\u308c\u3070\u3001\u305d\u306e\u99d2\u3092\u53d6\u308b\u3053\u3068\u3067\u738b\u5c06\u306e\u53ef\u80fd\u6027\u304c\u9664\u5916\u3055\u308c\u308b\u3002\u307b\u304b\u306e\u6761\u4ef6\u3068\u77db\u76fe\u3057\u306a\u3051\u308c\u3070\u3001\u53d6\u3089\u308c\u305f\u99d2\u306f\u300c\u98db\u30fb\u9280\u300d\u306e\u53ef\u80fd\u6027\u3092\u6b8b\u3057\u305f\u6301\u3061\u99d2\u306b\u306a\u308b\u3002\u53d6\u3063\u305f\u6642\u70b9\u3067\u98db\u8eca\u304b\u9280\u306e\u3069\u3061\u3089\u304b\u4e00\u65b9\u3092\u9078\u629e\u3059\u308b\u5fc5\u8981\u306f\u306a\u304f\u3001\u4ee5\u5f8c\u306e\u6307\u3057\u624b\u306b\u3088\u3063\u3066\u5019\u88dc\u304c\u3055\u3089\u306b\u7d5e\u3089\u308c\u308b\u3002<\/p>\n<p>\u6301\u3061\u99d2\u306b\u306a\u3063\u305f\u99d2\u306b\u3064\u3044\u3066\u3001\u73fe\u5728\u306e\u6240\u6709\u8005\u3068\u521d\u671f\u9663\u55b6\u3092\u533a\u5225\u3059\u308b\u3053\u3068\u304c\u91cd\u8981\u3067\u3042\u308b\u3002\u4f8b\u3048\u3070\u3001\u5148\u624b\u304c\u5f8c\u624b\u306e\u91cf\u5b50\u99d2\u3092\u53d6\u3063\u3066\u81ea\u5206\u306e\u6301\u3061\u99d2\u306b\u3057\u305f\u5834\u5408\u3001\u305d\u306e\u99d2\u3092\u52d5\u304b\u3059\u6a29\u5229\u306f\u5148\u624b\u306b\u79fb\u308b\u3002\u3057\u304b\u3057\u3001\u99d2\u7a2e\u306e\u679a\u6570\u5236\u7d04\u3067\u306f\u3001\u305d\u306e\u99d2\u306f\u6700\u521d\u306b\u5c5e\u3057\u3066\u3044\u305f\u5f8c\u624b\u306e 20 \u679a\u306e\u4e00\u90e8\u3067\u3042\u308a\u7d9a\u3051\u308b\u3002\u5148\u624b\u304c\u305d\u306e\u99d2\u3092\u76e4\u4e0a\u3078\u6253\u3061\u3001\u98db\u8eca\u306b\u78ba\u5b9a\u3055\u305b\u308c\u3070\u3001\u5f8c\u624b\u306e\u521d\u671f\u9663\u55b6\u306b\u7531\u6765\u3059\u308b\u307b\u304b\u306e\u99d2\u304b\u3089\u98db\u8eca\u306e\u53ef\u80fd\u6027\u304c\u6d88\u3048\u308b\u3002\u4e00\u65b9\u3001\u5148\u624b\u304c\u6700\u521d\u304b\u3089\u6240\u6709\u3057\u3066\u3044\u305f 20 \u679a\u306e\u98db\u8eca\u306e\u53ef\u80fd\u6027\u306b\u306f\u3001\u3053\u306e\u78ba\u5b9a\u306b\u3088\u308b\u76f4\u63a5\u306e\u5f71\u97ff\u306f\u306a\u3044\u3002\u73fe\u5728\u306e\u6240\u6709\u8005\u3068\u679a\u6570\u5236\u7d04\u4e0a\u306e\u6240\u5c5e\u3092\u5225\u3005\u306b\u7ba1\u7406\u3059\u308b\u3053\u3068\u3067\u3001\u3053\u306e\u95a2\u4fc2\u304c\u6210\u7acb\u3059\u308b<a href=\"#ref2\">[2]<\/a>\u3002<\/p>\n<p>\u6210\u308a\u3082\u901a\u5e38\u306e\u5c06\u68cb\u3068\u540c\u3058\u3088\u3046\u306b\u3001\u79fb\u52d5\u5143\u307e\u305f\u306f\u79fb\u52d5\u5148\u304c\u76f8\u624b\u9663\u306e 3 \u6bb5\u4ee5\u5185\u306b\u3042\u308b\u5834\u5408\u306b\u9078\u629e\u3067\u304d\u308b\u3002\u305f\u3060\u3057\u3001\u91cf\u5b50\u99d2\u3092\u6210\u308b\u3053\u3068\u3092\u9078\u3093\u3060\u5834\u5408\u3001\u305d\u306e\u64cd\u4f5c\u306b\u3088\u3063\u3066\u65b0\u3057\u3044\u5236\u7d04\u304c\u52a0\u308f\u308b\u3002\u91d1\u3068\u738b\u5c06\u306f\u6210\u308b\u80fd\u529b\u3092\u6301\u305f\u306a\u3044\u305f\u3081\u3001\u6210\u3063\u305f\u99d2\u304b\u3089\u306f\u91d1\u3068\u738b\u5c06\u306e\u53ef\u80fd\u6027\u304c\u9664\u5916\u3055\u308c\u308b\u3002\u4f8b\u3048\u3070\u3001\u6210\u308b\u76f4\u524d\u306b\u300c\u738b\u30fb\u98db\u30fb\u91d1\u30fb\u9280\u300d\u3068\u3044\u3046\u5019\u88dc\u304c\u6b8b\u3063\u3066\u3044\u308c\u3070\u3001\u6210\u308b\u3053\u3068\u81ea\u4f53\u306e\u6761\u4ef6\u3067\u306f\u738b\u3068\u91d1\u304c\u9664\u5916\u3055\u308c\u308b\u3002\u305f\u3060\u3057\u3001\u5b9f\u969b\u306b\u6b8b\u308b\u5019\u88dc\u306f\u79fb\u52d5\u65b9\u5411\u3084\u8ddd\u96e2\u306a\u3069\u306e\u6761\u4ef6\u306b\u3082\u4f9d\u5b58\u3057\u3001\u300c\u98db\u30fb\u9280\u300d\u306e\u4e21\u65b9\u304c\u6b8b\u308b\u3068\u306f\u9650\u3089\u306a\u3044\u3002\u4ee5\u5f8c\u306f\u6210\u308a\u99d2\u306e\u79fb\u52d5\u80fd\u529b\u3068\u3001\u305d\u308c\u307e\u3067\u306e\u99d2\u7a2e\u5019\u88dc\u306e\u4e21\u65b9\u3092\u6e80\u305f\u3059\u3088\u3046\u306b\u6307\u3059\u3053\u3068\u306b\u306a\u308b\u3002<\/p>\n<p>\u307e\u305f\u3001\u901a\u5e38\u306e\u5c06\u68cb\u306b\u306f\u3001\u3053\u308c\u4ee5\u4e0a\u524d\u3078\u9032\u3081\u306a\u304f\u306a\u308b\u4f4d\u7f6e\u306b\u6b69\u3001\u9999\u8eca\u3001\u6842\u99ac\u3092\u6210\u3089\u305a\u306b\u9032\u3081\u305f\u308a\u3001\u305d\u306e\u7a2e\u985e\u306e\u6301\u3061\u99d2\u3092\u6253\u3063\u305f\u308a\u3059\u308b\u3053\u3068\u3092\u8a8d\u3081\u306a\u3044\u898f\u5247\u304c\u3042\u308b\u3002\u91cf\u5b50\u5c06\u68cb\u3067\u306f\u3001\u8a72\u5f53\u3059\u308b\u4f4d\u7f6e\u306b\u7f6e\u3044\u305f\u99d2\u304b\u3089\u3001\u884c\u304d\u3069\u3053\u308d\u306e\u306a\u304f\u306a\u308b\u99d2\u7a2e\u3092\u9664\u5916\u3059\u308b\u3002\u4f8b\u3048\u3070\u3001\u76f8\u624b\u9663\u306e\u6700\u5965\u6bb5\u306b\u4e0d\u6210\u3067\u9032\u5165\u3057\u305f\u99d2\u304b\u3089\u306f\u6b69\u3001\u9999\u8eca\u3001\u6842\u99ac\u306e\u53ef\u80fd\u6027\u304c\u6d88\u3048\u3001\u305d\u306e 1 \u6bb5\u624b\u524d\u3067\u306f\u6842\u99ac\u306e\u53ef\u80fd\u6027\u304c\u6d88\u3048\u308b\u3002\u3053\u308c\u306f\u76e4\u9762\u4e0a\u306e\u4f4d\u7f6e\u306b\u3088\u3063\u3066\u3001\u6210\u7acb\u53ef\u80fd\u306a\u99d2\u7a2e\u304c\u9650\u5b9a\u3055\u308c\u308b\u4f8b\u3067\u3042\u308b\u3002<\/p>\n<table>\n<thead>\n<tr>\n<th>\u64cd\u4f5c<\/th>\n<th>\u8ffd\u52a0\u3055\u308c\u308b\u6761\u4ef6<\/th>\n<th>\u5c40\u9762\u3078\u306e\u5f71\u97ff<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>\u76f8\u624b\u306e\u99d2\u3092\u53d6\u308b<\/td>\n<td>\u53d6\u3089\u308c\u305f\u99d2\u304b\u3089\u738b\u5c06\u306e\u53ef\u80fd\u6027\u3092\u9664\u5916\u3059\u308b\u3002<\/td>\n<td>\u738b\u5c06\u4ee5\u5916\u306e\u53ef\u80fd\u6027\u304c\u6b8b\u308c\u3070\u6301\u3061\u99d2\u3068\u306a\u308b\u3002\u738b\u5c06\u306b\u78ba\u5b9a\u3057\u3066\u3044\u308b\u5834\u5408\u306f\u52dd\u6557\u304c\u6c7a\u307e\u308b\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u53d6\u3063\u305f\u99d2\u3092\u6253\u3064<\/td>\n<td>\u6253\u3063\u305f\u4f4d\u7f6e\u306b\u95a2\u3059\u308b\u5236\u7d04\u3068\u3001\u305d\u308c\u307e\u3067\u306b\u6b8b\u3055\u308c\u305f\u5019\u88dc\u3092\u6e80\u305f\u3059\u3002<\/td>\n<td>\u73fe\u5728\u306e\u6240\u6709\u8005\u306f\u53d6\u3063\u305f\u5074\u3060\u304c\u3001\u99d2\u7a2e\u306e\u679a\u6570\u5236\u7d04\u306b\u306f\u5143\u306e\u521d\u671f\u9663\u55b6\u3092\u4f7f\u3046\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u6210\u308b<\/td>\n<td>\u91d1\u3068\u738b\u5c06\u306e\u53ef\u80fd\u6027\u3092\u9664\u5916\u3059\u308b\u3002<\/td>\n<td>\u6210\u3063\u305f\u72b6\u614b\u3067\u306e\u79fb\u52d5\u80fd\u529b\u3068\u3001\u6b8b\u3063\u305f\u99d2\u7a2e\u5019\u88dc\u306b\u3088\u3063\u3066\u4ee5\u5f8c\u306e\u5408\u6cd5\u624b\u304c\u6c7a\u307e\u308b\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u6700\u5965\u6bb5\u3078\u4e0d\u6210\u3067\u9032\u5165\u3059\u308b<\/td>\n<td>\u6b69\u30fb\u9999\u8eca\u30fb\u6842\u99ac\u306e\u53ef\u80fd\u6027\u3092\u9664\u5916\u3059\u308b\u3002<\/td>\n<td>\u305d\u306e\u4f4d\u7f6e\u3067\u306f\u524d\u9032\u3067\u304d\u306a\u304f\u306a\u308b\u99d2\u7a2e\u304c\u5019\u88dc\u304b\u3089\u6d88\u3048\u308b\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u6700\u5965\u6bb5\u306e 1 \u6bb5\u624b\u524d\u3078\u4e0d\u6210\u3067\u9032\u5165\u3059\u308b<\/td>\n<td>\u6842\u99ac\u306e\u53ef\u80fd\u6027\u3092\u9664\u5916\u3059\u308b\u3002<\/td>\n<td>\u6842\u99ac\u3068\u3057\u3066\u306e\u524d\u65b9\u3078\u306e\u8df3\u8e8d\u304c\u6210\u7acb\u3057\u306a\u304f\u306a\u308b\u4f4d\u7f6e\u306e\u5236\u7d04\u304c\u53cd\u6620\u3055\u308c\u308b\u3002<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\u3053\u306e\u3088\u3046\u306b\u3001\u91cf\u5b50\u5c06\u68cb\u3067\u5019\u88dc\u3092\u7d5e\u308b\u64cd\u4f5c\u306f\u99d2\u306e\u79fb\u52d5\u3060\u3051\u3067\u306f\u306a\u3044\u3002\u53d6\u308b\u3001\u6210\u308b\u3001\u6253\u3064\u3068\u3044\u3046\u64cd\u4f5c\u3084\u3001\u99d2\u3092\u7f6e\u304f\u4f4d\u7f6e\u3082\u5019\u88dc\u96c6\u5408\u306e\u66f4\u65b0\u6761\u4ef6\u306b\u306a\u308b\u3002\u3053\u308c\u3089\u306e\u6761\u4ef6\u304c\u91cd\u306a\u3063\u305f\u7d50\u679c\u3001\u3042\u308b\u99d2\u306b\u5272\u308a\u5f53\u3066\u3089\u308c\u308b\u7a2e\u985e\u304c\u4e00\u3064\u3082\u6b8b\u3089\u306a\u304f\u306a\u308b\u5834\u5408\u304c\u3042\u308b\u3002\u305d\u306e\u3088\u3046\u306a\u6307\u3057\u624b\u306f\u3001\u738b\u5c06\u306e\u6355\u7372\u306b\u3088\u308b\u52dd\u5229\u306e\u5834\u5408\u3092\u9664\u3044\u3066\u8a8d\u3081\u3089\u308c\u306a\u3044\u3002\u5c40\u9762\u306e\u66f4\u65b0\u5f8c\u3082\u3001\u3059\u3079\u3066\u306e\u99d2\u306b\u3064\u3044\u3066\u77db\u76fe\u3057\u306a\u3044\u7a2e\u985e\u306e\u5272\u5f53\u304c\u5b58\u5728\u3059\u308b\u3053\u3068\u304c\u3001\u5bfe\u5c40\u3092\u7d99\u7d9a\u3059\u308b\u305f\u3081\u306e\u6761\u4ef6\u3067\u3042\u308b\u3002<\/p>\n<h3>1.4 \u738b\u5c06\u3082\u672a\u78ba\u5b9a\u306a\u30b2\u30fc\u30e0\u306e\u52dd\u6557<\/h3>\n<p>\u901a\u5e38\u306e\u5c06\u68cb\u3067\u306f\u3001\u738b\u5c06\u304c\u3069\u3053\u306b\u3044\u308b\u304b\u3092\u4e21\u8005\u304c\u628a\u63e1\u3057\u3001\u738b\u5c06\u3092\u53d6\u3089\u308c\u306a\u3044\u3088\u3046\u306b\u5b88\u308a\u306a\u304c\u3089\u76f8\u624b\u3092\u8a70\u307e\u305b\u308b\u3002\u91cf\u5b50\u5c06\u68cb\u3067\u306f\u3001\u738b\u5c06\u3082\u6700\u521d\u306f 20 \u679a\u306e\u3046\u3061\u306e\u3069\u308c\u304b\u3068\u3044\u3046\u72b6\u614b\u304b\u3089\u59cb\u307e\u308b\u3002\u738b\u5c06\u306b\u306a\u308a\u5f97\u308b\u99d2\u306f\u8907\u6570\u5b58\u5728\u3059\u308b\u304c\u3001\u521d\u671f\u9663\u55b6\u3054\u3068\u306b\u738b\u5c06\u3068\u3057\u3066\u5272\u308a\u5f53\u3066\u3089\u308c\u308b\u306e\u306f 1 \u679a\u3060\u3051\u3067\u3042\u308b\u3002\u5bfe\u5c40\u4e2d\u306e\u79fb\u52d5\u3084\u6355\u7372\u306b\u3088\u3063\u3066\u738b\u5c06\u306e\u53ef\u80fd\u6027\u304c\u7d5e\u3089\u308c\u3001\u3042\u308b\u99d2\u304c\u738b\u5c06\u306b\u78ba\u5b9a\u3059\u308b\u5834\u5408\u304c\u3042\u308b\u3002<\/p>\n<p>\u52dd\u5229\u6761\u4ef6\u306f\u3001\u738b\u5c06\u306b\u78ba\u5b9a\u3057\u305f\u76f8\u624b\u306e\u99d2\u3092\u53d6\u308b\u3053\u3068\u3067\u3042\u308b\u3002\u4f8b\u3048\u3070\u3001\u3042\u308b\u99d2\u306b\u300c\u738b\u30fb\u98db\u300d\u306e\u53ef\u80fd\u6027\u304c\u6b8b\u3063\u3066\u3044\u3066\u3001\u305d\u306e\u99d2\u3092\u53d6\u308b\u64cd\u4f5c\u3092\u884c\u3063\u305f\u3068\u3059\u308b\u3002\u98db\u8eca\u3068\u3057\u3066\u6210\u7acb\u3059\u308b\u5272\u5f53\u304c\u6b8b\u308b\u306a\u3089\u3001\u738b\u5c06\u306e\u53ef\u80fd\u6027\u3092\u9664\u5916\u3057\u305f\u3046\u3048\u3067\u6355\u7372\u304c\u6210\u7acb\u3059\u308b\u3002\u4e00\u65b9\u3001\u305d\u306e\u99d2\u304c\u738b\u5c06\u306b\u3057\u304b\u306a\u308c\u306a\u3044\u72b6\u614b\u3067\u53d6\u3089\u308c\u305f\u5834\u5408\u306f\u3001\u738b\u5c06\u3092\u53d6\u3063\u305f\u5074\u306e\u52dd\u5229\u3068\u306a\u308b\u3002\u3053\u3053\u3067\u306f\u3001\u53d6\u3089\u308c\u305f\u99d2\u304b\u3089\u738b\u5c06\u306e\u53ef\u80fd\u6027\u3092\u9664\u5916\u3067\u304d\u308b\u304b\u3068\u3044\u3046\u6761\u4ef6\u304c\u3001\u901a\u5e38\u306e\u6355\u7372\u3068\u52dd\u5229\u3092\u5206\u3051\u3066\u3044\u308b\u3002<\/p>\n<p>\u738b\u624b\u653e\u7f6e\u3082\u8a8d\u3081\u3089\u308c\u3066\u3044\u308b\u3002\u901a\u5e38\u306e\u5c06\u68cb\u3067\u306f\u3001\u738b\u5c06\u304c\u76f8\u624b\u306e\u5229\u304d\u306b\u3055\u3089\u3055\u308c\u308b\u6307\u3057\u624b\u3092\u7981\u6b62\u3059\u308b\u304c\u3001\u91cf\u5b50\u5c06\u68cb\u3067\u306f\u738b\u5c06\u306e\u5019\u88dc\u304c\u8907\u6570\u306e\u99d2\u306b\u5206\u6563\u3057\u3066\u3044\u308b\u3002\u4eee\u306b\u738b\u624b\u653e\u7f6e\u3092\u7981\u6b62\u3059\u308b\u3068\u3001\u738b\u5c06\u306e\u5019\u88dc\u3092\u6301\u3064\u99d2\u3068\u3001\u76f8\u624b\u306e\u98db\u8eca\u3084\u89d2\u306a\u3069\u306e\u5019\u88dc\u3092\u6301\u3064\u99d2\u306e\u4f4d\u7f6e\u95a2\u4fc2\u304b\u3089\u3001\u65b0\u3057\u3044\u5236\u7d04\u304c\u767a\u751f\u3059\u308b\u3002\u3057\u304b\u3082\u3001\u305d\u306e\u5236\u7d04\u306f\u5148\u624b\u3068\u5f8c\u624b\u306e\u4e21\u65b9\u306e\u5019\u88dc\u306e\u7d44\u5408\u305b\u306b\u95a2\u4fc2\u3059\u308b\u3002\u73fe\u884c\u30eb\u30fc\u30eb\u3067\u306f\u738b\u624b\u653e\u7f6e\u3092\u8a31\u5bb9\u3059\u308b\u3053\u3068\u3067\u3001\u3053\u306e\u7a2e\u306e\u5236\u7d04\u3092\u5408\u6cd5\u624b\u5224\u5b9a\u304b\u3089\u9664\u5916\u3057\u3066\u3044\u308b<a href=\"#ref2\">[2]<\/a>\u3002<\/p>\n<p>\u4e8c\u6b69\u306b\u3064\u3044\u3066\u3082\u3001\u901a\u5e38\u306e\u5c06\u68cb\u3068\u306f\u7570\u306a\u308b\u898f\u5247\u304c\u3042\u308b\u30022026 \u5e74 3 \u6708\u304b\u3089\u9069\u7528\u3055\u308c\u3066\u3044\u308b\u300c\u78ba\u5b9a\u4e8c\u6b69\u7981\u300d\u3067\u306f\u3001\u540c\u3058\u7b4b\u306b\u81ea\u5206\u306e\u6b69\u306b\u78ba\u5b9a\u3057\u305f\u99d2\u304c\u3042\u308b\u5834\u5408\u3001\u5225\u306e\u6b69\u306b\u78ba\u5b9a\u3057\u305f\u6301\u3061\u99d2\u3092\u6253\u3064\u3053\u3068\u306f\u7981\u6b62\u3055\u308c\u308b\u3002\u4e00\u65b9\u3001\u6700\u521d\u306f\u6b69\u4ee5\u5916\u306e\u53ef\u80fd\u6027\u3082\u6301\u3063\u3066\u3044\u305f\u99d2\u304c\u3001\u305d\u306e\u5f8c\u306e\u53ce\u675f\u306b\u3088\u3063\u3066\u6b69\u306b\u78ba\u5b9a\u3057\u3001\u7d50\u679c\u3068\u3057\u3066\u540c\u3058\u7b4b\u306b 2 \u679a\u306e\u6b69\u304c\u4e26\u3076\u3053\u3068\u306f\u8a8d\u3081\u3089\u308c\u308b<a href=\"#ref1\">[1]<\/a>\u3002<\/p>\n<p>\u3053\u306e\u533a\u5225\u306b\u306f\u3001\u679a\u6570\u5236\u7d04\u3068\u306e\u95a2\u4fc2\u304c\u3042\u308b\u3002\u3082\u3057\u521d\u671f\u72b6\u614b\u304b\u3089\u901a\u5e38\u306e\u4e8c\u6b69\u7981\u6b62\u3092\u3059\u3079\u3066\u306e\u53ef\u80fd\u6027\u306b\u9069\u7528\u3059\u308b\u3068\u3001\u540c\u3058\u7b4b\u306b\u4e26\u3076\u99d2\u540c\u58eb\u306e\u5019\u88dc\u304c\u76f8\u4e92\u306b\u5236\u9650\u3055\u308c\u308b\u3002\u3055\u3089\u306b\u3001\u5404\u9663\u55b6\u306b\u6b69\u304c 9 \u679a\u5fc5\u8981\u3067\u3042\u308b\u3053\u3068\u304b\u3089\u3001\u521d\u671f\u914d\u7f6e\u305d\u306e\u3082\u306e\u306b\u591a\u6570\u306e\u5236\u7d04\u304c\u767a\u751f\u3059\u308b\u3002\u78ba\u5b9a\u4e8c\u6b69\u7981\u306f\u3001\u3059\u3067\u306b\u6b69\u3068\u78ba\u5b9a\u3057\u3066\u3044\u308b\u99d2\u3092\u6253\u3064\u64cd\u4f5c\u3092\u5236\u9650\u3059\u308b\u898f\u5247\u3067\u3042\u308a\u3001\u53ce\u675f\u306b\u3088\u3063\u3066\u5f8c\u304b\u3089\u6210\u7acb\u3059\u308b\u6b69\u306e\u914d\u7f6e\u306f\u8a31\u5bb9\u3059\u308b\u3002\u3053\u306e\u9055\u3044\u306b\u3088\u3063\u3066\u3001\u99d2\u7a2e\u306e\u672a\u78ba\u5b9a\u6027\u3092\u4fdd\u6301\u3057\u305f\u307e\u307e\u5bfe\u5c40\u3092\u9032\u3081\u3089\u308c\u308b\u3002<\/p>\n<p>\u91cf\u5b50\u5c06\u68cb\u306e\u5c40\u9762\u306f\u3001\u99d2\u306e\u4f4d\u7f6e\u3001\u73fe\u5728\u306e\u6240\u6709\u8005\u3001\u6210\u308a\u72b6\u614b\u3001\u99d2\u7a2e\u5019\u88dc\u3001\u5143\u306e\u521d\u671f\u9663\u55b6\u3068\u3044\u3046\u60c5\u5831\u306b\u3088\u3063\u3066\u69cb\u6210\u3055\u308c\u308b\u3002\u6307\u3057\u624b\u306f\u3053\u308c\u3089\u306e\u72b6\u614b\u3092\u66f4\u65b0\u3057\u3001\u66f4\u65b0\u5f8c\u306e\u6761\u4ef6\u3092\u6e80\u305f\u3059\u99d2\u7a2e\u306e\u7d44\u5408\u305b\u304c\u5b58\u5728\u3059\u308b\u5834\u5408\u306b\u6210\u7acb\u3059\u308b\u3002\u738b\u5c06\u306e\u6355\u7372\u3067\u306f\u52dd\u6557\u304c\u6c7a\u307e\u308a\u3001\u305d\u308c\u4ee5\u5916\u306e\u6307\u3057\u624b\u3067\u306f\u77db\u76fe\u306e\u306a\u3044\u5272\u5f53\u304c\u7dad\u6301\u3055\u308c\u308b\u3002\u3053\u306e\u898f\u5247\u306b\u3088\u3063\u3066\u3001\u99d2\u306e\u6b63\u4f53\u304c\u672a\u78ba\u5b9a\u306a\u307e\u307e\u3067\u3082\u3001\u5408\u6cd5\u624b\u3068\u52dd\u5229\u6761\u4ef6\u3092\u5224\u5b9a\u3067\u304d\u308b\u5c06\u68cb\u304c\u6210\u7acb\u3057\u3066\u3044\u308b\u3002<\/p>\n<hr>\n<h2>2. \u6307\u3057\u624b\u3092\u5019\u88dc\u96c6\u5408\u306e\u66f4\u65b0\u3068\u3057\u3066\u5b9a\u7fa9\u3059\u308b<\/h2>\n<h3>2.1 \u5c40\u6240\u7684\u306a\u6761\u4ef6\u3092\u96c6\u5408\u3067\u8868\u3059<\/h3>\n<p>\u99d2\u7a2e\u5168\u4f53\u3092\u96c6\u5408 \\(K\\) \u3068\u3057\u3001\u521d\u671f\u9663\u55b6 \\(s\\) \u306b\u5c5e\u3059\u308b\u99d2\u306e\u8b58\u5225\u5b50\u96c6\u5408\u3092 \\(I_s\\) \u3068\u3059\u308b\u3002\u5148\u624b\u3068\u5f8c\u624b\u306b\u3064\u3044\u3066\u305d\u308c\u305e\u308c \\(|I_s|=20\\) \u3067\u3042\u308b\u3002\u99d2 \\(i\\) \u306b\u6642\u523b \\(t\\) \u307e\u3067\u306e\u64cd\u4f5c\u304b\u3089\u8a31\u3055\u308c\u308b\u7a2e\u985e\u3092\u3001\u5019\u88dc\u96c6\u5408 \\(D_i(t)\\) \u306b\u8a18\u9332\u3059\u308b\u3002\u521d\u671f\u72b6\u614b\u3067\u306f\u3059\u3079\u3066\u306e\u99d2\u306b\u3064\u3044\u3066 \\(D_i(0)=K\\) \u3068\u306a\u308b\u3002<\/p>\n<p>\\[K=\\{\u738b,\u98db,\u89d2,\u91d1,\u9280,\u6842,\u9999,\u6b69\\},\\qquad D_i(0)=K\\]<\/p>\n<p>\u6307\u3057\u624b \\(u_t\\) \u304c\u99d2 \\(i\\) \u306b\u65b0\u3057\u3044\u6761\u4ef6\u3092\u8ab2\u3059\u3068\u304d\u3001\u305d\u306e\u64cd\u4f5c\u3068\u4e21\u7acb\u3059\u308b\u99d2\u7a2e\u96c6\u5408\u3092 \\(E_i(S_t,u_t)\\) \u3068\u3059\u308b\u3002\\(S_t\\) \u306f\u6307\u3059\u76f4\u524d\u306e\u5c40\u9762\u3092\u8868\u3059\u3002\u79fb\u52d5\u65b9\u5411\u3001\u8ddd\u96e2\u3001\u6210\u308a\u72b6\u614b\u3001\u79fb\u52d5\u5148\u3001\u6355\u7372\u306e\u6709\u7121\u306b\u3088\u3063\u3066 \\(E_i\\) \u304c\u5b9a\u307e\u308a\u3001\u305d\u306e\u99d2\u306b\u3064\u3044\u3066\u306e\u6761\u4ef6\u3092\u6b21\u306e\u3088\u3046\u306b\u66f4\u65b0\u3059\u308b\u3002<\/p>\n<p>\\[\\boxed{D_i(t+1)=D_i(t)\\cap E_i(S_t,u_t)}\\]<\/p>\n<p>\\(\\cap\\) \u306f\u5171\u901a\u90e8\u5206\u3067\u3042\u308a\u3001\u3059\u3067\u306b\u6b8b\u3063\u3066\u3044\u308b\u5019\u88dc\u306e\u3046\u3061\u3001\u4eca\u56de\u306e\u64cd\u4f5c\u3082\u6e80\u305f\u305b\u308b\u7a2e\u985e\u3060\u3051\u3092\u6b8b\u3059\u3002\u4f8b\u3048\u3070\u6210\u3063\u3066\u3044\u306a\u3044\u99d2\u306b\u3064\u3044\u3066\u3001\u7d4c\u8def\u304c\u7a7a\u3044\u305f\u524d\u65b9\u3078\u306e 2 \u30de\u30b9\u79fb\u52d5\u306a\u3089 \\(E_i=\\{\u98db,\u9999\\}\\) \u3067\u3042\u308a\u3001\u305d\u306e\u99d2\u304c\u6210\u308b\u64cd\u4f5c\u3092\u9078\u3079\u3070 \\(E_i=K\\setminus\\{\u738b,\u91d1\\}\\) \u3068\u3044\u3046\u6761\u4ef6\u3082\u8ab2\u3055\u308c\u308b\u3002\u64cd\u4f5c\u304c\u8907\u6570\u306e\u6761\u4ef6\u3092\u540c\u6642\u306b\u4e0e\u3048\u308b\u5834\u5408\u306f\u3001\u305d\u308c\u3089\u306e\u96c6\u5408\u306e\u5171\u901a\u90e8\u5206\u3092\u53d6\u308c\u3070\u3088\u3044\u3002<\/p>\n<p>\u305f\u3068\u3048\u3070\u3001\u6700\u521d\u306b\u5019\u88dc\u304c 8 \u7a2e\u985e\u3042\u3063\u305f\u99d2\u3092\u524d\u3078 1 \u30de\u30b9\u52d5\u304b\u3059\u3068\u3001\u738b\u30fb\u98db\u30fb\u91d1\u30fb\u9280\u30fb\u9999\u30fb\u6b69\u306e 6 \u7a2e\u985e\u304c\u6b8b\u308b\u3002\u305d\u306e\u5f8c\u3001\u540c\u3058\u99d2\u3092\u6a2a\u3078 2 \u30de\u30b9\u52d5\u304b\u3059\u3053\u3068\u304c\u76e4\u9762\u4e0a\u3067\u53ef\u80fd\u306a\u3089\u3001\u6b8b\u3063\u3066\u3044\u308b\u5019\u88dc\u3068\u300c\u6a2a\u3078 2 \u30de\u30b9\u52d5\u3051\u308b\u7a2e\u985e\u300d\u306e\u5171\u901a\u90e8\u5206\u306f\u98db\u8eca\u3060\u3051\u306b\u306a\u308b\u3002\u3053\u306e 2 \u624b\u3092\u5225\u3005\u306e\u64cd\u4f5c\u3068\u8003\u3048\u3066\u3082\u3001\u5019\u88dc\u96c6\u5408\u306e\u66f4\u65b0\u306f\u4e00\u9023\u306e\u5171\u901a\u90e8\u5206\u3068\u3057\u3066\u66f8\u3051\u308b\u3002<\/p>\n<p>\\[D_i(t+2)=D_i(t)\\cap E_i(S_t,u_t)\\cap E_i(S_{t+1},u_{t+1})\\]<\/p>\n<p>\u5171\u901a\u90e8\u5206\u306b\u306f\u7d50\u5408\u6cd5\u5247\u304c\u3042\u308b\u305f\u3081\u3001\u3044\u304f\u3064\u304b\u306e\u6761\u4ef6\u3092\u9806\u306b\u9069\u7528\u3057\u3066\u3082\u3001\u3059\u3079\u3066\u3092\u540c\u6642\u306b\u6e80\u305f\u3059\u7a2e\u985e\u3060\u3051\u304c\u6b8b\u308b\u3002\u3053\u306e\u6027\u8cea\u306f\u3001\u904e\u53bb\u306e\u79fb\u52d5\u5c65\u6b74\u3092\u6bce\u56de\u6700\u521d\u304b\u3089\u8aad\u307f\u76f4\u3059\u4ee3\u308f\u308a\u306b\u3001\u5019\u88dc\u96c6\u5408\u3068\u3044\u3046\u5f62\u3067\u84c4\u7a4d\u3067\u304d\u308b\u6839\u62e0\u3068\u306a\u308b\u3002\u305f\u3060\u3057\u3001\u76e4\u9762\u306b\u4f9d\u5b58\u3059\u308b\u6761\u4ef6\u96c6\u5408 \\(E_i\\) \u306e\u5185\u5bb9\u81ea\u4f53\u306f\u305d\u306e\u6642\u70b9\u306e\u4f4d\u7f6e\u3068\u6210\u308a\u72b6\u614b\u304b\u3089\u6c7a\u307e\u308b\u306e\u3067\u3001\u3059\u3079\u3066\u306e\u6307\u3057\u624b\u3092\u9806\u5e8f\u306a\u3057\u306b\u5165\u308c\u66ff\u3048\u3089\u308c\u308b\u3068\u3044\u3046\u610f\u5473\u3067\u306f\u306a\u3044\u3002<\/p>\n<p>\u5019\u88dc\u96c6\u5408\u304c\u7a7a\u306b\u306a\u308c\u3070\u3001\u305d\u306e\u64cd\u4f5c\u3092\u6e80\u305f\u3059\u57fa\u672c\u7a2e\u985e\u306f\u5b58\u5728\u3057\u306a\u3044\u3002\u4f8b\u3048\u3070\u300c\u98db\u30fb\u9999\u300d\u307e\u3067\u7d5e\u3089\u308c\u305f\u6210\u3063\u3066\u3044\u306a\u3044\u99d2\u306b\u659c\u3081 2 \u30de\u30b9\u306e\u79fb\u52d5\u6761\u4ef6\u3092\u8ab2\u3059\u3068\u3001\\(\\{\u98db,\u9999\\}\\cap\\{\u89d2\\}=\\varnothing\\) \u3068\u306a\u308b\u3002\u3053\u306e\u5c40\u6240\u77db\u76fe\u306f\u5168\u4f53\u306e\u679a\u6570\u3092\u8abf\u3079\u308b\u524d\u306b\u691c\u51fa\u3067\u304d\u308b\u3002\u4e00\u65b9\u3001\u5c40\u6240\u5019\u88dc\u304c\u7a7a\u3067\u306a\u304f\u3066\u3082\u679a\u6570\u5236\u7d04\u3067\u77db\u76fe\u3059\u308b\u5834\u5408\u304c\u3042\u308b\u305f\u3081\u3001\u5408\u6cd5\u6027\u5224\u5b9a\u3092\u5c40\u6240\u6761\u4ef6\u3060\u3051\u3067\u5b8c\u7d50\u3055\u305b\u308b\u3053\u3068\u306f\u3067\u304d\u306a\u3044\u3002<\/p>\n<h3>2.2 \u5c40\u6240\u66f4\u65b0\u304c\u6301\u3064\u5358\u8abf\u6027\u3068\u9650\u754c<\/h3>\n<p>\u96c6\u5408\u306e\u5171\u901a\u90e8\u5206\u306f\u5143\u306e\u96c6\u5408\u306b\u542b\u307e\u308c\u308b\u305f\u3081\u3001\u3044\u3063\u305f\u3093\u5019\u88dc\u304b\u3089\u6d88\u3048\u305f\u7a2e\u985e\u306f\u3001\u540c\u3058\u99d2\u306e\u5f8c\u7d9a\u306e\u64cd\u4f5c\u3067\u306f\u5fa9\u6d3b\u3057\u306a\u3044\u3002\u5c40\u6240\u66f4\u65b0\u306f\u6b21\u306e\u5305\u542b\u95a2\u4fc2\u3092\u6e80\u305f\u3059\u3002<\/p>\n<p>\\[D_i(t+1)\\subseteq D_i(t)\\]<\/p>\n<p>\u305f\u3060\u3057\u3001\u3053\u308c\u306f\u305d\u306e\u99d2\u306b\u3064\u3044\u3066\u306e\u79fb\u52d5\u30fb\u6210\u308a\u30fb\u6355\u7372\u306e\u6761\u4ef6\u3060\u3051\u3092\u53cd\u6620\u3057\u305f\u95a2\u4fc2\u3067\u3042\u308b\u3002\u4f8b\u3048\u3070\u98db\u8eca\u306b\u78ba\u5b9a\u3057\u305f\u99d2\u304c\u73fe\u308c\u308c\u3070\u3001\u540c\u3058\u521d\u671f\u9663\u55b6\u306e\u6b8b\u308a 19 \u679a\u306f\u3001\u305d\u306e\u99d2\u81ea\u8eab\u304c\u4f55\u3082\u3057\u3066\u3044\u306a\u304f\u3066\u3082\u98db\u8eca\u306e\u5019\u88dc\u3092\u5931\u3046\u3002\u5168\u4f53\u306e\u679a\u6570\u3092\u5b88\u308b\u6761\u4ef6\u3092\u5c0e\u5165\u3057\u306a\u3051\u308c\u3070\u3001\u3053\u306e\u5909\u5316\u3092\u8aac\u660e\u3067\u304d\u306a\u3044\u3002<\/p>\n<p>\u958b\u767a\u8005\u306e\u516c\u958b\u3057\u305f\u53ce\u675f\u51e6\u7406\u3082\u3001\u6307\u3057\u624b\u306b\u3088\u308b\u5019\u88dc\u306e\u7d5e\u308a\u8fbc\u307f\u3068\u3001\u521d\u671f\u9663\u55b6\u5168\u4f53\u306e\u4f7f\u3044\u5207\u308a\u306b\u3088\u308b\u5019\u88dc\u306e\u7d5e\u308a\u8fbc\u307f\u3092\u533a\u5225\u3057\u3066\u3044\u308b<a href=\"#ref3\">[3]<\/a>\u3002\u6570\u5b66\u7684\u306b\u306f\u3001\\(D_i\\) \u3092\u64cd\u4f5c\u304b\u3089\u76f4\u63a5\u5f97\u3089\u308c\u308b\u6761\u4ef6\u3001\u5168\u4f53\u306e\u5272\u5f53\u3092\u8003\u616e\u3057\u305f\u6b63\u78ba\u306a\u5019\u88dc\u3092 \\(P_i\\) \u3068\u533a\u5225\u3059\u308b\u3068\u3001\u3053\u306e\u4e8c\u3064\u306e\u51e6\u7406\u306e\u5f79\u5272\u304c\u660e\u78ba\u306b\u306a\u308b\u3002<\/p>\n<p>\u5c40\u6240\u66f4\u65b0\u3068\u5168\u4f53\u306e\u66f4\u65b0\u306e\u9055\u3044\u306f\u3001\u540c\u3058\u521d\u671f\u9663\u55b6\u306e\u5225\u306e\u99d2\u306b\u6ce8\u76ee\u3059\u308b\u3068\u660e\u78ba\u306b\u306a\u308b\u3002\u756a\u53f7 1 \u306e\u99d2\u304c\u6a2a\u65b9\u5411\u3078\u306e\u9577\u8ddd\u96e2\u79fb\u52d5\u3067\u98db\u8eca\u306b\u78ba\u5b9a\u3057\u305f\u3068\u304d\u3001\u756a\u53f7 2 \u306e\u99d2\u304c\u4e00\u5ea6\u3082\u52d5\u3044\u3066\u3044\u306a\u304f\u3066\u3082\u3001\u756a\u53f7 2 \u306b\u98db\u8eca\u3092\u5272\u308a\u5f53\u3066\u308b\u89e3\u306f\u6d88\u3048\u308b\u3002\\(D_2\\) \u3092\u76f4\u63a5\u66f4\u65b0\u3059\u308b\u64cd\u4f5c\u3092\u884c\u3063\u3066\u3044\u306a\u304f\u3066\u3082\u3001\u5168\u4f53\u306e\u5236\u7d04\u304b\u3089\u5c0e\u304b\u308c\u308b\u6b63\u78ba\u306a\u5019\u88dc\u96c6\u5408\u306f\u6e1b\u5c11\u3059\u308b\u3002\u3053\u306e\u533a\u5225\u3092\u4fdd\u3064\u305f\u3081\u3001\u64cd\u4f5c\u306e\u76f4\u63a5\u6761\u4ef6\u3092 \\(D_i\\)\u3001\u5168\u4f53\u306e\u6574\u5408\u6027\u307e\u3067\u53cd\u6620\u3057\u305f\u5019\u88dc\u3092 \\(P_i\\) \u3068\u8a18\u3059\u3002<\/p>\n<p>\u3053\u306e\u95a2\u4fc2\u306f\u3001\u30c7\u30fc\u30bf\u306e\u4fdd\u6301\u65b9\u6cd5\u306b\u3082\u5f71\u97ff\u3059\u308b\u3002\u5c40\u6240\u6761\u4ef6 \\(D_i\\) \u306f\u3001\u6307\u3057\u624b\u306b\u3088\u3063\u3066\u8ffd\u52a0\u3055\u308c\u305f\u5236\u7d04\u306e\u8a18\u9332\u3068\u3057\u3066\u6271\u3048\u308b\u3002\\(P_i\\) \u306f\u540c\u3058\u521d\u671f\u9663\u55b6\u306b\u5c5e\u3059\u308b\u307b\u304b\u306e\u99d2\u306e\u72b6\u614b\u306b\u3088\u3063\u3066\u5909\u308f\u308b\u305f\u3081\u3001\u5c40\u6240\u6761\u4ef6\u3068\u679a\u6570\u4fdd\u5b58\u5247\u304b\u3089\u8a08\u7b97\u3055\u308c\u308b\u7d50\u679c\u3068\u306a\u308b\u3002\u4e21\u8005\u3092\u533a\u5225\u3059\u308c\u3070\u3001\u99d2\u3092\u52d5\u304b\u3057\u305f\u4e8b\u5b9f\u3068\u3001\u5168\u4f53\u304b\u3089\u63a8\u8ad6\u3055\u308c\u305f\u5019\u88dc\u524a\u9664\u3092\u6df7\u540c\u305b\u305a\u306b\u8aac\u660e\u3067\u304d\u308b\u3002<\/p>\n<hr>\n<h2>3. 20 \u679a\u5168\u4f53\u306e\u53ef\u80fd\u4e16\u754c\u3092\u5b9a\u7fa9\u3059\u308b<\/h2>\n<h3>3.1 \u96e2\u6563\u5909\u6570\u3068\u679a\u6570\u4fdd\u5b58\u5247<\/h3>\n<p>\u521d\u671f\u9663\u55b6\u3092\u4e00\u3064\u56fa\u5b9a\u3057\u3001\u305d\u306e 20 \u679a\u3092 \\(I=\\{1,2,\\ldots,20\\}\\) \u3068\u8a18\u3059\u3002\u5404\u99d2 \\(i\\) \u306e\u57fa\u672c\u7a2e\u985e\u3092\u96e2\u6563\u5909\u6570 \\(X_i\\in K\\) \u3067\u8868\u3059\u3002\u3053\u306e\u5909\u6570\u306f\u79d8\u5bc6\u306e\u99d2\u7a2e\u304c\u6700\u521d\u304b\u3089\u62bd\u9078\u3055\u308c\u3066\u3044\u308b\u3068\u3044\u3046\u610f\u5473\u3067\u306f\u306a\u304f\u3001\u4e0e\u3048\u3089\u308c\u305f\u6761\u4ef6\u3092\u6e80\u305f\u3059\u5272\u5f53\u3092\u8a18\u8ff0\u3059\u308b\u6570\u5b66\u4e0a\u306e\u5909\u6570\u3067\u3042\u308b\u3002\u6210\u308a\u72b6\u614b\u3084\u73fe\u5728\u306e\u6240\u6709\u8005\u306f\u3001\u57fa\u672c\u7a2e\u985e\u3068\u306f\u5225\u306b\u7ba1\u7406\u3059\u308b\u3002<\/p>\n<p>\u7a2e\u985e \\(k\\) \u306b\u5fc5\u8981\u306a\u679a\u6570\u3092 \\(c_k\\) \u3068\u3059\u308b\u3002\u738b\u3001\u98db\u8eca\u3001\u89d2\u306f\u5404 1 \u679a\u3001\u91d1\u3001\u9280\u3001\u6842\u99ac\u3001\u9999\u8eca\u306f\u5404 2 \u679a\u3001\u6b69\u306f 9 \u679a\u3067\u3042\u308a\u3001\\(\\sum_{k\\in K}c_k=20\\) \u304c\u6210\u308a\u7acb\u3064\u3002\u6307\u793a\u95a2\u6570 \\(\\mathbf 1[X_i=k]\\) \u306f\u3001\u99d2 \\(i\\) \u306b\u7a2e\u985e \\(k\\) \u3092\u5272\u308a\u5f53\u3066\u305f\u3068\u304d 1\u3001\u305d\u308c\u4ee5\u5916\u306e\u3068\u304d 0 \u3068\u306a\u308b\u3002\u679a\u6570\u4fdd\u5b58\u5247\u306f\u6b21\u306e\u7b49\u5f0f\u3067\u8868\u305b\u308b\u3002<\/p>\n<p>\\[\\boxed{\\sum_{i\\in I}\\mathbf 1[X_i=k]=c_k\\qquad(k\\in K)}\\]<\/p>\n<table>\n<thead>\n<tr>\n<th>\u99d2\u7a2e<\/th>\n<th>\u5fc5\u8981\u679a\u6570<\/th>\n<th>\u6570\u7406\u7684\u306a\u610f\u5473<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>\u738b\u30fb\u98db\u8eca\u30fb\u89d2<\/td>\n<td>\u5404 1 \u679a<\/td>\n<td>\u305d\u308c\u305e\u308c\u306e\u5024\u3092\u53d6\u308b\u5909\u6570\u306f\u3001\u521d\u671f\u9663\u55b6\u306b\u3064\u304d\u4e00\u3064\u305a\u3064\u3067\u3042\u308b\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u91d1\u30fb\u9280\u30fb\u6842\u99ac\u30fb\u9999\u8eca<\/td>\n<td>\u5404 2 \u679a<\/td>\n<td>\u305d\u308c\u305e\u308c\u306e\u5024\u3092\u53d6\u308b\u5909\u6570\u306f\u3001\u521d\u671f\u9663\u55b6\u306b\u3064\u304d\u4e8c\u3064\u305a\u3064\u3067\u3042\u308b\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u6b69<\/td>\n<td>9 \u679a<\/td>\n<td>\u6b69\u3068\u3044\u3046\u5024\u3092\u53d6\u308b\u5909\u6570\u306f\u3001\u521d\u671f\u9663\u55b6\u306b\u3064\u304d\u4e5d\u3064\u3067\u3042\u308b\u3002<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\u679a\u6570\u306e\u6761\u4ef6\u3092\u30d9\u30af\u30c8\u30eb\u3067\u8868\u3059\u3068\u3001\\(K\\) \u306e\u9806\u5e8f\u3092\u738b\u3001\u98db\u3001\u89d2\u3001\u91d1\u3001\u9280\u3001\u6842\u3001\u9999\u3001\u6b69\u3068\u3057\u305f\u3068\u304d\u3001\\(c=(1,1,1,2,2,2,2,9)\\) \u3067\u3042\u308b\u3002\u3053\u306e\u8981\u7d20\u3092\u8db3\u3057\u5408\u308f\u305b\u308b\u3068 \\(1+1+1+2+2+2+2+9=20\\) \u306b\u306a\u308b\u300220 \u679a\u3092\u305d\u308c\u305e\u308c\u3069\u308c\u304b\u4e00\u7a2e\u985e\u306b\u5272\u308a\u5f53\u3066\u3001\u5404\u7a2e\u985e\u306e\u679a\u6570\u3092\u6b63\u78ba\u306b\u6e80\u305f\u305b\u3070\u3001\u4f59\u5206\u306a\u99d2\u3082\u4e0d\u8db3\u3059\u308b\u99d2\u3082\u751f\u3058\u306a\u3044\u3002<\/p>\n<p>\u3053\u306e\u4fdd\u5b58\u5247\u306f\u99d2\u306e\u73fe\u5728\u4f4d\u7f6e\u3068\u72ec\u7acb\u3067\u3042\u308b\u3002\u4f8b\u3048\u3070\u5f8c\u624b\u7531\u6765\u306e\u98db\u8eca\u3092\u5148\u624b\u304c\u53d6\u3063\u3066\u6253\u3061\u76f4\u3057\u305f\u5834\u5408\u3001\u305d\u306e\u99d2\u306e\u73fe\u5728\u306e\u64cd\u4f5c\u4e3b\u4f53\u306f\u5148\u624b\u3060\u304c\u3001\u98db\u8eca\u306e\u5bb9\u91cf\u306f\u5f8c\u624b\u7531\u6765\u306e\u96c6\u5408\u306e\u4e2d\u3067\u6d88\u8cbb\u3055\u308c\u308b\u3002\u4eee\u306b\u6355\u7372\u306e\u305f\u3073\u306b\u679a\u6570\u5236\u7d04\u306e\u6240\u5c5e\u307e\u3067\u5909\u66f4\u3059\u308b\u3068\u3001\u5148\u624b\u7531\u6765\u306e\u96c6\u5408\u306b\u98db\u8eca\u304c 2 \u679a\u3001\u5f8c\u624b\u7531\u6765\u306e\u96c6\u5408\u306b\u98db\u8eca\u304c 0 \u679a\u3068\u3044\u3046\u72b6\u614b\u3092\u8a31\u3059\u3053\u3068\u306b\u306a\u308a\u3001\u898f\u5247\u304c\u5b9a\u3081\u305f\u521d\u671f\u9663\u55b6\u3054\u3068\u306e\u679a\u6570\u4fdd\u5b58\u5247\u3068\u4e00\u81f4\u3057\u306a\u304f\u306a\u308b\u3002<\/p>\n<p>\u57fa\u672c\u7a2e\u985e\u3068\u6210\u308a\u72b6\u614b\u3082\u5225\u5909\u6570\u3068\u3057\u3066\u6271\u3046\u3002\u6210\u3063\u305f\u98db\u8eca\u306f\u9f8d\u3068\u3057\u3066\u79fb\u52d5\u3059\u308b\u304c\u3001\u679a\u6570\u3092\u6570\u3048\u308b\u969b\u306b\u306f\u98db\u8eca 1 \u679a\u306e\u307e\u307e\u3067\u3042\u308b\u3002\u5019\u88dc\u96c6\u5408\u306e\u5024\u306f\u57fa\u672c\u7a2e\u985e\u3001\u76e4\u4e0a\u3067\u306e\u79fb\u52d5\u80fd\u529b\u306f\u57fa\u672c\u7a2e\u985e\u3068\u6210\u308a\u72b6\u614b\u306e\u7d44\u304b\u3089\u6c7a\u307e\u308b\u3002\u3053\u3046\u3057\u3066\u3001\u99d2\u306e\u7a2e\u985e\u3092\u4fdd\u5b58\u3059\u308b\u6761\u4ef6\u3068\u3001\u76e4\u4e0a\u3067\u4f55\u304c\u3067\u304d\u308b\u304b\u3092\u5224\u5b9a\u3059\u308b\u6761\u4ef6\u3092\u5206\u96e2\u3067\u304d\u308b\u3002<\/p>\n<h3>3.2 \u5b9f\u73fe\u53ef\u80fd\u306a\u5272\u5f53\u96c6\u5408<\/h3>\n<p>\u99d2\u306e\u756a\u53f7\u306b\u7a2e\u985e\u3092\u4e00\u3064\u305a\u3064\u5272\u308a\u5f53\u3066\u308b\u95a2\u6570\u3092 \\(\\omega:I\\to K\\) \u3068\u3059\u308b\u3002\\(\\omega(i)\\) \u306f\u99d2 \\(i\\) \u306b\u5272\u308a\u5f53\u3066\u305f\u7a2e\u985e\u3001\\(\\omega^{-1}(k)\\) \u306f\u7a2e\u985e \\(k\\) \u3092\u5272\u308a\u5f53\u3066\u3089\u308c\u305f\u99d2\u306e\u96c6\u5408\u3067\u3042\u308b\u3002\u5c40\u6240\u6761\u4ef6 \\(D=(D_1,\\ldots,D_{20})\\) \u3068\u679a\u6570\u4fdd\u5b58\u5247\u3092\u540c\u6642\u306b\u6e80\u305f\u3059\u5272\u5f53\u306e\u96c6\u5408\u3092 \\(\\Phi(D)\\) \u3068\u5b9a\u7fa9\u3059\u308b\u3002<\/p>\n<p>\\[\\boxed{\\Phi(D)=\\left\\{\\omega:I\\to K\\ \\middle|\\ \\omega(i)\\in D_i\\ (\\forall i\\in I),\\quad |\\omega^{-1}(k)|=c_k\\ (\\forall k\\in K)\\right\\}}\\]<\/p>\n<p>\\(\\Phi(D)\\) \u306e\u4e00\u8981\u7d20\u306f\u300120 \u679a\u3059\u3079\u3066\u306b\u3064\u3044\u3066\u77db\u76fe\u3057\u306a\u3044\u7a2e\u985e\u306e\u5272\u5f53\u3092\u8868\u3059\u3002\u500b\u3005\u306e\u5019\u88dc\u306b\u98db\u8eca\u304c\u542b\u307e\u308c\u308b\u99d2\u304c\u4f55\u679a\u3042\u3063\u3066\u3082\u3001\u540c\u3058\u5272\u5f53\u306e\u4e2d\u3067\u98db\u8eca\u306b\u306a\u308c\u308b\u306e\u306f\u3061\u3087\u3046\u3069 1 \u679a\u3067\u3042\u308b\u3002\u5b9f\u73fe\u53ef\u80fd\u306a\u5272\u5f53\u304c\u4e00\u3064\u3082\u306a\u3044\u72b6\u614b\u306f \\(\\Phi(D)=\\varnothing\\) \u3068\u8868\u3057\u3001\u901a\u5e38\u306e\u6307\u3057\u624b\u306b\u3064\u3044\u3066\u306f\u77db\u76fe\u3068\u3057\u3066\u6271\u3046\u3002<\/p>\n<p>\u521d\u671f\u72b6\u614b\u3067\u306f\u3059\u3079\u3066\u306e \\(D_i=K\\) \u3067\u3042\u308b\u305f\u3081\u3001\u7a2e\u985e\u3054\u3068\u306e\u679a\u6570\u914d\u5206\u3060\u3051\u304c\u5272\u5f53\u6570\u3092\u5236\u9650\u3059\u308b\u3002\u533a\u5225\u3055\u308c\u305f 20 \u679a\u306b\u540c\u3058\u7a2e\u985e\u306e\u99d2\u3092\u6240\u5b9a\u306e\u679a\u6570\u3060\u3051\u5272\u308a\u5f53\u3066\u308b\u7d44\u5408\u305b\u6570\u306f\u3001\u591a\u9805\u4fc2\u6570\u3067\u8a08\u7b97\u3067\u304d\u308b\u3002<\/p>\n<p>\\[\\boxed{|\\Phi(D(0))|=\\frac{20!}{9!\\,(2!)^4}=419{,}026{,}608{,}000}\\]<\/p>\n<p>\u5206\u5b50\u306f 20 \u679a\u306e\u4e26\u3079\u65b9\u3001\u5206\u6bcd\u306f\u6b69 9 \u679a\u3068\u5404 2 \u679a\u306e 4 \u7a2e\u985e\u306e\u5165\u66ff\u3048\u306b\u3088\u308b\u91cd\u8907\u3092\u8868\u3059\u3002\u7d04 4,190 \u5104\u901a\u308a\u3068\u3044\u3046\u306e\u306f\u7247\u5074\u306e\u521d\u671f\u9663\u55b6\u306e\u57fa\u672c\u7a2e\u985e\u306e\u5272\u5f53\u6570\u3067\u3042\u308a\u3001\u76e4\u9762\u306e\u914d\u7f6e\u3084\u624b\u756a\u3092\u542b\u3081\u305f\u5c40\u9762\u6570\u3067\u306f\u306a\u3044\u3002\u3053\u306e\u5927\u304d\u3055\u304c\u3001\u53ef\u80fd\u4e16\u754c\u3092\u9010\u4e00\u5217\u6319\u3059\u308b\u8a08\u7b97\u3088\u308a\u3001\u5236\u7d04\u305d\u306e\u3082\u306e\u3092\u89e3\u304f\u8a08\u7b97\u3092\u9078\u3076\u7406\u7531\u306b\u306a\u308b\u3002<\/p>\n<p>\u521d\u671f\u5272\u5f53\u6570\u306e\u5f0f\u306f\u3001\u5b9f\u969b\u306b\u306f\u7a2e\u985e\u3054\u3068\u306e\u67a0\u3092\u9806\u306b\u9078\u3076\u8a08\u7b97\u3067\u3082\u5c0e\u3051\u308b\u300220 \u679a\u304b\u3089\u6b69\u306b\u5272\u308a\u5f53\u3066\u308b 9 \u679a\u3092\u9078\u3073\u3001\u6b8b\u308a 11 \u679a\u304b\u3089\u91d1 2 \u679a\u3001\u6b8b\u308a 9 \u679a\u304b\u3089\u9280 2 \u679a\u3068\u3044\u3046\u3088\u3046\u306b\u9078\u3093\u3067\u3044\u304f\u3002\u9078\u629e\u6570\u3092\u639b\u3051\u5408\u308f\u305b\u308c\u3070\u3001\u968e\u4e57\u304c\u6253\u3061\u6d88\u3057\u5408\u3063\u3066\u540c\u3058\u591a\u9805\u4fc2\u6570\u306b\u306a\u308b\u3002<\/p>\n<p>\\[\\binom{20}{9}\\binom{11}{2}\\binom{9}{2}\\binom{7}{2}\\binom{5}{2}\\,3!=\\frac{20!}{9!(2!)^4}\\]<\/p>\n<p>\u6700\u5f8c\u306b\u6b8b\u308b 3 \u679a\u306f\u738b\u3001\u98db\u8eca\u3001\u89d2\u3078\u305d\u308c\u305e\u308c 1 \u679a\u305a\u3064\u5272\u308a\u5f53\u3066\u308b\u306e\u3067 \\(3!\\) \u3092\u639b\u3051\u3066\u3044\u308b\u3002\\(\\binom{a}{b}\\) \u306f \\(a\\) \u500b\u304b\u3089 \\(b\\) \u500b\u3092\u9078\u3076\u7d44\u5408\u305b\u6570\u3092\u8868\u3059\u3002\u3053\u306e\u8a08\u7b97\u3067\u533a\u5225\u3057\u3066\u3044\u308b\u306e\u306f\u3001\u500b\u4f53\u3068\u3057\u3066\u306e\u5404\u91cf\u5b50\u99d2\u306b\u3001\u3069\u306e\u57fa\u672c\u7a2e\u985e\u3092\u5bfe\u5fdc\u3055\u305b\u308b\u304b\u3068\u3044\u3046\u5272\u5f53\u3067\u3042\u308b\u3002\u521d\u671f\u5272\u5f53\u6570\u304c\u591a\u3044\u306e\u306f\u3001\u4e00\u3064\u306e\u99d2\u304c\u4f55\u7a2e\u985e\u3082\u52d5\u3051\u308b\u3053\u3068\u305d\u306e\u3082\u306e\u3088\u308a\u300120 \u500b\u306e\u5909\u6570\u304c\u540c\u3058\u500b\u6570\u5236\u7d04\u3092\u6e80\u305f\u3057\u306a\u304c\u3089\u591a\u69d8\u306a\u7d44\u5408\u305b\u3092\u4f5c\u308c\u308b\u305f\u3081\u3067\u3042\u308b\u3002<\/p>\n<p>\u5bfe\u5c40\u4e2d\u306b\u306f\u5019\u88dc \\(D_i\\) \u304c\u524a\u6e1b\u3055\u308c\u308b\u305f\u3081\u3001\u5229\u7528\u3067\u304d\u308b\u7d44\u5408\u305b\u306f\u521d\u671f\u72b6\u614b\u306e\u90e8\u5206\u96c6\u5408\u3078\u7e2e\u5c0f\u3059\u308b\u3002\u4f8b\u3048\u3070\u3001\u3042\u308b\u99d2\u306b\u98db\u8eca\u3060\u3051\u304c\u6b8b\u3063\u305f\u77ac\u9593\u3001\u305d\u306e\u99d2\u304c\u98db\u8eca\u3067\u3042\u308b\u5272\u5f53\u306b\u9650\u5b9a\u3055\u308c\u3001\u98db\u8eca\u3092\u5225\u306e\u99d2\u3078\u5272\u308a\u5f53\u3066\u308b\u7d44\u5408\u305b\u306f\u6d88\u3048\u308b\u3002\u5fc5\u8981\u306a\u306e\u306f\u7d44\u5408\u305b\u306e\u7dcf\u6570\u3092\u6bce\u56de\u518d\u8a08\u7b97\u3059\u308b\u3053\u3068\u3088\u308a\u3001\u3069\u306e\u5272\u5f53\u304c\u307e\u3060\u5b58\u5728\u3059\u308b\u304b\u3092\u898b\u5206\u3051\u308b\u6761\u4ef6\u3067\u3042\u308b\u3002<\/p>\n<h3>3.3 \u6b63\u78ba\u306a\u5019\u88dc\u306f\u53ef\u80fd\u4e16\u754c\u306e\u5c04\u5f71\u306b\u306a\u308b<\/h3>\n<p>\u5c40\u6240\u6761\u4ef6\u3068\u3057\u3066\u6b8b\u3063\u3066\u3044\u308b\u7a2e\u985e\u304c\u3001\u5168\u4f53\u306e\u679a\u6570\u4fdd\u5b58\u5247\u3068\u4e21\u7acb\u3059\u308b\u3068\u306f\u9650\u3089\u306a\u3044\u3002\\(\\Phi(D)\\) \u306b\u542b\u307e\u308c\u308b\u3044\u305a\u308c\u304b\u306e\u5272\u5f53\u3067\u5b9f\u969b\u306b\u73fe\u308c\u308b\u7a2e\u985e\u3060\u3051\u3092\u3001\u99d2 \\(i\\) \u306e\u6b63\u78ba\u306a\u5019\u88dc\u96c6\u5408 \\(P_i(D)\\) \u3068\u3059\u308b\u3002<\/p>\n<p>\\[\\boxed{P_i(D)=\\{\\omega(i)\\mid\\omega\\in\\Phi(D)\\}}\\]<\/p>\n<p>\u4f8b\u3048\u3070 \\(D_i=\\{\u98db,\u9999\\}\\) \u3067\u3082\u3001\u98db\u8eca\u3092\u5272\u308a\u5f53\u3066\u308b\u5b8c\u5168\u306a\u7d44\u5408\u305b\u304c\u5b58\u5728\u3057\u306a\u3051\u308c\u3070\u3001\\(P_i(D)=\\{\u9999\\}\\) \u3068\u306a\u308b\u3002\u3053\u308c\u304c\u5168\u4f53\u306e\u5272\u5f53\u96c6\u5408\u304b\u3089\u4e00\u3064\u306e\u5909\u6570\u306e\u5024\u3060\u3051\u3092\u53d6\u308a\u51fa\u3059\u5c04\u5f71\u3067\u3042\u308b\u3002\u5f0f\u304b\u3089 \\(P_i(D)\\subseteq D_i\\) \u304c\u76f4\u3061\u306b\u5206\u304b\u308b\u3002\u307e\u305f\u3001\\(\\Phi(D)\\neq\\varnothing\\) \u3067\u3042\u308c\u3070\u3001\u3069\u306e\u99d2\u306b\u3064\u3044\u3066\u3082 \\(P_i(D)\\neq\\varnothing\\) \u3068\u306a\u308b\u3002<\/p>\n<p>\u3053\u3053\u3067\u4e8c\u3064\u306e\u6027\u8cea\u3092\u8a3c\u660e\u3067\u304d\u308b\u3002\u307e\u305a\u3001\\(D&#8217;_i\\subseteq D_i\\) \u304c\u3059\u3079\u3066\u306e\u99d2\u3067\u6210\u308a\u7acb\u3064\u3068\u304d\u3001\\(\\Phi(D&#8217;)\\subseteq\\Phi(D)\\) \u3067\u3042\u308b\u3002\u306a\u305c\u306a\u3089\u3001\u5f37\u3044\u6761\u4ef6 \\(D&#8217;\\) \u3092\u6e80\u305f\u3059\u5272\u5f53\u306f\u3001\u5f31\u3044\u6761\u4ef6 \\(D\\) \u3082\u5fc5\u305a\u6e80\u305f\u3059\u304b\u3089\u3067\u3042\u308b\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u5c04\u5f71\u306b\u3064\u3044\u3066\u3082 \\(P_i(D&#8217;)\\subseteq P_i(D)\\) \u304c\u6210\u308a\u7acb\u3064\u3002\u5c40\u6240\u7684\u306a\u5019\u88dc\u306e\u524a\u9664\u304c\u3001\u5225\u306e\u99d2\u306e\u6b63\u78ba\u306a\u5019\u88dc\u3092\u5897\u3084\u3059\u3053\u3068\u306f\u306a\u3044\u3002<\/p>\n<p>\u6b21\u306b\u3001\u3059\u3079\u3066\u306e \\(D_i\\) \u3092\u6b63\u78ba\u306a\u5019\u88dc \\(P_i(D)\\) \u306b\u7f6e\u304d\u63db\u3048\u3066\u3082\u3001\u53ef\u80fd\u4e16\u754c\u306f\u5909\u5316\u3057\u306a\u3044\u3002<\/p>\n<p>\\[\\boxed{\\Phi(P(D))=\\Phi(D),\\qquad P(P(D))=P(D)}\\]<\/p>\n<p>\u8a3c\u660e\u306f\u3001\\(\\Phi(D)\\) \u306e\u3069\u306e\u5272\u5f53\u3082\u3001\u5404\u99d2\u3067\u305d\u306e\u5c04\u5f71\u306b\u542b\u307e\u308c\u308b\u5024\u3092\u4f7f\u3063\u3066\u3044\u308b\u3053\u3068\u306b\u3088\u308b\u3002\\(D_i\\) \u304b\u3089\u5b9f\u73fe\u4e0d\u53ef\u80fd\u306a\u5019\u88dc\u3060\u3051\u3092\u53d6\u308a\u9664\u3044\u3066\u3082\u3001\u3082\u3068\u3082\u3068\u6210\u7acb\u3057\u3066\u3044\u305f\u5272\u5f53\u306f\u4e00\u3064\u3082\u5931\u308f\u308c\u306a\u3044\u3002\u9006\u306b\u3001\u5019\u88dc\u3092\u5897\u3084\u3057\u3066\u3044\u306a\u3044\u305f\u3081\u3001\u65b0\u3057\u3044\u5272\u5f53\u3082\u751f\u307e\u308c\u306a\u3044\u3002\u5f8c\u534a\u306e\u7b49\u5f0f\u306f\u3001\u4e00\u5ea6\u6b63\u78ba\u306a\u5019\u88dc\u307e\u3067\u7d5e\u3063\u305f\u5f8c\u306b\u540c\u3058\u8a08\u7b97\u3092\u7e70\u308a\u8fd4\u3057\u3066\u3082\u7d50\u679c\u304c\u5909\u308f\u3089\u306a\u3044\u3068\u3044\u3046\u51aa\u7b49\u6027\u3092\u793a\u3059\u3002<\/p>\n<p>\u5c04\u5f71 \\(P(D)\\) \u306f\u3001\u6761\u4ef6\u3092\u6b63\u78ba\u306a\u5019\u88dc\u307e\u3067\u7d5e\u308b\u6f14\u7b97\u3068\u307f\u306a\u305b\u308b\u3002\u305d\u306e\u6027\u8cea\u3092\u6574\u7406\u3059\u308b\u3068\u3001\\(P(D)\\subseteq D\\) \u306f\u5019\u88dc\u3092\u5897\u3084\u3055\u306a\u3044\u3053\u3068\u3001\\(D&#8217;\\subseteq D\\Rightarrow P(D&#8217;)\\subseteq P(D)\\) \u306f\u5165\u529b\u6761\u4ef6\u3092\u5f37\u3081\u308b\u307b\u3069\u7d50\u679c\u3082\u72ed\u307e\u308b\u3053\u3068\u3001\\(P(P(D))=P(D)\\) \u306f\u4e00\u5ea6\u6b63\u78ba\u306b\u7d5e\u308c\u3070\u540c\u3058\u8a08\u7b97\u3092\u91cd\u306d\u3066\u3082\u5909\u308f\u3089\u306a\u3044\u3053\u3068\u3092\u610f\u5473\u3059\u308b\u3002\u3044\u305a\u308c\u3082\u3001\u73fe\u5b9f\u306e\u76e4\u9762\u3092\u52d5\u304b\u3059\u51e6\u7406\u3068\u306f\u72ec\u7acb\u306b\u3001\u5272\u5f53\u554f\u984c\u306e\u6570\u5b66\u7684\u6027\u8cea\u3068\u3057\u3066\u5c0e\u3051\u308b\u3002<\/p>\n<p>\u5177\u4f53\u7684\u306b\u306f\u3001\u98db\u8eca 1 \u679a\u3001\u9999\u8eca 2 \u679a\u3068\u3044\u3046 3 \u67a0\u3060\u3051\u3092\u53d6\u308a\u51fa\u3057\u30013 \u679a\u306e\u5019\u88dc\u3092 \\(D_1=\\{\u98db\\}\\)\u3001\\(D_2=D_3=\\{\u98db,\u9999\\}\\) \u3068\u3059\u308b\u3002\u3053\u306e\u3068\u304d\u3001\u3053\u306e 3 \u679a\u3078\u306e\u5272\u5f53\u306f \\((\u98db,\u9999,\u9999)\\) \u306e\u4e00\u3064\u3060\u3051\u306b\u5b9a\u307e\u308b\u3002\u5c40\u6240\u5019\u88dc\u304c \\(\\{\u98db,\u9999\\}\\) \u306e\u307e\u307e\u306e\u756a\u53f7 2 \u3068 3 \u3067\u3082\u3001\u5c04\u5f71\u3059\u308c\u3070 \\(P_2=P_3=\\{\u9999\\}\\) \u3068\u306a\u308b\u3002\u5143\u306e\u96c6\u5408\u304b\u3089\u73fe\u308c\u306a\u304b\u3063\u305f\u5024\u3060\u3051\u3092\u53d6\u308a\u9664\u3044\u3066\u3082\u552f\u4e00\u306e\u5272\u5f53\u306f\u6b8b\u308b\u305f\u3081\u3001\u5c04\u5f71\u5f8c\u306e\u518d\u8a08\u7b97\u3067\u306f\u5019\u88dc\u306f\u5909\u308f\u3089\u306a\u3044\u3002<\/p>\n<hr>\n<h2>4. Hall \u306e\u6761\u4ef6\u304b\u3089\u5236\u7d04\u4f1d\u64ad\u3092\u8a3c\u660e\u3059\u308b<\/h2>\n<h3>4.1 \u4f7f\u3044\u5207\u308a\u3092\u96c6\u5408\u306e\u5bb9\u91cf\u3068\u3057\u3066\u8868\u3059<\/h3>\n<p>\u5148\u624b\u306e\u521d\u671f\u9663\u55b6\u306b\u5c5e\u3059\u308b 3 \u679a\u306b\u3064\u3044\u3066\u3001\\(D_1=D_2=D_3=\\{\u98db,\u9999\\}\\) \u3068\u306a\u3063\u305f\u3068\u3059\u308b\u3002\u98db\u8eca\u306f 1 \u679a\u3001\u9999\u8eca\u306f 2 \u679a\u306a\u306e\u3067\u3001\u3053\u306e 3 \u679a\u306e\u4e2d\u3067\u98db\u8eca\u3092\u9078\u3076\u65b9\u6cd5\u306f 3 \u901a\u308a\u3042\u308b\u304c\u3001\u3069\u306e\u5834\u5408\u3082\u98db\u8eca\u3068\u9999\u8eca\u306e\u5272\u5f53\u67a0\u306f\u3059\u3079\u3066\u57cb\u307e\u308b\u3002\u3057\u305f\u304c\u3063\u3066\u6b8b\u308a 17 \u679a\u306b\u98db\u8eca\u3068\u9999\u8eca\u3092\u5272\u308a\u5f53\u3066\u308b\u5b8c\u5168\u306a\u7d44\u5408\u305b\u306f\u5b58\u5728\u3057\u306a\u3044\u3002\u958b\u767a\u8005\u306f\u3053\u308c\u3092\u99d2\u7a2e\u306e\u300c\u4f7f\u3044\u5207\u308a\u300d\u3068\u8aac\u660e\u3057\u3066\u3044\u308b<a href=\"#ref3\">[3]<\/a>\u3002<\/p>\n<p>\u4efb\u610f\u306e\u99d2\u7a2e\u96c6\u5408 \\(T\\subseteq K\\) \u306b\u5bfe\u3057\u3001\\(T\\) \u306e\u4e2d\u306e\u7a2e\u985e\u306b\u3057\u304b\u306a\u308c\u306a\u3044\u99d2\u306e\u96c6\u5408 \\(I_T(D)\\) \u3068\u3001\u305d\u306e\u7a2e\u985e\u306e\u5272\u5f53\u5bb9\u91cf \\(c(T)\\) \u3092\u5b9a\u3081\u308b\u3002<\/p>\n<p>\\[\\boxed{I_T(D)=\\{i\\in I\\mid D_i\\subseteq T\\},\\qquad c(T)=\\sum_{k\\in T}c_k}\\]<\/p>\n<p>\\(T=\\{\u98db,\u9999\\}\\) \u306a\u3089 \\(c(T)=3\\) \u3067\u3042\u308b\u3002\\(I_T(D)\\) \u306e\u99d2\u306b\u306f\u5fc5\u305a \\(T\\) \u306e\u3044\u305a\u308c\u304b\u3092\u5272\u308a\u5f53\u3066\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u3002\u305d\u306e\u679a\u6570\u304c\u5bb9\u91cf\u3092\u8d85\u3048\u308c\u3070\u3001\u5168\u4f53\u306e\u5272\u5f53\u306f\u4e0d\u53ef\u80fd\u306b\u306a\u308b\u3002\u3053\u308c\u304c\u6700\u521d\u306e\u5fc5\u8981\u6761\u4ef6\u3067\u3042\u308b\u3002<\/p>\n<p>\\[\\boxed{|I_T(D)|\\leq c(T)\\qquad(\\forall T\\subseteq K)}\\]<\/p>\n<p>\u4f7f\u3044\u5207\u308a\u3067\u78ba\u5b9a\u3057\u3066\u3044\u308b\u306e\u306f\u3001\u500b\u3005\u306e\u99d2\u3067\u306f\u306a\u304f\u99d2\u306e\u96c6\u56e3\u304c\u5360\u3081\u308b\u7a2e\u985e\u306e\u7dcf\u6570\u3067\u3042\u308b\u30023 \u679a\u3068\u3082 \\(\\{\u98db,\u9999\\}\\) \u306a\u3089\u3001\u98db\u8eca\u3092\u62c5\u5f53\u3059\u308b\u99d2\u306f 3 \u901a\u308a\u8003\u3048\u3089\u308c\u308b\u3002\u3057\u304b\u3057\u3001\u3069\u306e\u5272\u5f53\u3067\u3082\u98db\u8eca\u3068\u9999\u8eca\u306e 3 \u67a0\u306f\u3053\u306e 3 \u679a\u304c\u72ec\u5360\u3059\u308b\u3002\u6b8b\u308a 17 \u679a\u306e\u5019\u88dc\u304b\u3089\u98db\u8eca\u3068\u9999\u8eca\u3092\u53d6\u308a\u9664\u304f\u51e6\u7406\u306f\u30013 \u901a\u308a\u306e\u3069\u308c\u3092\u9078\u3076\u304b\u3092\u5148\u306b\u6c7a\u3081\u305a\u306b\u5b9f\u884c\u3067\u304d\u308b\u3002<\/p>\n<p>\u540c\u3058\u539f\u7406\u306f\u91d1\u3068\u9280\u306b\u3082\u6210\u308a\u7acb\u3064\u3002\u91d1 2 \u679a\u3068\u9280 2 \u679a\u3092\u5408\u308f\u305b\u305f\u5bb9\u91cf\u306f 4 \u679a\u3067\u3042\u308b\u3002\u3042\u308b 4 \u679a\u3059\u3079\u3066\u306e\u5019\u88dc\u96c6\u5408\u304c \\(\\{\u91d1,\u9280\\}\\) \u306b\u7b49\u3057\u3051\u308c\u3070\u3001\u305d\u306e 4 \u679a\u306e\u5185\u90e8\u3067\u306f\u91d1\u3068\u9280\u306e\u5272\u5f53\u65b9\u6cd5\u304c \\(\\binom{4}{2}=6\\) \u901a\u308a\u6b8b\u308b\u4e00\u65b9\u3001\u6b8b\u308a 16 \u679a\u304b\u3089\u306f\u91d1\u3068\u9280\u306e\u5019\u88dc\u304c\u6d88\u3048\u308b\u3002\u99d2\u7a2e\u3054\u3068\u306e\u5bb9\u91cf\u3092\u8db3\u3057\u5408\u308f\u305b\u308b\u3068\u3044\u3046\u64cd\u4f5c\u306b\u3088\u308a\u3001\u98db\u8eca\u3068\u9999\u8eca\u306b\u56fa\u6709\u3060\u3063\u305f\u4f8b\u3092\u4efb\u610f\u306e\u99d2\u7a2e\u306e\u96c6\u307e\u308a\u3078\u4e00\u822c\u5316\u3067\u304d\u308b\u3002<\/p>\n<h3>4.2 \u5fc5\u8981\u6761\u4ef6\u3067\u3042\u308b\u3060\u3051\u3067\u306a\u304f\u5341\u5206\u6761\u4ef6\u3067\u3082\u3042\u308b<\/h3>\n<p>\u3053\u306e\u4e0d\u7b49\u5f0f\u3092\u3059\u3079\u3066\u306e\u99d2\u7a2e\u96c6\u5408\u306b\u3064\u3044\u3066\u6e80\u305f\u3059\u3053\u3068\u306f\u300120 \u679a\u306e\u5272\u5f53\u304c\u5b58\u5728\u3059\u308b\u305f\u3081\u306e\u5fc5\u8981\u5341\u5206\u6761\u4ef6\u306b\u306a\u308b\u3002\u8a3c\u660e\u306b\u306f Hall \u306e\u7d50\u5a5a\u5b9a\u7406\u3092\u7528\u3044\u308b\u3002Hall \u306e\u5b9a\u7406\u306f\u3001\u5404\u5bfe\u8c61\u306b\u8a31\u3055\u308c\u305f\u5272\u5f53\u5148\u304c\u3042\u308b\u3068\u304d\u3001\u3059\u3079\u3066\u306e\u5bfe\u8c61\u3078\u7570\u306a\u308b\u5272\u5f53\u5148\u3092\u4e0e\u3048\u3089\u308c\u308b\u6761\u4ef6\u3092\u8868\u3059<a href=\"#ref4\">[4]<\/a>\u3002<\/p>\n<p>\u98db\u8eca\u306e\u3088\u3046\u306b\u5bb9\u91cf\u304c 1 \u679a\u306e\u7a2e\u985e\u306b\u306f 1 \u500b\u306e\u67a0\u3001\u9999\u8eca\u306e\u3088\u3046\u306b\u5bb9\u91cf\u304c 2 \u679a\u306e\u7a2e\u985e\u306b\u306f 2 \u500b\u306e\u67a0\u3001\u6b69\u306b\u306f 9 \u500b\u306e\u67a0\u3092\u7528\u610f\u3059\u308b\u3002\u67a0\u306e\u7dcf\u6570\u306f 20 \u500b\u3067\u3042\u308b\u3002\u99d2 \\(i\\) \u306f \\(D_i\\) \u306b\u542b\u307e\u308c\u308b\u7a2e\u985e\u306e\u67a0\u3059\u3079\u3066\u3078\u63a5\u7d9a\u3067\u304d\u308b\u3002\u4efb\u610f\u306e\u99d2\u306e\u96c6\u5408 \\(U\\subseteq I\\) \u304c\u5229\u7528\u3067\u304d\u308b\u67a0\u306e\u500b\u6570\u306f\u3001\\(U\\) \u306b\u5c5e\u3059\u308b\u99d2\u306e\u5019\u88dc\u306e\u548c\u96c6\u5408 \\(N(U)=\\bigcup_{i\\in U}D_i\\) \u3092\u4f7f\u3063\u3066 \\(c(N(U))\\) \u3068\u8868\u3055\u308c\u308b\u3002<\/p>\n<p>Hall \u306e\u5b9a\u7406\u306b\u3088\u308c\u3070\u3001\u3059\u3079\u3066\u306e \\(U\\) \u306b\u3064\u3044\u3066 \\(|U|\\leq c(N(U))\\) \u304c\u6210\u308a\u7acb\u3064\u3053\u3068\u304c\u5b8c\u5168\u306a\u5272\u5f53\u306e\u5b58\u5728\u6761\u4ef6\u3067\u3042\u308b\u3002\u3053\u3053\u3067 \\(T=N(U)\\) \u3068\u304a\u304f\u3068\u3001\u3059\u3079\u3066\u306e \\(i\\in U\\) \u306f \\(D_i\\subseteq T\\) \u3092\u6e80\u305f\u3059\u306e\u3067 \\(U\\subseteq I_T(D)\\) \u3068\u306a\u308b\u3002\u4eee\u5b9a\u3057\u305f\u4e0d\u7b49\u5f0f\u304b\u3089\u3001<\/p>\n<p>\\[|U|\\leq |I_T(D)|\\leq c(T)=c(N(U))\\]<\/p>\n<p>\u304c\u5f93\u3046\u3002\u3088\u3063\u3066 Hall \u306e\u6761\u4ef6\u304c\u6210\u7acb\u3057\u300120 \u679a\u3059\u3079\u3066\u3092\u7570\u306a\u308b\u5272\u5f53\u67a0\u306b\u5bfe\u5fdc\u3055\u305b\u3089\u308c\u308b\u3002\u67a0\u6570\u306e\u5408\u8a08\u3082 20 \u306a\u306e\u3067\u3001\u5404\u99d2\u7a2e\u306e\u67a0\u306f\u904e\u4e0d\u8db3\u306a\u304f\u4f7f\u308f\u308c\u3001\u679a\u6570\u4fdd\u5b58\u5247\u304c\u6e80\u305f\u3055\u308c\u308b\u3002\u9006\u5411\u304d\u306f\u3001\\(I_T(D)\\) \u306e\u3059\u3079\u3066\u306e\u99d2\u304c \\(T\\) \u306e\u67a0\u3092\u4f7f\u308f\u3056\u308b\u3092\u5f97\u306a\u3044\u3053\u3068\u304b\u3089\u5f93\u3046\u3002\u3053\u308c\u3067\u5fc5\u8981\u5341\u5206\u6027\u304c\u793a\u3055\u308c\u305f\u3002<\/p>\n<p>Hall \u306e\u5b9a\u7406\u3092\u4f7f\u3046\u7406\u7531\u306f\u3001\u5bb9\u91cf\u4e0d\u8db3\u306e\u691c\u51fa\u3092\u5341\u5206\u306a\u6761\u4ef6\u3078\u5f15\u304d\u4e0a\u3052\u3089\u308c\u308b\u70b9\u306b\u3042\u308b\u3002\u5019\u88dc\u304c\u7a7a\u306e\u99d2\u304c\u306a\u3044\u3068\u3057\u3066\u3082\u3001\u3059\u3079\u3066\u306e\u99d2\u3078\u7a2e\u985e\u3092\u5272\u308a\u5f53\u3066\u3089\u308c\u308b\u3068\u306f\u9650\u3089\u306a\u3044\u3002\u98db\u8eca\u3068\u9999\u8eca\u306e\u5bb9\u91cf\u304c\u5408\u8a08 3 \u679a\u3067\u3042\u308b\u306e\u306b\u30014 \u679a\u306e\u99d2\u304c\u305d\u306e 2 \u7a2e\u985e\u306b\u3057\u304b\u306a\u308c\u306a\u3044\u5834\u5408\u3001\u5404\u99d2\u306e\u5019\u88dc\u306f\u975e\u7a7a\u3067\u3082\u30014 \u679a\u3092 3 \u67a0\u3078\u53ce\u3081\u308b\u3053\u3068\u306f\u4e0d\u53ef\u80fd\u3067\u3042\u308b\u3002\u4efb\u610f\u306e\u90e8\u5206\u96c6\u5408\u306b\u3064\u3044\u3066\u5bb9\u91cf\u3092\u691c\u67fb\u3059\u308b Hall \u306e\u6761\u4ef6\u306f\u3001\u3053\u306e\u5c40\u6240\u7684\u306b\u306f\u898b\u3048\u306a\u3044\u77db\u76fe\u3092\u6349\u3048\u308b\u3002<\/p>\n<p>\u9006\u306b\u3001\u4e0d\u7b49\u5f0f\u304c\u3059\u3079\u3066\u306e \\(T\\) \u306b\u3064\u3044\u3066\u6210\u7acb\u3059\u308b\u3068\u304d\u306f\u3001\u5019\u88dc\u304c\u9650\u5b9a\u3055\u308c\u305f\u99d2\u306e\u6570\u304c\u3001\u305d\u306e\u7a2e\u985e\u96c6\u5408\u306e\u5bb9\u91cf\u3092\u8d85\u3048\u306a\u3044\u3002\u8a3c\u660e\u3067\u306f\u3001\u99d2\u7a2e\u3092\u5fc5\u8981\u679a\u6570\u3060\u3051\u306e\u500b\u5225\u306e\u67a0\u3078\u5c55\u958b\u3057\u3066\u3044\u308b\u3002\u4f8b\u3048\u3070\u9999\u8eca\u306f\u5225\u3005\u306e 2 \u67a0\u3092\u6301\u3064\u304c\u3001\u3069\u3061\u3089\u306e\u67a0\u3078\u5272\u308a\u5f53\u3066\u3066\u3082\u7a2e\u985e\u3068\u3057\u3066\u306f\u9999\u8eca\u3067\u3042\u308b\u3002\u3053\u306e\u5c55\u958b\u306b\u3088\u3063\u3066\u3001\u5bb9\u91cf\u4ed8\u304d\u306e\u5272\u5f53\u3092\u901a\u5e38\u306e\u300c\u5404\u99d2\u306b\u7570\u306a\u308b\u67a0\u3092\u4e00\u3064\u4e0e\u3048\u308b\u300d\u554f\u984c\u3078\u5909\u63db\u3067\u304d\u3001Hall \u306e\u5fc5\u8981\u5341\u5206\u6761\u4ef6\u3092\u9069\u7528\u3067\u304d\u308b\u3002<\/p>\n<p>\u3053\u3053\u3067\u4f7f\u3046 \\(I_T(D)\\) \u306f\u3001\u5019\u88dc\u96c6\u5408\u304c \\(T\\) \u306b\u5b8c\u5168\u306b\u542b\u307e\u308c\u308b\u99d2\u3092\u3059\u3079\u3066\u96c6\u3081\u308b\u70b9\u304c\u91cd\u8981\u3067\u3042\u308b\u3002\\(D_i=\\{\u98db\\}\\) \u306e\u99d2\u3082 \\(D_i=\\{\u98db,\u9999\\}\\) \u306e\u99d2\u3082\u3001\\(T=\\{\u98db,\u9999\\}\\) \u306b\u5bfe\u3059\u308b \\(I_T(D)\\) \u306b\u5165\u308b\u3002\u5019\u88dc\u304c\u3061\u3087\u3046\u3069 \\(T\\) \u3068\u7b49\u3057\u3044\u99d2\u3060\u3051\u3092\u6570\u3048\u308b\u3068\u3001\u98db\u8eca\u306b\u78ba\u5b9a\u3057\u305f\u99d2\u304c\u5bb9\u91cf\u3092\u6d88\u8cbb\u3057\u3066\u3044\u308b\u4e8b\u5b9f\u3092\u898b\u843d\u3068\u3059\u3002\u90e8\u5206\u96c6\u5408\u306b\u3088\u308b\u5224\u5b9a\u304c\u6b63\u3057\u3044\u306e\u306f\u3001\u5019\u88dc\u306e\u5305\u542b\u95a2\u4fc2\u3092\u3053\u306e\u3088\u3046\u306b\u6570\u3048\u308b\u304b\u3089\u3067\u3042\u308b\u3002<\/p>\n<h3>4.3 \u5bb9\u91cf\u3092\u4f7f\u3044\u5207\u3063\u305f\u3068\u304d\u306b\u5019\u88dc\u3092\u6d88\u305b\u308b\u7406\u7531<\/h3>\n<p>\u5272\u5f53\u304c\u5b9f\u73fe\u53ef\u80fd\u306a\u72b6\u614b\u3067\u3001\u3042\u308b\u96c6\u5408 \\(T\\) \u306b\u3064\u3044\u3066 \\(|I_T(D)|=c(T)\\) \u304c\u6210\u7acb\u3057\u305f\u3068\u3059\u308b\u3002\u3053\u306e\u3068\u304d \\(I_T(D)\\) \u306e\u99d2\u3060\u3051\u3067 \\(T\\) \u306e\u67a0\u306f\u3059\u3079\u3066\u57cb\u307e\u308b\u3002\\(I_T(D)\\) \u306b\u5165\u3063\u3066\u3044\u306a\u3044\u5225\u306e\u99d2\u3078 \\(T\\) \u306e\u7a2e\u985e\u3092\u5272\u308a\u5f53\u3066\u308b\u3068\u3001\u5bb9\u91cf\u304c\u8d85\u904e\u3059\u308b\u3002\u3057\u305f\u304c\u3063\u3066\u6b21\u306e\u5019\u88dc\u524a\u9664\u306f\u3001\u6210\u7acb\u3059\u308b\u5272\u5f53\u3092\u4e00\u3064\u3082\u5931\u308f\u306a\u3044\u3002<\/p>\n<p>\\[\\boxed{|I_T(D)|=c(T)\\ \\Longrightarrow\\ D_j\\leftarrow D_j\\setminus T\\quad(j\\notin I_T(D))}\\]<\/p>\n<p>\u5b9f\u306f\u3001\u5168\u4f53\u306e\u5272\u5f53\u304c\u4e00\u3064\u4ee5\u4e0a\u5b58\u5728\u3059\u308b\u5834\u5408\u3001\u3053\u306e\u5f62\u306e\u4f7f\u3044\u5207\u308a\u3092\u3059\u3079\u3066\u8abf\u3079\u308c\u3070\u3001\u5b9f\u73fe\u4e0d\u53ef\u80fd\u306a\u5019\u88dc\u3092\u6f0f\u308c\u306a\u304f\u53d6\u308a\u9664\u3051\u308b\u3002\u305d\u306e\u9006\u5411\u304d\u3092\u793a\u3059\u3002\\(k\\in D_i\\) \u306b\u3082\u304b\u304b\u308f\u3089\u305a\u3001\u99d2 \\(i\\) \u3092\u7a2e\u985e \\(k\\) \u306b\u56fa\u5b9a\u3059\u308b\u3068\u6b8b\u308a 19 \u679a\u3092\u5272\u308a\u5f53\u3066\u3089\u308c\u306a\u3044\u3068\u4eee\u5b9a\u3059\u308b\u3002\u56fa\u5b9a\u306b\u3088\u3063\u3066\u7a2e\u985e \\(k\\) \u306e\u6b8b\u308a\u5bb9\u91cf\u306f 1 \u6e1b\u308b\u3002\u6b8b\u308a 19 \u679a\u306e\u5272\u5f53\u304c\u5b58\u5728\u3057\u306a\u3044\u306e\u3067\u3001Hall \u306e\u6761\u4ef6\u3092\u7834\u308b\u99d2\u7a2e\u96c6\u5408 \\(T\\) \u304c\u5b58\u5728\u3057\u3001\u305d\u306e\u96c6\u5408\u306f \\(k\\) \u3092\u542b\u3080\u3002<\/p>\n<p>\u56fa\u5b9a\u524d\u306e\u5c40\u9762\u306f\u5b9f\u73fe\u53ef\u80fd\u306a\u306e\u3067\u3001\u6b8b\u308a 19 \u679a\u306e\u3046\u3061\u5019\u88dc\u304c \\(T\\) \u306b\u9650\u3089\u308c\u308b\u99d2\u6570\u306f\u9ad8\u3005 \\(c(T)\\) \u3067\u3042\u308b\u3002\u4e00\u65b9\u3001\\(k\\) \u306e\u5bb9\u91cf\u3092 1 \u6e1b\u3089\u3059\u3068\u5272\u5f53\u4e0d\u80fd\u306b\u306a\u308b\u305f\u3081\u3001\u305d\u306e\u99d2\u6570\u306f \\(c(T)\\) \u306b\u7b49\u3057\u3044\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u56fa\u5b9a\u5bfe\u8c61\u306e\u99d2 \\(i\\) \u306f \\(I_T(D)\\) \u306e\u5916\u306b\u304a\u308a\u3001\\(|I_T(D)|=c(T)\\) \u304b\u3064 \\(k\\in T\\) \u3068\u306a\u308b\u3002\u5019\u88dc \\(k\\) \u306f\u3001\u307e\u3055\u306b\u3053\u306e\u4f7f\u3044\u5207\u308a\u306b\u3088\u3063\u3066\u9664\u5916\u3055\u308c\u308b\u3002<\/p>\n<p>\u3053\u308c\u306b\u3088\u308a\u3001\u6b21\u306e\u7b49\u5f0f\u304c\u5f97\u3089\u308c\u308b\u3002\u5de6\u8fba\u306f\u5168\u4f53\u306e\u53ef\u80fd\u4e16\u754c\u304b\u3089\u5c04\u5f71\u3057\u305f\u6b63\u78ba\u306a\u5019\u88dc\u96c6\u5408\u3001\u53f3\u8fba\u306f\u4f7f\u3044\u5207\u308a\u306e\u6761\u4ef6\u3060\u3051\u3092\u4f7f\u3063\u3066\u5c40\u6240\u5019\u88dc\u304b\u3089\u6b8b\u3059\u7a2e\u985e\u3092\u8a08\u7b97\u3057\u305f\u7d50\u679c\u3067\u3042\u308b\u3002<\/p>\n<p>\\[\\boxed{P_i(D)=D_i\\setminus\\bigcup_{\\substack{T\\subseteq K:\\ |I_T(D)|=c(T)\\\\i\\notin I_T(D)}}T\\qquad(\\Phi(D)\\neq\\varnothing)}\\]<\/p>\n<p>\u3053\u308c\u306f\u4f7f\u3044\u5207\u308a\u306b\u3088\u308b\u5019\u88dc\u524a\u9664\u304c\u6b63\u3057\u3044\u3068\u3044\u3046\u3060\u3051\u3067\u306a\u304f\u3001\u5bb9\u91cf\u3068\u5019\u88dc\u3060\u3051\u304b\u3089\u306a\u308b\u5272\u5f53\u554f\u984c\u3067\u306f\u3001\u4f7f\u3044\u5207\u308a\u3092\u5168\u7a2e\u985e\u96c6\u5408\u306b\u3064\u3044\u3066\u691c\u67fb\u3059\u308c\u3070\u6b63\u78ba\u306a\u5019\u88dc\u3092\u8a08\u7b97\u3067\u304d\u308b\u3053\u3068\u3092\u793a\u3059\u3002\u4f8b\u3048\u3070\u300c\u98db\u30fb\u9999\u300d\u300c\u98db\u30fb\u9999\u300d\u300c\u98db\u300d\u3068\u3044\u3046 3 \u679a\u306a\u3089\u3001\u307e\u305a\u98db\u8eca\u306b\u78ba\u5b9a\u3057\u3066\u3044\u308b 1 \u679a\u304c\u98db\u8eca\u306e\u5bb9\u91cf\u3092\u57cb\u3081\u308b\u305f\u3081\u3001\u6b8b\u308a\u306e 2 \u679a\u306f\u9999\u8eca\u306b\u78ba\u5b9a\u3059\u308b\u3002\u3053\u306e\u8a08\u7b97\u306f\u5168\u5272\u5f53\u3092\u5217\u6319\u3059\u308b\u3053\u3068\u306a\u304f\u6210\u7acb\u3059\u308b\u3002<\/p>\n<p>\u5b9f\u73fe\u4e0d\u53ef\u80fd\u306a\u5019\u88dc\u304c\u5fc5\u305a\u3069\u308c\u304b\u306e\u4f7f\u3044\u5207\u308a\u306b\u3088\u3063\u3066\u9664\u5916\u3055\u308c\u308b\u3053\u3068\u3092\u3001\u3082\u3046\u5c11\u3057\u5177\u4f53\u7684\u306b\u78ba\u8a8d\u3059\u308b\u3002\u99d2 \\(i\\) \u306e\u5019\u88dc \\(k\\) \u3092\u4eee\u306b\u63a1\u7528\u3059\u308b\u3068\u3001\u6b8b\u308a\u306e\u99d2\u304c\u4f7f\u3048\u308b\u7a2e\u985e \\(k\\) \u306e\u5bb9\u91cf\u306f 1 \u6e1b\u308b\u3002\u305d\u3053\u3067\u6b8b\u308a\u306e\u99d2\u306e\u5272\u5f53\u304c\u4e0d\u53ef\u80fd\u306b\u306a\u3063\u305f\u306a\u3089\u3001Hall \u306e\u4e0d\u7b49\u5f0f\u306b\u9055\u53cd\u3059\u308b\u96c6\u5408 \\(T\\) \u304c\u3042\u308b\u3002\u5143\u306e\u72b6\u614b\u3067\u306f\u5272\u5f53\u53ef\u80fd\u3060\u3063\u305f\u306e\u3067\u3001\u3053\u306e\u9055\u53cd\u3092\u751f\u3093\u3060\u306e\u306f\u7a2e\u985e \\(k\\) \u306e\u5bb9\u91cf\u3092 1 \u6e1b\u3089\u3057\u305f\u3053\u3068\u3060\u3051\u3067\u3042\u308b\u3002<\/p>\n<p>\u305d\u306e\u305f\u3081 \\(k\\in T\\) \u3067\u3042\u308a\u3001\\(i\\) \u4ee5\u5916\u3067\u5019\u88dc\u304c \\(T\\) \u306b\u9650\u3089\u308c\u308b\u99d2\u306e\u679a\u6570\u306f\u3001\u5143\u306e\u5bb9\u91cf \\(c(T)\\) \u3068\u3061\u3087\u3046\u3069\u7b49\u3057\u3044\u3002\u3053\u306e\u3068\u304d \\(i\\) \u81ea\u8eab\u306e\u5019\u88dc\u304c \\(T\\) \u306b\u5b8c\u5168\u306b\u542b\u307e\u308c\u3066\u3044\u305f\u3089\u3001\u5143\u306e\u72b6\u614b\u3067\u3059\u3067\u306b\u5bb9\u91cf\u8d85\u904e\u3068\u306a\u308b\u3002\u3088\u3063\u3066 \\(i\\notin I_T(D)\\) \u3067\u3042\u308b\u3002\u7d50\u5c40\u3001\\(T\\) \u306f \\(i\\) \u3092\u9664\u304f\u99d2\u3060\u3051\u3067\u5bb9\u91cf\u304c\u4f7f\u3044\u5207\u3089\u308c\u305f\u96c6\u5408\u3067\u3042\u308a\u3001\\(i\\) \u306e\u5019\u88dc \\(k\\) \u3092\u9664\u5916\u3059\u308b\u6761\u4ef6\u306b\u4e00\u81f4\u3059\u308b\u3002\u3053\u306e\u9006\u5411\u304d\u306e\u8b70\u8ad6\u306b\u3088\u308a\u3001\u5168\u7a2e\u985e\u96c6\u5408\u3092\u8abf\u3079\u305f\u4f7f\u3044\u5207\u308a\u691c\u67fb\u306b\u306f\u5019\u88dc\u524a\u9664\u306e\u6f0f\u308c\u304c\u306a\u3044\u3002<\/p>\n<p>\u3053\u306e\u8a3c\u660e\u306e\u9069\u7528\u7bc4\u56f2\u306f\u3001\u5404\u99d2\u304c\u4e00\u3064\u306e\u57fa\u672c\u7a2e\u985e\u3092\u53d6\u308a\u3001\u7a2e\u985e\u3054\u3068\u306b\u56fa\u5b9a\u3055\u308c\u305f\u679a\u6570\u3092\u5272\u308a\u5f53\u3066\u308b\u5236\u7d04\u3067\u3042\u308b\u3002\u79fb\u52d5\u7d4c\u8def\u3001\u624b\u756a\u3001\u6210\u308a\u53ef\u80fd\u306a\u4f4d\u7f6e\u3068\u3044\u3063\u305f\u76e4\u9762\u4e0a\u306e\u898f\u5247\u306f\u3001\u5019\u88dc\u3092\u66f4\u65b0\u3059\u308b\u5165\u529b\u6761\u4ef6\u3068\u3057\u3066\u5225\u306b\u6271\u3046\u5fc5\u8981\u304c\u3042\u308b\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u4f7f\u3044\u5207\u308a\u691c\u67fb\u304c\u5b8c\u5168\u3067\u3042\u308b\u3068\u3044\u3046\u7d50\u8ad6\u306f\u3001\u30b2\u30fc\u30e0\u306e\u3042\u3089\u3086\u308b\u5408\u6cd5\u624b\u3092\u679a\u6570\u5236\u7d04\u3060\u3051\u3067\u5224\u5b9a\u3067\u304d\u308b\u3068\u3044\u3046\u610f\u5473\u3067\u306f\u306a\u3044\u3002<\/p>\n<hr>\n<h2>5. \u53ce\u675f\u3092\u8a08\u7b97\u3059\u308b\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u3068\u8a08\u7b97\u91cf<\/h2>\n<h3>5.1 0-1 \u5909\u6570\u306b\u3088\u308b\u5236\u7d04\u5145\u8db3\u554f\u984c<\/h3>\n<p>\u524d\u7ae0\u3067\u793a\u3057\u305f\u6761\u4ef6\u3092\u8a08\u7b97\u6a5f\u3067\u6271\u3046\u4e00\u3064\u306e\u65b9\u6cd5\u306f\u3001\u5404\u99d2\u306b\u3069\u306e\u7a2e\u985e\u3092\u5272\u308a\u5f53\u3066\u308b\u304b\u3092 0 \u307e\u305f\u306f 1 \u306e\u5909\u6570\u3067\u8868\u3059\u3053\u3068\u3067\u3042\u308b\u3002\\(x_{ik}=1\\) \u306f\u99d2 \\(i\\) \u3092\u7a2e\u985e \\(k\\) \u306b\u5272\u308a\u5f53\u3066\u308b\u3053\u3068\u3001\\(x_{ik}=0\\) \u306f\u5272\u308a\u5f53\u3066\u306a\u3044\u3053\u3068\u3092\u610f\u5473\u3059\u308b\u300220 \u679a\u306e\u99d2\u3068 8 \u7a2e\u985e\u306e\u7d44\u5408\u305b\u306b\u3064\u3044\u3066\u3001\u5408\u8a08 160 \u500b\u306e\u5909\u6570\u3092\u7f6e\u304f\u3002<\/p>\n<p>\\[\\boxed{\\begin{aligned}x_{ik}\\in\\{0,1\\}\\\\\\sum_{k\\in K}x_{ik}=1 (i\\in I)\\\\\\sum_{i\\in I}x_{ik}=c_k (k\\in K)\\\\x_{ik}=0 (k\\notin D_i)\\end{aligned}}\\]<\/p>\n<p>\u6700\u521d\u306e\u7b49\u5f0f\u306f\u5404\u99d2\u3078\u4e00\u7a2e\u985e\u3060\u3051\u5272\u308a\u5f53\u3066\u308b\u6761\u4ef6\u3001\u6b21\u306e\u7b49\u5f0f\u306f\u99d2\u7a2e\u306e\u5fc5\u8981\u679a\u6570\u3092\u5b88\u308b\u6761\u4ef6\u3001\u6700\u5f8c\u306e\u5f0f\u306f\u5019\u88dc\u304b\u3089\u6d88\u3048\u305f\u7a2e\u985e\u3092\u4f7f\u308f\u306a\u3044\u6761\u4ef6\u3067\u3042\u308b\u3002\u3059\u3079\u3066\u3092\u6e80\u305f\u3059 0-1 \u5909\u6570\u306e\u7d44\u304c\u5b58\u5728\u3059\u308b\u3053\u3068\u3068\u3001\\(\\Phi(D)\\neq\\varnothing\\) \u306f\u540c\u5024\u3067\u3042\u308b\u3002\u3055\u3089\u306b \\(x_{ik}=1\\) \u3092\u8ffd\u52a0\u3057\u3066\u3082\u89e3\u304c\u5b58\u5728\u3059\u308b\u306a\u3089\u3001\\(k\\in P_i(D)\\) \u3068\u306a\u308b\u3002\u89e3\u306e\u5b58\u5728\u3092\u5224\u5b9a\u3059\u308b\u554f\u984c\u3068\u3001\u6b63\u78ba\u306a\u5019\u88dc\u96c6\u5408\u3092\u6c42\u3081\u308b\u554f\u984c\u306f\u3001\u3053\u306e\u3088\u3046\u306b\u533a\u5225\u3067\u304d\u308b\u3002<\/p>\n<p>0-1 \u5909\u6570\u306e\u8868\u73fe\u3067\u306f\u3001\u3042\u308b\u99d2\u306b\u3064\u3044\u3066 8 \u500b\u306e\u5024\u306e\u3046\u3061\u3061\u3087\u3046\u3069 1 \u500b\u3092\u9078\u3073\u3001\u3042\u308b\u7a2e\u985e\u306b\u3064\u3044\u3066 20 \u679a\u306e\u3046\u3061\u5fc5\u8981\u679a\u6570\u3060\u3051\u3092\u9078\u3076\u3002\u3053\u306e\u4e8c\u65b9\u5411\u306e\u7b49\u5f0f\u304c\u540c\u6642\u306b\u6210\u7acb\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002\u4f8b\u3048\u3070 3 \u679a\u306e\u5c0f\u3055\u306a\u4f8b\u3067\u98db\u8eca 1 \u679a\u3001\u9999\u8eca 2 \u679a\u306b\u9650\u5b9a\u3059\u308c\u3070\u3001\u5272\u5f53\u3092\u8868\u3059 3 \u884c 2 \u5217\u306e\u5909\u6570\u8868\u3092\u8003\u3048\u3089\u308c\u308b\u3002<\/p>\n<p>\\[\\begin{pmatrix}x_{1,\u98db}&amp;x_{1,\u9999}\\\\x_{2,\u98db}&amp;x_{2,\u9999}\\\\x_{3,\u98db}&amp;x_{3,\u9999}\\end{pmatrix}\\]<\/p>\n<p>\u5404\u884c\u306e\u5408\u8a08\u306f 1\u3001\u98db\u8eca\u5217\u306e\u5408\u8a08\u306f 1\u3001\u9999\u8eca\u5217\u306e\u5408\u8a08\u306f 2 \u3067\u3042\u308b\u3002\u3059\u3079\u3066\u306e\u5019\u88dc\u304c \\(\\{\u98db,\u9999\\}\\) \u306a\u3089\u3001\u98db\u8eca\u5217\u3067\u3069\u306e\u884c\u3092 1 \u306b\u3059\u308b\u304b\u306e 3 \u901a\u308a\u304c\u6b8b\u308b\u3002\u3053\u308c\u3089\u306e\u5909\u6570\u306f\u78ba\u7387\u3092\u793a\u3059\u5024\u3067\u306f\u306a\u304f\u3001\u5b8c\u5168\u306a\u5272\u5f53\u306e\u4e00\u3064\u3092\u8868\u3059\u305f\u3081\u306e\u9078\u629e\u3067\u3042\u308b\u3002\u5b9f\u969b\u306e\u5019\u88dc\u306e\u78ba\u5b9a\u306b\u306f\u3001\u4e00\u3064\u306e\u89e3\u3060\u3051\u3067\u306a\u304f\u3001\u53ef\u80fd\u306a\u89e3\u5168\u4f53\u306b\u73fe\u308c\u308b\u5024\u3092\u8abf\u3079\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002<\/p>\n<p>\u3053\u306e\u5b9a\u5f0f\u5316\u306f\u6574\u6570\u7dda\u5f62\u8a08\u753b\u3068\u3057\u3066\u3082\u66f8\u3051\u308b\u304c\u3001\u99d2\u3068\u7a2e\u985e\u306e\u9593\u306e\u8fba\u3057\u304b\u6301\u305f\u305a\u3001\u5404\u7a2e\u985e\u306b\u5bb9\u91cf\u304c\u3042\u308b\u3068\u3044\u3046\u69cb\u9020\u3092\u5229\u7528\u3059\u308c\u3070\u3001\u4e00\u822c\u306e\u6574\u6570\u8a08\u753b\u554f\u984c\u3092\u89e3\u304f\u3088\u308a\u5358\u7d14\u306a\u30cd\u30c3\u30c8\u30ef\u30fc\u30af\u6d41\u306e\u554f\u984c\u306b\u5909\u63db\u3067\u304d\u308b\u3002\u5272\u5f53\u304c\u5b58\u5728\u3059\u308b\u304b\u3068\u3044\u3046\u554f\u3044\u3068\u3001\u5404\u5019\u88dc\u304c\u5b8c\u5168\u306a\u5272\u5f53\u306b\u53c2\u52a0\u3059\u308b\u304b\u3068\u3044\u3046\u554f\u3044\u3092\u5206\u3051\u308c\u3070\u3001\u3069\u3061\u3089\u306b\u3082\u660e\u78ba\u306a\u5224\u5b9a\u624b\u7d9a\u304d\u3092\u4e0e\u3048\u3089\u308c\u308b\u3002<\/p>\n<h3>5.2 \u6700\u5927\u6d41\u306b\u3088\u308b\u5b9f\u73fe\u53ef\u80fd\u6027\u3068\u5019\u88dc\u306e\u5224\u5b9a<\/h3>\n<p>\u540c\u3058\u5236\u7d04\u3092\u3001\u99d2\u3068\u99d2\u7a2e\u304b\u3089\u306a\u308b\u4e8c\u90e8\u30b0\u30e9\u30d5\u306b\u5909\u63db\u3059\u308b\u3002\u5165\u53e3\u304b\u3089\u5404\u99d2\u3078\u5bb9\u91cf 1\u3001\u99d2\u304b\u3089\u5019\u88dc\u306b\u542b\u307e\u308c\u308b\u7a2e\u985e\u3078\u5bb9\u91cf 1\u3001\u5404\u7a2e\u985e\u304b\u3089\u51fa\u53e3\u3078\u5bb9\u91cf \\(c_k\\) \u306e\u8fba\u3092\u7f6e\u304f\u3002\u3059\u3079\u3066\u306e\u99d2\u3078\u7a2e\u985e\u3092\u5272\u308a\u5f53\u3066\u308b\u306b\u306f\u3001\u5165\u53e3\u304b\u3089\u51fa\u53e3\u307e\u3067\u5408\u8a08 20 \u5358\u4f4d\u306e\u6d41\u308c\u304c\u5fc5\u8981\u3067\u3042\u308b\u3002<\/p>\n<p>\\[\\boxed{\\Phi(D)\\neq\\varnothing\\ \\Longleftrightarrow\\ F_{\\max}(D)=20}\\]<\/p>\n<p>\\(F_{\\max}\\) \u306f\u3053\u306e\u30cd\u30c3\u30c8\u30ef\u30fc\u30af\u306e\u6700\u5927\u6d41\u91cf\u3067\u3042\u308b\u3002\u6d41\u91cf\u304c 20 \u306a\u3089\u5168 20 \u679a\u306b\u5272\u5f53\u5148\u304c\u3042\u308a\u3001\u7a2e\u985e\u5074\u306e\u5bb9\u91cf\u306e\u7dcf\u548c\u3082 20 \u306a\u306e\u3067\u5404\u7a2e\u985e\u306e\u5fc5\u8981\u679a\u6570\u304c\u3061\u3087\u3046\u3069\u6e80\u305f\u3055\u308c\u308b\u3002\u9006\u306b\u5b8c\u5168\u306a\u99d2\u7a2e\u5272\u5f53\u304c\u3042\u308c\u3070\u3001\u5272\u308a\u5f53\u3066\u305f\u7a2e\u985e\u3078\u306e\u8fba\u306b 1 \u5358\u4f4d\u305a\u3064\u6d41\u305b\u308b\u306e\u3067\u6700\u5927\u6d41\u91cf\u306f 20 \u3068\u306a\u308b\u3002\u5bb9\u91cf\u304c\u6574\u6570\u306e\u30cd\u30c3\u30c8\u30ef\u30fc\u30af\u3067\u306f\u6574\u6570\u5024\u306e\u6700\u5927\u6d41\u304c\u5f97\u3089\u308c\u3001\u500b\u3005\u306e\u6d41\u308c\u3092 0-1 \u5909\u6570\u306e\u5272\u5f53\u3078\u5bfe\u5fdc\u3055\u305b\u3089\u308c\u308b\u3002<\/p>\n<p>\u5019\u88dc \\(k\\in D_i\\) \u306e\u5b9f\u73fe\u53ef\u80fd\u6027\u3092\u78ba\u304b\u3081\u308b\u306b\u306f\u3001\u99d2 \\(i\\) \u3092 \\(k\\) \u306b\u56fa\u5b9a\u3057\u3066\u5bb9\u91cf\u3092 1 \u6d88\u8cbb\u3057\u3001\u6b8b\u308a 19 \u679a\u3092\u5272\u308a\u5f53\u3066\u3089\u308c\u308b\u304b\u3092\u5224\u5b9a\u3059\u308c\u3070\u3088\u3044\u3002\u6b8b\u308a\u306e\u6700\u5927\u6d41\u91cf\u304c 19 \u306a\u3089\u5019\u88dc\u3092\u6b8b\u3057\u300119 \u672a\u6e80\u306a\u3089\u5019\u88dc\u3092\u9664\u5916\u3059\u308b\u3002\u3053\u308c\u306f\u7b2c 3 \u7ae0\u306e\u5c04\u5f71\u3092\u3001\u5b9f\u969b\u306b\u8a08\u7b97\u3059\u308b\u65b9\u6cd5\u306b\u306a\u3063\u3066\u3044\u308b\u3002<\/p>\n<p>\u6700\u5927\u6d41\u3078\u5909\u63db\u3057\u305f\u30b0\u30e9\u30d5\u3067\u306f\u3001\u5165\u53e3 1 \u500b\u3001\u99d2\u306e\u9802\u70b9 20 \u500b\u3001\u7a2e\u985e\u306e\u9802\u70b9 8 \u500b\u3001\u51fa\u53e3 1 \u500b\u3067\u3001\u5408\u8a08 30 \u500b\u306e\u9802\u70b9\u3092\u7528\u3044\u308b\u3002\u5019\u88dc\u304c\u3059\u3079\u3066\u6b8b\u3063\u3066\u3044\u308b\u5834\u5408\u3001\u5165\u53e3\u304b\u3089\u99d2\u3078\u306e\u8fba\u304c 20 \u672c\u3001\u99d2\u304b\u3089\u7a2e\u985e\u3078\u306e\u8fba\u304c\u6700\u5927 160 \u672c\u3001\u7a2e\u985e\u304b\u3089\u51fa\u53e3\u3078\u306e\u8fba\u304c 8 \u672c\u3067\u3042\u308b\u3002\u5168\u90e8\u3067\u6700\u5927 188 \u672c\u306e\u6709\u5411\u8fba\u306b\u3001\u5404\u6bb5\u306e\u5bb9\u91cf\u3092\u8a2d\u5b9a\u3059\u308b\u3002\u5bfe\u5c40\u304c\u9032\u3093\u3067\u5019\u88dc\u304c\u6e1b\u308c\u3070\u3001\u99d2\u304b\u3089\u7a2e\u985e\u3078\u306e\u8fba\u306e\u672c\u6570\u3082\u6e1b\u308b\u3002<\/p>\n<p>\u6700\u5927\u6d41\u91cf 20 \u304c\u5f97\u3089\u308c\u308c\u3070\u5b8c\u5168\u5272\u5f53\u304c\u5b58\u5728\u3059\u308b\u7406\u7531\u306f\u3001\u5404\u99d2\u304b\u3089\u6d41\u308c\u308b\u91cf\u304c 1 \u3092\u8d85\u3048\u305a\u3001\u7a2e\u985e\u5074\u306e\u5bb9\u91cf\u306e\u5408\u8a08\u304c 20 \u3067\u3042\u308b\u70b9\u306b\u3042\u308b\u3002\u6574\u6570\u5bb9\u91cf\u306e\u6700\u5927\u6d41\u3067\u306f\u3001\u5404\u8fba\u306e\u6d41\u91cf\u3092\u6574\u6570\u306b\u9078\u3079\u308b\u305f\u3081\u3001\u99d2\u304b\u3089\u7a2e\u985e\u3078\u306e\u6d41\u91cf 1 \u3092\u305d\u306e\u307e\u307e\u5272\u5f53\u3068\u3057\u3066\u8aad\u3081\u308b\u3002\u4e00\u65b9\u3001\u99d2\u3092\u7279\u5b9a\u306e\u7a2e\u985e\u3078\u56fa\u5b9a\u3057\u305f\u5834\u5408\u306b\u306f\u3001\u305d\u306e\u7a2e\u985e\u306e\u5bb9\u91cf\u3092\u4e00\u3064\u6d88\u8cbb\u3059\u308b\u3002\u6b8b\u308b 19 \u679a\u306b\u3064\u3044\u3066\u6700\u5927\u6d41\u91cf 19 \u304c\u5f97\u3089\u308c\u308b\u304b\u3092\u8abf\u3079\u308c\u3070\u3001\u5019\u88dc\u4e00\u3064\u306e\u5b9f\u73fe\u53ef\u80fd\u6027\u304c\u5206\u304b\u308b\u3002<\/p>\n<p>\u5019\u88dc\u4e00\u3064\u3054\u3068\u306b\u6700\u5927\u6d41\u3092\u89e3\u304d\u76f4\u3059\u65b9\u6cd5\u306f\u69cb\u9020\u304c\u660e\u5feb\u3067\u3042\u308b\u3002\u521d\u671f\u72b6\u614b\u3067\u306f\u5019\u88dc\u306e\u7d44\u5408\u305b\u306f\u6700\u5927 160 \u500b\u306a\u306e\u3067\u3001\u57fa\u672c\u3068\u306a\u308b\u5b8c\u5168\u5272\u5f53\u306e\u5224\u5b9a\u3068\u3001\u5019\u88dc\u3054\u3068\u306e\u56fa\u5b9a\u5224\u5b9a\u3092\u884c\u3048\u3070\u3088\u3044\u3002\u305f\u3060\u3057\u3001\u305d\u306e\u307e\u307e\u5b9f\u88c5\u3059\u308b\u3068\u6700\u5927\u6d41\u8a08\u7b97\u3092\u4f55\u5ea6\u3082\u7e70\u308a\u8fd4\u3059\u3002\u5927\u57df\u7684\u306a\u500b\u6570\u5236\u7d04\u3092\u5bfe\u8c61\u3068\u3059\u308b\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306f\u3001\u6b8b\u4f59\u30b0\u30e9\u30d5\u306a\u3069\u306e\u69cb\u9020\u3092\u5229\u7528\u3057\u3001\u5019\u88dc\u306e\u652f\u6301\u3092\u307e\u3068\u3081\u3066\u8abf\u3079\u308b\u3053\u3068\u3067\u91cd\u8907\u8a08\u7b97\u3092\u6e1b\u3089\u3059\u3002<\/p>\n<h3>5.3 \u5168 255 \u7a2e\u985e\u306e\u96c6\u5408\u3092\u691c\u67fb\u3059\u308b\u6b63\u78ba\u306a\u53ce\u675f\u8a08\u7b97<\/h3>\n<p>\u99d2\u7a2e\u306f 8 \u7a2e\u985e\u306a\u306e\u3067\u3001\u7a7a\u96c6\u5408\u3092\u9664\u304f\u90e8\u5206\u96c6\u5408\u306f \\(2^8-1=255\\) \u901a\u308a\u3067\u3042\u308b\u3002\u5019\u88dc\u96c6\u5408\u304c\u7a7a\u3067\u3042\u308b\u99d2\u306f\u3001\u3042\u3089\u304b\u3058\u3081\u5c40\u6240\u77db\u76fe\u3068\u3057\u3066\u691c\u51fa\u3059\u308b\u3002\u305d\u308c\u4ee5\u5916\u306b\u3064\u3044\u3066\u306f\u3001\u7b2c 4 \u7ae0\u306e\u5fc5\u8981\u5341\u5206\u6761\u4ef6\u3068\u5019\u88dc\u524a\u9664\u306e\u5f0f\u306b\u3088\u308a\u3001\u6b21\u306e\u624b\u9806\u3067\u5b9f\u73fe\u53ef\u80fd\u6027\u3068\u6b63\u78ba\u306a\u5019\u88dc\u96c6\u5408\u3092\u8a08\u7b97\u3067\u304d\u308b\u3002<\/p>\n<table>\n<thead>\n<tr>\n<th>\u5de5\u7a0b<\/th>\n<th>\u8a08\u7b97\u5185\u5bb9<\/th>\n<th>\u6570\u5b66\u7684\u306a\u5224\u5b9a<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>\u96c6\u5408\u3092\u9078\u3076<\/td>\n<td>\u99d2\u7a2e\u306e\u975e\u7a7a\u90e8\u5206\u96c6\u5408 \\(T\\) \u3092 255 \u901a\u308a\u3059\u3079\u3066\u8abf\u3079\u308b\u3002<\/td>\n<td>\u7a7a\u5019\u88dc\u304c\u3042\u308c\u3070\u77db\u76fe\u3068\u3057\u3001\u306a\u3051\u308c\u3070\u5bb9\u91cf \\(c(T)\\) \u3068\u5019\u88dc\u304c \\(T\\) \u306b\u9650\u3089\u308c\u308b\u99d2\u306e\u96c6\u5408 \\(I_T(D)\\) \u3092\u6c42\u3081\u308b\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u77db\u76fe\u3092\u8abf\u3079\u308b<\/td>\n<td>\\(|I_T(D)|&gt;c(T)\\) \u3092\u6e80\u305f\u3059\u96c6\u5408\u3092\u63a2\u3059\u3002<\/td>\n<td>\u4e00\u3064\u3067\u3082\u5b58\u5728\u3059\u308c\u3070\u3001Hall \u306e\u6761\u4ef6\u306b\u3088\u308a\u5b8c\u5168\u306a\u5272\u5f53\u306f\u5b58\u5728\u3057\u306a\u3044\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u4f7f\u3044\u5207\u308a\u3092\u96c6\u3081\u308b<\/td>\n<td>\\(|I_T(D)|=c(T)\\) \u3068\u306a\u308b\u3059\u3079\u3066\u306e\u96c6\u5408\u3092\u8a18\u9332\u3059\u308b\u3002<\/td>\n<td>\u96c6\u5408\u5916\u306e\u99d2\u306b\u306f\u3001\\(T\\) \u306e\u7a2e\u985e\u3092\u5272\u308a\u5f53\u3066\u308b\u4f59\u5730\u304c\u306a\u3044\u3002<\/td>\n<\/tr>\n<tr>\n<td>\u5019\u88dc\u3092\u66f4\u65b0\u3059\u308b<\/td>\n<td>\u5404\u99d2\u306b\u3064\u3044\u3066\u3001\u53c2\u52a0\u3057\u3066\u3044\u306a\u3044\u4f7f\u3044\u5207\u308a\u96c6\u5408\u306e\u7a2e\u985e\u3092\u5019\u88dc\u304b\u3089\u9664\u5916\u3059\u308b\u3002<\/td>\n<td>\u7b2c 4 \u7ae0\u3067\u8a3c\u660e\u3057\u305f\u7b49\u5f0f\u306b\u3088\u308a\u3001\u6b63\u78ba\u306a\u5019\u88dc\u96c6\u5408 \\(P_i(D)\\) \u304c\u5f97\u3089\u308c\u308b\u3002<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\u3053\u306e\u65b9\u6cd5\u306f\u3001\u5168\u5272\u5f53\u306e\u7d04 4,190 \u5104\u901a\u308a\u3092\u8d70\u67fb\u3059\u308b\u8a08\u7b97\u3068\u306f\u7570\u306a\u308b\u3002\u99d2\u7a2e\u6570\u3092 \\(m\\)\u3001\u99d2\u6570\u3092 \\(n\\) \u3068\u3059\u308b\u3068\u3001\u5404\u96c6\u5408\u306b\u3064\u3044\u3066\u5168\u99d2\u306e\u5019\u88dc\u304c\u305d\u306e\u96c6\u5408\u306b\u542b\u307e\u308c\u308b\u304b\u3092\u8abf\u3079\u308b\u7d20\u6734\u306a\u5b9f\u88c5\u3067\u3082 \\(O(2^m nm)\\) \u6642\u9593\u3067\u6e08\u3080\u30028 \u7a2e\u985e\u3092 8 \u30d3\u30c3\u30c8\u306e\u96c6\u5408\u3068\u3057\u3066\u8868\u3057\u3001\u5305\u542b\u5224\u5b9a\u3092\u30d3\u30c3\u30c8\u6f14\u7b97\u3067\u884c\u3048\u3070\u3001\u56fa\u5b9a\u9577\u306e\u6a5f\u68b0\u8a9e\u4e0a\u3067\u306f \\(O(2^m n)\\) \u56de\u7a0b\u5ea6\u306e\u57fa\u672c\u64cd\u4f5c\u3067\u5404\u96c6\u5408\u3092\u691c\u67fb\u3067\u304d\u308b\u3002\\(m=8\\)\u3001\\(n=20\\) \u3067\u306f 255 \u96c6\u5408\u306e\u8d70\u67fb\u304c\u4e2d\u5fc3\u3068\u306a\u308b\u3002<\/p>\n<p>\u6b63\u78ba\u306a\u5019\u88dc \\(P(D)\\) \u3092\u4e00\u5ea6\u6c42\u3081\u308c\u3070\u3001\u540c\u3058\u5c40\u9762\u306b\u5bfe\u3059\u308b\u518d\u8a08\u7b97\u306f\u7d50\u679c\u3092\u5909\u3048\u306a\u3044\u3002\u7b2c 3 \u7ae0\u306e\u51aa\u7b49\u6027\u304c\u305d\u306e\u7406\u7531\u3067\u3042\u308b\u3002\u4e00\u65b9\u3001\u5019\u88dc\u524a\u9664\u3092\u4f7f\u3044\u5207\u308a\u4e00\u4ef6\u305a\u3064\u9010\u6b21\u9069\u7528\u3059\u308b\u5b9f\u88c5\u3067\u306f\u3001\u524a\u9664\u5f8c\u306b\u5225\u306e\u4f7f\u3044\u5207\u308a\u304c\u898b\u3064\u304b\u308b\u3053\u3068\u304c\u3042\u308b\u305f\u3081\u3001\u66f4\u65b0\u304c\u6b62\u307e\u308b\u307e\u3067\u7e70\u308a\u8fd4\u3059\u65b9\u6cd5\u3082\u3042\u308b\u3002\u5168\u5019\u88dc\u306f\u6700\u5927 160 \u500b\u3067\u3042\u308a\u3001\u5b9f\u73fe\u53ef\u80fd\u306a\u5c40\u9762\u3067\u306f\u5404\u99d2\u306b\u5c11\u306a\u304f\u3068\u3082 1 \u5019\u88dc\u304c\u6b8b\u308b\u306e\u3067\u3001\u5019\u88dc\u3092\u53b3\u5bc6\u306b\u6e1b\u3089\u3059\u66f4\u65b0\u306f\u9ad8\u3005 140 \u56de\u3067\u505c\u6b62\u3059\u308b\u3002\u3053\u308c\u306f\u540c\u3058\u5c40\u9762\u306b\u5bfe\u3059\u308b\u5019\u88dc\u524a\u9664\u306e\u56de\u6570\u306e\u4e0a\u9650\u3067\u3042\u308a\u3001\u5bfe\u5c40\u306e\u624b\u6570\u306e\u4e0a\u9650\u3092\u610f\u5473\u3057\u306a\u3044\u3002<\/p>\n<p>\u7a7a\u5019\u88dc\u306e\u6709\u7121\u3092\u6700\u521d\u306b\u691c\u67fb\u3057\u305f\u3046\u3048\u3067\u884c\u3046 255 \u901a\u308a\u306e\u691c\u67fb\u3067\u306f\u3001\u5404\u5019\u88dc\u96c6\u5408\u3092 8 \u30d3\u30c3\u30c8\u3067\u8868\u305b\u308b\u3002\u4f8b\u3048\u3070\u98db\u8eca\u3068\u9999\u8eca\u306e\u30d3\u30c3\u30c8\u3060\u3051\u3092\u7acb\u3066\u305f\u96c6\u5408 \\(T\\) \u306b\u3064\u3044\u3066\u3001\u99d2 \\(i\\) \u306e\u5019\u88dc\u304c\u305d\u306e\u96c6\u5408\u306b\u5b8c\u5168\u306b\u542b\u307e\u308c\u308b\u304b\u3092\u8abf\u3079\u308b\u306b\u306f\u3001\\(D_i\\cap T=D_i\\) \u3092\u5224\u5b9a\u3059\u308c\u3070\u3088\u3044\u3002\u3053\u308c\u306b\u3088\u308a\u3001\u5019\u88dc\u304c \\(T\\) \u306b\u9650\u3089\u308c\u308b\u99d2\u6570 \\(|I_T(D)|\\) \u3092\u6570\u3048\u3089\u308c\u308b\u3002\u5bb9\u91cf \\(c(T)\\) \u3082 8 \u7a2e\u985e\u306e\u5fc5\u8981\u679a\u6570\u304b\u3089\u8a08\u7b97\u3067\u304d\u308b\u3002<\/p>\n<p>\u4f8b\u3048\u3070 \\(T=\\{\u98db,\u9999\\}\\) \u306e\u3068\u304d\u3001\u5019\u88dc\u304c \\(\\{\u98db\\}\\)\u3001\\(\\{\u9999\\}\\)\u3001\\(\\{\u98db,\u9999\\}\\) \u306e\u99d2\u306f\u3059\u3079\u3066 \\(I_T(D)\\) \u306b\u6570\u3048\u3089\u308c\u308b\u3002\u5408\u8a08\u304c 3 \u679a\u306a\u3089\u4f7f\u3044\u5207\u308a\u30014 \u679a\u306a\u3089\u77db\u76fe\u3068\u306a\u308b\u3002\u4f7f\u3044\u5207\u308a\u306e\u5834\u5408\u3001\u305d\u306e\u96c6\u5408\u306b\u542b\u307e\u308c\u3066\u3044\u306a\u3044\u5404\u99d2\u304b\u3089\u98db\u8eca\u3068\u9999\u8eca\u3092\u9664\u5916\u3059\u308b\u3002\u5019\u88dc\u96c6\u5408\u306e\u5168\u7d44\u5408\u305b\u3092\u5217\u6319\u3059\u308b\u51e6\u7406\u3067\u306f\u306a\u304f\u3001\u56fa\u5b9a\u3055\u308c\u305f 255 \u96c6\u5408\u306b\u3064\u3044\u3066\u5305\u542b\u5224\u5b9a\u3068\u500b\u6570\u6bd4\u8f03\u3092\u7e70\u308a\u8fd4\u3059\u51e6\u7406\u3067\u3042\u308b\u3002<\/p>\n<p>\u8a08\u7b97\u91cf\u306e \\(O(2^m nm)\\) \u306f\u3001\u99d2\u7a2e\u6570 \\(m\\) \u3092\u5909\u5316\u3055\u305b\u305f\u3068\u304d\u306e\u4e0a\u9650\u3067\u3042\u308b\u3002\u7a2e\u985e\u6570\u304c\u56fa\u5b9a\u3055\u308c\u305f\u91cf\u5b50\u5c06\u68cb\u3067\u306f \\(m=8\\) \u306a\u306e\u3067\u3001\u691c\u67fb\u5bfe\u8c61\u306f\u6700\u5927 255 \u96c6\u5408\u306b\u56fa\u5b9a\u3055\u308c\u308b\u3002\u99d2\u6570 \\(n=20\\) \u3082\u56fa\u5b9a\u3055\u308c\u3066\u3044\u308b\u305f\u3081\u3001\u901a\u5e38\u306e\u8a08\u7b97\u8907\u96d1\u6027\u306b\u304a\u3051\u308b\u5165\u529b\u898f\u6a21\u306e\u5897\u5927\u3068\u306f\u4e8b\u60c5\u304c\u7570\u306a\u308b\u3002\u7d04 4,190 \u5104\u901a\u308a\u306e\u5272\u5f53\u3068\u3044\u3046\u6570\u5024\u3068\u3001255 \u96c6\u5408\u306e\u691c\u67fb\u3068\u3044\u3046\u6570\u5024\u3092\u6bd4\u8f03\u3059\u308b\u3068\u304d\u306f\u3001\u524d\u8005\u304c\u5b8c\u5168\u5272\u5f53\u306e\u500b\u6570\u3001\u5f8c\u8005\u304c\u5236\u7d04\u3092\u8abf\u3079\u308b\u96c6\u5408\u306e\u500b\u6570\u3067\u3042\u308b\u3053\u3068\u3092\u533a\u5225\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002<\/p>\n<h3>5.4 \u516c\u958b\u5b9f\u88c5\u3068\u5927\u57df\u7684\u306a\u500b\u6570\u5236\u7d04<\/h3>\n<p>\u958b\u767a\u8005\u304c 2025 \u5e74 11 \u6708\u306b\u516c\u958b\u3057\u305f\u89e3\u8aac\u306b\u63b2\u8f09\u3055\u308c\u305f\u5b9f\u88c5\u3067\u306f\u3001\u52d5\u304d\u3068\u6210\u308a\u30fb\u6355\u7372\u306b\u3088\u308b\u5019\u88dc\u306e\u7d5e\u308a\u8fbc\u307f\u306b\u7d9a\u3044\u3066\u3001\u5019\u88dc\u304c\u540c\u3058\u99d2\u3092\u30b0\u30eb\u30fc\u30d7\u5316\u3057\u3001\u4f7f\u3044\u5207\u308a\u3092\u691c\u51fa\u3057\u3066\u5019\u88dc\u3092\u518d\u69cb\u7bc9\u3059\u308b\u3002\u99d2\u7a2e 8 \u7a2e\u985e\u306e\u975e\u7a7a\u90e8\u5206\u96c6\u5408 255 \u901a\u308a\u3092\u3059\u3079\u3066\u76f4\u63a5\u8abf\u3079\u308b\u4ee3\u308f\u308a\u306b\u3001\u5c40\u9762\u306b\u5b9f\u969b\u306b\u73fe\u308c\u3066\u3044\u308b\u5019\u88dc\u96c6\u5408\u304b\u3089\u691c\u67fb\u5bfe\u8c61\u3092\u69cb\u6210\u3059\u308b\u65b9\u5f0f\u304c\u63a1\u3089\u308c\u3066\u3044\u308b\u3002\u5177\u4f53\u7684\u306a\u51e6\u7406\u306f\u3001\u958b\u767a\u8005\u306e\u516c\u958b\u30b3\u30fc\u30c9\u3068\u305d\u306e\u89e3\u8aac\u3067\u78ba\u8a8d\u3067\u304d\u308b<a href=\"#ref5\">[5]<\/a>\u3002<\/p>\n<p>\u5236\u7d04\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3067\u306f\u3001\u5404\u5024\u306e\u51fa\u73fe\u56de\u6570\u306b\u4e0b\u9650\u3068\u4e0a\u9650\u3092\u6307\u5b9a\u3059\u308b\u6761\u4ef6\u3092\u5927\u57df\u7684\u306a\u500b\u6570\u5236\u7d04\u3068\u547c\u3076\u3002\u91cf\u5b50\u5c06\u68cb\u306e\u679a\u6570\u4fdd\u5b58\u5247\u306f\u3001\u5404\u7a2e\u985e\u306e\u4e0b\u9650\u3068\u4e0a\u9650\u3092\u3068\u3082\u306b \\(c_k\\) \u3068\u3057\u305f\u5834\u5408\u306b\u76f8\u5f53\u3059\u308b\u3002R\u00e9gin \u306f 1996 \u5e74\u3001\u30d5\u30ed\u30fc\u306b\u57fa\u3065\u3044\u3066\u5927\u57df\u7684\u306a\u500b\u6570\u5236\u7d04\u306e\u4e00\u822c\u5316\u30a2\u30fc\u30af\u6574\u5408\u6027\u3092\u5b9f\u73fe\u3059\u308b\u65b9\u6cd5\u3092\u793a\u3057\u305f<a href=\"#ref6\">[6]<\/a>\u3002\u3053\u3053\u3067\u3044\u3046\u6574\u5408\u6027\u306f\u3001\u6b8b\u3055\u308c\u305f\u5404\u5019\u88dc\u306b\u3064\u3044\u3066\u3001\u305d\u306e\u5019\u88dc\u3092\u63a1\u7528\u3059\u308b\u5b8c\u5168\u306a\u5272\u5f53\u304c\u5c11\u306a\u304f\u3068\u3082\u4e00\u3064\u5b58\u5728\u3059\u308b\u6027\u8cea\u3067\u3042\u308b\u3002<\/p>\n<p>\u4e09\u3064\u306e\u65b9\u6cd5\u306f\u540c\u3058\u5272\u5f53\u554f\u984c\u306e\u7570\u306a\u308b\u8a08\u7b97\u8868\u73fe\u3067\u3042\u308b\u3002\u4f7f\u3044\u5207\u308a\u306e\u5217\u6319\u306f\u5bb9\u91cf\u304c\u57cb\u307e\u308b\u90e8\u5206\u96c6\u5408\u3092\u76f4\u63a5\u8abf\u3079\u3001\u6700\u5927\u6d41\u306f\u5b8c\u5168\u306a\u5272\u5f53\u306e\u5b58\u5728\u3092\u5224\u5b9a\u3057\u3001\u5927\u57df\u7684\u306a\u500b\u6570\u5236\u7d04\u306e\u30d5\u30a3\u30eb\u30bf\u30ea\u30f3\u30b0\u306f\u5168\u5019\u88dc\u306e\u5b9f\u73fe\u53ef\u80fd\u6027\u3092\u52b9\u7387\u7684\u306b\u8a55\u4fa1\u3059\u308b\u3002\u4e00\u822c\u306e\u5236\u7d04\u5145\u8db3\u554f\u984c\u306f\u3088\u308a\u5e83\u3044\u69cb\u9020\u3092\u6271\u3046\u304c\u3001\u91cf\u5b50\u5c06\u68cb\u306e\u99d2\u7a2e\u914d\u5206\u3060\u3051\u3092\u53d6\u308a\u51fa\u3059\u3068\u3001\u5bb9\u91cf\u4ed8\u304d\u4e8c\u90e8\u30de\u30c3\u30c1\u30f3\u30b0\u3068\u3044\u3046\u89e3\u304d\u3084\u3059\u3044\u5f62\u306b\u306a\u308b\u3002<\/p>\n<p>2025 \u5e74 11 \u6708\u306b\u89e3\u8aac\u3055\u308c\u305f\u5b9f\u88c5\u304c\u5019\u88dc\u96c6\u5408\u306e\u30b0\u30eb\u30fc\u30d7\u5316\u3092\u5229\u7528\u3059\u308b\u306e\u306f\u3001\u5b9f\u969b\u306e\u5bfe\u5c40\u3067\u73fe\u308c\u3066\u3044\u308b\u5019\u88dc\u306e\u7a2e\u985e\u3060\u3051\u3092\u8a08\u7b97\u306e\u5bfe\u8c61\u306b\u3067\u304d\u308b\u305f\u3081\u3067\u3042\u308b\u3002\u4f8b\u3048\u3070 20 \u679a\u306e\u3046\u3061 15 \u679a\u304c\u307e\u3060\u521d\u671f\u72b6\u614b\u306e\u5019\u88dc\u306e\u307e\u307e\u3067\u3001\u6b8b\u308b 5 \u679a\u3060\u3051\u306b\u5236\u7d04\u304c\u4ed8\u3044\u3066\u3044\u308b\u306a\u3089\u3001\u60c5\u5831\u3092\u6301\u3064\u5019\u88dc\u306e\u7d44\u5408\u305b\u3092\u4e2d\u5fc3\u306b\u51e6\u7406\u3067\u304d\u308b\u3002\u305f\u3060\u3057\u3001\u3053\u308c\u306f\u691c\u67fb\u5bfe\u8c61\u3092\u4f5c\u308b\u65b9\u5f0f\u306e\u9055\u3044\u3067\u3042\u3063\u3066\u3001\u4f7f\u3044\u5207\u308a\u304c\u6b63\u3057\u3044\u7406\u7531\u306f Hall \u306e\u5bb9\u91cf\u6761\u4ef6\u306b\u3042\u308b\u3002<\/p>\n<p>\u53ce\u675f\u8a08\u7b97\u3067\u6df7\u540c\u3057\u3084\u3059\u3044\u306e\u306f\u3001\u5b8c\u5168\u5272\u5f53\u3092\u4e00\u3064\u898b\u3064\u3051\u305f\u3053\u3068\u3068\u3001\u5404\u99d2\u306e\u7a2e\u985e\u304c\u6c7a\u307e\u3063\u305f\u3053\u3068\u3068\u306e\u9055\u3044\u3067\u3042\u308b\u3002\u98db\u8eca\u3068\u9999\u8eca\u306e 3 \u679a\u306b\u5bfe\u3057\u3066\u3001\u6700\u5927\u6d41\u306f\u4f8b\u3048\u3070 \\((\u98db,\u9999,\u9999)\\) \u3068\u3044\u3046\u4e00\u3064\u306e\u89e3\u3092\u8fd4\u305b\u308b\u3002\u3057\u304b\u3057 \\((\u9999,\u98db,\u9999)\\) \u3068 \\((\u9999,\u9999,\u98db)\\) \u3082\u6210\u7acb\u3059\u308b\u306a\u3089\u3001\u3069\u306e\u99d2\u3082\u81ea\u5206\u306e\u7a2e\u985e\u3092\u4e00\u3064\u306b\u78ba\u5b9a\u3067\u304d\u306a\u3044\u3002\u6b63\u78ba\u306a\u53ce\u675f\u306b\u306f\u3001\u3059\u3079\u3066\u306e\u5019\u88dc\u304c\u5c11\u306a\u304f\u3068\u3082\u4e00\u3064\u306e\u5b8c\u5168\u5272\u5f53\u3067\u652f\u6301\u3055\u308c\u3066\u3044\u308b\u304b\u3092\u5224\u5b9a\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002<\/p>\n<hr>\n<h2>6. \u76e4\u9762\u3068\u6301\u3061\u99d2\u3092\u542b\u3080\u72b6\u614b\u9077\u79fb\u3092\u5b9a\u5f0f\u5316\u3059\u308b<\/h2>\n<h3>6.1 \u72b6\u614b\u306b\u5fc5\u8981\u306a\u60c5\u5831<\/h3>\n<p>\u99d2\u7a2e\u306e\u5272\u5f53\u3060\u3051\u3067\u306f\u3001\u5b9f\u969b\u306e\u5bfe\u5c40\u306e\u5408\u6cd5\u624b\u3092\u5224\u5b9a\u3067\u304d\u306a\u3044\u3002\u76e4\u4e0a\u306e\u99d2\u306e\u4f4d\u7f6e\u3001\u6301\u3061\u99d2\u3001\u6210\u308a\u3001\u624b\u756a\u304c\u79fb\u52d5\u306e\u53ef\u5426\u3092\u5de6\u53f3\u3059\u308b\u304b\u3089\u3067\u3042\u308b\u300240 \u679a\u306e\u99d2\u306b\u4e00\u610f\u306a\u8b58\u5225\u5b50\u3092\u4ed8\u3051\u3001\u99d2 \\(i\\) \u306e\u521d\u671f\u9663\u55b6\u3092 \\(\\sigma(i)\\in\\{\u5148,\u5f8c\\}\\) \u3068\u3059\u308b\u3002\u3053\u306e\u5024\u306f\u5bfe\u5c40\u3092\u901a\u3058\u3066\u56fa\u5b9a\u3059\u308b\u3002\u4e00\u65b9\u3001\u73fe\u5728\u306e\u6240\u6709\u8005\u3001\u76e4\u4e0a\u306e\u4f4d\u7f6e\u307e\u305f\u306f\u99d2\u53f0\u4e0a\u306e\u6240\u5728\u3001\u6210\u308a\u72b6\u614b\u306f\u6307\u3057\u624b\u3054\u3068\u306b\u5909\u5316\u3059\u308b\u3002<\/p>\n<p>\u6642\u523b \\(t\\) \u306e\u5bfe\u5c40\u72b6\u614b\u3092\u6b21\u306e\u7d44\u3067\u5b9a\u7fa9\u3059\u308b\u3002\\(B_t\\) \u306f\u76e4\u4e0a\u306e\u914d\u7f6e\u3068\u5404\u99d2\u306e\u6240\u6709\u8005\u3001\\(H_t\\) \u306f\u6301\u3061\u99d2\u3068\u305d\u306e\u6240\u6709\u8005\u3001\\(R_t\\) \u306f\u5404\u99d2\u306e\u6210\u308a\u72b6\u614b\u3001\\(\\tau_t\\) \u306f\u624b\u756a\u3001\\(D_t\\) \u306f 40 \u679a\u306e\u5019\u88dc\u96c6\u5408\u3067\u3042\u308b\u3002\u521d\u671f\u9663\u55b6\u60c5\u5831 \\(\\sigma\\) \u306f\u99d2\u306e\u8b58\u5225\u5b50\u306b\u56fa\u5b9a\u3057\u3066\u4fdd\u6301\u3059\u308b\u3002<\/p>\n<p>\\[\\boxed{S_t=(B_t,H_t,R_t,\\tau_t,\\sigma,D_t)}\\]<\/p>\n<p>\u5148\u624b\u7531\u6765\u306e\u99d2\u306b\u95a2\u3059\u308b\u53ef\u80fd\u4e16\u754c\u306f \\(\\Phi_{\u5148}(D_t)\\)\u3001\u5f8c\u624b\u7531\u6765\u306e\u99d2\u306b\u95a2\u3059\u308b\u53ef\u80fd\u4e16\u754c\u306f \\(\\Phi_{\u5f8c}(D_t)\\) \u3068\u3059\u308b\u3002\u4e21\u8005\u306f\u305d\u308c\u305e\u308c 20 \u679a\u3068\u6240\u5b9a\u306e\u679a\u6570\u914d\u5206\u3092\u7528\u3044\u3066\u8a08\u7b97\u3059\u308b\u3002\u6301\u3061\u99d2\u306b\u79fb\u3063\u305f\u5f8c\u624b\u7531\u6765\u306e\u99d2\u3082\u3001\\(\\Phi_{\u5f8c}\\) \u306e\u5909\u6570\u3068\u3057\u3066\u6271\u3044\u7d9a\u3051\u308b\u3002\u6b63\u78ba\u306a\u5019\u88dc \\(P_i(D_t)\\) \u306f\u3001\u6240\u5c5e\u3059\u308b\u521d\u671f\u9663\u55b6\u306e\u53ef\u80fd\u4e16\u754c\u304b\u3089\u5c04\u5f71\u3057\u3066\u6c42\u3081\u308b\u3002<\/p>\n<p>\u76e4\u4e0a\u306e\u99d2\u3092 40 \u679a\u306e\u56fa\u5b9a\u3055\u308c\u305f\u8b58\u5225\u5b50\u3067\u8ffd\u8de1\u3059\u308b\u7406\u7531\u306f\u3001\u6355\u7372\u3068\u6253\u3061\u76f4\u3057\u306b\u3088\u3063\u3066\u4f4d\u7f6e\u3068\u6240\u6709\u8005\u304c\u5909\u308f\u308b\u305f\u3081\u3067\u3042\u308b\u3002\u4f8b\u3048\u3070\u3001\u5f8c\u624b\u304c\u6700\u521d\u306b\u6301\u3063\u3066\u3044\u305f\u756a\u53f7 \\(j\\) \u306e\u99d2\u3092\u5148\u624b\u304c\u53d6\u3063\u305f\u3068\u304d\u3001\\(B_t\\) \u304b\u3089\u305d\u306e\u99d2\u304c\u6d88\u3048\u3001\\(H_t\\) \u3067\u306f\u5148\u624b\u306e\u6301\u3061\u99d2\u3068\u3057\u3066\u73fe\u308c\u308b\u3002\u305f\u3060\u3057 \\(\\sigma(j)=\u5f8c\\) \u306f\u7dad\u6301\u3055\u308c\u308b\u3002\u3053\u306e\u3068\u304d\u756a\u53f7 \\(j\\) \u306e\u57fa\u672c\u7a2e\u985e\u306e\u5019\u88dc\u306f\u5f8c\u624b\u7531\u6765\u306e 20 \u679a\u306b\u8ab2\u3055\u308c\u305f\u5236\u7d04\u306b\u3088\u3063\u3066\u6c7a\u307e\u308a\u3001\u5148\u624b\u306e 20 \u679a\u306e\u5fc5\u8981\u679a\u6570\u3092\u6d88\u8cbb\u3057\u306a\u3044\u3002<\/p>\n<p>\u6210\u308a\u72b6\u614b \\(R_t\\) \u3092\u5225\u306b\u6301\u3064\u3053\u3068\u3067\u3001\u540c\u3058\u57fa\u672c\u7a2e\u985e\u3067\u3082\u79fb\u52d5\u3067\u304d\u308b\u65b9\u5411\u3092\u533a\u5225\u3067\u304d\u308b\u3002\u6210\u3063\u3066\u3044\u306a\u3044\u98db\u8eca\u3068\u9f8d\u3067\u306f\u3001\u659c\u3081 1 \u30de\u30b9\u3078\u306e\u79fb\u52d5\u80fd\u529b\u304c\u7570\u306a\u308b\u3002\u5019\u88dc\u306e\u66f4\u65b0\u3067\u306f\u57fa\u672c\u7a2e\u985e\u304c\u4f55\u3067\u3042\u308b\u304b\u3068\u3001\u73fe\u5728\u306e\u6210\u308a\u72b6\u614b\u3067\u305d\u306e\u624b\u3092\u5b9f\u73fe\u3067\u304d\u308b\u304b\u3092\u7d44\u307f\u5408\u308f\u305b\u3066\u5224\u5b9a\u3059\u308b\u3002\u307e\u305f\u3001\u6301\u3061\u99d2\u3092\u6253\u3064\u3068\u304d\u306b\u306f\u901a\u5e38\u306e\u99d2\u3068\u3057\u3066\u76e4\u3078\u623b\u3059\u306e\u3067\u3001\u6210\u308a\u72b6\u614b\u306e\u66f4\u65b0\u3082\u5fc5\u8981\u3068\u306a\u308b\u3002\u3053\u3046\u3057\u305f\u898f\u5247\u3092\u72b6\u614b\u306e\u5404\u6210\u5206\u3078\u5272\u308a\u5f53\u3066\u308b\u3053\u3068\u3067\u3001\u6570\u5b66\u4e0a\u306e\u5909\u6570\u306e\u610f\u5473\u304c\u6307\u3057\u624b\u3054\u3068\u306b\u5909\u308f\u3089\u306a\u3044\u3088\u3046\u306b\u3067\u304d\u308b\u3002<\/p>\n<p>\u72b6\u614b \\(S_t\\) \u306b\u542b\u307e\u308c\u308b \\(D_t\\) \u306f\u3001\u305d\u306e\u6642\u70b9\u307e\u3067\u306b\u64cd\u4f5c\u304b\u3089\u5f97\u3089\u308c\u305f\u5019\u88dc\u5236\u7d04\u3067\u3042\u308b\u3002\u305d\u3053\u304b\u3089\u521d\u671f\u9663\u55b6\u5225\u306b\u8a08\u7b97\u3059\u308b \\(\\Phi_{\u5148}\\) \u3068 \\(\\Phi_{\u5f8c}\\) \u306f\u3001\u5168\u4f53\u306e\u5272\u5f53\u304c\u5b58\u5728\u3059\u308b\u304b\u306e\u5224\u5b9a\u306b\u7528\u3044\u308b\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u76e4\u4e0a\u306e\u4f4d\u7f6e\u3092\u5909\u66f4\u3059\u308b\u51e6\u7406\u3068\u3001\u57fa\u672c\u7a2e\u985e\u3092\u5236\u7d04\u3059\u308b\u51e6\u7406\u3092\u5225\u3005\u306b\u8a18\u8ff0\u3057\u3066\u3082\u3001\u305d\u308c\u3089\u306f\u540c\u3058\u6307\u3057\u624b \\(u\\) \u306e\u5165\u529b\u3092\u4f7f\u3063\u3066\u9023\u52d5\u3059\u308b\u3002<\/p>\n<h3>6.2 \u6307\u3057\u624b\u304c\u52a0\u3048\u308b\u6761\u4ef6\u3092\u5b9a\u7fa9\u3059\u308b<\/h3>\n<p>\u6307\u3057\u624b \\(u\\) \u3092\u3001\u99d2\u306e\u8b58\u5225\u5b50\u3001\u79fb\u52d5\u5143\u307e\u305f\u306f\u99d2\u53f0\u3001\u79fb\u52d5\u5148\u3001\u6210\u308a\u306e\u9078\u629e\u3001\u6355\u7372\u5bfe\u8c61\u306b\u3088\u3063\u3066\u8868\u3059\u3002\u76e4\u9762\u4e0a\u306e\u969c\u5bb3\u7269\u3001\u624b\u756a\u3001\u6301\u3061\u99d2\u306e\u6240\u6709\u6a29\u3001\u6210\u308a\u3092\u9078\u629e\u3067\u304d\u308b\u4f4d\u7f6e\u306b\u52a0\u3048\u3001\u73fe\u5728\u306e\u6b63\u78ba\u306a\u5019\u88dc\u96c6\u5408 \\(P_i(D)\\) \u306b\u57fa\u3065\u304f\u78ba\u5b9a\u4e8c\u6b69\u7981\u306a\u3069\u3001\u6307\u3057\u624b\u306e\u53d7\u7406\u306b\u5fc5\u8981\u306a\u898f\u5247\u3092 \\(G(S,u)\\) \u3068\u307e\u3068\u3081\u308b\u3002\u3055\u3089\u306b\u3001\u6307\u3057\u624b\u306b\u4f34\u3063\u3066\u5404\u99d2\u3078\u8ffd\u52a0\u3055\u308c\u308b\u57fa\u672c\u7a2e\u985e\u306e\u6761\u4ef6\u3092 \\(E_i(S,u)\\subseteq K\\) \u3068\u3059\u308b\u3002\u5f71\u97ff\u3057\u306a\u3044\u99d2\u3067\u306f \\(E_i(S,u)=K\\) \u3067\u3042\u308b\u3002<\/p>\n<p>\u4f8b\u3048\u3070\u3001\u524d\u65b9\u3078 2 \u30de\u30b9\u52d5\u3044\u305f\u99d2\u306b\u306f \\(E_i=\\{\u98db,\u9999\\}\\)\u3001\u53d6\u3089\u308c\u305f\u99d2\u306b\u306f \\(E_j=K\\setminus\\{\u738b\\}\\) \u304c\u8ab2\u3055\u308c\u308b\u3002\u6210\u308a\u3092\u9078\u3093\u3060\u99d2\u306b\u306f \\(K\\setminus\\{\u738b,\u91d1\\}\\) \u304c\u52a0\u308f\u308b\u3002\u540c\u3058\u6307\u3057\u624b\u3067\u8907\u6570\u306e\u6761\u4ef6\u304c\u751f\u3058\u308b\u5834\u5408\u306b\u306f\u3001\u305d\u306e\u5171\u901a\u90e8\u5206\u3092 \\(E_i\\) \u3068\u3059\u308b\u3002\u3053\u3046\u3057\u3066\u66f4\u65b0\u5f8c\u306e\u5019\u88dc\u96c6\u5408 \\(\\widetilde D\\) \u3092\u5b9a\u7fa9\u3059\u308b\u3002<\/p>\n<p>\\[\\boxed{\\widetilde D_i=D_i(t)\\cap E_i(S_t,u)\\qquad(\\forall i)}\\]<\/p>\n<p>\u3053\u3053\u3067\u306e\u66f4\u65b0\u306f\u99d2\u306e\u521d\u671f\u9663\u55b6\u3092\u307e\u305f\u3050\u3053\u3068\u304c\u3042\u308b\u3002\u79fb\u52d5\u3059\u308b\u99d2 \\(i\\) \u306e\u6761\u4ef6\u306f\u3001\u305d\u306e\u99d2\u306e\u521d\u671f\u6240\u5c5e \\(\\sigma(i)\\) \u306b\u5bfe\u5fdc\u3059\u308b \\(\\Phi_{\\sigma(i)}\\) \u3067\u8a55\u4fa1\u3057\u3001\u6355\u7372\u5bfe\u8c61 \\(j\\) \u306e\u6761\u4ef6\u306f \\(\\Phi_{\\sigma(j)}\\) \u3067\u8a55\u4fa1\u3059\u308b\u3002\u4f8b\u3048\u3070\u5148\u624b\u304c\u5f8c\u624b\u304b\u3089\u53d6\u3063\u305f\u99d2\u3092\u76e4\u4e0a\u3078\u6253\u3064\u5834\u5408\u3082\u3001\u305d\u306e\u99d2\u306e\u5019\u88dc\u66f4\u65b0\u306f\u5f8c\u624b\u306e\u521d\u671f\u9663\u55b6\u306b\u5c5e\u3059\u308b 20 \u679a\u306e\u5236\u7d04\u306b\u53cd\u6620\u3055\u308c\u308b\u3002\u6240\u6709\u8005\u3060\u3051\u3092\u898b\u3066\u5019\u88dc\u3092\u307e\u3068\u3081\u308b\u3068\u3001\u4e8c\u3064\u306e\u521d\u671f\u9663\u55b6\u306e\u5bb9\u91cf\u5236\u7d04\u304c\u6df7\u3056\u3063\u3066\u3057\u307e\u3046\u3002<\/p>\n<p>\u5177\u4f53\u4f8b\u3068\u3057\u3066\u3001\u5148\u624b\u304c\u5148\u624b\u7531\u6765\u306e\u99d2 \\(i\\) \u3092\u524d\u65b9\u3078 2 \u30de\u30b9\u52d5\u304b\u3057\u3001\u305d\u306e\u79fb\u52d5\u5148\u306b\u3042\u308b\u5f8c\u624b\u7531\u6765\u306e\u99d2 \\(j\\) \u3092\u53d6\u308b\u5834\u5408\u3092\u8003\u3048\u308b\u3002\u6210\u308a\u3092\u9078\u3070\u306a\u3044\u306a\u3089\u3001\u79fb\u52d5\u3059\u308b\u99d2\u3078 \\(\\{\u98db,\u9999\\}\\) \u3068\u3044\u3046\u6761\u4ef6\u304c\u52a0\u308f\u308a\u3001\u53d6\u3089\u308c\u305f\u99d2\u3078 \\(K\\setminus\\{\u738b\\}\\) \u3068\u3044\u3046\u6761\u4ef6\u304c\u52a0\u308f\u308b\u3002\u66f4\u65b0\u5f8c\u306b\u306f\u5148\u624b\u7531\u6765\u306e 20 \u679a\u306b\u3064\u3044\u3066 \\(\\Phi_{\u5148}(\\widetilde D)\\) \u3092\u3001\u5f8c\u624b\u7531\u6765\u306e 20 \u679a\u306b\u3064\u3044\u3066 \\(\\Phi_{\u5f8c}(\\widetilde D)\\) \u3092\u305d\u308c\u305e\u308c\u8a08\u7b97\u3059\u308b\u3002<\/p>\n<p>\u79fb\u52d5\u7d4c\u8def\u304c\u7a7a\u3044\u3066\u3044\u3066\u3082\u3001\u5148\u624b\u5074\u3067\u98db\u8eca\u3068\u9999\u8eca\u306e\u67a0\u304c\u3059\u3067\u306b\u4f7f\u3044\u5207\u3089\u308c\u3066\u3044\u308c\u3070\u3001\u305d\u306e\u6307\u3057\u624b\u306f\u6210\u7acb\u3057\u306a\u3044\u3002\u540c\u6642\u306b\u3001\u5f8c\u624b\u7531\u6765\u306e\u99d2 \\(j\\) \u304c\u738b\u306e\u5019\u88dc\u3057\u304b\u6301\u305f\u306a\u3051\u308c\u3070\u3001\u6355\u7372\u306f\u7d42\u5c40\u306e\u6761\u4ef6\u3068\u3057\u3066\u8a55\u4fa1\u3055\u308c\u308b\u3002\u53cd\u5bfe\u306b\u3001\\(j\\) \u306b\u738b\u4ee5\u5916\u306e\u7a2e\u985e\u304c\u6b8b\u308b\u306a\u3089\u3001\u5f8c\u624b\u5074\u306e\u5019\u88dc\u304b\u3089\u738b\u3092\u9664\u3044\u305f\u5f8c\u3067\u3082\u5b8c\u5168\u5272\u5f53\u304c\u6210\u7acb\u3059\u308b\u304b\u3092\u78ba\u8a8d\u3059\u308b\u3002\u5c40\u6240\u6761\u4ef6\u3092\u4e8c\u3064\u306e\u521d\u671f\u9663\u55b6\u306b\u9069\u7528\u3059\u308b\u3068\u3044\u3046\u8a08\u7b97\u306f\u540c\u3058\u3067\u3082\u3001\u738b\u306b\u78ba\u5b9a\u3057\u305f\u99d2\u306e\u6355\u7372\u3060\u3051\u306f\u7d50\u679c\u304c\u7d42\u5c40\u306b\u306a\u308b\u3002<\/p>\n<p>\u64cd\u4f5c\u3092\u69cb\u6210\u3059\u308b\u5404\u5224\u5b9a\u306e\u9806\u5e8f\u306b\u3082\u610f\u5473\u304c\u3042\u308b\u3002\u624b\u756a\u3084\u76e4\u9762\u306e\u57fa\u672c\u7684\u306a\u7981\u6b62\u6761\u4ef6\u3092\u6e80\u305f\u3057\u305f\u3046\u3048\u3067\u3001\u6307\u3057\u624b\u306b\u3088\u308b\u5019\u88dc\u96c6\u5408\u3092\u66f4\u65b0\u3057\u3001\u738b\u306b\u78ba\u5b9a\u3057\u305f\u99d2\u3092\u53d6\u3063\u305f\u304b\u3069\u3046\u304b\u306b\u3088\u308a\u7d42\u5c40\u3068\u901a\u5e38\u9077\u79fb\u3092\u5206\u3051\u308b\u3002\u901a\u5e38\u9077\u79fb\u306a\u3089\u4e21\u521d\u671f\u9663\u55b6\u306e\u53ef\u80fd\u4e16\u754c\u304c\u975e\u7a7a\u3067\u3042\u308b\u3053\u3068\u3092\u8981\u6c42\u3059\u308b\u3002\u738b\u306e\u6355\u7372\u306a\u3089\u3001\u6355\u7372\u5bfe\u8c61\u306b\u3064\u3044\u3066\u738b\u306e\u5019\u88dc\u3092\u9664\u5916\u3057\u305f\u72b6\u614b\u3092\u4f5c\u3089\u305a\u3001\u79fb\u52d5\u5074\u306e\u6210\u7acb\u6027\u3092\u78ba\u8a8d\u3057\u3066\u52dd\u5229\u3092\u8fd4\u3059\u3002\u3053\u308c\u3089\u306e\u6761\u4ef6\u3092\u7d44\u307f\u5408\u308f\u305b\u308b\u3053\u3068\u3067\u3001\\(S_{t+1}=F(S_t,u_t)\\) \u3092\u3001\u5408\u6cd5\u6027\u3068\u7d42\u5c40\u3092\u533a\u5225\u3059\u308b\u72b6\u614b\u9077\u79fb\u306e\u6570\u7406\u7684\u306a\u67a0\u7d44\u307f\u3068\u3057\u3066\u5177\u4f53\u5316\u3067\u304d\u308b\u3002<\/p>\n<h3>6.3 \u5408\u6cd5\u624b\u30fb\u7d42\u5c40\u30fb\u6b21\u72b6\u614b\u306e\u5206\u5c90<\/h3>\n<p>\u901a\u5e38\u306e\u6307\u3057\u624b\u304c\u6210\u7acb\u3059\u308b\u6761\u4ef6\u306f\u3001\u76e4\u9762\u4e0a\u306e\u64cd\u4f5c\u304c\u8a31\u3055\u308c\u308b\u3053\u3068\u3068\u3001\u66f4\u65b0\u5f8c\u3082\u5148\u624b\u7531\u6765\u30fb\u5f8c\u624b\u7531\u6765\u306e\u53cc\u65b9\u306b\u3064\u3044\u3066\u5b8c\u5168\u306a\u99d2\u7a2e\u5272\u5f53\u304c\u5b58\u5728\u3059\u308b\u3053\u3068\u3067\u3042\u308b\u3002\u73fe\u884c\u30eb\u30fc\u30eb\u306e\u78ba\u5b9a\u4e8c\u6b69\u7981\u3082 \\(G(S,u)\\) \u306e\u4e00\u90e8\u3068\u3057\u3066\u5224\u5b9a\u3059\u308b\u3002\u66f4\u65b0\u5f8c\u306e\u5fc5\u8981\u6761\u4ef6\u3092\u307e\u3068\u3081\u308b\u3068\u3001<\/p>\n<p>\\[\\boxed{\\operatorname{Legal}_{\u901a\u5e38}(S,u)\\ \\Longleftrightarrow\\ G(S,u)\\ \\land\\ \\bigwedge_{s\\in\\{\u5148,\u5f8c\\}}\\Phi_s(\\widetilde D)\\neq\\varnothing}\\]<\/p>\n<p>\u3068\u306a\u308b\u3002\u305f\u3060\u3057\u3001\u738b\u306b\u78ba\u5b9a\u3057\u3066\u3044\u308b\u99d2\u3092\u53d6\u308b\u64cd\u4f5c\u306f\u7d42\u5c40\u306e\u5206\u5c90\u3067\u51e6\u7406\u3059\u308b\u3002\u6355\u7372\u5bfe\u8c61\u3092 \\(j\\)\u3001\u6307\u3057\u3066\u3044\u308b\u5074\u3092 \\(\\tau\\) \u3068\u3059\u308b\u3068\u3001\u6307\u3057\u624b\u524d\u306e\u6b63\u78ba\u306a\u5019\u88dc\u304c \\(P_j(D_t)=\\{\u738b\\}\\) \u3067\u3042\u308c\u3070\u3001\u305d\u306e\u99d2\u3092\u53d6\u3063\u305f\u5074\u304c\u52dd\u5229\u3059\u308b\u3002\u3053\u306e\u5834\u5408\u3001\u53d6\u3089\u308c\u305f\u99d2\u304b\u3089\u738b\u306e\u53ef\u80fd\u6027\u3092\u9664\u5916\u3059\u308b\u3068\u77db\u76fe\u306b\u306a\u308b\u305f\u3081\u3001\u7d42\u5c40\u5224\u5b9a\u3067\u306f\u305d\u306e\u9664\u5916\u6761\u4ef6\u3060\u3051\u3092\u9069\u7528\u3057\u306a\u3044\u3002\u4e00\u65b9\u3001\u6355\u7372\u3059\u308b\u5074\u306e\u99d2\u306b\u3064\u3044\u3066\u306f\u3001\u79fb\u52d5\u80fd\u529b\u3084\u6210\u308a\u306e\u6761\u4ef6\u3068\u77db\u76fe\u3057\u306a\u3044\u3053\u3068\u3092\u78ba\u8a8d\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002<\/p>\n<p>\u305d\u3053\u3067\u3001\\(\\widehat D\\) \u3092\u4eca\u56de\u306e\u79fb\u52d5\u3068\u6210\u308a\u306b\u3088\u308b\u6761\u4ef6\u3092\u9069\u7528\u3057\u305f\u5019\u88dc\u96c6\u5408\u3068\u3057\u3001\u6355\u7372\u5bfe\u8c61\u304b\u3089\u738b\u3092\u9664\u304f\u51e6\u7406\u3060\u3051\u3092\u4fdd\u7559\u3057\u305f\u3082\u306e\u3068\u3059\u308b\u3002\u738b\u306e\u78ba\u5b9a\u3057\u305f\u99d2\u3092\u5408\u6cd5\u306b\u6355\u7372\u3067\u304d\u308b\u6761\u4ef6\u306f\u3001\u76e4\u9762\u6761\u4ef6 \\(G(S,u)\\)\u3001\\(P_j(D)=\\{\u738b\\}\\)\u3001\u304a\u3088\u3073 \\(\\Phi_s(\\widehat D)\\neq\\varnothing\\) \u304c\u4e21\u521d\u671f\u9663\u55b6\u3067\u6210\u7acb\u3059\u308b\u3053\u3068\u3067\u3042\u308b\u3002\u76f8\u624b\u306e\u99d2\u304c\u738b\u306b\u78ba\u5b9a\u3057\u3066\u3044\u3066\u3082\u3001\u81ea\u5206\u306e\u99d2\u304c\u305d\u306e\u4f4d\u7f6e\u3078\u5408\u6cd5\u306b\u79fb\u52d5\u3067\u304d\u306a\u3051\u308c\u3070\u52dd\u5229\u3068\u306f\u306a\u3089\u306a\u3044\u3002<\/p>\n<p>\u738b\u6355\u7372\u306e\u5408\u6cd5\u6027\u306f\u3001\u6b21\u306e\u6761\u4ef6\u3067\u5b9a\u7fa9\u3059\u308b\u3002<\/p>\n<p>\\[\\boxed{\\operatorname{Legal}_{\u738b\u53d6}(S,u)\\ \\Longleftrightarrow\\ G(S,u)\\land\\operatorname{Capture}(u,j)\\land P_j(D)=\\{\u738b\\}\\land\\bigwedge_{s\\in\\{\u5148,\u5f8c\\}}\\Phi_s(\\widehat D)\\neq\\varnothing}\\]<\/p>\n<p>\u516c\u5f0f\u30eb\u30fc\u30eb\u306e\u500b\u5225\u6761\u4ef6\u3092 \\(G\\) \u3068 \\(E_i\\) \u306b\u96c6\u7d04\u3059\u308b\u3068\u3001\u72b6\u614b\u9077\u79fb \\(F\\) \u306e\u6570\u7406\u7684\u306a\u9aa8\u683c\u306f\u6b21\u306e\u5834\u5408\u5206\u3051\u3067\u5b9a\u7fa9\u3067\u304d\u308b\u3002\\(\\operatorname{Apply}\\) \u306f\u76e4\u4e0a\u306e\u99d2\u306e\u79fb\u52d5\u3001\u6301\u3061\u99d2\u3078\u306e\u79fb\u52d5\u3001\u6210\u308a\u72b6\u614b\u3001\u6240\u6709\u8005\u3001\u624b\u756a\u306e\u66f4\u65b0\u3092\u307e\u3068\u3081\u305f\u95a2\u6570\u3067\u3042\u308b\u3002<\/p>\n<p>\\[\\boxed{F(S,u)=\\begin{cases}\\operatorname{Win}(\\tau), &amp; \\operatorname{Legal}_{\u738b\u53d6}(S,u)\\\\\\operatorname{Apply}(S,u,\\widetilde D), &amp; \\operatorname{Legal}_{\u901a\u5e38}(S,u)\\\\\\bot, &amp; \\text{\u305d\u308c\u4ee5\u5916}\\end{cases}}\\]<\/p>\n<p>\u3053\u3053\u3067 \\(\\operatorname{Legal}_{\u738b\u53d6}\\) \u306f\u76f4\u524d\u306b\u5b9a\u7fa9\u3057\u305f\u738b\u6355\u7372\u306e\u6761\u4ef6\u3092\u8868\u3057\u3001\\(\\bot\\) \u306f\u6307\u3057\u624b\u304c\u6210\u7acb\u3057\u306a\u3044\u3053\u3068\u3092\u8868\u3059\u3002\u6700\u521d\u306e\u5206\u5c90\u3067\u306f\u6355\u7372\u3057\u305f\u5074\u306e\u52dd\u5229\u304c\u78ba\u5b9a\u3057\u3001\u901a\u5e38\u306e\u53ce\u675f\u5224\u5b9a\u306b\u306f\u9032\u307e\u306a\u3044\u3002\u4e8c\u756a\u76ee\u306e\u5206\u5c90\u3067\u306f\u76e4\u9762\u3068\u6301\u3061\u99d2\u3092\u66f4\u65b0\u3057\u3001\u624b\u756a\u3092\u4ea4\u4ee3\u3057\u305f\u6b21\u72b6\u614b\u304c\u5f97\u3089\u308c\u308b\u3002\u7b2c\u4e09\u306e\u5206\u5c90\u3067\u306f\u3001\u79fb\u52d5\u7d4c\u8def\u306e\u9055\u53cd\u3001\u6210\u308a\u306e\u6761\u4ef6\u9055\u53cd\u3001\u5019\u88dc\u306e\u77db\u76fe\u306a\u3069\u3092\u7406\u7531\u306b\u6307\u3057\u624b\u3092\u53d7\u7406\u3057\u306a\u3044\u3002\u3053\u3053\u3067 \\(G\\) \u3068 \\(E_i\\) \u306f\u516c\u5f0f\u306e\u500b\u5225\u898f\u5247\u3092\u96c6\u7d04\u3057\u305f\u95a2\u6570\u3067\u3042\u308a\u3001\u4e0a\u306e\u5f0f\u306f\u305d\u308c\u3089\u3092\u7d44\u307f\u5408\u308f\u305b\u308b\u72b6\u614b\u9077\u79fb\u306e\u6570\u7406\u7684\u306a\u9aa8\u683c\u3092\u4e0e\u3048\u308b\u3002<\/p>\n<p>\u72b6\u614b\u9077\u79fb\u3092\u6570\u5b66\u7684\u306b\u5b9a\u7fa9\u3059\u308b\u3068\u3001\u901a\u5e38\u9077\u79fb\u3092\u53d7\u7406\u3059\u308b\u305f\u3081\u306e\u8ad6\u7406\u5f0f\u3068\u3001\u7d42\u5c40\u306e\u305f\u3081\u306e\u8ad6\u7406\u5f0f\u304c\u5206\u96e2\u3055\u308c\u308b\u3002\\(\\operatorname{Legal}_{\u901a\u5e38}\\) \u306f\u3001\u79fb\u52d5\u30fb\u6355\u7372\u5f8c\u306e\u5c40\u6240\u6761\u4ef6\u3092\u3059\u3079\u3066\u53cd\u6620\u3057\u305f \\(\\widetilde D\\) \u306b\u3064\u3044\u3066\u3001\u4e21\u521d\u671f\u9663\u55b6\u306e\u53ef\u80fd\u4e16\u754c\u304c\u975e\u7a7a\u3067\u3042\u308b\u3053\u3068\u3092\u8981\u6c42\u3059\u308b\u3002\u3053\u308c\u306b\u5bfe\u3057\u3066 \\(\\operatorname{Legal}_{\u738b\u53d6}\\) \u306f\u3001\u6355\u7372\u5bfe\u8c61\u306e\u738b\u78ba\u5b9a\u3092\u6307\u3057\u624b\u524d\u306e\u6b63\u78ba\u306a\u5019\u88dc\u3067\u5224\u5b9a\u3057\u3001\u738b\u3092\u9664\u5916\u3059\u308b\u524d\u306e \\(\\widehat D\\) \u306b\u3064\u3044\u3066\u79fb\u52d5\u5074\u306e\u6210\u7acb\u6027\u3092\u78ba\u8a8d\u3059\u308b\u3002<\/p>\n<p>\u4f8b\u3048\u3070\u3001\u5f8c\u624b\u7531\u6765\u306e\u99d2 \\(j\\) \u304c\u738b\u306b\u78ba\u5b9a\u3057\u3066\u3044\u305f\u5834\u5408\u3001\u901a\u5e38\u6355\u7372\u3068\u540c\u3058\u3088\u3046\u306b \\(K\\setminus\\{\u738b\\}\\) \u3092 \\(D_j\\) \u3078\u9069\u7528\u3059\u308b\u3068\u3001\u5019\u88dc\u304c\u7a7a\u306b\u306a\u308b\u3002\u3053\u308c\u306f\u901a\u5e38\u9077\u79fb\u3068\u3057\u3066\u306f\u77db\u76fe\u3060\u304c\u3001\u91cf\u5b50\u5c06\u68cb\u306e\u52dd\u5229\u6761\u4ef6\u306b\u8a72\u5f53\u3059\u308b\u5c40\u9762\u3067\u3042\u308b\u3002\u305d\u306e\u305f\u3081\u3001\u7d42\u5c40\u5206\u5c90\u3067\u306f \\(j\\) \u3078\u306e\u738b\u9664\u5916\u3092\u4fdd\u7559\u3059\u308b\u3002\u53cd\u5bfe\u306b\u3001\u79fb\u52d5\u3057\u305f\u81ea\u5206\u306e\u99d2\u306e\u5019\u88dc\u304c\u7a7a\u306b\u306a\u308b\u3088\u3046\u306a\u624b\u306f\u3001\u76f8\u624b\u306e\u738b\u3092\u53d6\u308b\u5f62\u306b\u898b\u3048\u3066\u3082\u5408\u6cd5\u306a\u79fb\u52d5\u3068\u3057\u3066\u53d7\u7406\u3067\u304d\u306a\u3044\u3002\u52dd\u5229\u6761\u4ef6\u306e\u5224\u5b9a\u3068\u3001\u81ea\u5206\u306e\u79fb\u52d5\u80fd\u529b\u306e\u5224\u5b9a\u3092\u4e21\u7acb\u3055\u305b\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002<\/p>\n<h3>6.4 \u66f4\u65b0\u306b\u4f34\u3046\u6570\u5b66\u7684\u6027\u8cea\u3068\u9069\u7528\u7bc4\u56f2<\/h3>\n<p>\u901a\u5e38\u306e\u6307\u3057\u624b\u3067\u8ffd\u52a0\u3055\u308c\u308b\u99d2\u7a2e\u6761\u4ef6\u306f\u5019\u88dc\u96c6\u5408\u3068\u306e\u5171\u901a\u90e8\u5206\u3068\u3057\u3066\u5b9a\u7fa9\u3055\u308c\u308b\u3002\u305d\u306e\u305f\u3081\u3001\u521d\u671f\u9663\u55b6 \\(s\\) \u306e\u5272\u5f53\u96c6\u5408\u306b\u3064\u3044\u3066 \\(\\Phi_s(D_{t+1})\\subseteq\\Phi_s(D_t)\\) \u304c\u6210\u7acb\u3059\u308b\u3002\u53d6\u3063\u305f\u99d2\u3092\u5225\u306e\u5074\u304c\u64cd\u4f5c\u3057\u3066\u3082\u3001\u521d\u671f\u6240\u5c5e\u304c\u56fa\u5b9a\u3055\u308c\u3066\u3044\u308b\u9650\u308a\u3001\u3053\u306e\u5305\u542b\u95a2\u4fc2\u306f\u7dad\u6301\u3055\u308c\u308b\u3002\u4e00\u65b9\u3001\u76e4\u9762\u914d\u7f6e \\(B_t\\)\u3001\u6301\u3061\u99d2 \\(H_t\\)\u3001\u624b\u756a \\(\\tau_t\\) \u306f\u79fb\u52d5\u3084\u6355\u7372\u306b\u3088\u3063\u3066\u5909\u5316\u3057\u3001\u5358\u8abf\u6e1b\u5c11\u3059\u308b\u5bfe\u8c61\u3067\u306f\u306a\u3044\u3002<\/p>\n<p>\u3053\u306e\u30e2\u30c7\u30eb\u304c\u76f4\u63a5\u8868\u3057\u3066\u3044\u308b\u672a\u78ba\u5b9a\u6027\u306f\u99d2\u306e\u57fa\u672c\u7a2e\u985e\u306b\u95a2\u3059\u308b\u3082\u306e\u3067\u3042\u308b\u3002\u79fb\u52d5\u7d4c\u8def\u3084\u99d2\u306e\u4f4d\u7f6e\u3068\u3044\u3063\u305f\u76e4\u9762\u306e\u898f\u5247\u306f \\(G\\) \u306b\u3001\u7a2e\u985e\u306b\u5fdc\u3058\u305f\u52d5\u304d\u3084\u6210\u308a\u30fb\u6355\u7372\u306b\u3088\u308b\u5019\u88dc\u306e\u5236\u7d04\u306f \\(E_i\\) \u306b\u7f6e\u304b\u308c\u308b\u3002\u5b9f\u969b\u306e\u5bfe\u5c40\u3067\u306f\u738b\u624b\u653e\u7f6e\u3092\u8a31\u3057\u3001\u4e8c\u6b69\u306f\u78ba\u5b9a\u4e8c\u6b69\u7981\u306e\u7bc4\u56f2\u3067\u5224\u5b9a\u3059\u308b\u305f\u3081\u3001\u4e21\u9663\u55b6\u306e\u99d2\u7a2e\u5272\u5f53\u305d\u306e\u3082\u306e\u306f\u521d\u671f\u6240\u5c5e\u3054\u3068\u306e\u4e8c\u3064\u306e\u5236\u7d04\u7cfb\u306b\u5206\u3051\u3066\u8a08\u7b97\u3067\u304d\u308b\u3002\u305f\u3060\u3057\u3001\u6355\u7372\u306e\u53ef\u5426\u3084\u79fb\u52d5\u7d4c\u8def\u306f\u76e4\u9762\u3092\u4ecb\u3057\u3066\u4e21\u8005\u306e\u64cd\u4f5c\u306b\u95a2\u4fc2\u3059\u308b\u3002\u99d2\u7a2e\u306e\u5272\u5f53\u554f\u984c\u3068\u3001\u5bfe\u5c40\u306e\u3059\u3079\u3066\u306e\u5408\u6cd5\u624b\u3092\u8868\u3059\u554f\u984c\u306f\u3001\u540c\u4e00\u3067\u306f\u306a\u3044\u3002<\/p>\n<p>\u72b6\u614b\u306e\u6210\u5206\u3054\u3068\u306b\u3001\u3069\u306e\u6027\u8cea\u304c\u4fdd\u5b58\u3055\u308c\u308b\u304b\u306f\u7570\u306a\u308b\u3002\u521d\u671f\u6240\u5c5e \\(\\sigma\\) \u3068\u5404\u99d2\u7a2e\u306e\u5fc5\u8981\u679a\u6570 \\(c_k\\) \u306f\u5bfe\u5c40\u3092\u901a\u3058\u3066\u4e0d\u5909\u3067\u3042\u308b\u3002\u5c40\u6240\u5019\u88dc \\(D_i\\) \u3068\u3001\u305d\u3053\u304b\u3089\u5f97\u3089\u308c\u308b\u6b63\u78ba\u306a\u5019\u88dc \\(P_i\\) \u306f\u3001\u8ffd\u52a0\u3055\u308c\u305f\u6761\u4ef6\u306b\u3088\u3063\u3066\u7e2e\u5c0f\u3059\u308b\u3002\u4e00\u65b9\u3001\u76e4\u9762 \\(B_t\\) \u3068\u6301\u3061\u99d2 \\(H_t\\) \u306f\u3001\u53d6\u308b\u3001\u6253\u3064\u3001\u52d5\u304b\u3059\u3068\u3044\u3046\u64cd\u4f5c\u306b\u3088\u3063\u3066\u5185\u5bb9\u304c\u5897\u6e1b\u3059\u308b\u3002\u5019\u88dc\u96c6\u5408\u306e\u5358\u8abf\u6027\u3092\u76e4\u9762\u4e0a\u306e\u5229\u304d\u3084\u624b\u756a\u306b\u307e\u3067\u5e83\u3052\u3066\u7406\u89e3\u3059\u308b\u3053\u3068\u306f\u9069\u5207\u3067\u306f\u306a\u3044\u3002<\/p>\n<p>\u3053\u306e\u533a\u5225\u306f\u3001\u30b2\u30fc\u30e0\u306e\u300c\u53ce\u675f\u300d\u3068\u3044\u3046\u8a9e\u306e\u7bc4\u56f2\u3092\u660e\u78ba\u306b\u3059\u308b\u3002\u57fa\u672c\u7a2e\u985e\u306e\u5019\u88dc\u306f\u4e00\u5ea6\u524a\u9664\u3055\u308c\u308b\u3068\u5fa9\u6d3b\u3057\u306a\u3044\u304c\u3001\u6210\u3063\u305f\u99d2\u304c\u53d6\u3089\u308c\u308c\u3070\u6253\u3061\u76f4\u3057\u306b\u3088\u308a\u79fb\u52d5\u80fd\u529b\u306f\u5909\u5316\u3059\u308b\u3002\u76e4\u4e0a\u3067\u53ef\u80fd\u306a\u79fb\u52d5\u306f\u5c40\u9762\u306b\u3088\u3063\u3066\u5897\u6e1b\u3057\u3066\u3082\u3001\u57fa\u672c\u7a2e\u985e\u306b\u95a2\u3059\u308b\u53ef\u80fd\u4e16\u754c\u306e\u66f4\u65b0\u306f\u5305\u542b\u95a2\u4fc2\u306b\u5f93\u3046\u3002\u3053\u308c\u3089\u4e8c\u3064\u306e\u5909\u5316\u3092\u5225\u306e\u72b6\u614b\u6210\u5206\u3068\u3057\u3066\u6301\u3064\u3053\u3068\u3067\u3001\u5b9f\u88c5\u306e\u6319\u52d5\u3068\u6570\u7406\u30e2\u30c7\u30eb\u306e\u6027\u8cea\u3092\u53d6\u308a\u9055\u3048\u305a\u306b\u6e08\u3080\u3002<\/p>\n<hr>\n<h2>7. \u672a\u78ba\u5b9a\u306a\u99d2\u7a2e\u3068\u78ba\u5b9a\u3057\u305f\u5236\u7d04\u304b\u3089\u4f55\u304c\u5c0e\u3051\u308b\u304b<\/h2>\n<p>\u91cf\u5b50\u5c06\u68cb\u306e\u6570\u7406\u30e2\u30c7\u30eb\u3067\u306f\u3001\u6307\u3057\u624b\u304c\u5c40\u6240\u5019\u88dc \\(D_i\\) \u3092\u7d5e\u308a\u3001\u305d\u306e\u6761\u4ef6\u304c\u521d\u671f\u9663\u55b6 20 \u679a\u306e\u5272\u5f53\u96c6\u5408 \\(\\Phi(D)\\) \u3092\u7e2e\u5c0f\u3055\u305b\u308b\u3002\u6b63\u78ba\u306a\u5019\u88dc \\(P_i(D)\\) \u306f\u3001\u305d\u306e\u5272\u5f53\u96c6\u5408\u306e\u5c04\u5f71\u3067\u3042\u308b\u3002\u3053\u308c\u306b\u3088\u308a\u3001\u76e4\u9762\u4e0a\u3067\u76f4\u63a5\u52d5\u304b\u3057\u3066\u3044\u306a\u3044\u99d2\u306e\u53ef\u80fd\u6027\u304c\u6e1b\u308b\u7406\u7531\u3092\u3001\u5171\u6709\u3055\u308c\u305f\u679a\u6570\u5236\u7d04\u304b\u3089\u8aac\u660e\u3067\u304d\u308b\u3002<\/p>\n<p>\u6570\u5b66\u7684\u306b\u5f97\u3089\u308c\u305f\u7d50\u679c\u306f\u4e09\u3064\u3042\u308b\u3002\u7b2c\u4e00\u306b\u3001\u6307\u3057\u624b\u306b\u3088\u3063\u3066\u8ffd\u52a0\u3055\u308c\u305f\u99d2\u7a2e\u306e\u6761\u4ef6\u306f\u3001\u53ef\u80fd\u4e16\u754c\u3068\u6b63\u78ba\u306a\u5019\u88dc\u3092\u5358\u8abf\u306b\u7e2e\u5c0f\u3055\u305b\u308b\u3002\u7b2c\u4e8c\u306b\u3001Hall \u306e\u6761\u4ef6\u306f\u99d2\u7a2e\u306e\u5272\u5f53\u304c\u5b58\u5728\u3059\u308b\u305f\u3081\u306e\u5fc5\u8981\u5341\u5206\u6761\u4ef6\u3067\u3042\u308a\u3001\u5bb9\u91cf\u3092\u4f7f\u3044\u5207\u308b\u96c6\u5408\u304c\u5019\u88dc\u524a\u9664\u306e\u6839\u62e0\u306b\u306a\u308b\u3002\u7b2c\u4e09\u306b\u3001\u5168\u7a2e\u985e\u96c6\u5408\u306b\u3064\u3044\u3066\u4f7f\u3044\u5207\u308a\u3092\u691c\u67fb\u3059\u308c\u3070\u3001\u5b9f\u73fe\u4e0d\u53ef\u80fd\u306a\u5019\u88dc\u3092\u3059\u3079\u3066\u53d6\u308a\u9664\u3051\u308b\u3002\u305d\u306e\u305f\u3081\u3001\u7d04 4,190 \u5104\u901a\u308a\u306e\u521d\u671f\u5272\u5f53\u3092\u5217\u6319\u305b\u305a\u30018 \u7a2e\u985e\u306e\u5019\u88dc\u3068\u5bb9\u91cf\u306e\u95a2\u4fc2\u3092\u8a08\u7b97\u3059\u308c\u3070\u3088\u3044\u3002<\/p>\n<p>\u3053\u308c\u3089\u306e\u6027\u8cea\u306f\u3001\u672a\u78ba\u5b9a\u306a\u5024\u3092\u78ba\u7387\u7684\u306b\u9078\u3076\u51e6\u7406\u3092\u5fc5\u8981\u3068\u3057\u306a\u3044\u3002\\(\\Phi(D)\\) \u306f\u6210\u7acb\u3059\u308b\u5272\u5f53\u306e\u96c6\u5408\u3067\u3042\u308a\u3001\u500b\u3005\u306e\u5272\u5f53\u306b\u78ba\u7387\u3092\u4ed8\u4e0e\u3057\u305f\u3082\u306e\u3067\u306f\u306a\u3044\u3002\u73fe\u884c\u30eb\u30fc\u30eb\u3067\u884c\u308f\u308c\u308b\u306e\u306f\u3001\u65b0\u3057\u3044\u6761\u4ef6\u3092\u6e80\u305f\u3059\u5272\u5f53\u3060\u3051\u3092\u6b8b\u3059\u6c7a\u5b9a\u8ad6\u7684\u306a\u66f4\u65b0\u3067\u3042\u308b\u3002\u521d\u671f\u6240\u5c5e\u306e\u679a\u6570\u306f\u56fa\u5b9a\u3055\u308c\u3001\u99d2\u306e\u6b63\u4f53\u3060\u3051\u304c\u672a\u78ba\u5b9a\u3068\u3044\u3046\u975e\u5bfe\u79f0\u6027\u304c\u3001\u9023\u9396\u7684\u306a\u53ce\u675f\u3092\u751f\u3080\u3002<\/p>\n<p>\u540c\u3058\u69cb\u9020\u306f\u3001\u62c5\u5f53\u53ef\u80fd\u306a\u4ed5\u4e8b\u304c\u4eba\u3054\u3068\u306b\u7570\u306a\u308a\u3001\u4ed5\u4e8b\u3054\u3068\u306e\u5fc5\u8981\u4eba\u6570\u304c\u56fa\u5b9a\u3055\u308c\u305f\u914d\u7f6e\u554f\u984c\u306b\u3082\u73fe\u308c\u308b\u3002\u5019\u88dc\u96c6\u5408\u304c\u4e00\u3064\u306b\u78ba\u5b9a\u3059\u308b\u524d\u306b\u3001\u62c5\u5f53\u8005\u306e\u96c6\u56e3\u304c\u7279\u5b9a\u306e\u4ed5\u4e8b\u306e\u67a0\u3092\u4f7f\u3044\u5207\u308b\u5834\u5408\u304c\u3042\u308b\u3002\u65e2\u7a3f\u300c\u672a\u6574\u7406\u306e\u6761\u4ef6\u3092\u3001\u5224\u65ad\u3067\u304d\u308b\u5f62\u306b\u5909\u3048\u308b\u300d\u306f\u3001\u6761\u4ef6\u3092\u5224\u65ad\u53ef\u80fd\u306a\u5f62\u5f0f\u3078\u843d\u3068\u3057\u8fbc\u3080\u3068\u3044\u3046\u89b3\u70b9\u3067\u3001\u3053\u306e\u6570\u7406\u5316\u3068\u63a5\u7d9a\u3059\u308b<a href=\"#ref7\">[7]<\/a>\u3002\u307e\u305f\u3001\u65e2\u7a3f\u300c\u77e5\u80fd\u3092\u6210\u7acb\u3055\u305b\u308b\u60c5\u5831\u306e\u7f6e\u304d\u5834\u6240\u3092\u8a2d\u8a08\u3059\u308b\u300d\u3067\u6271\u3063\u305f\u3001\u4e0e\u3048\u3089\u308c\u305f\u69cb\u9020\u304c\u53d6\u308a\u5f97\u308b\u89e3\u3092\u5236\u9650\u3059\u308b\u3068\u3044\u3046\u8ad6\u70b9\u306b\u3082\u95a2\u4fc2\u3059\u308b<a href=\"#ref8\">[8]<\/a>\u3002\u305f\u3060\u3057\u3001\u91cf\u5b50\u5c06\u68cb\u3067\u793a\u3057\u305f\u5bb9\u91cf\u4ed8\u304d\u5272\u5f53\u306e\u5b9a\u7406\u3092\u76f4\u63a5\u9069\u7528\u3067\u304d\u308b\u306e\u306f\u3001\u5404\u5bfe\u8c61\u306b\u4e00\u3064\u306e\u5024\u3092\u5272\u308a\u5f53\u3066\u3001\u5024\u3054\u3068\u306e\u5bb9\u91cf\u3092\u5171\u6709\u3059\u308b\u69cb\u9020\u3067\u3042\u308b\u3002<\/p>\n<p>\u91cf\u5b50\u5c06\u68cb\u3092\u7279\u5fb4\u4ed8\u3051\u308b\u306e\u306f\u3001\u99d2\u306e\u57fa\u672c\u7a2e\u985e\u304c\u672a\u78ba\u5b9a\u3067\u3082\u3001\u521d\u671f\u9663\u55b6\u306e\u679a\u6570\u914d\u5206\u304c\u78ba\u5b9a\u3057\u3066\u3044\u308b\u3053\u3068\u3067\u3042\u308b\u3002\u98db\u8eca\u3068\u9999\u8eca\u306b\u3057\u304b\u306a\u308c\u306a\u3044 3 \u679a\u304c\u3001\u98db\u8eca 1 \u679a\u3068\u9999\u8eca 2 \u679a\u306e\u5168\u5bb9\u91cf\u3092\u5360\u3081\u305f\u77ac\u9593\u3001\u307b\u304b\u306e 17 \u679a\u306f\u305d\u306e\u3069\u3061\u3089\u306b\u3082\u306a\u308c\u306a\u304f\u306a\u308b\u3002\u3053\u308c\u306f\u5358\u306a\u308b\u4f8b\u793a\u3067\u306f\u306a\u304f\u3001Hall \u306e\u5b9a\u7406\u304b\u3089\u5c0e\u304b\u308c\u308b\u5fc5\u7136\u7684\u306a\u5e30\u7d50\u3067\u3042\u308b\u3002\u5404\u99d2\u304c\u4f55\u306b\u306a\u308c\u308b\u304b\u3092\u6c7a\u3081\u308b\u306e\u306f\u3001\u500b\u3005\u306e\u79fb\u52d5\u5c65\u6b74\u3068\u300120 \u679a\u5168\u4f53\u3067\u4f55\u304c\u540c\u6642\u306b\u6210\u7acb\u3057\u5f97\u308b\u304b\u3068\u3044\u3046\u4e8c\u3064\u306e\u6761\u4ef6\u306e\u4ea4\u70b9\u306a\u306e\u3067\u3042\u308b\u3002<\/p>\n<hr>\n<h2>\u53c2\u8003\u6587\u732e<\/h2>\n<ol>\n<li id=\"ref1\">\u5c06\u68cb\u3063\u305f\u30fc, \u91cf\u5b50\u5c06\u68cb. <a href=\"https:\/\/shogitter.com\/rule\/108\">https:\/\/shogitter.com\/rule\/108<\/a><\/li>\n<li id=\"ref2\">na2hiro, \u91cf\u5b50\u5c06\u68cb\u306e\u30eb\u30fc\u30eb\u8a73\u89e3 (2025-10-31). <a href=\"https:\/\/na2hiro.hatenablog.com\/entry\/2025\/10\/31\/%E9%87%8F%E5%AD%90%E5%B0%86%E6%A3%8B%E3%81%AE%E3%83%AB%E3%83%BC%E3%83%AB%E8%A9%B3%E8%A7%A3\">https:\/\/na2hiro.hatenablog.com\/entry\/2025\/10\/31\/\u91cf\u5b50\u5c06\u68cb\u306e\u30eb\u30fc\u30eb\u8a73\u89e3<\/a><\/li>\n<li id=\"ref3\">na2hiro, \u91cf\u5b50\u5c06\u68cb\u306e\u53ce\u675f\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0 (2025-11-08). <a href=\"https:\/\/zenn.dev\/na2hiro\/articles\/10fc62c3141c55\">https:\/\/zenn.dev\/na2hiro\/articles\/10fc62c3141c55<\/a><\/li>\n<li id=\"ref4\">P. Hall, On Representatives of Subsets (1935-01). <a href=\"https:\/\/doi.org\/10.1112\/jlms\/s1-10.37.26\">https:\/\/doi.org\/10.1112\/jlms\/s1-10.37.26<\/a><\/li>\n<li id=\"ref5\">na2hiro, \u91cf\u5b50\u5c06\u68cb\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306e\u30b3\u30fc\u30c9. <a href=\"https:\/\/gist.github.com\/na2hiro\/af70792beb897c092a970904b8d3db25\">https:\/\/gist.github.com\/na2hiro\/af70792beb897c092a970904b8d3db25<\/a><\/li>\n<li id=\"ref6\">Jean-Charles R\u00e9gin, Generalized Arc Consistency for Global Cardinality Constraint (1996). <a href=\"https:\/\/cdn.aaai.org\/AAAI\/1996\/AAAI96-031.pdf\">https:\/\/cdn.aaai.org\/AAAI\/1996\/AAAI96-031.pdf<\/a><\/li>\n<li id=\"ref7\">id774, \u672a\u6574\u7406\u306e\u6761\u4ef6\u3092\u3001\u5224\u65ad\u3067\u304d\u308b\u5f62\u306b\u5909\u3048\u308b (2026-07-04). <a href=\"https:\/\/blog.id774.net\/entry\/2026\/07\/04\/4935\/\">https:\/\/blog.id774.net\/entry\/2026\/07\/04\/4935\/<\/a><\/li>\n<li id=\"ref8\">id774, \u77e5\u80fd\u3092\u6210\u7acb\u3055\u305b\u308b\u60c5\u5831\u306e\u7f6e\u304d\u5834\u6240\u3092\u8a2d\u8a08\u3059\u308b (2026-10-04). <a href=\"https:\/\/blog.id774.net\/entry\/2026\/10\/04\/5695\/\">https:\/\/blog.id774.net\/entry\/2026\/10\/04\/5695\/<\/a><\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"<p>\u98db\u8eca\u306f\u7e26\u6a2a\u306b\u52d5\u304d\u3001\u89d2\u306f\u659c\u3081\u306b\u52d5\u304f\u3002\u901a\u5e38\u306e\u5c06\u68cb\u3067\u306f\u99d2\u306e\u7a2e\u985e\u304c\u521d\u3081\u304b\u3089\u6c7a\u307e\u3063\u3066\u3044\u308b\u304c\u3001\u91cf\u5b50\u5c06\u68cb\u3067\u306f\u3001\u3069\u306e\u99d2\u3082\u6700\u521d\u306f\u738b\u3001\u98db\u8eca\u3001\u89d2\u3001\u91d1\u3001\u9280\u3001\u6842\u99ac\u3001\u9999\u8eca\u3001\u6b69\u306e\u3059\u3079\u3066\u306b\u306a\u308a\u5f97\u308b\u3002\u6307\u3057\u624b\u3092\u91cd\u306d\u308b\u3068\u53ef\u80fd\u6027\u306f\u7d5e\u3089\u308c\u3001\u96e2\u308c\u305f\u4f4d\u7f6e\u306b\u3042\u308b\u5225\u306e\u99d2 &#8230; <a title=\"\u91cf\u5b50\u5c06\u68cb\u306e\u53ce\u675f\u3092 Hall \u306e\u5b9a\u7406\u3067\u53b3\u5bc6\u306b\u6c42\u3081\u308b\" class=\"read-more\" href=\"https:\/\/blog.id774.net\/entry\/2026\/10\/17\/5783\/\" aria-label=\"\u91cf\u5b50\u5c06\u68cb\u306e\u53ce\u675f\u3092 Hall \u306e\u5b9a\u7406\u3067\u53b3\u5bc6\u306b\u6c42\u3081\u308b \u306b\u3064\u3044\u3066\u3055\u3089\u306b\u8aad\u3080\">\u7d9a\u304d\u3092\u8aad\u3080<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[15,26],"tags":[],"class_list":["post-5783","post","type-post","status-publish","format-standard","hentry","category-game","category-math"],"_links":{"self":[{"href":"https:\/\/blog.id774.net\/entry\/wp-json\/wp\/v2\/posts\/5783","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.id774.net\/entry\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.id774.net\/entry\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.id774.net\/entry\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.id774.net\/entry\/wp-json\/wp\/v2\/comments?post=5783"}],"version-history":[{"count":1,"href":"https:\/\/blog.id774.net\/entry\/wp-json\/wp\/v2\/posts\/5783\/revisions"}],"predecessor-version":[{"id":5784,"href":"https:\/\/blog.id774.net\/entry\/wp-json\/wp\/v2\/posts\/5783\/revisions\/5784"}],"wp:attachment":[{"href":"https:\/\/blog.id774.net\/entry\/wp-json\/wp\/v2\/media?parent=5783"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.id774.net\/entry\/wp-json\/wp\/v2\/categories?post=5783"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.id774.net\/entry\/wp-json\/wp\/v2\/tags?post=5783"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}