2007-08-14 明日の勉強 memo I2AのDFSの各種証明を理解する トポロジカルソートのアルゴリズムがback edgeを生成しないことの証明 MST,最短経路関係 NP-Completenessの続き Introduction to Algorithmsは細かい定理や補題が証明付きで沢山書いてあるから凄く勉強になる。