La conclusión es: En matemáticas combinatorias, el teorema de Ramsey es resolver el siguiente problema. Es necesario encontrar un número mínimo n, de modo que entre n personas, k personas deben conocerse o l personas. no deben conocerse.
En mayo de 2011, se celebró en la Universidad Normal de Zhejiang, Liu Jiayi, un estudiante de la Facultad de Ciencias Matemáticas y Tecnología Informática de la Universidad Central, una conferencia académica sobre lógica organizada conjuntamente por la Universidad de Pekín, la Universidad de Nanjing y la Universidad Normal de Zhejiang. La Universidad del Sur, que ama la lógica matemática, dio un informe. Esta pregunta pública sin respuesta fue respondida negativamente y la conjetura de Sitapan quedó completamente resuelta.
La conjetura de Sitapan es una conjetura sobre la fuerza de la prueba del teorema de los dos colores de Ramsey en el campo de las matemáticas inversas propuesta por el lógico matemático británico Sitapan en la década de 1990.
Información ampliada:
El "teorema de los dos colores de Ramsey" lleva el nombre de Frank Prompton Ramsey. La definición del número de Ramsey es el número de Ramsey. El lenguaje de la teoría de grafos tiene dos descripciones: para. todos los gráficos de N-tops, una camarilla que contiene k tops o un conjunto independiente de l tops.
El número natural más pequeño N con tales propiedades se llama número de Ramsey, registrado como R(k, l). Se describe en la teoría de coloración de esta manera. Para 2 lados cualesquiera del gráfico completo Kn. (e1, e2), si Kn[e1] contiene un gráfico subcompleto de orden k y Kn[e2] contiene un gráfico subcompleto de orden l, entonces el n más pequeño que satisface esta condición se llama número de Ramsey.
Ramsey demostró que para números enteros positivos k y l dados, la respuesta a R(k, l) es única y finita.