What I Learned About Theoretical CS at Cracker Barrel
Connecting the well-known peg game with SMT solvers, Turing machines, and NP-completeness. Presented to HSV.py.
Content tagged with "complexity"
Connecting the well-known peg game with SMT solvers, Turing machines, and NP-completeness. Presented to HSV.py.
Connecting the well-known peg game with SMT solvers, Turing machines, and NP-completeness. Presented to UAH ACM-W.
Complexity analysis; searching, sorting, finding spanning trees and shortest paths in graphs. Divide & conquer, dynamic programming, and backtracking. Intro to problem classification, i.e., NP, intractable, and unsolvable.