Trabajo “contando palabras”

July 19, 2022

Abstract

1 Pasos a seguir
1. Primero dé ejemplos bien diversos de palabras (funciones o arreglos) que
pertenecen y otras que no pertenecen al conjunto propuesto.
2. Describa con palabras comunes cómo son las palabras que se deben deter-
minar.
3. Examinar exhaustivamente su problema con parámetros pequeños i.e n, m, k ∈
{0, 1, 2} en estos casos, sin uso de ordenador se pueden exhibir todos los
elementos.
4. En cada caso se deben elaborar programas en SAGE para enumerar y
contar los conjuntos de funciones (o palabras). Determine procedimientos
que le ayudarán a construir los programas.
5. Lo fundamental es buscar argumentos combinatorios que corrabore y am-
plie los resultados obtenidos computacionalmente.

No se necesita resolver totalmente el problema, en algunos casos es suficiente

dar razón exhaustiva de sus dificultades, también podrá ser necesario limitar los
parámetros y/o modificar las levemente las definiciones. No dude en preguntar
(¡para confuntirte mejor!) y sobretodo gócese esta aventura!

2 Problemas designados
Tome el número formado por las dos últimas cifras de su código, saque el residuo
al dividir entre 11 y ese es el número de su problema. Se acepta presentaciones
en grupo naturalmente si comprten ese residuo, en tal caso se espera más y
mejores resultados.

0. Funciones en que las imágenes se separan suficientemente:

F (n, m, k) = {f ∈ [m]n : (∀i) | f (i) − f (i + 1) |> k}

1. Funciones en que las imágenes están suficientemente cercanas:

F (n, m, k) = {f ∈ [m]n : (∀i) | f (i) − f (i + 1) |< k}

1
 2. Hay exactamente k lugares en donde se repite el valor

F (n, m, k) = {f ∈ [m]n : |{i ∈ [n] : f (i) = f (i + 1)}| = k}

3. F (n, m, k) = {f ∈ [m]n : (∀i) | f (i) = f (i + k)}

4. La imágenes se igualan solamente en lugares cercanos

F (n, m, k) = {f ∈ [m]n : f (i) = f (j) ⇒| i − j |< k}

5. Para cierto paso (k) las imágenes debe ser diferentes.

F (n, m, k) = {f ∈ [m]n : f (i) 6= f (i + k) (∀i ∈ {0, . . . n − k − 1}) }

6. Todas las que aparecen al principio deben volver a aparecer

F (n, m, k) = {f ∈ [m]n : f ({0, · · · , k − 1}) = f ({k, · · · , n − 1})}

7. Los que aparecen al principio, no vuelven a aparecer

F (n, m, k) = {f ∈ [m]n : f ({0, · · · , k − 1}) ∩ f ({k, · · · , n − 1}) = ∅}

Pk−1 Pn−1
8. F (n, m, k) = {f ∈ [m]n : i=0 f (i) = i=k f (i)}

9. Palabras equilibradas: Si k = 2 la suma de los términos pares es igual a

la suma de los términos impares
X X
F (n, m, k) = {f ∈ [m]n : f (2i) = f (2i + k)}
i

10. F (n, m, k) = {f ∈ [m]n : (∀j < n − 2) (f (j) < k ⇒ f (j + 1) ≥ k)}