dr_domi/udlbook
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Created using Colab

Browse Source
This commit is contained in:
udlbook
2025-04-04 15:15:23 -04:00
parent aa75d3ad73
commit c2a4d40da3
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
Trees/SAT_Construction.ipynb
View File

@@ -4,7 +4,7 @@
"metadata": { "metadata": {
"colab": { "colab": {
"provenance": [], "provenance": [],
"authorship_tag": "ABX9TyOsCrbBAxlKgc659gtbRD52", "authorship_tag": "ABX9TyPHpSfq+tkEJ6pqN8jebPBC",
"include_colab_link": true "include_colab_link": true
}, },
"kernelspec": { "kernelspec": {
@@ -270,7 +270,7 @@
"\n", "\n",
"1. Top left element $r_{0,0}$ is the first data element\n", "1. Top left element $r_{0,0}$ is the first data element\n",
"\n", "\n",
"$$ r_{00} \\Leftrightarrow x_{1}$$\n", "$$ r_{00} \\Leftrightarrow x_{0}$$\n",
"\n", "\n",
"2. Remaining elements $r_{0,1:}$ must be false\n", "2. Remaining elements $r_{0,1:}$ must be false\n",
"\n", "\n",