This is an old revision of the document!


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