サヴィッチの定理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2015/04/30 08:06 UTC 版)
サヴィッチの定理(英: Savitch's theorem)とは、1970年にウォルター・サヴィッチが証明した計算量理論における定理である。f(n) ≥ log(n) であるような任意の関数 f について、次が成り立つとするものである。
- 1 サヴィッチの定理とは
- 2 サヴィッチの定理の概要
- サヴィッチの定理のページへのリンク
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2015/04/30 08:06 UTC 版)
サヴィッチの定理(英: Savitch's theorem)とは、1970年にウォルター・サヴィッチが証明した計算量理論における定理である。f(n) ≥ log(n) であるような任意の関数 f について、次が成り立つとするものである。
サヴィッチの定理のお隣キーワード |
サヴィッチの定理のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。
All text is available under the terms of the GNU Free Documentation License. この記事は、ウィキペディアのサヴィッチの定理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。 |
ビジネス|業界用語|コンピュータ|電車|自動車・バイク|船|工学|建築・不動産|学問
文化|生活|ヘルスケア|趣味|スポーツ|生物|食品|人名|方言|辞書・百科事典
ご利用にあたって | 便利な機能 | お問合せ・ご要望 | 会社概要 | ウェブリオのサービス |
©2024 GRAS Group, Inc.RSS