AI Dictionary & Vocabulary App "DiQt"

Last Updated：2025/12/04

See correct answer

Savitch's theorem shows that nondeterministic space can be simulated deterministically with only a quadratic increase in space.

音声機能が動作しない場合はこちらをご確認ください

Source Sentence

Savitch's theorem shows that nondeterministic space can be simulated deterministically with only a quadratic increase in space.

決定性空間計算量と非決定性空間計算量の関係を示す定理は、非決定性の空間を決定性でシミュレートする際に必要な空間が二乗程度にしか増えないことを示している。