{"blog_title":"srup\u306e\u30e1\u30e2\u5e33","version":"1.0","author_url":"https://blog.hatena.ne.jp/mmxsrup/","blog_url":"https://mmxsrup.hatenablog.com/","provider_url":"https://hatena.blog","title":"yukicoder No.483 \u30de\u30c3\u30c1\u4e26\u3079","provider_name":"Hatena Blog","author_name":"mmxsrup","width":"100%","published":"2017-02-15 14:00:53","description":"\u554f\u984c \u554f\u984c\u6982\u8981 \u6307\u5b9a\u3055\u308c\u305f\u5834\u6240\u306b\u30de\u30c3\u30c1\u3092\u7f6e\u304f. \u30de\u30c3\u30c1\u306e\u7f6e\u304d\u65b9\u306f\u4e0a\u4e0b\u306e2\u901a\u308a\u306e\u9078\u629e\u80a2\u304c\u3042\u308b. \u7f6e\u304d\u65b9\u3092\u5de5\u592b\u3057\u3066, \u982d\u85ac\u306e\u90e8\u5206\u304c\u91cd\u306a\u3089\u306a\u3044\u3088\u3046\u306b\u304a\u3051\u308b\u304b\u3092\u5224\u65ad\u305b\u3088. \u89e3\u6cd5 \u5358\u7d14\u306b\u3084\u308b\u306b\u306f, \u3059\u3079\u3066\u306e\u30de\u30c3\u30c1\u68d2\u3092\u4e0a\u4e0b\u8a66\u3057\u3066\u3084\u308c\u3070\u3044\u3044\u304c, 2n\u304b\u304b\u308b\u305f\u3081\u7121\u7406. \u305d\u3053\u3067, \u3059\u3079\u3066\u306e\u30de\u30c3\u30c1\u68d2\u306e\u7d44\u307f\u5408\u308f\u305b\u306b\u3064\u3044\u3066\u8003\u3048\u3066, \u8ad6\u7406\u5f0f\u3092\u4f5c\u308a\u3001\u305d\u308c\u3092\u89e3\u3051\u3070\u3088\u3044\u3053\u3068\u304c\u308f\u304b\u308b. \u3088\u3063\u3066, 2SAT(2-SAT)\u3067\u3084\u308c\u3070\u3044\u3044. \u30df\u30b9 \u3053\u306a\u3044\u30602SAT\u3084\u3063\u3068\u3044\u3066\u3088\u304b\u3063\u305f. \u30b3\u30fc\u30c9 #include <bits/stdc++.h> using namespace std; typedef long long ll; type\u2026","height":"190","image_url":null,"categories":["yukicoder","2-SAT"],"html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmmxsrup.hatenablog.com%2Fentry%2F2017%2F02%2F15%2F140053\" title=\"yukicoder No.483 \u30de\u30c3\u30c1\u4e26\u3079 - srup\u306e\u30e1\u30e2\u5e33\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","url":"https://mmxsrup.hatenablog.com/entry/2017/02/15/140053","type":"rich"}