マルチエージェントネットワークの代数的連結度を推定する離散時間アルゴリズムの収束性解析