ಲಾಡ್ಜರ್
P _ provile NP ಆಗಿದ್ದರೆ, P _ provile ಅಥವಾ NP-complete ಆಗಿರದ ಸಮಸ್ಯೆಗಳು NP ಯಲ್ಲಿ ಇರುತ್ತವೆ ಎಂದು ಲ್ಯಾಡ್ನರ್ ತೋರಿಸಿಕೊಟ್ಟನು.
P = NP ಎಂದರೆ P ಯಲ್ಲಿ ಅಥವಾ NP-ಕಂಪ್ಲೀಟ್ ಯಲ್ಲಿ ಇಲ್ಲದ ಸಮಸ್ಯೆಗಳು ಎಂದು ಯಾರು ತೋರಿಸಿದರು?