Search for tag: "witnesses"

ECS 220 8c:8.6-1 Reachability expressed logically, and as a game between prover and skeptic

+19 More
From  David Doty 0 likes 25 plays 0  

ECS 220 8a:8.1-3 relationship of time and space-bounded complexity classes

+19 More
From  David Doty 0 likes 37 plays 0  

ECS 220 2b:4.3-3 problems not obviously in NP

+19 More
From  David Doty 0 likes 43 plays 0  

ECS 220 2b:4.3-2 NTIME(t(n))

+19 More
From  David Doty 0 likes 38 plays 0  

ECS 120 8a:1 exponential-time algorithms for NP problems

+19 More
From  David Doty 0 likes 429 plays 0