The Post Correspondence Problem is an undecidable problem in which you’re given two lists of strings, and the goal is to find a sequence of indices such that the ...