Creating Difficult Instances of the Post Correspondence Problem
暂无分享,去创建一个
[1] Andrzej Ehrenfeucht,et al. The (Generalized) Post Correspondence Problem with Lists Consisting of two Words is Decidable , 1982, Theor. Comput. Sci..
[2] Eitan M. Gurari,et al. Introduction to the theory of computation , 1989 .
[3] David Lichtenstein,et al. GO Is Polynomial-Space Hard , 1980, JACM.
[4] Emil L. Post. A variant of a recursively unsolvable problem , 1946 .
[5] Alexander Reinefeld,et al. Enhanced Iterative-Deepening Search , 1994, IEEE Trans. Pattern Anal. Mach. Intell..
[6] David S. Johnson,et al. The complexity of checkers on an N × N board , 1978, 19th Annual Symposium on Foundations of Computer Science (sfcs 1978).
[7] 守屋 悦朗,et al. J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .
[8] Richard E. Korf,et al. Pruning Duplicate Nodes in Depth-First Search , 1993, AAAI.
[9] Heiner Marxen,et al. Attacking the Busy Beaver 5 , 1990, Bull. EATCS.
[10] Zohar Manna,et al. Introduction to mathematical theory of computation , 1972 .
[11] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[12] T. Rado. On non-computable functions , 1962 .
[13] Hitoshi Matsubara,et al. Automatic Making of Sokoban Problems , 1996, PRICAI.
[14] Joseph Culberson,et al. Sokoban is PSPACE-complete , 1997 .
[15] Jonathan Schaeffer,et al. Sokoban: improving the search with relevance cuts , 2001, Theor. Comput. Sci..
[16] Peter J. Denning,et al. Machines, Languages, And Computation , 1978 .