{"author_url":"https://blog.hatena.ne.jp/drken1215/","provider_name":"Hatena Blog","height":"190","version":"1.0","provider_url":"https://hatena.blog","author_name":"drken1215","blog_title":"\u3051\u3093\u3061\u3087\u3093\u306e\u7af6\u30d7\u30ed\u7cbe\u9032\u8a18\u9332","type":"rich","categories":["2-SAT","\u5236\u7d04\u6761\u4ef6:2-SAT","\u5bc6\u30b0\u30e9\u30d5","\u30b0\u30e9\u30d5\u306e\u8fba\u6570\u524a\u6e1b\u30c6\u30af:\u3046\u307e\u304f\u4e26\u3079\u3066\u96a3\u63a5\u3059\u308b\u90e8\u5206\u306e\u307f\u306b\u8fba\u3092\u5f35\u308b","\u30c6\u30fc\u30de\u89e3\u8aac\u8a18\u4e8b","\u30b9\u30e9\u30c3\u30af\u5909\u6570","SAT"],"title":"2-SAT \u3067\u5bc6\u306a\u7bc0\u3092\u89e3\u6d88\u3059\u308b\u65b9\u6cd5","url":"https://drken1215.hatenablog.com/entry/2023/08/04/021846","blog_url":"https://drken1215.hatenablog.com/","description":"\u7d50\u8ad6 \u5148\u306b\u7d50\u8ad6\u304b\u3089\u3002 \u30ea\u30c6\u30e9\u30eb \u306b\u5bfe\u3057\u3066\u3001\u4ee5\u4e0b\u306e\u6761\u4ef6 A, B, C \u306f\u540c\u5024\u3067\u3042\u308b\u3002 A\uff1a \u306e\u3046\u3061\u3001True \u3067\u3042\u308b\u306e\u306f 1 \u500b\u4ee5\u4e0b\u3067\u3042\u308b B\uff1a\u4efb\u610f\u306e () \u306b\u5bfe\u3057\u3066\u3001\u7bc0 \u3092\u5145\u8db3\u3059\u308b C\uff1a\u65b0\u305f\u306a\u30ea\u30c6\u30e9\u30eb \u306e\u5024\u3092\u9069\u5207\u306b\u5b9a\u3081\u305f\u3068\u304d\u3001\u4ee5\u4e0b\u3092\u3059\u3079\u3066\u5145\u8db3\u3059\u308b 1\uff1a\u7bc0 () 2\uff1a\u7bc0 () 3\uff1a\u7bc0 () \u80cc\u666f \u30ea\u30c6\u30e9\u30eb \u306e\u3046\u3061\u3001True \u3067\u3042\u308b\u306e\u306f\u9ad8\u3005 1 \u500b\u3067\u3042\u308b\u3068\u3044\u3046\u6761\u4ef6\u3092\u30012-SAT \u3067\u8a18\u8ff0\u3059\u308b\u3053\u3068\u3092\u8003\u3048\u308b\u3002 \u306a\u304a\u3001\u3053\u306e\u6761\u4ef6\u306f\u3001 \u3092 0-1 \u5909\u6570\u3068\u307f\u306a\u3057\u305f\u3068\u304d\u306b\u3001 tex: X_{0} + X_{1} + \\dots + X_{N-1} \\le 1] \u3068\u3082\u8a00\u3044\u63db\u3048\u3089\u308c\u308b\u3002 \u3055\u3066\u3001\u4e0a\u8ff0\u306e\u6761\u4ef6\u306f\u3001\u5404 ()\u2026","published":"2023-08-04 02:18:46","image_url":"https://cdn.user.blog.st-hatena.com/default_entry_og_image/80936665/1687765056723440","width":"100%","html":""}