Savitch's theorem - Wikipedia
In computational complexity theory, Savitch's theorem, proved by Walter Savitch in 1970,[1] gives a relationship between deterministic and non-deterministic space complexity. It states that for any space-constructable function ,[2] In other words, if a nondeterministic Turing machine can solve a problem using space, a deterministic Turing machine can solve the same problem in the square of that sp
ゲームã¨å›°é›£æ€§ - 186 @ hatenablog
å‰ç½®ã CiNii - ã·ã‚ˆã·ã‚ˆã¯NP完全 ã¯ã¦ãªãƒ–ックマーク - CiNii - ã·ã‚ˆã·ã‚ˆã¯NP完全 å…¨ã¦é ã«ä¸€èˆ¬åŒ–ãŒä»˜ãã¾ã™. 色々çµæžœã¯ã‚ã‚Šã¾ã™ãŒ, å•é¡Œã®å®šå¼åŒ–ã«ã‚ˆã£ã¦å½“然難ã—ã•ãŒå¤‰ã‚ã‚Šã¾ã™ã®ã§ã”注æ„ã‚’. 定義ã¯å…ƒè«–文を見ã¦ç¢ºèªã—ã¦ãã ã•ã„. 2人ゲームオセムPSPACE完全 (岩田, ç¬ äº• 1994) 将棋 EXPTIME完全 (安é”, 亀å·, 岩田 1987) å›²ç¢ EXPTIME完全 ãƒã‚§ãƒƒã‚«ãƒ¼ EXPTIME完全 (Robson 1984) ãƒã‚§ã‚¹ EXPTIME完全 一般化ã—ã‚Šã¨ã‚Š PSPACE完全 マスターマインド NP完全 (de Bondt 2004, Stuckman and Zhang 2005) 一般化アマゾン PSPACE完全 (清見, 宇野 2005) シャノンã®ã‚¹ã‚¤ãƒƒãƒãƒ³ã‚°ã‚²ãƒ¼ãƒ PSPACE完全 1人ゲーム一般化詰ã‚将棋 EXPTIME完全 (横
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Space hierarchy theorem - Wikipedia
Time hierarchy theorem - Wikipedia
{{#tags}}- {{label}}
{{/tags}}