Differences

This shows you the differences between two versions of the page.

--- aa:lab:8 [2025/11/30 23:26]
mihnea.gheorghe
+++ aa:lab:8 [2025/12/04 12:08] (current)
mihnea.gheorghe fix notation consistency
@@ Line 8: / Line 8: @@
 stă la baza multor algoritmi și structuri de date.
-==== TDA Arbori Binari ====
+<note>
+Reamintim definiția TDA-ului pentru un arbore binar abstract:
-Reamintim definiția unui arbore binar abstract:
 \( \text{Nil}: \mathrm{BTree} \)\\
-\( \text{Node}: E \times \mathrm{BTree} \times \mathrm{BTree} \to \mathrm{BTree} \)
+\( \text{Node}: \mathbb{E} \times \mathrm{BTree} \times \mathrm{BTree} \to \mathrm{BTree} \)
-unde \(E\) este o [[https://en.wikipedia.org/wiki/Partially_ordered_set|mulțime parțial ordonată]].
+unde \(\mathbb{E}\) este o [[https://en.wikipedia.org/wiki/Partially_ordered_set|mulțime parțial ordonată]].
 Pentru simplitate vom folosi \(\mathbb{N}\), mulțimea numerelor naturale, însă putem lucra
 cu orice mulțime peste care este definită o relație de ordine \(\le\).
+</note>
-----
 ==== Definiția operatorului \(\mathrm{isBST}\) ====
@@ Line 26: / Line 24: @@
 \( \mathrm{isBST} : \mathrm{BTree} \to \mathrm{Bool} \\
 \mathrm{isBST}(t) = \mathrm{isBSTBetween}(t, -\infty, +\infty) \\
-\mathrm{isBSTBetween} : \mathrm{BTree} \times \overline{E} \times \overline{E} \to \mathrm{Bool} \\
+\mathrm{isBSTBetween} : \mathrm{BTree} \times \overline{\mathbb{E}} \times \overline{\mathbb{E}} \to \mathrm{Bool} \\
 \mathrm{isBSTBetween}(\mathrm{Nil}, lo, hi) = \text{true} \\
-\mathrm{isBSTBetween}(\mathrm{Node}(x,l,r), lo, hi)
+\mathrm{isBSTBetween}(\mathrm{Node}(x,l,r), lo, hi) = (lo \le x \le hi)
-\;\equiv\;
-(lo \le x \le hi)
 \;\land\;
 \mathrm{isBSTBetween}(l, lo, x)
@@ Line 36: / Line 32: @@
 \mathrm{isBSTBetween}(r, x, hi). \)
-unde \(\overline{E} = E \cup \{-\infty, +\infty\}\).
+unde \(\overline{\mathbb{E}} = \mathbb{E} \cup \{-\infty, +\infty\}\).
 Elementele \(-\infty\) și \(+\infty\) extind domeniul astfel încât:
-\( -\infty < x < +\infty,\forall x \in E. \)
+\( -\infty < x < +\infty,\forall x \in \mathbb{E}. \)
@@ Line 47: / Line 43: @@
 . Scrieți axiomele pentru următorii operatori:
-  * $ {\rm Partioning} \le_p {\rm SubsetSum}$
+  * $ {\mathrm{insert} : \mathbb{E} \times \mathrm{BTree} \to \mathrm{BTree} } $
-  * $ {\rm SubsetSum} \le_p {\rm Partioning}$
+  * $ {\mathrm{min} : \mathrm{BTree} \to \mathbb{E} } $
-  * $ {\rm HamiltonianCycle} \le_p {\rm HamiltonianPath}$
+  * $ {\mathrm{max} : \mathrm{BTree} \to \mathbb{E} } $
-  * $ {\rm GraphUnreachability} \le_p {\rm 2SAT}$ unde $ {\rm GraphUnreachability}$ intreaba daca NU exista nici un drum intre doua noduri $ s$ si $ t$ intr-un graf $ G$
-  * $ {\rm 3SAT} \le_p {\rm kVertexCover}$
+. Completați fragmentul de cod Python pentru calculul drumului mediu în găsirea unui element x
+într-un Arbore Binar de Căutare construit pe baza operatorului $ {\mathrm{insert}} $ din exercițiul anterior:
+<file python bst_path.py>
+import random
+class Node:
+    def __init__(self, x):
+        self.x = x
+        self.left = None
+        self.right = None
+def insert(root, x):
+    # TODO: inserați x în arbore
+    pass
+def search_path_length(root, x):
+    # TODO: calculați lungimea drumului până la x
+    pass
+def average_search_path(n):
+    """Construiește un BST dintr-o permutare aleatoare și măsoară media."""
+    perm = list(range(1, n + 1))
+    random.shuffle(perm)
+    root = None
+    for x in perm:
+        root = insert(root, x)
+    lengths = [search_path_length(root, x) for x in perm]
+    return sum(lengths) / n
+def experiment(trials=2000, n=100):
+    total = 0
+    for _ in range(trials):
+        total += average_search_path(n)
+    return total / trials
+for n in [10, 20, 50, 100, 200, 500, 1000]:
+    avg = experiment(trials=1000, n=n)
+    print(f"n = {n} → lungime medie ≈ {avg:.3f}")
+</file>
+Rezultatul teoretic:
+\(
+E[L] = \tfrac{2 (n + 1)}{n} (H_{n+1} - 1) - 1
+= \tfrac{2 (n + 1)}{n} (\tfrac{1}{2} + \tfrac{1}{3} + \dots + \tfrac{1}{n} + \tfrac{1}{n+1}) -1
+\)
+Cum ar putea fi îmbunătățit drumul mediu și care este acesta pentru un arbore echilibrat?
+. Demonstrați (prin inducție structurală) că următoarele păstrează invariantul \(\mathrm{isBST}\):
+  * $ {\mathrm{insert}} $
+  * $ {\mathrm{delete}} $
 <note>
-Soluțiile acestui laborator se găsesc [[https://ocw.cs.pub.ro/ppcarte/doku.php?id=aa:lab:sol:7|aici]]
+Soluțiile acestui laborator se găsesc [[https://ocw.cs.pub.ro/ppcarte/doku.php?id=aa:lab:sol:8|aici]]
 </note>