Commit 5053bad5 authored by pjeanmai's avatar pjeanmai
Browse files

traduction CNF ->graphe

parent 18c5e006
......@@ -511,6 +511,21 @@ Maintenant que l'on sait faire apprendre nos réseaux de neurones, il reste
maintenant à trouver une structure à notre réseau. Pour l'apprentissage sur les
graphes, ce n'est pas évident de prime abord.
\subsection{Traduction des formules \SAT}
Les formules propositionnelles considérées dans \SAT\ sont représentées sous
forme normale conjonctive (conjonction de clauses de taille fixée).
Deux façons d'encoder ces formules dans des graphes sont présentées:
\begin{itemize}
\item les graphes de facteurs clause-variable (figure) dans lesquels clauses
et variables sont deux types de n\oe uds distincts: les graphes ainsi formés
sont bipartis, et l'étiquette des arêtes représente la négation ou non de
la variable dans la clause;
\item les graphes variable-variable, dans lesquels les n\oe uds correspondent
aux variables de la formule et les arêtes relient les variables apparaissant
au moins une fois dans la même clause.
\end{itemize}
\subsection{Résultats sur des réseaux de neurones}
\section{\SAT~Solving avec des réseaux de neurones}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment