ലാൻഡർ
ലാഡ്നർ കാണിച്ചതുപോലെ, P provile NP ആണെങ്കിൽ, P അല്ലെങ്കിൽ NP-complete അല്ലാത്ത NP-കളിൽ പ്രശ്നങ്ങൾ ഉണ്ട്.
P = NP അർത്ഥമാക്കുന്നത് P യിലോ NP-സമ്പൂർണതയിലോ ഇല്ലാത്ത പ്രശ്നങ്ങളാണെന്ന് ആരാണ് തെളിയിച്ചത്?