algorithms2: updated tex for NP-complete problems and some faster exact algorithm for them