{"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":["AtCoder","AtCoder600\u70b9","ABC-F","\u6a59\u8272diff","2-SAT","\u5236\u7d04:\u6570\u5024\u304c10^6\u4ee5\u4e0b","\u5bc6\u30b0\u30e9\u30d5","\u30b0\u30e9\u30d5\u306e\u8fba\u6570\u524a\u6e1b\u30c6\u30af:\u30b9\u30fc\u30d1\u30fc\u9802\u70b9\u3092\u7528\u3044\u3066sparse\u306b","\u30b0\u30e9\u30d5\u306e\u8fba\u6570\u3092\u524a\u6e1b\u3059\u308b","2-SAT\u306e\u5bc6\u3092\u89e3\u6d88\u3059\u308b\u7d2f\u7a4dOR","\u30b9\u30e9\u30c3\u30af\u5909\u6570","N\u500b\u306e\u30da\u30a2\u5024\u306e\u554f\u984c","\u89e3\u7a7a\u9593:O(2^N)\u901a\u308a\u306e\u9078\u629e\u80a2","\u30ab\u30fc\u30c9\u3084\u5c71\u672d\u3092\u6271\u3046\u554f\u984c","\u6570\u5b66(\u6574\u6570\u554f\u984c)","\u898b\u7a4d\u308a\u5927\u4e8b","Yes/No\u5224\u5b9a\u554f\u984c","\u4e92\u3044\u306b\u7d20","\u5404\u7d20\u56e0\u6570\u3054\u3068\u306b\u8003\u3048\u308b","\u305d\u306e\u307e\u307e\u899a\u3048\u305f\u3044\u30b7\u30f3\u30d7\u30eb\u8a2d\u5b9a\u306e\u4e2d\u5805\u4ee5\u4e0a\u306e\u5178\u578b\u554f\u984c","f(i,j)\u3092i\u3068j\u3068\u306b\u5206\u96e2\u3059\u308b","\u7dda\u5f62\u6027\u306b\u7740\u76ee\u3059\u308b","SAT","\u30b0\u30e9\u30d5\u30c6\u30af:\u30b9\u30fc\u30d1\u30fc\u9802\u70b9","NoviSteps4D"],"title":"AtCoder ABC 210 F - Coprime Solitaire (4D, \u6a59\u8272, 600 \u70b9)","url":"https://drken1215.hatenablog.com/entry/2023/08/06/235112","blog_url":"https://drken1215.hatenablog.com/","description":"2-SAT \u306e\u300c\u5bc6\u300d\u3092\u89e3\u6d88\u3059\u308b\u7d2f\u7a4d OR \u30c6\u30af\u3092\u5b66\u3093\u3060\uff01 \u554f\u984c\u3078\u306e\u30ea\u30f3\u30af \u554f\u984c\u6982\u8981 \u679a\u306e\u30ab\u30fc\u30c9\u304c\u3042\u308a\u3001\u8868\u306b\u306f \u3001\u88cf\u306b\u306f \u304c\u66f8\u304b\u308c\u3066\u3044\u308b\u3002\u5404\u30ab\u30fc\u30c9\u306b\u3064\u3044\u3066\u3001\u8868\u3092\u4e0a\u306b\u3059\u308b\u304b\u3001\u88cf\u3092\u4e0a\u306b\u3059\u308b\u304b\u3092\u9078\u629e\u3057\u3066\u3044\u304f\u3002 \u4e0a\u624b\u304f\u9078\u629e\u3059\u308b\u3053\u3068\u3067\u3001\u4e0a\u3092\u5411\u3044\u3066\u3044\u308b\u6570\u5024\u304c\u3069\u306e 2 \u3064\u3082\u4e92\u3044\u306b\u7d20\u3067\u3042\u308b\u3088\u3046\u306b\u3059\u308b\u3053\u3068\u304c\u53ef\u80fd\u304b\u3069\u3046\u304b\u3092\u5224\u5b9a\u305b\u3088\u3002 \u5236\u7d04 \u8003\u3048\u305f\u3053\u3068 \u3044\u304b\u306b\u3082 2-SAT \u306a\u554f\u984c\u3060\u3063\u305f\u3002 \u500b\u306e\u6574\u6570\u3092\u7d20\u56e0\u6570\u5206\u89e3\u3057\u3066\u767b\u5834\u3057\u3046\u308b\u5404\u7d20\u6570 \u306b\u5bfe\u3057\u3066\u3001\u6b21\u306e\u3088\u3046\u306b\u8003\u3048\u3089\u308c\u308b\u3002 \u3082 \u3082 \u3067\u5272\u308a\u5207\u308c\u308b\u3088\u3046\u306a \u306e\u500b\u6570\u304c 2 \u500b\u4ee5\u4e0a\u306a\u3089\u3070\u3001\u76f4\u3061\u306b \"No\" \u305d\u306e\u500b\u6570\u304c 1 \u500b\u306a\u3089\u3070\u3001\u305d\u306e\u3088\u3046\u306a \u4ee5\u5916\u306e\u5404 \u306b\u5bfe\u3057\u3066\u3001 \u304c \u306e\u500d\u6570\u306a\u3089\u3070\u3001 \u2026","published":"2023-08-06 23:51:12","image_url":"https://cdn.user.blog.st-hatena.com/default_entry_og_image/80936665/1687765056723440","width":"100%","html":""}