Calculadora de Inclusión-Exclusión

Calculadora de Inclusión-Exclusión

La Calculadora de Inclusión-Exclusión calcula el tamaño de una unión de conjuntos finitos, |A₁ ∪ A₂ ∪ … ∪ A_n|, utilizando el principio de inclusión-exclusión, una de las identidades más utilizadas en combinatoria y probabilidad discreta. Ingrese los elementos brutos del conjunto, o simplemente las cardinalidades conocidas de cada intersección, y la calculadora devolverá el tamaño de la unión, la expansión firmada completa, los tamaños de cada región de Venn disjunta y un diagrama en vivo, para 2 a 5 conjuntos a la vez.

El Principio de Inclusión-Exclusión

Para dos conjuntos finitos A y B, sumar sus tamaños cuenta dos veces los elementos presentes en ambos. Restar la intersección corrige este exceso de conteo:

Para tres conjuntos, restar cada intersección por pares elimina el conteo triple dos veces, por lo que volvemos a sumar la intersección triple:

En general, para n conjuntos los signos alternan con el tamaño de la intersección que se está contando:

Hay 2ⁿ − 1 subconjuntos no vacíos de {1, …, n}, por lo que la fórmula tiene 3 términos para 2 conjuntos, 7 para 3 conjuntos, 15 para 4 conjuntos y 31 para 5 conjuntos. La calculadora evalúa cada término individualmente y muestra su signo para que pueda seguir la derivación.

Dos Modos de Entrada

Elija el modo que coincida con los datos que tiene. La mayoría de los problemas de los libros de texto le dan directamente las cardinalidades; las tareas de programación suelen darle los conjuntos en sí.

En el modo Cardinalidades, cualquier intersección que omita se asume que es cero. Los separadores aceptados para la etiqueta de intersección incluyen A∩B, A&B y AB, con barras opcionales alrededor de la expresión (|A∩B|).

Tamaños de Regiones Disjuntas — Inversión de Möbius

Más allá del tamaño de la unión, la calculadora devuelve el tamaño de cada región disjunta del diagrama de Venn. La región etiquetada como "solo en A y B pero no en C" cuenta los elementos que pertenecen exactamente a esos conjuntos. La suma de los tamaños de todas las regiones disjuntas es igual a la unión, lo que ofrece una comprobación instantánea de coherencia.

Esta es la dual de inversión de Möbius de la inclusión-exclusión. Por ejemplo, con tres conjuntos:

Si ingresa cardinalidades inconsistentes — por ejemplo, |A∩B| > |A| — la calculadora rechazará la entrada. Si los tamaños individuales pasan pero los valores combinados aún no pueden provenir de conjuntos reales, una o más regiones serán negativas, lo que se marca con una advertencia.

Ejemplo Práctico — Encuesta Escolar de 3 Conjuntos

A una clase de 100 estudiantes se les pregunta qué deportes practican. 50 juegan al fútbol (A), 40 al baloncesto (B), 30 al tenis (C). 15 juegan tanto A como B, 10 tanto A como C, 8 tanto B como C, y 3 juegan los tres. ¿Cuántos juegan al menos un deporte?

Por lo tanto, 90 de cada 100 estudiantes practican al menos uno de estos deportes; 10 no practican ninguno. El desglose por regiones revela más: 28 juegan solo al fútbol, 20 solo al baloncesto, 15 solo al tenis, 12 juegan al fútbol y baloncesto pero no al tenis, y así sucesivamente.

Cómo usar esta calculadora

1. Elija un modo de entrada — Elementos si tiene los artículos, Cardinalidades si solo tiene los tamaños.
2. Ingrese sus datos en el área de texto, una línea por conjunto o una línea por cardinalidad conocida.
3. Elija el número de conjuntos (2 a 5) en el modo Cardinalidades. En el modo Elementos, el conteo se detecta automáticamente.
4. Haga clic en Calcular Unión y Regiones. El resultado muestra |⋃ Aᵢ| en una tarjeta destacada, la expansión completa de inclusión-exclusión con cada término firmado, un SVG de diagrama de Venn (para 2, 3 o 4 conjuntos) y una tabla con cada región disjunta y su tamaño.
5. Pase el cursor sobre una región de Venn o una fila de la tabla para resaltar la entrada correspondiente, una prueba visual rápida de que la tabla y el diagrama representan la misma descomposición.

