kristoferssolo/Theory-of-Algorithms-Cheatsheet
1
0
Fork 0
mirror of https://github.com/kristoferssolo/Theory-of-Algorithms-Cheatsheet.git synced 2025-10-21 20:10:39 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

better reduction notation in some headings

Browse Source
This commit is contained in:
jorenchik 2025-06-14 20:46:36 +03:00
parent 7eda2fb26e
commit 56718280ef
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
main.typ
View File

@ -389,21 +389,21 @@ nevar atrisināt.
- $M'(quote.angle.l.double s quote.angle.r.double)=1$, $M'(x)=M(x)$, ja $x$ nesatur $s$. - $M'(quote.angle.l.double s quote.angle.r.double)=1$, $M'(x)=M(x)$, ja $x$ nesatur $s$.
- $eqans(M'\# x \# quote.angle.l.double s quote.angle.r.double)=acc(M\#x)$. - $eqans(M'\# x \# quote.angle.l.double s quote.angle.r.double)=acc(M\#x)$.
=== #one/ #acc === #acc <= #one
- #underline("Pierādām"): Ja var atrisināt #one, tad var atrisināt arī #acc. - #underline("Pierādām"): Ja var atrisināt #one, tad var atrisināt arī #acc.
- Dots: $M, x$ - Dots: $M, x$
- Jādefinē: $M': one(M') = acc(M\# x)$. - Jādefinē: $M': one(M') = acc(M\# x)$.
- $M'$: nodzēš no lentes ieejas virkni $y$, uzraksta $x$, palaiž $M$ programmu. - $M'$: nodzēš no lentes ieejas virkni $y$, uzraksta $x$, palaiž $M$ programmu.
- Jebkurai $y, M'(y)=M(x)$. - Jebkurai $y, M'(y)=M(x)$.
=== #infinite/ #acc === #acc <= #infinite
- #underline("Pierādām"): Ja var atrisināt #infinite, tad var atrisināt arī #acc. - #underline("Pierādām"): Ja var atrisināt #infinite, tad var atrisināt arī #acc.
- Dots: $M, x$ - Dots: $M, x$
- Jādefinē: $M': infinite(M') = acc(M\# x)$. - Jādefinē: $M': infinite(M') = acc(M\# x)$.
- Jebkurai $y, M'(y)=M(x)$. - Jebkurai $y, M'(y)=M(x)$.
- Ja $M(x)=1$, tad $M'(y)=1$ jebkurai $y$. - Ja $M(x)=1$, tad $M'(y)=1$ jebkurai $y$.
=== #equiv / #acc === #acc <= #equiv
- #underline("Pierādām"): Ja var atrisināt #equiv, tad var atrisināt arī #acc. - #underline("Pierādām"): Ja var atrisināt #equiv, tad var atrisināt arī #acc.
- Dots: $M, x$ - Dots: $M, x$
- Jādefinē: $M_1, M_2: equiv(M_1, M_2) = acc(M\# x)$. - Jādefinē: $M_1, M_2: equiv(M_1, M_2) = acc(M\# x)$.