結果
| 問題 | No.3157 Nabeatsu | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2025-05-12 00:59:36 | 
| 言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 817 ms / 2,000 ms | 
| コード長 | 419 bytes | 
| コンパイル時間 | 344 ms | 
| コンパイル使用メモリ | 12,160 KB | 
| 実行使用メモリ | 20,216 KB | 
| 最終ジャッジ日時 | 2025-05-12 00:59:50 | 
| 合計ジャッジ時間 | 12,569 ms | 
| ジャッジサーバーID (参考情報) | judge3 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 45 | 
ソースコード
def is_nabeatsu(N: str) -> bool:
    digitsum = sum(int(c) for c in N)
    return digitsum % 3 == 0 or '3' in N
    
N = input()
N = list(N)
while is_nabeatsu(''.join(N)):
	try:
		i = N.index('3')
		N[i] = '2'
		for j in range(i + 1, len(N)):
			N[j] = '9'
	except ValueError:
		i = len(N) - 1
		while True:
			if N[i] == '0':
				N[i] = '9'
				i -= 1
			else:
				N[i] = str(int(N[i]) - 1)
				break
print(''.join(N))
            
            
            
        