¿Qué es la teoría de Ramsey y cómo se relaciona con la informática?

La idea básica de la teoría de Ramsey es que el desorden completo es imposible, y que las estructuras lo suficientemente grandes deben tener ciertas propiedades, incluso si son aleatorias.

El ejemplo clásico está relacionado con los colores de los bordes en los gráficos. Toma un gráfico y lanza una moneda por cada borde para decidir si es rojo o azul. Si comienza con un gráfico lo suficientemente grande, tiene la garantía de obtener una subgrafía completa de tamaño [math] k [/ math] cuyos bordes son todos del mismo color. Puede hacer que esto funcione con cualquier número finito de colores, pero deberá comenzar con gráficos más grandes.

Hay otro ejemplo directo en el teorema de Erdős-Szekeres. Para cualquier número entero positivo [matemática] r [/ matemática] y [matemática] s [/ matemática], una secuencia de números reales distintos cuya longitud es al menos [matemática] (r – 1) (s – 1) + 1 [/ matemática] se garantiza que contiene una subsecuencia de longitud monotónicamente creciente [matemática] r [/ matemática] o una subsecuencia de longitud monotónicamente decreciente [matemática] s [/ matemática]. No importa cómo organice los números, simplemente no puede evitarlo.

http://www.cs.umd.edu/~gasarch/T… tiene una lista de artículos en informática que utilizan la teoría de Ramsey. No creo que sea posible dar una visión general de cómo son las aplicaciones sin ser un experto, pero esto al menos debería darle una idea de lo que hay ahí fuera.

La teoría de Ramsey es difícil de explicar en términos simples, pero es muy aplicable en la teoría de la complejidad, que es una rama de la informática. Muchas veces en la teoría de la complejidad haces preguntas sobre cuál será el tiempo de ejecución de un algoritmo, y construyes un autómata finito para resolverlo. La teoría de Ramsey ayuda a comprender los autómatas finitos. Estoy seguro de que aparece en otros lugares de la informática, pero ese es el único lugar donde lo he usado.

More Interesting

Cómo tener éxito en informática si no soy demasiado bueno en matemáticas y nunca he hecho física

¿Es posible crear un lenguaje completo de Turing con solo un puntero de instrucción modificable, una operación de intercambio y un incremento por una operación?

Educación en Ciencias de la Computación: ¿Cómo el aprendizaje de matemáticas discretas te hace un mejor programador?

¿Las matemáticas son importantes en la programación?

¿Cómo puede la informática teórica informar a la neurociencia?

Como estudiante de secundaria, ¿cómo puedo aprender Matemáticas para la informática?

¿Es posible mejorar el rendimiento computacional aprovechando la necesidad de menor precisión?

¿Cómo se usa la teoría de juegos en la IA?

¿Cómo es la codificación, como las matemáticas, o como escribir en otro idioma?

¿Cuál es el mejor lenguaje de programación para un matemático?

¿Cuáles son los pasos que debo seguir para dominar las matemáticas? ¿Y cuál es la forma más rápida de alcanzar este objetivo?

Cómo explicar intuitivamente por qué [matemáticas] \ frac {n!} {(N + 1)!} [/ Matemáticas] [matemáticas] = \ frac {1} {n + 1} [/ matemáticas]

Cómo demostrar que [matemáticas] E (n, k) = \ Theta (n ^ \ frac {1} {k}) [/ matemáticas] para la recurrencia del problema clásico de caída de huevos

¿Cuál es la correlación entre las matemáticas y la informática? ¿Por qué es necesario?

¿Qué tipo de conocimiento matemático se requiere para una carrera en programación?