i xi yi 1 2 3

    (A post correspondence system is also denoted as an instance of the PCP)

Example 2 : The following PCP instance has no solution

i	xi	yi
1
2