UNIT 1: Introduction to Discrete Structure & Linear Algebra – Short Notes
1. Foundational Concepts
Set Theory
Definitions & Operations:
-
Union: $$\displaystyle A \cup B = \{x \mid x \in A \text{ or } x \in B\} $$
-
Intersection: $$\displaystyle A \cap B = \{x \mid x \in A \text{ and } x \in B\} $$
-
Difference: $$\displaystyle A - B = \{x \mid x \in A \text{ and } x \notin B\} $$
-
Complement: $$\displaystyle A' = U - A $$ (relative to universal set $U$)
-
Cartesian Product: $$\displaystyle A \times B = \{(a,b) \mid a \in A, b \in B\} $$
Key Set Identities (Prove via Venn Diagrams):
- De Morgan's Laws:
$$(A \cup B)' = A' \cap B'$$
$$(A \cap B)' = A' \cup B'$$
- Distributive Laws:
$$A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$$
$$A \cup (B \cap C) = (A \cup B) \cap (A \cup C)$$
- Difference Law:
$$A - (B \cap C) = (A - B) \cup (A - C)$$
[!TIP] Exam Tip: For Venn diagram proofs, shade LHS and RHS separately and show they cover identical regions. Always label sets clearly.
Propositional Logic
Basic Connectives:
| Symbol | Meaning | Example |
|---|---|---|
| $\neg p$ | Negation | "It is not below freezing." |
| $p \land q$ | Conjunction | "Below freezing and snowing." |
| $p \lor q$ | Disjunction | "Snowing or below freezing (or both)." |
| $p \Rightarrow q$ | Implication | "If below freezing, then snowing." |
| $p \Leftrightarrow q$ | Biconditional | "Below freezing iff snowing." |
Truth Tables: Construct for any compound proposition.
Tautology: Always true (e.g., $p \lor \neg p$).
Contradiction: Always false (e.g., $p \land \neg p$).
Logical Equivalences (Laws of Algebra of Propositions):
-
Identity: $p \land T \equiv p$, $p \lor F \equiv p$
-
Domination: $p \lor T \equiv T$, $p \land F \equiv F$
-
Idempotent: $p \lor p \equiv p$, $p \land p \equiv p$
-
Double Negation: $\neg(\neg p) \equiv p$
-
Commutative, Associative, Distributive
-
De Morgan's: $\neg(p \land q) \equiv \neg p \lor \neg q$, $\neg(p \lor q) \equiv \neg p \land \neg q$
-
Implication: $p \Rightarrow q \equiv \neg p \lor q$
-
Biconditional: $$\displaystyle p \Leftrightarrow q \equiv (p \Rightarrow q) \land (q \Rightarrow p) $$
Normal Forms:
-
Disjunctive Normal Form (DNF): OR of ANDs (minterms).
Example: $(p \land q) \lor (\neg p \land q)$
-
Conjunctive Normal Form (CNF): AND of ORs (maxterms).
Example: $(p \lor q) \land (\neg p \lor q)$
[!TIP] Common Pitfall: $p \Rightarrow q$ is not equivalent to $q \Rightarrow p$. Use truth tables to verify.
2. Relations and Ordered Sets
Properties of Relations (on set $A$)
| Property | Definition | Example |
|---|---|---|
| Reflexive | $\forall a \in A, (a,a) \in R$ | $\le$ on $\mathbb{R}$ |
| Symmetric | $(a,b) \in R \Rightarrow (b,a) \in R$ | $$\displaystyle = $$ on $\mathbb{R}$ |
| Transitive | $(a,b) \in R \land (b,c) \in R \Rightarrow (a,c) \in R$ | $\le$ on $\mathbb{R}$ |
| Irreflexive | $\forall a \in A, (a,a) \notin R$ | $$\displaystyle < $$ on $\mathbb{R}$ |
| Antisymmetric | $$\displaystyle (a,b) \in R \land (b,a) \in R \Rightarrow a=b $$ | $\le$ on $\mathbb{R}$ |
Equivalence Relation: Reflexive, symmetric, and transitive.
Example: Congruence modulo $m$: $a \equiv b \pmod{m} \iff m \mid (a-b)$.
[!TIP] Proof Strategy: For $R$ defined by $aRb \iff P(a,b)$, check each property by assuming $a,b,c \in A$ and verifying the logical condition.
Transitive Closure
Definition: Smallest transitive relation containing $R$. Denoted $$\displaystyle R^+ $$ or $$\displaystyle R^* $$ (if reflexive also included).
Common Relations on $\mathbb{Z}$:
-
$$\displaystyle aSb \iff a+1 = b $$ → Transitive closure is $a \le b$.
-
$$\displaystyle aRb \iff a-b = 2 $$ → Transitive closure is $a \equiv b \pmod{2}$ (same parity).
-
$$\displaystyle aRb \iff a^2 - b^2 $$ divisible by 4 → Transitive closure is $a \equiv b \pmod{2}$ (same parity).
Composite Relations: $$\displaystyle R^2 = R \circ R = \{(a,c) \mid \exists b, (a,b) \in R \land (b,c) \in R\} $$.
[!TIP] Exam Question: "If $R$ is irreflexive, is $$\displaystyle R^2 $$ necessarily irreflexive?"
Answer: No. Counterexample: $$\displaystyle R = \{(1,2), (2,1)\} $$ on $\{1,2\}$. $R$ is irreflexive, but $$\displaystyle R^2 = \{(1,1), (2,2)\} $$ is reflexive.
Partial Orders and Hasse Diagrams
Poset (Partially Ordered Set): Set $A$ with relation $\le$ that is reflexive, antisymmetric, transitive.
Hasse Diagram Construction:
-
Draw vertices for elements.
-
Draw edge $a \to b$ if $$\displaystyle a < b $$ and no $c$ with $$\displaystyle a < c < b $$.
-
Omit reflexive loops and transitive edges.
-
Place smaller elements lower.
Example Divisibility Posets:
-
$$\displaystyle D_{15} = \{1,3,5,15\} $$:
15 / \ 3 5 \ 1 -
$$\displaystyle D_{24} = \{1,2,3,4,6,8,12,24\} $$:
24 / | \ 12 8 6 / \ | / 4 3 2 \ / 1
Lattice: Poset where every pair $\{a,b\}$ has least upper bound (join, $a \vee b$) and greatest lower bound (meet, $a \wedge b$).
Example: $$\displaystyle (D_m, \mid) $$ is a lattice with $$\displaystyle a \vee b = \text{lcm}(a,b) $$, $$\displaystyle a \wedge b = \text{gcd}(a,b) $$.
Extreme Elements in Poset:
-
Minimal: No element strictly smaller.
-
Maximal: No element strictly larger.
-
Least: Smaller than all others (unique if exists).
-
Greatest: Larger than all others (unique if exists).
[!TIP] Hasse Diagram Rules: Never draw edges upward. Covering relation: $a$ covers $b$ if $$\displaystyle a > b $$ and no element between.
Special Relations
Factor Relation: On $$\displaystyle \mathbb{Z}^+ $$, $aRb \iff a \mid b$ (a divides b). Reflexive, antisymmetric, transitive → partial order.
Congruence Modulo $m$: $a \equiv b \pmod{m} \iff m \mid (a-b)$.
Proof it's equivalence:
-
Reflexive: $$\displaystyle a-a=0 $$, divisible by $m$.
-
Symmetric: If $m \mid (a-b)$, then $m \mid (b-a)$.
-
Transitive: If $m \mid (a-b)$ and $m \mid (b-c)$, then $m \mid (a-c)$.
3. Algebraic Structures
Groups
Definition: Set $G$ with binary operation $*$ satisfying:
-
Closure: $a*b \in G$
-
Associativity: $$\displaystyle (a*b)*c = a*(b*c) $$
-
Identity: $\exists e \in G$ s.t. $$\displaystyle e*a = a*e = a $$
-
Inverse: $\forall a \in G$, $$\displaystyle \exists a^{-1} $$ s.t. $$\displaystyle a*a^{-1} = a^{-1}*a = e $$
Examples:
-
$(\mathbb{Z}, +)$: Infinite cyclic group.
-
$$\displaystyle (\mathbb{Z}_n, +_n) $$: Finite cyclic group.
-
$$\displaystyle (\mathbb{Z}_n^*, \times_n) $$: Units modulo $n$ (e.g., $$\displaystyle \mathbb{Z}_7^* = \{1,2,3,4,5,6\} $$ under $$\displaystyle \times_7 $$).
-
$\{-1,1,i,-i\}$ under multiplication: Abelian, cyclic (generated by $i$).
Subgroup $H \le G$:
-
Nonempty subset closed under operation and inverses.
-
Test: $H \neq \emptyset$ and $\forall a,b \in H$, $$\displaystyle a*b^{-1} \in H $$.
Example: In $$\displaystyle G = \{e,a,a^2,a^3,b,ab,a^2b,a^3b\} $$ (dihedral-like), $$\displaystyle H = \{e,a,a^2,a^3\} $$ is subgroup (closed, contains identity/inverses).
Normal Subgroup: $H \trianglelefteq G$ iff $$\displaystyle xHx^{-1} = H $$ for all $x \in G$.
Equivalent: Left cosets = right cosets.
Abelian Group: Operation commutative: $$\displaystyle a*b = b*a $$ for all $a,b$.
Cyclic Group: $\exists g \in G$ s.t. $$\displaystyle G = \{g^n \mid n \in \mathbb{Z}\} $$. $g$ is generator.
[!TIP] Subgroup Proof: Show $e \in H$, closure under operation, and closure under inverses. For finite groups, use "nonempty and closed under operation" suffices (by pigeonhole).
Rings and Fields
Ring $(R, +, \cdot)$:
-
$(R, +)$ is abelian group.
-
$\cdot$ is associative.
-
Distributive laws hold.
Commutative Ring: $\cdot$ is commutative.
Ring with Unity: Has multiplicative identity $1 \neq 0$.
Field: Commutative ring with unity where every nonzero element has multiplicative inverse.
Examples: $$\displaystyle \mathbb{Q}, \mathbb{R}, \mathbb{C}, \mathbb{Z}_p $$ (p prime).
Ring Homomorphism: $f: R \to S$ with $$\displaystyle f(a+b)=f(a)+f(b) $$, $$\displaystyle f(ab)=f(a)f(b) $$, $$\displaystyle f(1_R)=1_S $$.
Semigroups
Definition: Set $S$ with associative binary operation. No identity/inverse required.
Example: $(\mathbb{N}, +)$ is semigroup but not group (no additive inverses).
Property: If $$\displaystyle a*c = c*a $$ and $$\displaystyle b*c = c*b $$, then $$\displaystyle (a*b)*c = c*(a*b) $$?
Proof: $$\displaystyle (a*b)*c = a*(b*c) = a*(c*b) = (a*c)*b = (c*a)*b = c*(a*b) $$. Uses associativity and commutativity with $c$.
4. Graph Theory
Basic Concepts
Graph $$\displaystyle G = (V,E) $$: $V$ = vertices, $E$ = edges (unordered pairs for simple graph).
-
Simple Graph: No loops, no multiple edges.
-
Multigraph: Allows multiple edges.
-
Weighted Graph: Edge $e$ has weight $w(e)$ (cost/distance).
Degree: $$\displaystyle \deg(v) = $$ number of incident edges.
Handshaking Lemma: $$\displaystyle \sum_{v \in V} \deg(v) = 2|E| $$.
Corollary: Number of vertices with odd degree is even.
Representations:
-
Adjacency Matrix: $$\displaystyle A_{ij} = 1 $$ if edge $(i,j) \in E$, else 0.
-
Adjacency List: For each vertex, list neighbors.
-
Edge List: List of edges.
Special Graphs
Niche Overlap Graph: Vertices = species, edge if niches overlap (competition).
Example: Birds: Hermit thrush competes with robin & blue jay; robin with mockingbird; mockingbird with blue jay; nuthatch with hairy woodpecker → edges: (H,R), (H,B), (R,M), (M,B), (N,HW).
Eulerian & Hamiltonian
Eulerian Circuit: Closed trail containing every edge exactly once.
Condition: Connected and all vertices even degree.
Eulerian Path: Trail (not necessarily closed) containing every edge exactly once.
Condition: Connected and exactly 0 or 2 vertices of odd degree.
Hamiltonian Cycle: Cycle containing every vertex exactly once.
Hamiltonian Path: Path containing every vertex exactly once.
No simple necessary/sufficient condition (unlike Eulerian). Dirac's theorem: If $\deg(v) \ge n/2$ for all $v$, then Hamiltonian.
Graph Coloring
Proper Coloring: Adjacent vertices get different colors.
Chromatic Number $\chi(G)$: Minimum colors needed.
Greedy Algorithm: Color vertices in order, assign smallest available color.
Example: Complete graph $$\displaystyle K_n $$: $$\displaystyle \chi(K_n)=n $$. Bipartite graph: $\chi \le 2$.
[!TIP] Euler vs Hamiltonian: Eulerian cares about edges (use degrees), Hamiltonian cares about vertices (NP-complete problem).
Shortest Path Problems
Goal: Find path with minimum total weight (sum of edge weights).
Dijkstra's Algorithm: For non-negative weights.
-
Initialize: Set distance to source = 0, others = $\infty$.
-
Greedily pick unvisited vertex with smallest distance.
-
Update neighbors' distances via current vertex.
-
Repeat until all visited.
Applications: Airfare/toll/distance minimization.
5. Recurrence Relations
Linear Homogeneous with Constant Coefficients
Form: $$\displaystyle a_n = c_1 a_{n-1} + c_2 a_{n-2} + \dots + c_k a_{n-k} $$.
Steps:
-
Characteristic Equation: $$\displaystyle r^k - c_1 r^{k-1} - \dots - c_k = 0 $$.
-
Find roots $$\displaystyle r_1, r_2, \dots, r_k $$.
-
General solution:
-
Distinct real roots: $$\displaystyle a_n = A_1 r_1^n + A_2 r_2^n + \dots $$
-
Repeated root $r$ of multiplicity $m$: $$\displaystyle a_n = (A_1 + A_2 n + \dots + A_m n^{m-1}) r^n $$.
-
-
Use initial conditions to solve for constants $$\displaystyle A_i $$.
Example 1: $$\displaystyle a_n = a_{n-1} + 6a_{n-2} $$, $$\displaystyle a_0=3 $$, $$\displaystyle a_1=6 $$.
-
Characteristic: $$\displaystyle r^2 - r - 6 = 0 \Rightarrow (r-3)(r+2)=0 $$, $$\displaystyle r=3,-2 $$.
-
General: $$\displaystyle a_n = A \cdot 3^n + B \cdot (-2)^n $$.
-
Initial: $$\displaystyle a_0=3 \Rightarrow A+B=3 $$; $$\displaystyle a_1=6 \Rightarrow 3A -2B=6 $$.
-
Solve: $$\displaystyle A=2 $$, $$\displaystyle B=1 $$ → $$\displaystyle \boxed{a_n = 2\cdot 3^n + (-2)^n} $$.
Example 2: $$\displaystyle a_n = 2a_{n-1} + 3a_{n-2} $$, $$\displaystyle a_0=2 $$, $$\displaystyle a_1=-2 $$.
-
Characteristic: $$\displaystyle r^2 - 2r - 3 = 0 \Rightarrow (r-3)(r+1)=0 $$, $$\displaystyle r=3,-1 $$.
-
General: $$\displaystyle a_n = A\cdot 3^n + B\cdot (-1)^n $$.
-
Initial: $$\displaystyle A+B=2 $$, $$\displaystyle 3A - B = -2 $$ → $$\displaystyle A=0 $$, $$\displaystyle B=2 $$ → $$\displaystyle \boxed{a_n = 2(-1)^n} $$.
Non-Homogeneous: $$\displaystyle a_n = c_1 a_{n-1} + \dots + f(n) $$.
Method: Solve homogeneous part $$\displaystyle a_n^{(h)} $$, find particular solution $$\displaystyle a_n^{(p)} $$ (guess form based on $f(n)$), then $$\displaystyle a_n = a_n^{(h)} + a_n^{(p)} $$.
[!TIP] Common Error: Forgetting to check for repeated roots. If $r$ is double root, multiply by $n$; triple root, multiply by $$\displaystyle n^2 $$.
6. Linear Algebra
Matrix Fundamentals
Determinant (3×3):
$$\det(A) = \begin{vmatrix} a & b & c \\ d & e & f \\ g & h & i \end{vmatrix} = a(ei-fh) - b(di-fg) + c(dh-eg)$$
Properties:
-
$$\displaystyle \det(AB) = \det(A)\det(B) $$
-
$$\displaystyle \det(A^T) = \det(A) $$
-
Row swap multiplies det by $-1$.
-
$$\displaystyle \det(I)=1 $$.
Trace: $$\displaystyle \operatorname{Tr}(A) = \sum_{i} a_{ii} $$ (sum of diagonal).
Properties: $$\displaystyle \operatorname{Tr}(A+B)=\operatorname{Tr}(A)+\operatorname{Tr}(B) $$, $$\displaystyle \operatorname{Tr}(AB)=\operatorname{Tr}(BA) $$.
Example: $$\displaystyle A = \begin{bmatrix} 2 & -1 & 0 \\ 3 & 4 & 2 \\ 1 & 0 & -3 \end{bmatrix} $$
-
$$\displaystyle \det(A) = 2(4\cdot(-3)-2\cdot0) - (-1)(3\cdot(-3)-2\cdot1) + 0 = 2(-12) +1(-9-2) = -24 -11 = \boxed{-35} $$.
-
$$\displaystyle \operatorname{Tr}(A) = 2+4+(-3) = \boxed{3} $$.
Matrix Decompositions
Singular Value Decomposition (SVD):
Any $m \times n$ matrix $F$ can be decomposed as:
$$F = U \Sigma V^T$$
where:
-
$U$: $m \times m$ orthogonal ($$\displaystyle U^TU = I $$).
-
$\Sigma$: $m \times n$ diagonal with nonnegative singular values $$\displaystyle \sigma_1 \ge \sigma_2 \ge \dots \ge 0 $$.
-
$V$: $n \times n$ orthogonal ($$\displaystyle V^TV = I $$).
Reconstruction: Given $U, \Sigma, V$, compute $$\displaystyle F = U\Sigma V^T $$.
Example (Dec 2024):
$$U = \begin{bmatrix} 1 & 0 \\ 0 & 1 \end{bmatrix},\; \Sigma = \begin{bmatrix} 2 & 0 \\ 0 & 3 \end{bmatrix},\; V = \begin{bmatrix} 1 & 0 \\ 0 & 1 \end{bmatrix}$$
Then $$\displaystyle F = U\Sigma V^T = \begin{bmatrix} 1 & 0 \\ 0 & 1 \end{bmatrix} \begin{bmatrix} 2 & 0 \\ 0 & 3 \end{bmatrix} \begin{bmatrix} 1 & 0 \\ 0 & 1 \end{bmatrix} = \begin{bmatrix} 2 & 0 \\ 0 & 3 \end{bmatrix} $$.
$$\displaystyle \boxed{F = \begin{bmatrix} 2 & 0 \\ 0 & 3 \end{bmatrix}} $$.
Cholesky Decomposition:
For symmetric positive definite matrix $A$, $$\displaystyle A = LL^T $$ where $L$ is lower triangular with positive diagonal.
Steps:
-
$$\displaystyle l_{11} = \sqrt{a_{11}} $$
-
$$\displaystyle l_{i1} = a_{i1}/l_{11} $$ for $$\displaystyle i>1 $$
-
$$\displaystyle l_{ii} = \sqrt{a_{ii} - \sum_{k=1}^{i-1} l_{ik}^2} $$
-
$$\displaystyle l_{ij} = \frac{1}{l_{jj}}\left(a_{ij} - \sum_{k=1}^{j-1} l_{ik}l_{jk}\right) $$ for $$\displaystyle i>j $$.
Positive Definite Check: All leading principal minors $$\displaystyle >0 $$ (Sylvester's criterion). Cholesky succeeds iff $A$ is SPD.
Example (Jun 2023): Solve system via Cholesky. First check SPD, then factor $$\displaystyle A=LL^T $$, solve $$\displaystyle Ly=b $$, then $$\displaystyle L^Tx=y $$.
Eigen Decomposition (Conceptual):
For diagonalizable $A$, $$\displaystyle A = PDP^{-1} $$ where $D$ diagonal of eigenvalues, $P$ columns are eigenvectors.
Matrix Functions
Gradient of $$\displaystyle f(X) = \operatorname{Tr}(X^T X) $$:
Let $X$ be $m \times n$. Then $$\displaystyle f(X) = \sum_{i,j} x_{ij}^2 $$.
Gradient $\nabla f(X)$ is matrix of partial derivatives: $$\displaystyle \frac{\partial f}{\partial x_{ij}} = 2x_{ij} $$.
Thus $$\displaystyle \boxed{\nabla \operatorname{Tr}(X^T X) = 2X} $$.
[!TIP] SPD Check: Before Cholesky, verify all eigenvalues positive or all leading minors positive. If any diagonal entry zero/negative during computation, not SPD.
7. Statistics and Probability
Hypothesis Testing
Null Hypothesis $$\displaystyle H_0 $$: Statement of "no effect" or status quo (e.g., $$\displaystyle \mu = \mu_0 $$).
Alternative Hypothesis $$\displaystyle H_a $$: What we aim to support (e.g., $$\displaystyle \mu \ne \mu_0 $$, $$\displaystyle \mu > \mu_0 $$, $$\displaystyle \mu < \mu_0 $$).
Test Statistic: Standardized measure (e.g., $$\displaystyle z = \frac{\bar{x}-\mu_0}{\sigma/\sqrt{n}} $$ if $\sigma$ known; $$\displaystyle t = \frac{\bar{x}-\mu_0}{s/\sqrt{n}} $$ if $\sigma$ unknown).
P-value: Probability, under $$\displaystyle H_0 $$, of observing test statistic as extreme as (or more than) actual.
Significance Level $\alpha$: Threshold (commonly 0.05). Reject $$\displaystyle H_0 $$ if p-value $$\displaystyle < \alpha $$.
One-tailed vs Two-tailed:
-
$$\displaystyle H_a: \mu > \mu_0 $$ → right-tailed.
-
$$\displaystyle H_a: \mu < \mu_0 $$ → left-tailed.
-
$$\displaystyle H_a: \mu \ne \mu_0 $$ → two-tailed (split $\alpha$).
Example (Nov 2023 - Coin Toss):
$$\displaystyle H_0: p=0.5 $$ (unbiased), $$\displaystyle H_a: p \ne 0.5 $$.
$$\displaystyle n=400 $$, heads=216 → $$\displaystyle \hat{p}=0.54 $$.
$$\displaystyle z = \frac{0.54-0.5}{\sqrt{0.5\cdot0.5/400}} = \frac{0.04}{0.025} = 1.6 $$.
Two-tailed p-value $$\displaystyle = 2P(Z > 1.6) \approx 2(0.0548)=0.1096 > 0.05 $$ → fail to reject $$\displaystyle H_0 $$. No evidence coin biased.
Example (Jun 2024 - Salary):
$$\displaystyle \sigma=1523 $$ known, $$\displaystyle n=50 $$, $$\displaystyle \bar{x}=48326 $$, $$\displaystyle H_0: \mu=45000 $$, $$\displaystyle \alpha=0.05 $$.
$$\displaystyle z = \frac{48326-45000}{1523/\sqrt{50}} = \frac{3326}{215.3} \approx 15.45 $$.
p-value $$\displaystyle \approx 0 < 0.05 $$ → reject $$\displaystyle H_0 $$. Mean salary significantly higher.
Errors in Hypothesis Testing
| Error Type | Decision | Reality | Probability |
|---|---|---|---|
| Type I | Reject $$\displaystyle H_0 $$ | $$\displaystyle H_0 $$ true | $\alpha$ |
| Type II | Fail to reject $$\displaystyle H_0 $$ | $$\displaystyle H_0 $$ false | $\beta$ |
| Power = $1-\beta$: Probability correctly rejecting false $$\displaystyle H_0 $$. |
[!TIP] Trade-off: Decreasing $\alpha$ increases $\beta$. Increase sample size to reduce both.
Analysis of Variance (ANOVA)
Purpose: Compare means across $k$ groups.
Assumptions:
-
Populations normally distributed.
-
Equal variances ($$\displaystyle \sigma_1^2 = \dots = \sigma_k^2 $$).
-
Independent samples.
One-way ANOVA:
-
Between-group variability (SSB): Variation due to group differences.
-
Within-group variability (SSW): Variation within groups.
-
Total SS: SST = SSB + SSW.
Test Statistic:
$$F = \frac{\text{MSB}}{\text{MSW}} = \frac{SSB/(k-1)}{SSW/(N-k)}$$
where $N$ = total sample size, $k$ = groups.
Under $$\displaystyle H_0 $$ (all means equal), $$\displaystyle F \sim F_{k-1, N-k} $$.
Decision: Reject $$\displaystyle H_0 $$ if $$\displaystyle F > F_{\alpha, k-1, N-k} $$.
Example (Jun 2022): Three samples of size 5. Compute group means, overall mean, SSB, SSW, then $F$.
Time Series Analysis (Brief)
Components:
-
Trend ($T$): Long-term movement.
-
Seasonal ($S$): Regular periodic fluctuations.
-
Cyclical ($C$): Long-term cycles (not fixed period).
-
Irregular ($I$): Random noise.
Models:
-
Additive: $$\displaystyle Y = T + S + C + I $$
-
Multiplicative: $$\displaystyle Y = T \times S \times C \times I $$
Applications: Forecasting, identifying patterns.
QUICK REFERENCE: Past Paper Hotspots
| Topic | Past Appearances | Key Formulas/Concepts |
|---|---|---|
| Set Operations & Venn | Dec 24, Jun 24, Nov 23 | De Morgan's, distributive |
| Transitive Closure | Dec 24, Jun 23, Jun 22 | $$\displaystyle a+1=b \to \le $$, $$\displaystyle a-b=2 \to $$ same parity |
| Factor Relations | Dec 24, Jun 23 | $a \mid b$ on sets |
| Congruence mod m | Nov 23 | Proof equivalence |
| Hasse Diagrams | Jun 24, Nov 23, Jun 22 | $$\displaystyle D_{15}, D_{24}, D_m $$ |
| Subgroups | Dec 24, Jun 24, Jun 22 | $H \le G$ test |
| Normal Subgroups | Dec 24, Jun 25 | $$\displaystyle xHx^{-1}=H $$ |
| Abelian/Cyclic Groups | Dec 24, Jun 25 | $$\displaystyle \mathbb{Z}_n^* $$, $\{-1,1,i,-i\}$ |
| Recurrence Relations | Dec 24, Jun 24, Jun 23, Jun 22 | Characteristic equation |
| Eulerian/Hamiltonian | Dec 24, Jun 23, Jun 22 | Degree conditions vs vertex visit |
| Graph Coloring | Dec 24, Jun 22 | Chromatic number |
| SVD | Dec 24, Jun 23, Jun 25 | $$\displaystyle F=U\Sigma V^T $$ reconstruction |
| Cholesky | Dec 24, Jun 23, Jun 22 | $$\displaystyle A=LL^T $$, SPD check |
| Determinants | Dec 24, Jun 25 | Properties, 3×3 calculation |
| Hypothesis Testing | Nov 23, Jun 24, Jun 22 | $z$-test, $t$-test, p-value |
| ANOVA | Jun 22, Nov 23 | $F$-test, SSB/SSW |
| Type I/II Errors | Dec 24, Jun 25 | Definitions, $\alpha,\beta$ |
[!CAUTION] Final Exam Strategy:
- For proofs (set theory, relations, groups), write definitions first, then logical steps.
- For calculations (recurrence, SVD, Cholesky), show all steps clearly—partial credit awarded.
- For graph problems, draw diagrams neatly (Hasse, Eulerian, coloring).
- In statistics, state $$\displaystyle H_0 $$, $$\displaystyle H_a $$, test statistic, decision, conclusion.
- Always box final answers.