Definición: Problema2EQSAT
ENTRADA: Un conjunto de variablesU={up}y un conjunto de cláusulas generalizadasC={cq}sobreU, siendo cada una de ellas la disyunción de dos equivalencias lógicas de literales de variables deU: [u≡v,w≡x].
PREGUNTA: ¿Existe una asignación de verdad paraUque satisfagaC?
Teorema:2EQSATes NP-completo.
URL de trackback de esta historia http://zifra.blogalia.com//trackbacks/34345
| 1 |
|
||
|
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,» |
|||
| < | Febrero 2012 | |||||
| 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 | ||||
