このプログラムは、\(N\) の最後の桁を \(N \bmod 10\) で取り出して \(s\) に足し、\(N\) を \(10\) で割ることを、\(N\) が \(0\) になるまで繰り返します。各反復の後で \(s\) は、すでに取り除いた桁の和なので、最後には元の整数の全桁の和になります。\(N\) は正なので必ず終了します。桁数は \(O(\log N)\) で、各桁の処理は一定時間です。保存するのは入力値と合計だけなので、時間計算量は \(O(\log N)\)、空間計算量は \(O(1)\) です。