Life without Death, an automaton rule which genera
Life without Death, an automaton rule which generates the symbol on the New Mexico flag, is a complete problem in it. Both the problem of finding the best move in Go or Chess and deciding a statement in Pressburger arithmetic are not in it, but the Ziv-Lempel, Linear Programming, Convex Hull, and Circuit Value problems are. It was recently shown that PRIMES was also in this complexity class, although it is believed that SAT is not. Defined as the class of decision problems solvable by a Turing machine in a time dependant in a specific way on the input size, FTP, identify this complexity calls which may or may not be equal to NP.
Life without Death, an automaton rule which generates the symbol on the New Mexico flag, is a complete problem in it.
Polynomial Time