Why cant I Just create a TM A that runs a NTM B with a formula to compute the SAT Problem and Just Flip its Output. So when the Input NTM B Returns true (formula is satisfyable) the TM A Return false.
Asked
Active
Viewed 23 times
2
-
1does this answer your question https://cs.stackexchange.com/questions/21613/why-cant-we-flip-the-answer-of-a-ndtm-efficiently – Narek Bojikian Feb 14 '20 at 19:43
-
1@narekBojikian thank you! Thats what I was looking for – hadamard Feb 15 '20 at 16:58