പ്രസ്ബർഗർ ഗണിതം
ഉദാഹരണത്തിന്, പ്രസ്ബർഗർ ഗണിതത്തിലെ തീരുമാനം പ്രശ്നം P യിൽ ഇല്ലെന്ന് കാണിച്ചിട്ടുണ്ടെങ്കിലും മിക്ക കേസുകളിലും ന്യായമായ സമയങ്ങളിൽ പ്രശ്നം പരിഹരിക്കുന്ന അൽഗോരിതം എഴുതിയിട്ടുണ്ട്.
ഗണിതത്തിന്റെ പേരിലുള്ള ഏത് വ്യതിയാനമാണ് 'പി' യിൽ തെളിവില്ലാത്ത ഒരു തീരുമാനം പ്രശ്നം അവതരിപ്പിക്കുന്നത്?