Uma reinterpretação da análise padrão de classes de resíduos do mapa 3x+1 (Collatz) em termos de dois operadores elementares em progressões aritméticas. O cálculo resultante (i) separa qualquer progressão em suas subsequências pares e ímpares em um único passo, (ii) fornece uma fórmula fechada para cada conjunto de sementes que realiza uma palavra de paridade prescrita, (iii) gera um invariável afim que proíbe trajetórias consistindo de infinitos movimentos ímpares, e (iv) reduz o problema do ciclo não trivial a um par de congruências lineares.
Sebastian Angermund (Mon,) estudou esta questão.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: