કોઈ પણ પ્રમાણભૂત સમસ્યાનું પ્રમાણભૂત ઉકેલ અરજી કરી શકે છે, પરંતુ નક્કી કરે છે કે કેટલા સંભવિત ઉકેલો યોગ્ય છે, અમુક વાસ્તવિક વિચારસરણી લે છે - જેમ કે પહેલા ઉકેલવા માટે ઘણી સમસ્યાઓને નક્કી કરવું.