Возник вот такой вопрос. Пусть мы строим ориентированный граф (вершины - натуральные числа), так, что из вершины

строится стрелка в вершину

, если и только если, для заданных функций

и

делится на

. Что можно сказать о графе, зная что-нибудь о этих функциях?
Пока только ясно, что если

- константа, то граф выглядит как некое конечное множество точек (такие

, что

делит эту константу), и из всех точек идет ребро в каждую точку из этого множества. Если

делится на

для всех

, то граф будет "транзитивным".