Edit this page Backlinks This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ===== Introduction ===== ==== About the lecture ==== ==== Post's Correspondence Problem ==== * Statement: * Motivation: * Simplifications: * Limit the length of ==== Wang Tiling Problem ==== * Statement: * Motivation: * Simplifications: * Limit the length of ==== Independent Set Problem ==== * Statement: * Motivation: * Simplifications: * Limit the length of ==== Graph isomorphism Problem ==== * Statement: * Motivation: * Simplifications: * Limit the length of