Cambalache 3,14 - La vidriera irrespetuosa


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

Lema de Zifra

Definición: Problema 2EQSAT

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 dos equivalencias lógicas de literales de variables de U: [u≡v,w≡x].

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

Teorema: 2EQSAT es NP-completo.

2005-11-02 22:34 | 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/34345

1
De: Cambalache v.3.14 - La vidriera irrespetuosa Fecha: 2005-11-06 23:08

Algarve: «Sevilla, comienzo del viaje, autobús a Huelva, encuentro con una amiga rubísima, bellísima, simpatiquísima; un atardecer de lujo; Huelva - Ayamonte: hora y media para 40 kilómetros, me recoge Jose Inacio, Portugal,»



Comentarios

Nombre
Correo-e
URL
Dirección IP: 54.196.17.193 (19d82de263)
Comentario

Busca en Cambalache


Blogalia


Se comenta en Cambalache

  • Mizar en La décima, la milonga y otros hermosos temas por Drexler.
  • Pedro en Mariposas Imposibles
  • Anónima en 10 de Marzo de 1991
  • Anónima en Ya nunca juego al ajedrez Años de plomo (la película)
  • Anónima en No, no es la Diada ni son las torres gemelas de Manhattan...
  • Zifra en Olvido
  • Anónimo en Olvido
  • Zifra en Quantum State-Independent Contextuality Requires 13 Rays
  • Anónima en Álgido
  • nfernefer en Álgido
  • Categorías:

    Archivos:

    <Mayo 2017
    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