{"provider_name":"Hatena Blog","blog_url":"https://186.hatenablog.com/","author_name":"smoking186","categories":["CS","game"],"author_url":"https://blog.hatena.ne.jp/smoking186/","type":"rich","title":" \u30b2\u30fc\u30e0\u3068\u56f0\u96e3\u6027","provider_url":"https://hatena.blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2F186.hatenablog.com%2Fentry%2F20080809%2F1218289639\" title=\" \u30b2\u30fc\u30e0\u3068\u56f0\u96e3\u6027 - 186 @ hatenablog\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","description":"\u524d\u7f6e\u304d CiNii - \u3077\u3088\u3077\u3088\u306fNP\u5b8c\u5168 \u306f\u3066\u306a\u30d6\u30c3\u30af\u30de\u30fc\u30af - CiNii - \u3077\u3088\u3077\u3088\u306fNP\u5b8c\u5168 \u5168\u3066\u982d\u306b\u4e00\u822c\u5316\u304c\u4ed8\u304d\u307e\u3059. \u8272\u3005\u7d50\u679c\u306f\u3042\u308a\u307e\u3059\u304c, \u554f\u984c\u306e\u5b9a\u5f0f\u5316\u306b\u3088\u3063\u3066\u5f53\u7136\u96e3\u3057\u3055\u304c\u5909\u308f\u308a\u307e\u3059\u306e\u3067\u3054\u6ce8\u610f\u3092. \u5b9a\u7fa9\u306f\u5143\u8ad6\u6587\u3092\u898b\u3066\u78ba\u8a8d\u3057\u3066\u304f\u3060\u3055\u3044. 2\u4eba\u30b2\u30fc\u30e0 \u30aa\u30bb\u30ed PSPACE\u5b8c\u5168 (\u5ca9\u7530, \u7b20\u4e95 1994) \u5c06\u68cb EXPTIME\u5b8c\u5168 (\u5b89\u9054, \u4e80\u5ddd, \u5ca9\u7530 1987) \u56f2\u7881 EXPTIME\u5b8c\u5168 \u30c1\u30a7\u30c3\u30ab\u30fc EXPTIME\u5b8c\u5168 (Robson 1984) \u30c1\u30a7\u30b9 EXPTIME\u5b8c\u5168 \u4e00\u822c\u5316\u3057\u308a\u3068\u308a PSPACE\u5b8c\u5168 \u30de\u30b9\u30bf\u30fc\u30de\u30a4\u30f3\u30c9 NP\u5b8c\u5168 (de Bondt 2004, Stuckm\u2026","height":"190","blog_title":"186 @ hatenablog","width":"100%","version":"1.0","url":"https://186.hatenablog.com/entry/20080809/1218289639","image_url":null,"published":"2008-08-09 22:47:19"}