Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit 8f90d72a authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain
Browse files

Mostly done?

parent e9e7a039
......@@ -17,7 +17,8 @@
"metadata": {},
"source": [
"# \"Generate and Test\" Algorithm with Stochastic CRN\n",
"* A stochastic CRN can be used to enumerate random Boolean values for a variable"
"\n",
"A stochastic CRN can be used to enumerate random Boolean values for a variable"
]
},
{
......@@ -101,7 +102,8 @@
"metadata": {},
"source": [
"## Question 2) Write a CRN to find values satisfying the formula (x⋁¬y)⋀(y⋁¬z)⋀(z⋁¬x)\n",
"* Use an event to stop the simulation when the formula is satisfied"
"\n",
"Use an event to stop the simulation when the formula is satisfied"
]
},
{
......@@ -175,11 +177,18 @@
"outputs": [],
"source": []
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {},
"outputs": [],
"source": []
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"## Question 5) Determine the phase transition threshold in 3-SAT\n",
"## Question 5) About the phase transition threshold in 3-SAT\n",
"\n",
"As seen in the class\n",
"* the density of a SAT instance is the ratio of the number of clauses divided by the number of variables\n",
......@@ -253,6 +262,13 @@
"outputs": [],
"source": []
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {},
"outputs": [],
"source": []
},
{
"cell_type": "markdown",
"metadata": {},
......@@ -276,6 +292,13 @@
"outputs": [],
"source": []
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {},
"outputs": [],
"source": []
},
{
"cell_type": "markdown",
"metadata": {},
......
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