2-SATã¨å¼·é€£çµæˆåˆ†åˆ†è§£ - naoya_t@hatenablog
ãµã¨2-SATã®äº‹ãŒæ°—ã«ãªã£ã¦ã€å¾©ç¿’ãŒã¦ã‚‰Practice Roomã§SRM464ã®Div1 Mediumå•é¡Œã‚’é–‹ã„ã¦ã¿ãŸã€‚（ã¡ãªã¿ã«SRM464ã«ã¯å‡ºå ´ã—ã¦ã„る） SAT (充足å¯èƒ½æ€§å•é¡Œ, SATisfiability problem) ã«ã¤ã„ã¦ã¯ã“ã“ã®èªè€…ã®çš†ã•ã‚“ã¯ã”å˜çŸ¥ã¨ã¯æ€ã„ã¾ã™ã€‚NP完全å•é¡Œã§ãŠãªã˜ã¿ã®ã‚ã‚Œã§ã™ (x_0 ∨ ¬x_1) ∧ (¬x_0 ∨ ¬x_3) ∧ ... ã¿ãŸã„ãªè«–ç†å¼ï¼ˆä¹—法標準形）を満ãŸã™çœŸå½å€¤ x_0, x_1, ... ã®çµ„ã¿åˆã‚ã›ãŒå˜åœ¨ã™ã‚‹ã‹å¦ã‹ã€‚（å˜åœ¨ã™ã‚‹å ´åˆã€ãã®çµ„ã¿åˆã‚ã›ã‚’知りãŸã‹ã£ãŸã‚Šã™ã‚‹ï¼‰ 上ã®ä¾‹ã§ã¯ã™ã¹ã¦ã®ç¯€ãŒ(高々)2変数ãªã®ã§2-SATã¨å‘¼ã°ã‚Œã‚‹ã€‚ （2-SATã¯ç·šå½¢æ™‚é–“ã§è§£ã‘るらã—ã„）。 è«–ç†å’Œ x ∨ y ãŒè«–ç†åŒ…å« Â¬x⇒y （ã¾ãŸã¯ ¬y⇒x）ã«æ›¸ãæ›ãˆå¯èƒ½ãªã“ã¨ã‚’利用ã—ã¦ã€è«–ç†å¼ã‚’有å‘グラフã«å¤‰æ›ã—ã¦ã¿ãŸã‚Š 出æ¥ä¸ŠãŒã£
強連çµæˆåˆ†åˆ†è§£ - Win The Game
è¶æœ¬, Tips 強連çµæˆåˆ†æœ‰å‘グラフã«ãŠã„ã¦ã€é ‚点ã®éƒ¨åˆ†é›†åˆSãŒã€Œä»»æ„ã®ï¼’é ‚ç‚¹u,vã‚’ã¨ã£ãŸã¨ãã€uã‹ã‚‰vã¸åˆ°é”ã§ãã‚‹ã€ã¨ãã€Sã¯å¼·é€£çµã§ã‚ã‚‹ã¨ã„ã†ã€‚ é ‚ç‚¹ã®å¼·é€£çµãªé›†åˆSã«ã€ä»–ã®ã©ã®é ‚点集åˆã‚’付ã‘åŠ ãˆã¦ã‚‚強連çµã«ã§ããªã„ã¨ãã€Sを強連çµæˆåˆ†(SCC:Strongly Connected Component)ã¨ã„ã†ã€‚ ã¾ãŸã€ä»»æ„ã®æœ‰å‘グラフã¯ã„ãã¤ã‹ã®å¼·é€£çµæˆåˆ†ã®ã€å…±é€šéƒ¨åˆ†ã‚’æŒãŸãªã„和集åˆã«åˆ†è§£ã™ã‚‹ã“ã¨ãŒã§ãる。 強連çµæˆåˆ†åˆ†è§£ä»»æ„ã®æœ‰å‘グラフをã„ãã¤ã‹ã®å¼·é€£çµæˆåˆ†ã®ã€å…±é€šéƒ¨åˆ†ã‚’æŒãŸãªã„和集åˆã«åˆ†è§£ã™ã‚‹ã“ã¨ã€‚ 強連çµæˆåˆ†ã‚’１ã¤ã®é ‚点ã«ã¤ã¶ã™ï½‹ã¨ã§ã€DAG(閉路をもãŸãªã„有å‘グラフ)ã«ãªã‚‹ã€‚ 強連çµæˆåˆ†åˆ†è§£ã¯ï¼’回ã®ç°¡å˜ãªDFSã§è¡Œã†ã“ã¨ãŒã§ãる。 １回目ã®DFSã§ã¯ã€é©å½“ãªé ‚点ã‹ã‚‰ã¯ã˜ã‚ã€ã¾ã 通ã£ã¦ã„ãªã„é ‚ç‚¹ã‚’å¸°ã‚ŠãŒã‘ã®é †ã§ç•ªå·ã‚’ã¤ã‘ã¦ã„ã。ã¾ã 通ã£ã¦ã„ãªã„é ‚ç‚¹ãŒã‚ã‚‹å ´åˆã¯ã€å†ã³ãã“ã‹ã‚‰ã¯
2SAT - yasu0207ã®æ—¥è¨˜
強連çµæˆåˆ†åˆ†è§£ã®ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ をゼミã§ã‚„ã£ãŸã®ã§ãƒ¡ãƒ¢ã€‚ 2SATã¯å¼·é€£çµæˆåˆ†åˆ†è§£ã‚’利用ã—ã¦è§£ã‘る。 2SATã¯å¤šé …å¼æ™‚é–“ã§è§£ã‘る。ã¡ãªã¿ã«3SATã¯NP完全。解ãæ–¹ã¯ï¼’ã¤ã‚る。 (1)ã‚る変数xã®å‰²ã‚Šå½“ã¦ã‚’0ã§å›ºå®šã™ã‚‹ã¨ã€2SATãªã®ã§ã€xã‚’å«ã‚€ç¯€ã®xã¨ã¯ç•°ãªã‚‹å¤‰æ•°ã®å‰²ã‚Šå½“ã¦ãŒæ±ºã¾ã‚‹ã€‚ ã“ã®ã‚ˆã†ã«ã—ã¦çŸ›ç›¾ãŒèµ·ã“ã‚‹ã¨ã€xã¸ã®å‰²ã‚Šå½“ã¦ãŒæ±ºå®šã—ã€xã‚’å«ã‚€ç¯€ã‚’消去ã—ã¦å†å¸°ã€‚ (2)2SATãªã®ã§ç¯€ã¯(x∨¬y)ã®ã‚ˆã†ãªå½¢ã‚’ã—ã¦ã„る。ã“ã‚Œã¯y⇒xã¨åŒã˜ã§ã‚ã‚‹ å„è«–ç†å¤‰æ•°ã€è«–ç†å¦å®šãã‚Œãžã‚Œã«é ‚点を用æ„ã—ã¦ã€y⇒xã‚’å¼ãŒå«ã‚“ã§ã„ã‚Œã°æœ‰åŠ¹è¾º(y,x)をグラフã«åŠ ãˆã‚‹ã€‚ ã“ã®ã‚ˆã†ã«ã—ã¦ã§ããŸã‚°ãƒ©ãƒ•ã«å¼·é€£çµæˆåˆ†åˆ†è§£ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã‚’é©ç”¨ã—ã€ã‚る強連çµæˆåˆ†ãŒåŒã˜å¤‰æ•°ã®çœŸãƒªãƒ†ãƒ©ãƒ«ã¨å½ãƒªãƒ†ãƒ©ãƒ«ã‚’å«ã‚“ã ã¨ãã«å……足割り当ã¦ãŒå˜åœ¨ã—ãªããªã‚‹ã€‚
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Microsoft PowerPoint - SATSolving.ppt
{{#tags}}- {{label}}
{{/tags}}