Avatar of Greg Bacon

Greg Bacon

Madison, Alabama

Computer Scientist. AI/ML. Software Engineer. Aviator. Flight Instructor.

  • About
  • Publications
  • Talks
  • Teaching
  • Blog
  • Tags
  • CV

#complexity

Content tagged with "complexity"

What I Learned About Theoretical CS at Cracker Barrel
2024-11-14
#SMT #Complexity

Connecting the well-known peg game with SMT solvers, Turing machines, and NP-completeness. Presented to HSV.py.

What I Learned About Theoretical CS at Cracker Barrel
2022-03-22
#SMT #Complexity

Connecting the well-known peg game with SMT solvers, Turing machines, and NP-completeness. Presented to UAH ACM-W.

CS317: Introduction to Design & Analysis of Algorithms
UAH
#Algorithms #Complexity #Computer Science #Education

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.

© 2026 Greg Bacon.
Built with Academic Portfolio Astro