3-SAT vers clique

Also known as 3-SAT, 3CNFSAT, 3-satisfiability, 3SAT

problème algorithmique

Wikidata facts

Image: Sat reduced to Clique from Sipser.svg

Sources (1)

wikidata.org

via Wikidata · CC0

Article · Français

En informatique théorique, plus précisément en théorie de la complexité, le problème 3-SAT est un problème surtout utilisé pour démontrer que d'autres problèmes sont NP-difficiles. C'est l'un des 21 problèmes NP-complets de Karp.

Abstract from DBpedia / Wikipedia · CC BY-SA

Available in 6 languages

via Wikidata sitelinks · CC0

Connections

boolean satisfiability problem

Entity

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

boolean satisfiability problem

Entitydist 0.30

satisfiability modulo theories

Davis–Putnam algorithm

3-SAT vers clique

Wikidata facts

Article · Français

Available in 6 languages

Connections

Similar entities

Categories

Similar entities