azalea/CSC110
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[F] A4 P1.3 Fix

Browse Source
This commit is contained in:
Hykilpikonna
2021-11-09 20:25:15 -05:00
parent b85d21d3d2
commit 63d474bbb9
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
assignments/a4/a4.tex
+4 -2
View File
@@ -89,8 +89,10 @@ Therefore $k\log_{14}n \geq k\log_{14}n$.
$$\forall f, g: \N \to \R^{\geq 0},~ g \in \cO(f) \land \big(\forall m \in \N,~ f(m) \geq 1 \big) \Rightarrow g \in \cO(\floor{f})$$ $$\forall f, g: \N \to \R^{\geq 0},~ g \in \cO(f) \land \big(\forall m \in \N,~ f(m) \geq 1 \big) \Rightarrow g \in \cO(\floor{f})$$
\begin{proof} \begin{proof}
Assume: $$\big(\forall m \in \N,~ f(m) \geq 1 \big) \Rightarrow g \in \cO(\floor{f})$$ Assume:
Also assume: $$\exists c_0, n_0 \in \R^+, \forall n \in \N, n \geq n_0 \Rightarrow g(n) \leq c_0 \cdot f(n)$$ $$\forall m \in \N,~ f(m) \geq 1$$
Also assume $g \in O(f)$, that is:
$$\exists c_0, n_0 \in \R^+, \forall n \in \N, n \geq n_0 \Rightarrow g(n) \leq c_0 \cdot f(n)$$
WTS: $$\exists c_1, n_1 \in \R^+, \forall n \in \N, n \geq n_1 \Rightarrow g(n) \leq c_1 \cdot \floor{f(n)}$$ WTS: $$\exists c_1, n_1 \in \R^+, \forall n \in \N, n \geq n_1 \Rightarrow g(n) \leq c_1 \cdot \floor{f(n)}$$
Choose $n_1 = n_0$ and $c_1 = 2c_0$. Choose $n_1 = n_0$ and $c_1 = 2c_0$.