Treewidth de Incidencia
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
El treewidth del grafo de incidencia de una fórmula lógica o una instancia CNF: el grafo de incidencia tiene un vértice por cada variable y por cada cláusula, y aristas entre una variable y cada cláusula que la contiene; el treewidth de incidencia mide cuán cercano está este bipartito a un árbol.