contains PE algorithm for solving TAP