Problem SAT

Iz MaFiRaWiki

Ta članek ali del članka je v delu. Veseli bomo, če ga boste dopolnili in popravili.

Kaj pomeni to opozorilo?

Problem izpolnjivosti (SAT) je problem obstoja valuacije, ki dani Boolovi formuli v konjunktivni normalni obliki (KNO) priredi vrednost 1.

Problem SAT je NP-poln.

Glej tudi

Osebna orodja