Ваш код попадет в бесконечный цикл почти для всех m и n, так как для большинства m и n один из них достигнет 0, и он станет бесконечным циклом (n = n - 0).Кроме того, m должно быть больше 4, иначе цикл будет продолжаться до тех пор, пока m или n не достигнет 0, опять же, тот же случай.Единственный способ завершить ваш цикл - это когда m - n k = 4, где k является целым числом.Или, когда m больше n, m - (nm k) = 4. В этом случае временная сложность будет O (| mn |), линейной в худшем случае.