Prüfen, ob das Problem rechnerisch lösbar ist