A probabilistic model for the problem and related maps

We construct a probabilistic model which “mimics” the behaviour of a certain number-theoretical algorithm. This model involves study of a binary tree with randomly labelled edges, such that the labels have different distributions, depending on their directions. A number of properties of this tree are rigorously studied. As an application, this study could suggest what one could expect in the original algorithm.