kuniga.me > NP-Incompleteness > Topics

# Posts by topics

Selected posts organized by topics. 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)
- T-Digest (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)
- Dijkstra Algorithm (shortest-path problem) (post)
- Eulerian Circuits (post)
- Lagrangian Relaxation - Theory (post)
- Longest Path Problem (post)
- Matroids (part I), (part II)
- 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 FlumeJava (post)
- Google’s Spanner Database (post)
- Google’s PageRank (post)
- Google’s Photon (post)
- Ray (post)
- Zookeeper (post)

## Machine Learning

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

## Math

### Algebra

- Levinson Recursion (post)

### Calculus and analysis

- Hermitian Functions (post)
- Hilbert Spaces (post)

### Number Theory

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

### Topology

- Topological Equivalence (post)

## Electrical Engineering

### Signal Processing

- Baum-Welch Algorithm (post)
- Cepstrum (post)
- Discrete Fourier Transforms (post)
- Discrete Time Filters (post)
- Dynamic Time Warping (post)
- Linear Predictive Coding (LPC) (post)
- Z-Transform (post)