Definition of The Problem
The input of the problem consists of two finite lists and of words over some alphabet having at least two symbols. A solution to this problem is a sequence of indices with and for all, such that
The decision problem then is to decide whether such a solution exists or not.
Read more about this topic: Post Correspondence Problem
Famous quotes containing the words definition of, definition and/or problem:
“It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possess—after many mysteries—what one loves.”
—François, Duc De La Rochefoucauld (1613–1680)
“One definition of man is “an intelligence served by organs.””
—Ralph Waldo Emerson (1803–1882)
“It is very comforting to believe that leaders who do terrible things are, in fact, mad. That way, all we have to do is make sure we don’t put psychotics in high places and we’ve got the problem solved.”
—Tom Wolfe (b. 1931)