About: dbpedia-fr:Problème

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Problème_2-SAT Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	2-satisfiability (it) Problème 2-SAT (fr) قابلية الإرضاء الثنائية (ar)
rdfs:comment	En informatique théorique, le problème 2-SAT est un problème de décision. C'est une restriction du problème SAT qui peut être résolu en temps polynomial, alors que le problème général est NP complet. Le problème 2-SAT consiste à décider si une formule booléenne en forme normale conjonctive, dont toutes les clauses sont de taille 2, est satisfaisable. De telles formules sont appelées 2-CNF ou formules de Krom. (fr)
sameAs	dbr:2-satisfiability wikidata:Q4596967 dbpedia-ar:قابلية_الإرضاء_الثنائية dbpedia-it:2-satisfiability http://g.co/kg/m/02hkyt http://ma-graph.org/entity/15481378
Wikipage page ID	10961611 (xsd:integer)
Wikipage revision ID	176447361 (xsd:integer)
dbo:wikiPageWikiLink	Boolean algebra category-fr:Problème_algorithmique dbpedia-fr:Classe_de_complexité Clause (logic) Complete (complexity) Strongly connected component dbpedia-fr:Forme_normale_conjonctive dbpedia-fr:Graphe_orienté dbpedia-fr:Implication_(logique) Theoretical computer science Literal (mathematical logic) NL (complexity) dbpedia-fr:P_(complexité) dbpedia-fr:Problème_NP-complet dbpedia-fr:Problème_SAT dbpedia-fr:Problème_d'accessibilité dbpedia-fr:Problème_de_décision dbpedia-fr:Théorème_d'Immerman-Szelepcsényi
page length (characters) of wiki page	9259 (xsd:nonNegativeInteger)
dct:subject	category-fr:Problème_algorithmique
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Section_à_sourcer dbpedia-fr:Modèle:Section_à_vérifier
prov:wasDerivedFrom	wikipedia-fr:Problème_2-SAT?oldid=176447361&ns=0
foaf:depiction
prop-fr:fr	graphe antisymétrique (fr) graphe d'implication (fr)
prop-fr:trad	Skew-symmetric graph (fr) Implication graph (fr)
thumbnail	wiki-commons:Special:FilePath/Implication_graph.svg?width=300
foaf:isPrimaryTopicOf	wikipedia-fr:Problème_2-SAT
has abstract	En informatique théorique, le problème 2-SAT est un problème de décision. C'est une restriction du problème SAT qui peut être résolu en temps polynomial, alors que le problème général est NP complet. Le problème 2-SAT consiste à décider si une formule booléenne en forme normale conjonctive, dont toutes les clauses sont de taille 2, est satisfaisable. De telles formules sont appelées 2-CNF ou formules de Krom. (fr)
is dbo:wikiPageWikiLink of	Horn clause Strongly connected component dbpedia-fr:Forme_normale_conjonctive dbpedia-fr:Formule_booléenne_quantifiée NL (complexity) dbpedia-fr:Problème_3-SAT dbpedia-fr:Problème_NP-complet dbpedia-fr:Problème_SAT ♯P-complete dbpedia-fr:2-SAT dbpedia-fr:2SAT
is Wikipage redirect of	dbpedia-fr:2-SAT dbpedia-fr:2SAT
is oa:hasTarget of	Ar labels It labels Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Problème_2-SAT

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 14 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software