Principios combinatorios

De Wikipedia, la enciclopedia libre

Al probar los resultados en combinatoria, se reconocen y utilizan comúnmente varias reglas combinatorias o principios combinatorios útiles.

La regla de la suma, la regla del producto y el principio de inclusión-exclusión se utilizan a menudo con fines enumerativos. Las pruebas biyectivas se utilizan para demostrar que dos conjuntos tienen el mismo número de elementos. El principio de casillero a menudo determina la existencia de algo o se usa para determinar el número mínimo o máximo de algo en un contexto discreto.

Muchas identidades combinatorias surgen de métodos de conteo doble o del método del elemento distinguido. La generación de funciones y relaciones de recurrencia son herramientas poderosas que pueden usarse para manipular secuencias y pueden describir, si no resolver, muchas situaciones combinatorias.

Regla de la suma[editar]

La regla de la suma es un principio intuitivo que establece que si hay posibles resultados para un evento (o formas de hacer algo) y posibles resultados para otro evento (o formas de hacer otra cosa), y los dos eventos no pueden ocurrir a la vez ( o las dos cosas no se pueden hacer ambas), entonces hay un total de posibles resultados para los eventos (o posibles formas totales de hacer una de las cosas). Más formalmente, la suma de los tamaños de dos conjuntos disjuntos es igual al tamaño de su unión.

Regla del producto[editar]

La regla del producto es otro principio intuitivo que establece que si hay formas de hacer algo y formas de hacer otra cosa, entonces hay formas de hacer ambas cosas.

Principio de inclusión-exclusión[editar]

Inclusión-exclusión ilustrada para tres conjuntos

El principio de inclusión-exclusión relaciona el tamaño de la unión de múltiples conjuntos, el tamaño de cada conjunto y el tamaño de cada posible intersección de los conjuntos. El ejemplo más pequeño es cuando hay dos conjuntos: el número de elementos en la unión de A y B es igual a la suma del número de elementos en A y B, menos el número de elementos en su intersección.

Generalmente, de acuerdo con este principio, si son conjuntos finitos, entonces

Regla de la división[editar]

Afirma que hay formas de hacer una tarea si se puede hacer mediante un procedimiento que se puede realizar de formas, y para todas las formas , exactamente de las formas corresponden a la forma .

Prueba Biyectiva[editar]

Las demostraciones biyectivas prueban que dos conjuntos tienen el mismo número de elementos al encontrar una función biyectiva (correspondencia uno a uno) de un conjunto al otro.

Cuenta doble[editar]

El conteo doble es una técnica que equipara dos expresiones que cuentan el tamaño de un conjunto de dos maneras.

Principio de casillas[editar]

El principio de casillas establece que si cada artículo se coloca en una de las cajas , donde , entonces una de las cajas contiene más de un artículo. Usando este se puede, por ejemplo, demostrar la existencia de algún elemento en un conjunto con algunas propiedades específicas.

Método de elemento distinguido[editar]

El método del elemento distinguido destaca un "elemento distinguido" de un conjunto para probar algún resultado.

Función generadora[editar]

Las funciones generadoras se pueden considerar como polinomios con infinitos términos cuyos coeficientes corresponden a los términos de una secuencia. Esta nueva representación de la secuencia abre nuevos métodos para encontrar identidades y formas cerradas pertenecientes a ciertas secuencias. La función generadora (ordinaria) de una secuencia an es

Relación de recurrencia[editar]

Una relación de recurrencia define cada término de una secuencia en términos de los términos precedentes. Las relaciones de recurrencia pueden conducir a propiedades previamente desconocidas de una secuencia, pero generalmente son más deseables las expresiones de forma cerrada para los términos de una secuencia.

Referencias[editar]

Enlaces externos[editar]

Esta obra contiene una traducción derivada de «Combinatorial principles» de la Wikipedia en inglés, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 3.0 Unported.