Каждый раз будем увеличивать количество единиц в нашем ответе на 1, и брать по модулю N. Изначально m=0, циклом будем делать m=(m*10+1) mod N если на каком-то шаге у нас m=0, то выводим ответ, количество единиц в нем будет столько же, сколько раз вы выполняли вот это действие m=(m*10+1) mod N. А если m<>0 вот уже 30000000 раз такого то можно выводить "NO", так как если бы существовал тест, у которого кол-во единиц больше чем 30000000, то любая программа попросту бы не успела вывести столько единиц за 1 секунду.