Número do mal

mal	odioso
Os primeiros 16 números do mal e de ódio em binário little-endian. Pode-se ver que ambas as sequências diferem apenas nos bits menos significativos, que formam a sequência de Thue-Morse para o mal, e sua negação para os números odiosos. Os outros bits formam os números pares.

Em teoria dos números, um número do mal é um número inteiro não-negativo que possui um número par de dígitos 1 em sua representação binária.^[1] Esses números fornecem as posições dos valores zero na sequência de Thue-Morse, e por esta razão também foram chamados de conjunto de Thue-Morse.^[2] Inteiros não negativos que não são maus são chamados de número do ódio.

Exemplos[editar | editar código-fonte]

Os primeiros números do mal são:

0, 3, 5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30, 33, 34, 36, 39...^[1]

Somas iguais[editar | editar código-fonte]

A partição dos inteiros não negativos em números do ódio e do mal é a partição única desses números em dois conjuntos que possuem multiconjuntos iguais de somas aos pares.^[3]

Como mostrou o matemático do século XIX, Eugène Prouhet, a divisão em números maus e odiosos dos números de $0$ para $2^{k}-1$ , para qualquer $k$ , fornece uma solução para o problema de Prouhet-Tarry-Escott de encontrar conjuntos de números cujas somas de potências são iguais até a potência $k$ .^[4]

Referências

↑ ^a ^b Sloane, N. J. A. (ed.), «Sequência A001969 (Evil numbers: numbers with an even number of 1's in their binary expansion)», On-Line Encyclopedia of Integer Sequences (em inglês), OEIS Foundation
↑ Charlier, Émilie; Cisternino, Célia; Massuir, Adeline (2019), «State complexity of the multiples of the Thue-Morse set», Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, Electron. Proc. Theor. Comput. Sci. (EPTCS) (em inglês), 305, pp. 34–49, MR 4030092, arXiv:1903.06114, doi:10.4204/EPTCS.305.3
↑ Lambek, J.; Moser, L. (1959), «On some two way classifications of integers», Canadian Mathematical Bulletin (em inglês), 2 (2): 85–89, MR 104631, doi:10.4153/CMB-1959-013-x
↑ Wright, E. M. (1959), «Prouhet's 1851 solution of the Tarry-Escott problem of 1910», American Mathematical Monthly (em inglês), 66 (3): 199–201, JSTOR 2309513, MR 104622, doi:10.2307/2309513

[:0-1] Sloane, N. J. A. (ed.), «Sequência A001969 (Evil numbers: numbers with an even number of 1's in their binary expansion)», On-Line Encyclopedia of Integer Sequences (em inglês), OEIS Foundation

[2] Charlier, Émilie; Cisternino, Célia; Massuir, Adeline (2019), «State complexity of the multiples of the Thue-Morse set», Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, Electron. Proc. Theor. Comput. Sci. (EPTCS) (em inglês), 305, pp. 34–49, MR 4030092, arXiv:1903.06114, doi:10.4204/EPTCS.305.3

[3] Lambek, J.; Moser, L. (1959), «On some two way classifications of integers», Canadian Mathematical Bulletin (em inglês), 2 (2): 85–89, MR 104631, doi:10.4153/CMB-1959-013-x

[4] Wright, E. M. (1959), «Prouhet's 1851 solution of the Tarry-Escott problem of 1910», American Mathematical Monthly (em inglês), 66 (3): 199–201, JSTOR 2309513, MR 104622, doi:10.2307/2309513

[1]

[2]

[3]

[4]