Problema de la fórmula booleana cuantificada

Problema de la fórmula booleana cuantificada

Problema de la fórmula booleana cuantificada

El lenguaje TQBF es un lenguaje formal de la ciencia computacional que contiene Fórmulas Booleanas Verdaderas Totalmente Cuantificadas. Una fórmula booleana plenamente cuantificada es una fórmula en lógica de primer orden donde toda variable es cuantificada (o atada), utilizando o el cuantificador existencial o el universal al principio de cada sentencia. Cualquier fórmula de este tipo es siempre verdadera o falsa (ya que no hay variables independientes). Si tal fórmula se evalúa como verdadera, entonces la fórmula está en el lenguaje TQBF. También es conocido como QSAT (SAT Cuantificado)

Obtenido de "Problema de la f%C3%B3rmula booleana cuantificada"

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • PSPACE-completo — En teoría de la complejidad computacional, la clase de complejidad PSPACE completo (PSPACE complete en inglés) es el subconjunto de los problemas de decisión en PSPACE y todo problema en PSPACE puede ser reducido a él en tiempo polinomial. Los… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”