Exact phase transition of backtrack-free search with implications on the power of greedy algorithms