Aplicaciones comunes

• Combinatoria — conteo de desajustes, suryecciones, permutaciones con posiciones prohibidas.
• Probabilidad — P(A ∪ B ∪ C) para eventos, desigualdad de Boole, la paradoja del cumpleaños.
• Teoría de números — conteo de enteros coprimos a un producto mediante la función de Euler: la fórmula φ es pura inclusión-exclusión.
• Análisis de encuestas — preguntas sobre "cuántos encuestados pertenecen a al menos una categoría".
• Consultas de bases de datos — estimación del tamaño de UNIONs a partir de COUNTs de INTERSECTs.
• Ciencias de la computación — algoritmos de criba, estimación de cardinalidad de índices de mapas de bits, conteo de alcance de GDPR/HIPAA.

Consejos y Errores Comunes

• No olvide volver a sumar la intersección triple. El error más común de los estudiantes en problemas de 3 conjuntos es detenerse después de restar los pares, produciendo una respuesta demasiado pequeña.
• Faltante ≠ cero cuando se trata de conjuntos reales. En el modo Cardinalidades, una intersección omitida se trata como cero. Si su problema no dice que una intersección está vacía, probablemente deba incluirla.
• Cada intersección ≤ cada conjunto contenedor. |A ∩ B| nunca puede exceder el min(|A|, |B|). La calculadora rechaza las entradas imposibles de inmediato.
• Use el modo Elementos cuando pueda. Elimina toda la clase de errores de "¿ingresé correctamente cada intersección?" al derivar las intersecciones de los propios conjuntos.

Preguntas frecuentes

¿Qué es el principio de inclusión-exclusión?

El principio de inclusión-exclusión es una identidad de conteo que da el tamaño de una unión de conjuntos en términos de los tamaños de los conjuntos mismos y sus intersecciones. Para dos conjuntos dice |A ∪ B| = |A| + |B| − |A ∩ B|. Para tres conjuntos se vuelve a sumar una corrección por la triple intersección, y para n conjuntos los signos alternan, sumando conjuntos individuales, restando pares, sumando triples, y así sucesivamente.

¿Cuál es la diferencia entre el modo Elementos y el modo Cardinalidades?

El modo Elementos espera los elementos reales de cada conjunto, una línea por conjunto, y la calculadora encuentra cada intersección automáticamente. El modo Cardinalidades espera solo los tamaños de los conjuntos y sus intersecciones y es ideal para resolver problemas de lógica donde se sabe cuántas personas prefieren té, café o ambos, sin que se den los nombres reales.

¿Por qué mi calculadora muestra tamaños de región negativos?

Los tamaños de región negativos en el modo Cardinalidades significan que sus entradas son inconsistentes; ninguna colección de conjuntos reales puede tener esos tamaños de intersección. Por lo general, esto sucede cuando la intersección de pares o triples es mayor de lo que los conjuntos individuales pueden soportar. Vuelva a verificar los números; cada intersección debe ser menor o igual a cada uno de los conjuntos que la contienen.

¿Cuántos conjuntos puede manejar esta calculadora?

La calculadora admite de 2 a 5 conjuntos. El diagrama de Venn se genera para 2, 3 y 4 conjuntos; la tabla de desglose de regiones se muestra para cualquier número de conjuntos, incluido el 5. Para problemas más grandes, la expansión de inclusión-exclusión se vuelve difícil de manejar, por lo que la mayoría de los problemas de los libros de texto llegan a un máximo de 4 o 5 conjuntos.

¿Qué es una región disjunta?

Una región disjunta es una pieza del diagrama de Venn que pertenece exactamente a una combinación de conjuntos y a ninguna otra. Para tres conjuntos A, B, C hay siete regiones no vacías: solo A, solo B, solo C, solo A∩B, solo A∩C, solo B∩C y A∩B∩C. Sus tamaños suman |A ∪ B ∪ C|, lo cual es una forma rápida de verificar un cálculo de inclusión-exclusión.

