d.y.d. Bowling21:11 07/02/26 俺定義ã§æ›¸ã‘ãŸã‚‰ via ã“ã®è¾ºã€‚ ãれをãƒã‚¿å…ƒã«ã—ã¦ä¸€äººç”¨ãƒ‘ズルゲームãŒä½œã‚ŒãŸã‚‰NP完全ã½ã„。 二人用対戦ゲームãŒä½œã‚ŒãŸã‚‰PSPACE完全ã½ã„ã€ã¨ã„ã†ã®ã‚’時々èžãã¾ã™ã€‚ NP完全ã®ä¸€ç•ªåŸºæœ¬çš„ãªå•é¡ŒãŒ SAT: bool型変数 x1 ～ xn ã‚’ and 㨠or 㨠not ã§çµ„ã¿åˆã‚ã›ãŸå¼ãŒã‚ã‚Šã¾ã™ã€‚ ã•ã‚ã€ã‚ãªãŸã¯ã€å¤‰æ•° x1 ～ xn ã®å€¤ã‚’ã†ã¾ã決ã‚ã¦å¼å…¨ä½“ã®å€¤ã‚’ true ã«ã™ã‚‹ã“ã¨ãŒã§ãã¾ã™ã‹ï¼Ÿï¼Ÿ ã¨ã„ã†ç”ãˆã‚’見ã¤ã‘ã¾ã—ょã†ç³»ãªã®ã«å¯¾ã—ã¦ã€PSPACE完全ã®ä¸€ç•ªåŸºæœ¬çš„ãªå•é¡ŒãŒ QBF: bool型変数 x1 ～ xn ã‚’ and 㨠or 㨠not ã§çµ„ã¿åˆã‚ã›ãŸå¼ãŒã‚ã‚Šã¾ã™ã€‚ x1 ã‚’ã†ã¾ã決ã‚ã¦ã€ã€Œä¾‹ãˆx2 ãŒtrueã§ã‚‚falseã§ã‚‚ã€ãã“ã§ã™ã‹ã•ãš x3 ã‚’ã†ã¾ã決ã‚ãŸã‚‰ã€ x4 ãŒtrueã«ãªã£ã¦ã‚‚falseã«ãªã£ã¦ã‚‚ (以下繰り返ã—
ã‚ã‹ã£ãŸã¤ã‚‚ã‚Šã«ãªã‚‹D言語
有効ãªWikiNameã§ã¯ã‚ã‚Šã¾ã›ã‚“ - ...ing wiki
D for Haskeller - nihaaaaaaaa(ã®ãƒ®ãƒƒâ˜†)
{{#tags}}- {{label}}
{{/tags}}