翻訳と辞書 Words near each other ・ PSORT ・ PSORTdb ・ Psorula ・ Psorya ・ PSOS ・ PSOS (real-time operating system) ・ Psota ・ Psote ・ Psotnik ・ Psou (village) ・ Psou River ・ Psoy Korolenko ・ PSP (disambiguation) ・ PSP Media Manager ・ PSP Padang ・ PSPACE ・ PSPACE-complete ・ PSPad ・ PSPCasting ・ Pspell ・ PSPH ・ PSPI ・ PSpice circuit file ・ PSPJ Pidie Jaya ・ PSPLab ・ PSPP ・ PSPP Padang Panjang ・ PSPS Pekanbaru ・ PSPS U-21 ・ Pspyched! Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク PSPACE ： ウィキペディア英語版 PSPACE In computational complexity theory, PSPACE is the set of all decision problems that can be solved by a Turing machine using a polynomial amount of space. == Formal definition == If we denote by SPACE(''t''(''n'')), the set of all problems that can be solved by Turing machines using ''O''(''t''(''n'')) space for some function ''t'' of the input size ''n'', then we can define PSPACE formally as〔Arora & Barak (2009) p.81〕 :$\backslash mathbf\; =\; \backslash bigcup\_(n^k).$ PSPACE is a strict superset of the set of context-sensitive languages. It turns out that allowing the Turing machine to be nondeterministic does not add any extra power. Because of Savitch's theorem,〔Arora & Barak (2009) p.85〕 NPSPACE is equivalent to PSPACE, essentially because a deterministic Turing machine can simulate a non-deterministic Turing machine without needing much more space (even though it may use much more time).〔Arora & Barak (2009) p.86〕 Also, the complements of all problems in PSPACE are also in PSPACE, meaning that co-PSPACE = PSPACE. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「PSPACE」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.