¿Puedo usar la calculadora con conjuntos infinitos o continuos?

La calculadora está diseñada para conjuntos finitos cuyos tamaños son números enteros no negativos. Para problemas de probabilidad o teoría de la medida con conjuntos continuos, aún puede aplicar la identidad de inclusión-exclusión conceptualmente, pero la herramienta numérica espera cardinalidades que pueda escribir como números enteros.

Lecturas Adicionales

• Principio de inclusión-exclusión — Wikipedia
• Diagrama de Venn — Wikipedia
• Fórmula de inversión de Möbius (Inglés) — Wikipedia
• Desarreglos (una aplicación clásica de IE) — Wikipedia

Operaciones matemáticas avanzadas:

• Calculadora de Antilogaritmo
• Calculadora de funciones Beta
• Calculadora de Coeficientes Binomiales
• Calculadora de distribución binomial
• Calculadora Bit a Bit
• Calculadora del Teorema del Límite Central
• Calculadora de Combinación Destacado
• Calculadora de Función de Error Complementaria
• Calculadora de Números Complejos
• Calculadora de Entropía
• Calculadora de función error
• Calculadora de decaimiento exponencial
• Calculadora de Crecimiento Exponencial de Alta Precisión Destacado
• Calculadora de Integral Exponencial
• Calculadora de Exponentes (Alta Precisión)
• Calculadora de Factorial
• Calculadora de Función Gamma
• Calculadora de Proporción Áurea
• Calculadora de Media Vida
• Calculadora de Tasa de Crecimiento Porcentual Destacado
• Calculadora de Permutación Destacado
• Calculadora de Distribución de Poisson
• Calculadora de Raíces de Polinomios con Pasos Detallados
• Calculadora de probabilidad
• Calculadora de Distribución de Probabilidad
• Calculadora de Proporciones
• Calculadora de Fórmula Cuadrática
• Calculadora Científica
• Calculadora de notación científica Destacado
• Calculadora de Cifras Significativas Nuevo
• Calculadora de Suma de Cubos
• Calculadora de suma de números enteros positivos
• Calculadora de Suma de Cuadrados
• Generador de Tabla de Verdad
• Calculadora de Teoría de Conjuntos
• Generador de Diagrama de Venn (3 Conjuntos)
• Calculadora del Teorema Chino del Resto
• Calculadora de la Función Totiente de Euler
• Calculadora del Algoritmo Euclidiano Extendido
• Calculadora del Inverso Multiplicativo Modular
• Calculadora de fracciones continuas
• Calculadora de Camino más Corto de Dijkstra
• Calculadora de Árbol de Expansión Mínimo
• Validador de secuencia de grados de grafo
• Calculadora de Desarreglo (Subfactorial)
• Calculadora de Números de Stirling
• Calculadora del Principio del Palomar
• Calculadora de Estado Estacionario de Cadena de Markov
• Calculadora de Redondeo Nuevo
• Calculadora de Distribución Binomial Negativa Nuevo
• Calculadora de Permutaciones con Repetición Nuevo
• Calculadora de Exponenciación Modular Nuevo
• Calculadora de Raíz Primitiva
• Simplificador de Álgebra Booleana Nuevo
• Solucionador de Mapa de Karnaugh (K-Map) Nuevo
• Calculadora de Coloración de Grafos Nuevo
• Calculadora de Ordenación Topológica Nuevo
• Calculadora de Matriz de Adyacencia Nuevo
• Calculadora de Inclusión-Exclusión Nuevo
• Solucionador de Programación Lineal Nuevo
• Solucionador del Viajante de Comercio (TSP) Nuevo
• Verificador de Camino Hamiltoniano Nuevo
• Verificador de Grafo Planar Nuevo
• Calculadora de Flujo de Red (Flujo Máximo) Nuevo
• Solucionador del Problema del Matrimonio Estable Nuevo
• Calculadora de Orden en Teoría de Grupos Nuevo
• Calculadora de Anillos y Cuerpos Nuevo