What I Learned About Theoretical CS at Cracker Barrel
Connecting the Cracker Barrel peg game with SMT solvers, Turing machines, and NP-completeness. Presented to HSV.py in 2024, with slides and code online.
#complexity
Content tagged with "complexity"
What I Learned About Theoretical CS at Cracker Barrel
Connecting the Cracker Barrel peg game with SMT solvers, Turing machines, and NP-completeness. Presented to UAH ACM-W in 2022, with slides and code online.
CS317: Introduction to Design & Analysis of Algorithms
UAH CS317: complexity analysis, searching, sorting, graph algorithms, divide & conquer, dynamic programming, backtracking, and P versus NP.