Reference
33. Greek-letter quick reference
| Letter | Common CS uses |
|---|---|
| Parameters, type variables | |
| Paths, environments, distributions | |
| Change, transition function, difference | |
| Empty string, error tolerance | |
| Angle, parameter, tight asymptotic bound | |
| Anonymous function, eigenvalue, rate | |
| Mean | |
| Probability distribution, predecessor | |
| Ratio, correlation | |
| Standard deviation, alphabet | |
| Type, time/deadline | |
| Formula, potential function | |
| Frequency, lower asymptotic bound |
There is no universal rule saying what each letter means. Definitions take priority.
34. Reading checklist
When you encounter an unfamiliar formula, ask:
1. What is being defined or claimed?
Look to the left of:
2. What are the variables?
Find statements like:
3. What are the constraints?
Look below:
4. What does each index range over?
Example:
5. What is the outermost operation?
For:
first compute the maximum for each , then minimize those results.
Order matters:
is generally not equal to:
6. Is this an exact equality or a bound?
Compare:
with:
and:
7. Is anything rounded?
Look for:
8. Is a symbol overloaded?
Determine whether means:
- absolute value;
- set size;
- string length;
- determinant.
35. Compact decoding example
Take:
Decode from the inside outward:
- : capacity of path before deadline .
- : prevent negative capacity.
- : add capacities of all paths.
- : require enough capacity for all ants.
- : collect every valid integer deadline.
- : select the earliest valid deadline.
- : call that result .
Plain English:
is the earliest integer turn at which the paths can collectively deliver all ants.
36. Quick LaTeX cheat sheet
| Desired symbol | LaTeX |
|---|---|
\forall | |
\exists | |
\in | |
\notin | |
\subseteq | |
\cup | |
\cap | |
\varnothing | |
\Rightarrow | |
\Leftrightarrow | |
\le | |
\ge | |
\neq | |
\sum | |
\prod | |
\min | |
\max | |
\arg\min | |
\lfloor x\rfloor | |
\lceil x\rceil | |
\mathbb N | |
\mathbb Z | |
\mathbb R | |
\Theta | |
\Omega | |
\lambda | |
\varepsilon | |
\infty | |
\square |
Inline formula
The running time is $O(n \log n)$.Display formula
$$
T(n)=2T(n/2)+O(n)
$$Multi-line derivation
$$
\begin{aligned}
A_{k+1}
&=
\frac{N+D_{k+1}-(k+1)}{k+1}\\
&=
\frac{N+D_k+\Delta_{k+1}-(k+1)}{k+1}
\end{aligned}
$$37. Personal formula-analysis template
Copy this under any equation in your Obsidian notes:
### Formula analysis
$$
% Paste the formula here
$$
#### Variables
- $x$:
- $n$:
- $i$:
#### Domains
- $x\in$:
- $n\in$:
- $i\in$:
#### Main operator
- Operator:
- Meaning:
#### Constraints
- Constraint 1:
- Constraint 2:
#### Read from the inside outward
1.
2.
3.
4.
#### Plain-English translation
>
#### Why it is useful
-
#### Small numerical example
-38. One-page mental model
Tip
When reading a formula, use this sequence:
Objects → domains → constraints → inner operations → outer operation → conclusion
Example:
- Objects:
- Domains:
- Constraint:
- Inner operation: calculate
- Next operation: take the largest value with
- Outer operation: choose the allocation minimizing that maximum
- Conclusion: best possible finishing time