Looking for an Analogue of Rice's Theore
โ
Bernd Borchert; Frank Stephan
๐
Article
๐
2000
๐
John Wiley and Sons
๐
English
โ 223 KB
๐ 1 views
Rice's Theorem says that every nontrivial semantic property of programs is undecidable. In this spirit we show the following: Every nontrivial absolute (gap, relative) counting property of circuits is UP-hard with respect to polynomial-time Turing reductions. For generators [31] we show a perfect a