(この解説は、kyopro_friendsさんのpdf版解説の移植となります。)

\(N\) を文字列として読み込み、各桁の数の和が \(9\) の倍数になるかどうかを判定します。

C言語での実装例

char s[200010];
int main(){
    scanf("%s",s);
    int len=strlen(s);
    int sum=0;
    for(int i=0;i<len;i++)sum+=s[i]-'0';
    if(sum%9==0){
        puts("Yes");
    }else{
        puts("No");
    }
}

なお、多倍長整数を扱うことのできるPythonなどの言語では、\(N\) が \(9\) の倍数であるかどうかを直接判定することもできます。

Pythonでの実装例

N=int(input())
if N%9 == 0:
    print("Yes")
else:
    print("No")