Skip to main content

View full-text article in PMC

. 2020 Dec 30;23(1):40. doi: 10.3390/e23010040

Table 5.

The $P_{b e s t}$ for all HNN models.

Model	$P_{b e s t}$
HNN-HORNSAT	$\begin{array}{l} C_{1} = W \lor \neg A \lor \neg G \\ C_{2} = E \lor \neg O \\ C_{3} = S \end{array}$
HNN-2SAT	$\begin{array}{l} C_{1} = W \lor A \\ C_{2} = G \lor E \\ C_{3} = \neg O \lor S \end{array}$
HNN-3SAT	$\begin{array}{l} C_{1} = \neg W \lor S \lor \neg R \\ C_{2} = A \lor C \lor G \\ C_{3} = E \lor O \lor K \end{array}$
HNN-MFTHORNSAT	$\begin{array}{l} C_{1} = W \lor A \lor \neg G \\ C_{2} = E \lor \neg O \\ C_{3} = S \end{array}$