Lição
A teoria — Discador matemático de endereços Stargate
Um endereço de portal é uma seleção ordenada sem repetição — uma permutação. A ordem importa (os mesmos símbolos marcados numa sequência diferente são um endereço diferente) e nenhum símbolo se repete, que é exatamente o caso contado por P(n, k) = n! / (n − k)!.
O que significa cada símbolo
n- o número de símbolos disponíveis no anel:
39. k- quantos são marcados:
7. P(n, k)- a contagem de seleções ordenadas,
39! / 32! = 77,519,922,480. destinations- a contagem menor,
1,987,690,320— endereços que realmente vão para algum lado, uma vez reservado um dos sete.
De onde vem a fórmula
- Contar a marcação diretamente. O primeiro símbolo tem 39 opções; o segundo tem 38, porque nenhum símbolo se repete; o terceiro 37, e assim sucessivamente para sete escolhas.
- Multiplicando:
39 × 38 × 37 × 36 × 35 × 34 × 33. Escrito com fatoriais isto é39! / 32!, já que o32!final é precisamente a parte não utilizada — que é a fórmula apresentada acima,= 77,519,922,480. - Agora fixe o último glifo como o ponto de origem, e apenas seis ficam livres dos 38 restantes:
P(38, 6) = 38 × 37 × 36 × 35 × 34 × 33 = 1,987,690,320. Esse é o segundo número, e é exatamente o primeiro dividido por 39.
Como ler o que vê
Duas contagens lado a lado com a fórmula entre elas. O aspeto interessante é a sua razão: o valor dos destinos é o total dividido por exatamente 39, o que é a assinatura aritmética de ter reservado uma das sete posições.
- Pressupõe
- Que nenhum símbolo se repete e que a ordem importa. Se omitir a primeira condição, elevaria 39 à sétima potência; se omitir a segunda, estaria a contar combinações, o que para 7 em 39 é menor por um fator de
7! = 5040. - Falha quando
- Contagens elevadas dão uma falsa sensação de grandeza a uma pesquisa. Quase dois mil milhões de endereços parecem uma galáxia inesgotável, mas uma contagem de permutações não diz nada sobre quantos são válidos — a maioria das sequências não apontaria para lado nenhum, tal como a maioria das sequências de sete letras não são palavras. Contar as possibilidades é a metade fácil; saber quais têm significado é a metade difícil, e nenhum fatorial lho dirá.
Problema resolvido na íntegra
-
Soma de verificação para uma predefinição de 7 glifos ponderada por 17( i + 3) 8 passos
A predefinição 7 glifos (estável) marca 3, 9, 17, 21, 28, 35, 1. O painel pondera o glifo na posição i — contando a partir de zero — por 17(i + 3), soma e reduz mod 97. Calcule a soma de controlo à mão; depois, decida se marcar dois desses glifos na ordem inversa poderia alguma vez passar despercebido.
-
Escreva primeiro os pesos, pois tudo o que se segue é aritmética sobre eles. Sete posições, sete pesos, e aumentam em passos de exatamente 17 — essa regularidade é todo o motor da demonstração no final.
-
Multiplique o número de cada glifo pelo peso da respetiva posição e some. Nada é modular ainda; trata-se de uma soma ordinária, e o 17 poderia ser colocado em fator comum em todos os termos, se preferisse.
-
Divida agora por 97 e guarde o resto: 129 vezes o 97 cabem inteiramente em 12 597 e deixam 84. É esse o valor indicado no painel Soma de controlo (mod 97), e é o último número que esta dedução retira da ferramenta; tudo o que se segue é seu.
-
Eis a pergunta a que o painel não consegue responder. Troque os glifos nas posições i e j: todos os outros termos na soma permanecem inalterados, pelo que o total varia apenas por uma quantidade — os dois glifos trocaram de peso. Desenvolva a expressão e a diferença dos pesos reduz-se a 17(i − j), porque os pesos formam uma progressão aritmética com razão 17.
-
Teste essa fórmula em vez de confiar nela. As posições 0 e 1 contêm 3 e 9, logo Δ = 17(0 − 1)(9 − 3) = −102, e −102 deixa 92 mod 97 — prevendo 84 + 92 = 176, que é 79. Peça à ferramenta os mesmos sete glifos com os dois primeiros trocados,
?address=9,3,17,21,28,35,1, e o painel indica 79. -
Para que uma troca passe despercebida, Δ tem de ser não apenas pequeno, mas zero mod 97 — a soma de controlo tem de voltar a ser 84. Assim, 97 tem de dividir 17(i − j)(vj − vi). O número 97 é primo e não divide 17, e um produto é múltiplo de um número primo apenas se um dos seus fatores já o for: logo, 97 tem de dividir a diferença entre posições ou a diferença entre glifos por si só.
-
Nenhuma das duas o pode fornecer. Duas posições diferentes distam no máximo 8 entre si, porque existem no máximo nove chevrons; dois glifos diferentes escolhidos de 1 a 39 diferem no máximo 38. Ambas as diferenças são não nulas e ambas são menores que 97, pelo que Δ nunca é 0 mod 97. Nenhuma transposição de dois glifos é invisível para esta soma de controlo — nem para este endereço, nem para qualquer endereço que se possa marcar, porque nove chevrons é o que mantém a diferença entre posições abaixo de 97. Forneça à ferramenta um endereço mais longo através do URL e essa garantia é a primeira coisa a desaparecer.
-
Detetar todas as transposições não é o mesmo que certificar o endereço, e é aqui que o painel discretamente promete mais do que cumpre. Das 5 039 outras ordenações destes mesmos sete glifos, 62 também resultam em 84 — quando 97 compartimentos iguais dariam cerca de 52. Aproximadamente uma em cada cem ordens erradas é lida como correta. Rejeita o erro de marcação mais comum e nada mais.
Resposta
84 — e nenhuma troca de dois glifos pode alguma vez mantê-la em 84. No entanto, essa garantia é um limite, não uma propriedade de somas de controlo: só se mantém enquanto 97 for maior do que a maior diferença entre posições e a maior diferença entre glifos. Amplie o anel para 98 glifos e ela falha de imediato — 1, 98, 17, 21, 28, 35, 3 e 98, 1, 17, 21, 28, 35, 3 produzem ambos 35, porque a sua diferença de 97 é aniquilada pelo módulo (calculado aqui; o anel da ferramenta para em 39). É precisamente por isso que os dígitos de controlo do IBAN são calculados mod 97 em vez de mod 10: escolha um primo maior do que qualquer variação possível no campo e todas as transposições serão forçadas a revelar-se. A ferramenta calcula a soma de controlo e nada diz sobre o que ela deteta, e o valor de 62 em 5 039 é a segunda coisa que nunca calcula — aquela que nos faz deixar de confiar no painel.
-
Referências (1)
- Ordered selections without repetition, which is what P(n, k) counts: I. Niven, "Permutations and Combinations," in Mathematics of Choice: How to Count Without Counting, 7–26. Mathematical Association of America.