Het correspondentieprobleem van Post (Engels: Post Correspondence Problem) is een onbeslisbaar probleem uit de theoretische informatica dat in 1946 door Emil Leon Post werd geformuleerd. Het wordt vaak gebruikt om de onbeslisbaarheid van andere problemen te bewijzen. Het probleem is ook bekend onder zijn (Engelse) afkorting: PCP.

Informele definitie 
Gegeven is een aantal stenen (een soort dominostenen) waarop boven en onder een rijtje letters staat. Het is de bedoeling de stenen zo aan elkaar te leggen, dat boven en onder hetzelfde woord staat. Hierbij hoeven niet alle stenen gebruikt te worden, en mogen stenen bovendien meerdere keren worden gebruikt.

Beschouw bijvoorbeeld de volgende stenen:

Een oplossing voor het bovenstaande correspondentieprobleem is:

waar zowel boven als onder het woord "abaaaaaab" staat.

Niet alle instanties van PCP hebben een oplossing. Dat is bijvoorbeeld het geval in het volgende voorbeeld, omdat er geen enkele steen geschikt is om als meest linkse steen te dienen:

Formele definitie 
Laat een eindige verzameling  (het alfabet) gegeven zijn. Een instantie van het PCP is een eindige rij , waarbij  voor alle . Een oplossing voor een PCP-instantie is een eindige rij van indices, , zodat 

Het eerste voorbeeld hierboven wordt bijvoorbeeld gerepresenteerd door de rij . Een oplossing voor deze instantie is 2,1,1,3, omdat 
.

Onbeslisbaarheid 
De vraag of een bepaalde PCP-instantie een oplossing heeft is niet beslisbaar. Dat betekent dat er geen algoritme bestaat dat in alle gevallen in eindige tijd kan beslissen, of een gegeven PCP-instantie een oplossing heeft. Dat kan bewezen worden door het stopprobleem naar PCP te reduceren. Hiervoor wordt uit een turingmachine een instantie van het PCP gegenereerd, die precies dan een oplossing heeft als de oorspronkelijke turingmachine termineert. Door deze reductie zou uit de beslisbaarheid van het PCP de beslisbaarheid van het stopprobleem volgen, maar aangezien het stopprobleem niet beslisbaar is, moet het PCP ook onbeslisbaar zijn.

Literatuur 
 E.L. Post. A variant of a recursively unsolvable problem. Bulletin of the American Mathematical Society, 52. 1946.
 Michael Sipser. Introduction to the Theory of Computation, 3rd Ed. Cengage Learning, 2013.

Theoretische informatica