Un algoritmo lineal para el conteo de #2SAT en fórmulas tipo árbol con subfórmulas serial paralelo

Resumen

Este artículo presenta un algoritmo de tiempo lineal para resolver el problema de conteo #2SAT en fórmulas booleanas de dos formas normales conjuntivas (2-CNF) con una estructura específica. El enfoque se centra en fórmulas cuya representación gráfica forma árboles con subgrafos serie-paralelo en sus nodos interiores u hojas.