From c2a4d40da3981f26de14e5cd4bbfe4686e52060c Mon Sep 17 00:00:00 2001 From: udlbook <110402648+udlbook@users.noreply.github.com> Date: Fri, 4 Apr 2025 15:15:23 -0400 Subject: [PATCH] Created using Colab --- Trees/SAT_Construction.ipynb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Trees/SAT_Construction.ipynb b/Trees/SAT_Construction.ipynb index 3d76093..48045ca 100644 --- a/Trees/SAT_Construction.ipynb +++ b/Trees/SAT_Construction.ipynb @@ -4,7 +4,7 @@ "metadata": { "colab": { "provenance": [], - "authorship_tag": "ABX9TyOsCrbBAxlKgc659gtbRD52", + "authorship_tag": "ABX9TyPHpSfq+tkEJ6pqN8jebPBC", "include_colab_link": true }, "kernelspec": { @@ -270,7 +270,7 @@ "\n", "1. Top left element $r_{0,0}$ is the first data element\n", "\n", - "$$ r_{00} \\Leftrightarrow x_{1}$$\n", + "$$ r_{00} \\Leftrightarrow x_{0}$$\n", "\n", "2. Remaining elements $r_{0,1:}$ must be false\n", "\n",