Возник вот такой вопрос. Пусть мы строим ориентированный граф (вершины - натуральные числа), так, что из вершины
строится стрелка в вершину
, если и только если, для заданных функций
и
делится на
. Что можно сказать о графе, зная что-нибудь о этих функциях?
Пока только ясно, что если
- константа, то граф выглядит как некое конечное множество точек (такие
, что
делит эту константу), и из всех точек идет ребро в каждую точку из этого множества. Если
делится на
для всех
, то граф будет "транзитивным".