- UHRA Home
- Browsing by Author
Browsing by Author "Horvath, G."
Now showing items 1-2 of 2
-
An assertion concerning functionally complete algebras and NP-completeness
Horvath, G.; Nehaniv, C.L.; Czabo, C. (2008)In a paper published in J. ACM in 1990, Tobias Nipkow asserted that the problem of deciding whether or not an equation over a nontrivial functionally complete algebra has a solution is NP-complete. However, close examination ... -
Functions and Polynomials over Finite Groups from the Computational Perspective
Horvath, G. (2008-05-07)In the thesis we investigate the connections between arbitrary functions and their realizing polynomials over finite algebras. We study functionally complete algebras, i.e. algebras over which every function can be realized ...