主題

コンピューターサイエンス

コンピューターサイエンスに明示的に分類された確認済みの記事です。日本語で公開された記事だけを掲載します。

高速フーリエ変換 (FFT)

DFTの正規化、radix-2バタフライ、多項式の畳み込みを解説し、浮動小数点による整数計算の限界も示します。

フロイド–ワーシャル法

フロイド–ワーシャル法の全点対最短経路の漸化式を導き、安全なC++実装と到達不能・負閉路の解釈を解説します。

最大フロー最小カット定理

残余ネットワークの到達可能性を使って最大フロー最小カット定理を証明し、小さな例で最適性を確かめます。

フローネットワーク

実行可能なフロー、残余辺での増加と取り消し、カットによる上限、フォード・ファルカーソン法の停止条件を解説します。