Teorema de Svéd-Vázsonyi

De testwiki
Saltar á navegación Saltar á procura

O principio do pombal di que se temos n buratos nun pombal e n+1 pombas daquela nalgún burato hai máis dunha pomba. O teorema que se atribúe a Márta Svéd e Andrew Vázsonyi usa este principio e trata sobre secuencias aleatorias e divisivilidade.[1]

Dada unha secuencia de Modelo:Mvar números aleatorios existe unha subsecuencia consecutiva cuxa suma é divisíbel polo número de elementos da secuencia orixinal.

Teorema de Svéd-Vázsonyi

Sexan os enteiros a1,a2,,an, que poden mesmo estar repetidos. Daquela hai un subconxunto de elementos consecutivos desa secuencia ak,ak+1,,al tal que a suma ak+ak+1+,al é un múltiplo de n.

Exemplo

Para unha secuencia aleatoria {3,7,1,4,1,1} temos n=6 se probramos o máis simple, sumas consecutivas desde o primeiro: {0,3,10,11,15,16,17}, non temos ningunha divisíbel por 6, mais se sumamos desde o segundo {0,7,8,12,} temos a secuencia con suma 7+1+4 é múltiplo de 6.

Demostración

Sexa S={0,1,,n} e R={0,1,,n1} e consideremos o mapa f:SR determinado polo residuo de f(m)=a1++am módulo n. Polo principio do pombal temos f(k)=f(l) para algún </math>k \lt l</math> en S e por tanto

i=k+1lai=i=1laii=1kai

faise cero módulo n. O subconxunto ak,ak+1,al ten a propiedade procurada, a súa suma é múltiplo de n.

Exemplo aplicando a demostración

Seguindo a demostración agora é moito simple obter o subconxunto de elementos consecutivos cuxa suma é divisíbel polo número total de elementos. Para a secuencia aleatoria {3,7,1,4,1,1} con sumas parciais {0,3,10,11,15,16,17} os residuos ao dividir entre 6 son {0,3,4,5,3,4,5}, vemos que hai dous residuos 3 e dous 4 e dous 5, polo principio do pombal debe haber alomenos 2 pombas no mesmo burato (dous residuos iguais), pero pode haber máis (se hai outros buratos baleiros). Así temos:

  • entre os dous 3:7+1+4=12.
  • entre os dous 4:1+4+1=6.
  • entre os dous 5:4+1+1=6.

Vexamos outro exemplo ao chou.

  • Para n=9 coa secuencia{2,8,4,1,19,17,2,3,12}.
  • Sumas consecutivas {0,2,10,14,15,34,51,53,56,68}.
  • Residuos módulo 9, {0,2,1,5,6,7,6,8,2,5}.

E seguindo a demostración:

  • de residuo 2 a 2 temos 562=54=96.
  • de 6 a 6 temos 19+17=36=94.
  • de 5 a 5 temos 6814=54=96.

Notas

Modelo:Reflist

Véxase tamén

Bibliografía

Outros artigos

Modelo:Control de autoridades