kuniga.me > NP-Incompleteness > Selected

# Selected Posts

Selected posts organized by theme. Most of them are primers (introductory) and intended to be looked up for reference. If a post happens to describe two or more concepts, there will be multiple entries here linking to the same post. Within each theme topics are sorted alphabetically.

## Algorithms and Data Structures

- Buddy Memory Allocation (post)
- Blockchain (post)
- Bloom Filters (post)
- Consistent Hash (post)
- HyperLogLog (post)
- Huffman Coding (post)
- KMP (Knuth Morris and Pratt) (post)
- LSM (Log Structured Merge) Trees (post)
- Skip Lists (post)

- Cell Biology (post)
- DNA Assembly (post)
- DNA Sequencing (post)
- Protein Design (post)
- Protein Folding Prediction (post)

## Combinatorial Optimization and Graph Theory

- De Bruijn Graphs (post)
- Eulerian Circuits (post)
- Lagrangian Relaxation - Theory (post)
- Matroids (post)
- Trees from a Distance Matrix (post)

## Theory of Computing

- Automata Theory (Finite Automata, Push-down Automata and Turing Machines) (post)
- Entscheidungsproblem (post)

## Distributed Systems

### Theory

- Eventual Consistency (post - see
*Terminology and Concepts*)
- Paxos (post)
- Sharding (post - see
*Appendix: Terminology and concepts*)
- Two-phase commit (post - see
*Appendix: Terminology and concepts*)

### Real World Systems

- Google’s F1 Database (post)
- Google’s Spanner Database (post)
- PageRank (post)
- Ray (post)
- Zookeeper (post)

## Machine Learning

- Support Vector Machine (post - see
*Support Vector Machine*)

## Math

### Functional Analysis

### Linear Algebra

- Levinson Recursion (post)

### Number Theory

- Order-Finding (post)
- Pell Equation (post)

## Electrical Engineering

### Signal Processing

- Discrete Fourier Transforms (post)
- Discrete Time Filters (post)
- Linear Predictive Coding (LPC) (post)
- Z-Transform (post)