Aycon
Пусть m = const, тогда нужно доказать, что существует достаточно большое входное число, что область значений алгоритма покрывается не меньше, чем за время, сопостовимое с факторизацией брутфорсом.
лучшее что ты можешь сделать - эмпирически найти закономерность.
типа если число N бит, то программу короче K бит его не раскладывает.
и нарисовать график и предположить как он будет вести себя дальше.
реально ты можешь решить ситуации для 30-60 бит всего лишь. никаких 1кб.