Problema: Deja . Definimos el triplete ordenado tan bueno si y (entonces la intersección tiene exactamente elementos). Dejar sea el número de tales pares interesantes.
¿Existe una fórmula para , y si es así, es la fracción ¿constante?
Pregunta: Creé un algoritmo de retroceso muy simple que calculó , y . No veo ninguna fórmula obvia para esto, ya que puede ser una progresión aritmética. Está claro que el número de intersecciones posibles es . Entonces, la pregunta sigue siendo de cuántas maneras posibles podemos organizar tales conjuntos de manera que todos incluyan al menos una vez todos los elementos.
¿Alguien puede arrojar algo de luz sobre qué noción teórica me estoy olvidando y dar una pista para la solución? Cualquier ayuda sería apreciada.
La respuesta es .
Como notó, todas las posibles intersecciones de son los posibles subconjuntos de dos elementos de , que son .
Para distribuir el otro elementos que necesitamos para elegir si cada uno de ellos pertenece exclusivamente a