Greedy algorithm
A greedy algorithm is an algorithm that operates by making the locally optimal choice at each stage, that is, whatever immediately looks like the best option without considering the consequences. This short-sighted approach tends to not produce globally optimal solutions, but there are exceptions.
Unlike brute-force algorithms, greedy algorithms are generally not computationally expensive.
Logic & Proofs
Integer •
Rational number •
Inequality •
Real number •
Theorem •
Proof •
Statement •
Proof by exhaustion •
Universal generalization •
Counterexample •
Existence proof •
Existential instantiation •
Axiom •
Logic •
Truth •
Proposition •
Compound proposition •
Logical operation •
Logical equivalence •
Tautology •
Contradiction •
Logic law •
Predicate •
Domain •
Quantifier •
Argument •
Rule of inference •
Logical proof •
Direct proof •
Proof by contrapositive •
Irrational number •
Proof by contradiction •
Proof by cases •
Summation •
Disjunctive normal form
Set Theory
Set •
Element •
Empty set •
Universal set •
Subset •
Power set •
Cartesian product •
String •
Binary string •
Empty string •
Set operation •
Set identity •
Set proof
Functions
Algorithms
Relations
Number Theory
Induction
Combinatorics
Graph Theory
Graph •
Walk •
Subgraph •
Regular graph •
Complete graph •
Empty graph •
Cycle graph •
Hypercube graph •
Bipartite graph •
Component •
Eulerian circuit •
Eulerian trail •
Hamiltonian cycle •
Hamiltonian path •
Tree •
Huffman tree •
Substring •
Forest •
Path graph •
Star •
Spanning tree •
Weighted graph •
Minimum spanning tree •
Greedy algorithm •
Prim's algorithm
Recursion