Cambalache 3,14 - La vidriera irrespetuosa


Que el mundo fue y será una porquería, ya lo sé.

Lema de Zifra (otro similar)

Definición: Problema 2-1EQSAT

ENTRADA: Un conjunto de variables U={up} y un conjunto de cláusulas generalizadas C={cq} sobre U, siendo cada una de ellas la disyunción de un literal con una equivalencia lógica de literales de variables de U: [u,v≡w].

PREGUNTA: ¿Existe una asignación de verdad para U que satisfaga C?

Teorema: 2-1EQSAT es NP-completo.

2005-11-07 08:23 | Categoría: | 0 han comentado esto | Enlace permanente | Etiquetas: | Y dicen por ahí

Referencias (TrackBacks)

URL de trackback de esta historia http://zifra.blogalia.com//trackbacks/34464

Comentarios

Nombre
Correo-e
URL
Dirección IP: 54.198.111.185 (2dbb658a2f)
Comentario
¿Cuánto es: diez mil + uno?

Busca en Cambalache


Blogalia


Se comenta en Cambalache

  • Pau en Pobre buzón
  • Nfer en Pobre buzón
  • Nfer en Pobre buzón
  • Anónima en Pobre buzón
  • Anónima en Pobre buzón
  • Anónima en Los numeros negativos y el deseo
  • Pau de valencia en Los numeros negativos y el deseo
  • Pedro en Tú es que nunca has tenido una ex
  • Anónima en Tú es que nunca has tenido una ex
  • Zifra en Muerte en el olvido (Ángel González)
  • Categorías:

    Archivos:

    <Julio 2018
    Lu Ma Mi Ju Vi Sa Do
                1
    2 3 4 5 6 7 8
    9 10 11 12 13 14 15
    16 17 18 19 20 21 22
    23 24 25 26 27 28 29
    30 31          


    Lista de Enlaces

    De interés

    E-góticos

    Mis otros

    FotoFlickr


    Blogalia



    Versión para la columna lateral


    zifra. Get yours at bighugelabs.com/flickr
    2003-2006 Zifra – Powered by Blogalia – Estadísticas: Nedstat Basic - Web site estadísticas gratuito El contador para sitios web particulares