Рефакторизуемое число или тау-число — это целое число n , которое делится на количество своих делителей , или, выражаясь алгебраически, n таково, что . Первые несколько номеров, подлежащих рефакторингу, перечислены в (последовательность A033950 в OEIS ) как
Например, число 18 имеет 6 делителей (1 и 18, 2 и 9, 3 и 6) и делится на 6. Существует бесконечно много рефакторизуемых чисел.
Купер и Кеннеди доказали, что числа, поддающиеся рефакторингу, имеют нулевую естественную плотность . Зелинский доказал, что никакие три последовательных целых числа не подлежат рефакторингу. [1] Колтон доказал, что ни одно рефакторизуемое число не является совершенным . Уравнение имеет решения только в том случае, если – рефакторизуемое число, где – функция наибольшего общего делителя .
Позвольте быть числом рефакторируемых чисел, которые не превышают . Проблема определения асимптотики для открыта. Спиро доказал, что [2]
До сих пор остаются нерешенные проблемы, связанные с рефакторингом чисел. Колтон спросил, существуют ли сколь угодно большие объекты , которые можно рефакторить. Зелинский задался вопросом, существует ли число, поддающееся рефакторингу , обязательно ли существует такое, которое можно рефакторинговать, и .
Впервые они были определены Кертисом Купером и Робертом Кеннеди [3] , где они показали, что числа тау имеют нулевую естественную плотность . Позже они были заново открыты Саймоном Колтоном с помощью созданной им компьютерной программы, которая изобретает и оценивает определения из различных областей науки. математика, такая как теория чисел и теория графов . [4] Колтон назвал такие числа «рефакторизуемыми». Хотя компьютерные программы и раньше обнаруживали доказательства, это открытие было одним из первых случаев, когда компьютерная программа обнаружила новую или ранее неясную идею. Колтон доказал множество результатов о числах, поддающихся рефакторингу, показав, что их бесконечно много, и доказав множество ограничений на их распределение. Лишь позже Колтона предупредили, что Кеннеди и Купер ранее исследовали эту тему.