{"published":"2022-12-20 01:49:37","description":"\u306f\u3058\u3081\u306b \u5927\u5b66\u3067\u5b66\u3093\u3060\u591a\u9805\u5f0f\u6642\u9593\u9084\u5143\u306b\u3064\u3044\u3066\u3001\u65e5\u672c\u8a9e\u8a18\u4e8b\u3067\u308f\u304b\u308a\u3084\u3059\u3044\u3082\u306e\u304c\u898b\u3064\u304b\u3089\u306a\u304b\u3063\u305f\u305f\u3081\u3001\u3053\u3053\u306b\u8a18\u3059\u3002\u6570\u30f6\u6708\u5f8c\u306b\u304a\u305d\u3089\u304f\u8a66\u9a13\u3067\u51fa\u984c\u3055\u308c\u308b\u306e\u3067\u3001\u305d\u306e\u8a66\u9a13\u5bfe\u7b56\u3068\u3057\u3066\u3082\u3002 blog \u672b\u5c3e\u3067\u3082\u8ff0\u3079\u308b\u3064\u3082\u308a\u3067\u3042\u308b\u304c\u3001Garey \u3068 Johnson \u306b\u3088\u308b\u9ed2\u3044\u672c Computers and intractability. \u3092\u53c2\u8003\u306b\u3057\u3066\u3044\u308b\u3002 \u89e3\u304f\u3079\u304d\u554f\u984c\u306e\u6574\u7406 Vertex Cover \u3092\u5224\u5b9a\u554f\u984c\u306b\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002\u3092\u4e0e\u3048\u3089\u308c\u305f\u81ea\u7136\u6570\u3068\u3057\u3001\u547d\u984c\u3092\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u5b9a\u3081\u308b\u3002 \u547d\u984c VC: \u306e\u9802\u70b9\u304b\u3089\u306a\u308b\u88ab\u8986 VC \u304c\u5b58\u5728\u3059\u308b\u3002 \u547d\u984c 3-SAT: \u300c\u30ea\u30c6\u30e9\u30eb\u306e\u6570\u3001\u7bc0\u306e\u6570\u304c\u305d\u308c\u305e\u308c \u3067\u3042\u308b\u8ad6\u7406\u7a4d\u6a19\u6e96\u5f62 \u304c\u5145\u8db3\u2026","type":"rich","provider_name":"Hatena Blog","version":"1.0","title":"\uff1cNP \u5b8c\u5168\u6027 (Karp's Reduction)\uff1e3-SAT \u304b\u3089 Vertex Cover \u3078\u306e\u591a\u9805\u5f0f\u6642\u9593\u9084\u5143\u306b\u3064\u3044\u3066\uff08polynomial reduction 3-SAT to VC\uff09","author_url":"https://blog.hatena.ne.jp/ut-bioinformatic/","blog_url":"https://ut-bioinformatic.hatenablog.jp/","image_url":null,"html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fut-bioinformatic.hatenablog.jp%2Fentry%2F2022%2F12%2F20%2F014937\" title=\"\uff1cNP \u5b8c\u5168\u6027 (Karp&#39;s Reduction)\uff1e3-SAT \u304b\u3089 Vertex Cover \u3078\u306e\u591a\u9805\u5f0f\u6642\u9593\u9084\u5143\u306b\u3064\u3044\u3066\uff08polynomial reduction 3-SAT to VC\uff09 - \u30d0\u30a4\u30aa\u30a4\u30f3\u30d5\u30a9\u5b66\u751f\u3042\u308c\u3053\u308c\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","author_name":"ut-bioinformatic","height":"190","url":"https://ut-bioinformatic.hatenablog.jp/entry/2022/12/20/014937","provider_url":"https://hatena.blog","blog_title":"\u30d0\u30a4\u30aa\u30a4\u30f3\u30d5\u30a9\u5b66\u751f\u3042\u308c\u3053\u308c","width":"100%","categories":["\u60c5\u5831\u79d1\u5b66\u30fb\u6570\u5b66"]}