Easy solutions are hard to find
There are two main results in this paper.
A new NP-complete problem is found: given a system (S) of recursion equations, determine whether (S) has a solution in a non-trivial "contraction algebra" in which one of the components is a projection. This problem, which arose in  where all solutions of a system of recursion equations in a contraction algebra A were found, is related to the equivalence problem for deterministic pushdown automata.
Secondly, for signatures Σ with a finite number of function symbols of positive rank, the free complete contraction Σ-algebras are shown to be isomorphic to algebras of "Σ-trees". When Σ has an infinite number of function symbols of positive rank, it is shown that there are no free complete contraction Σ-algebras.
Unable to display preview. Download preview PDF.
- E.G.Wagner, J.B.Wright, J.B.Thatcher, "Rational algebraic theories and fixed point solutions", Proc. 17th IEEE Symposium on Foundations of computing, Houston (1976), 147–158.Google Scholar
- S.Arnold, M.Nivat, "Metric interpretation of infinite trees and semantics of nondeterministic recursive programs", Universite de Lille, No. I-T-3-78, 1978.Google Scholar
- S.L.Bloom, "All solutions of a system of recursion equations in infinite trees and other contraction theories", to appear in J. Comp. Syst. Sci.Google Scholar
- S.L. Bloom, C.C. Elgot, J.B. Wright, "Vector iteration in pointed iterative theories", SIAM J. Computing, Vol. 9, No. 3 (1980), 525–540.Google Scholar
- S.A.Cook, "The complexity of theorem-proving procedures", Proc. 3rd Ann. ACM Symp. Theory of Computing, ACM New York, 151–158.Google Scholar
- B. Courcelle, "A representation of trees by languages, I,II", Theoretical Comp. Sci 6 (1978), 255–279; 7 (1978), 25–55.Google Scholar
- C.C. Elgot, S.L. Bloom, R. Tindell, "On the algebraic structure of rooted trees", J. Comp. Sys. Sci, 16, No. 3 (1978), 362–399.Google Scholar
- Z.Manna, Mathematical Theory of Computation, McGraw-Hill, (1974).Google Scholar
- J. Mycielski, W. Taylor, "A compactification of the algebra of terms", Algebra Universalis 6 (1976), 159–163.Google Scholar
- M. Nivat, "On the interpreation of recursive polyadic program schemes", Symp. Math. 15 (1975), 255–281.Google Scholar