Abstract
Some complexity bounds are derived for random derivation-search trees in Post's calculus.
Similar content being viewed by others
Literature Cited
S. Yu. Maslov, “Search of derivation in general calculi,” Zap. Nauchn. Seminarov LOMI,32, 59–65 (1972).
S. Yu. Maslov and E. D. Rusakov, “Probabilistic canonical calculi,” Zap. Nauchn. Seminarov LOMI,32, 66–76, (1972).
Yu. N. Kur'erov, “Equiprobable canonical calculi,” Semiotika Informatika, No. 17, 90–97 (1981).
E. L. Post, “Formal reduction of the general combinatorial decision problem,” Am. J. Math.,65, No. 2, 197–215 (1943).
Yu. N. Kur'erov, “Complexity of derivation search in multi-premise probabilistic canonical calculi,” 7th All-Union Conf. on Problems of Theoretical Cybernetics, Abstracts of Papers [in Russian], Part 1, Irkutsk (1985), pp. 112–113.
V. N. Sachkov, Probabilistic Measures in Combinatorial Analysis [in Russian], Nauka, Moscow (1978).
P. Erdös and A. Rényi, “On random graphs I,” Public. Math. (Debrecen),6, 290–297 (1959).
J. W. Moon, “A problem of random trees,” J. Comb. Theory,10, No. 2, 201–205 (1971).
Z. Dalil, “On the complexity of regular resolution and the Davis—Putnam procedure,” Theor. Comput. Sci., No.4, 23–46 (1977).
Z. Galil, “On resolution with clauses of bounded size,” SIAM J. Comput.,6, 444–459 (1977).
G. S. Tseitin, “On derivation complexity in propositional calculi,” Zap. Nauchn. Seminarov LOMI,8, 234–259 (1968).
Additional information
Translated from Kibernetika, No. 3, pp. 112–115, May–June, 1991.
Rights and permissions
About this article
Cite this article
Kur'erov, Y.N. A bound on the length of a random derivation-search tree in general multi-premise calculi. Cybern Syst Anal 27, 462–466 (1991). https://doi.org/10.1007/BF01068328
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01068328