Ladner's theorem proof by assuming exponential time hypothesis

Under the assumption that P ≠ NP, Ladner explicitly constructs a problem in NPI, although this problem is artificial and otherwise uninteresting

Donate to Channel(Support me): https://paypal.me/kuoenjui
Facebook: https://www.facebook.com/mathenjui
Instagram: https://www.instagram.com/mathphyen/

Hope you can subscribe to my channel

Complexity Theory:
https://www.youtube.com/playlist?list=PLg9w7tItBlZu5dzTT0xqtLrx-46jCfR4o

Advanced mathematics list:

Group representation for finite group
https://www.youtube.com/playlist?list=PLg9w7tItBlZvxk4eus_gi2Wp3yYAEXF9-

exact sequences
https://www.youtube.com/playlist?list=PLg9w7tItBlZuI7n7notRRA2jol69e9mc9

Ring theory lecture
https://www.youtube.com/playlist?list=PLg9w7tItBlZtfPKHWGlU55kqafEgUu45u

group theory lecture
https://www.youtube.com/playlist?list=PLg9w7tItBlZtSHrTTVjEzAsUcO69YXY7v

Category theory
https://www.youtube.com/playlist?app=desktop&list=PLg9w7tItBlZtI1njDjtXt_0Hkqbn9RVvi

Field theory in abstract algebra
https://www.youtube.com/playlist?list=PLg9w7tItBlZtA6XhMIgIPkgj_SDKChbN-

Mathematical analysis
https://www.youtube.com/playlist?list=PLg9w7tItBlZu-yFYxQrWrFKcdOHRz2Fkh