{"height":"190","categories":["\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0","Java"],"description":"k-CNF \u306e\u5145\u8db3\u53ef\u80fd\u306a(\u3064\u307e\u308a\u3001\u5168\u3066\u306e clause \u304c\u771f\u306b\u306a\u308b\u3088\u3046\u306a\u771f\u507d\u5024\u306e)\u5272\u308a\u5f53\u3066\u3092\u6c42\u3081\u308b\u554f\u984c\u306f k-SAT(Satisfiability Problem)\u3068\u547c\u3070\u308c\u308b\u3002\u540c\u66f8\u306b\u306a\u3089\u3063\u3066 3-SAT \u3092\u8003\u3048\u308b\u3002\u554f\u984c\u3068\u3057\u3066\u306f\u3001\u3053\u308c\u307e\u305f\u540c\u66f8\u3067\u30e6\u30fc\u30ea\u304c\u300c\u50d5\u300d\u306b\u793a\u3057\u305f\u554f\u984c\u3067\u884c\u3063\u3066\u307f\u3088\u3046\u3002\u307e\u305a\u5909\u6570\u3092 4 \u500b\u7528\u610f\u3057\u3001\u305d\u308c\u305e\u308c\u4ee5\u4e0b\u306e\u610f\u5473\u3068\u3059\u308b\u3002 x[0] : \u5f37\u3044 x[1] : \u6b63\u3057\u3044 x[2] : \u7f8e\u3057\u3044 x[3] : \u512a\u3057\u3044 \u3053\u308c\u3092\u7528\u3044\u3066\u3001\u540c\u554f\u984c\u306e P1 \u301c P8 \u3092\u66f8\u304d\u4e0b\u3057\u3066\u307f\u3088\u3046\u3002\u306a\u304a\u3001\u914d\u5217\u306e index \u304c 0 \u304b\u3089\u59cb\u307e\u308b\u90fd\u5408\u4e0a\u3001p[0] \u301c p[7] \u306b\u5909\u3048\u3066\u304a\u304f\u3002 boolean [] x\u2026","provider_url":"https://hatena.blog","provider_name":"Hatena Blog","author_url":"https://blog.hatena.ne.jp/redcat_prog/","blog_url":"https://redcat-prog.hatenadiary.org/","blog_title":"\u4f3c\u975e\u30d7\u30ed\u30b0\u30e9\u30de\u306e\u899a\u3048\u66f8\u304d","published":"2011-04-24 12:34:33","type":"rich","version":"1.0","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fredcat-prog.hatenadiary.org%2Fentry%2F20110424%2F1303616073\" title=\"\u4e71\u629e\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306b\u6311\u3080(\u305d\u306e 3) - \u4f3c\u975e\u30d7\u30ed\u30b0\u30e9\u30de\u306e\u899a\u3048\u66f8\u304d\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","image_url":null,"width":"100%","title":"\u4e71\u629e\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306b\u6311\u3080(\u305d\u306e 3)","url":"https://redcat-prog.hatenadiary.org/entry/20110424/1303616073","author_name":"redcat_prog"}