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)

Bioinformatics and Biology

• 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)