トップページ
⇒
math
652コメント
203KB
コンピューターによる定理の自動証明
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0575
132人目の素数さん
2009/02/16(月) 18:34:58
計算時間に関してはO(n^2)のアルゴリズムは十分実行可能であることが多い。
世の中から単純ソートが無くならない所以。
数値解析や数理計画のように実行回数が少ないものはO(n^3)でも歓迎されるくらいだ。
空間計算量の方はもっと厳しくて、理論上指数時間のアルゴリズムでも、
実用上はメモリの制約の方が先にやってくるというのはよくある話。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています