added more explanation, fixed cook-levin theorem a bit and added triangle partition