This post helped me understand NP noticeably more than the complexity course I was just examined on—thanks. I didn’t know there was such a thing as descriptive complexity theory (i.e. lists of correspondences between various subsets/closures of FOL/SOL for a bunch of difference classes). I’ll probably read about it a bunch this weekend.
This post helped me understand NP noticeably more than the complexity course I was just examined on—thanks. I didn’t know there was such a thing as descriptive complexity theory (i.e. lists of correspondences between various subsets/closures of FOL/SOL for a bunch of difference classes). I’ll probably read about it a bunch this weekend.