Tamaño del Conjunto Backdoor
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
La cardinalidad mínima de un conjunto de variables proposicionales tal que alguna asignación de esas variables reduce la instancia a un fragmento tratable especificado (p. ej., Horn, 2-SAT).