added alternative search and sudoku with a measure on decreasing number of choices in each recursive call, not sure how provable this is though ...