Posts de febrero de 2020
- Producto de Kronecker
- Reducción de SAT a Clique
- Grafo de una FNC (fórmula en forma normal conjuntiva)
- Cliques de orden k
- Subconjuntos de orden k
- Cliques de un grafo
- Parejas de un conjunto
- Nodos y conexiones de un grafo
- Problema SAT para FNC (fórmulas en forma normal conjuntiva)
- Modelos de FNC (fórmulas en forma normal conjuntiva)
- Interpretaciones de FNC (fórmulas en forma normal conjuntiva)
- Átomos de FNC (fórmulas en forma normal conjuntiva)
- Evaluación de FNC (fórmulas en forma normal conjuntiva)
- Conjetura de Lemoine
- Conjetura de Collatz generalizada
- La menos conocida de las conjeturas de Goldbach
- Triángulo de Bell
- Números de Bell
- Máximo número de consecutivos iguales al dado
- Entre dos potencias sucesivas