4.6.24 · HinglishTheory of Computation

P vs NP — statement, why it matters

1,838 words8 min readRead in English

4.6.24 · Coding › Theory of Computation


WHAT are we even talking about?

Hum decision problems study karte hain — woh questions jinke yes/no answers hote hain (jaise "Kya is graph mein ek aisa route hai jo saare cities ko 100 se kam length mein visit kare?"). Hum difficulty ko is baat se measure karte hain ki running time, input size ke saath kaise badhti hai.


WHY is (aur yeh obvious kyun hai)


The statement, precisely

Figure — P vs NP — statement, why it matters

NP-complete: load-bearing pillars


WHY it matters (the stakes)


Common mistakes (steel-manned)


Recall Feynman: ek 12-saal ke bachche ko explain karo

Ek jigsaw puzzle imagine karo. Check karna ki finished puzzle sahi hai aasaan hai — bas ek nazar daalo aur picture dekho. Lekin usse pieces ki dher se solve karna mehnat ka kaam hai. "P" problems waise puzzles hain jo ek robot jaldi finish kar sakta hai. "NP" problems waise puzzles hain jahan, agar koi tumhe finished picture dikhaaye, tum jaldi keh sako "haan, sahi hai!" Yeh bada mystery — P vs NP — yeh hai: kya inhi check-easy puzzles ke liye hamesha koi secret quick way hai unhe solve karne ka, ya kuch puzzles hamesha slow rehne ke liye doomed hain? Dharti par koi nahi jaanta. Jo bhi pata lagaaye uske liye ek million dollars wait kar rahe hain.


Flashcards

P ka kya matlab hai (class)
Woh problems jo deterministic polynomial time mein solvable hain.
NP ka kya matlab hai
Nondeterministic Polynomial — woh problems jinke yes-answers ek short certificate ke saath polynomial time mein verifiable hain.
P vs NP question kya hai
Kya ? Kya har woh problem jo verify karna easy hai, solve karna bhi easy hai?
kyun hai
Ek poly-time solver ek verifier ki tarah kaam kar sakta hai jo certificate ignore karta hai aur instance khud solve kar leta hai.
Certificate/witness kya hota hai
Ek short (poly-length) hint jo verifier ko ek yes-instance ko poly time mein confirm karne deta hai.
NP-complete define karo
Ek aisi problem jo mein bhi ho aur NP-hard bhi ho (har problem poly time mein usmein reduce hoti hai).
Cook–Levin theorem kya kehta hai
SAT (Boolean satisfiability) NP-complete hai — pehli proven NP-complete problem.
Agar ek NP-complete problem mein hai, toh kya hoga
— sab ek saath collapse ho jaayenge.
Common myth: NP ka matlab "non-polynomial" hai. Sahi hai?
Nahi. NP = verifiable in poly time; actually .
NP-hard aur NP-complete mein kya fark hai
NP-hard = kam se kam poore jitna mushkil ( ke bahar bhi ho sakta hai); NP-complete = NP-hard aur mein bhi.
Agar ho toh ek consequence batao
Zyaatar public-key cryptography (jaise RSA) toot jaayegi.
Kya P vs NP solve ho chuka hai?
Nahi — yeh ek open Clay Millennium Prize problem hai ($1M).

Connections

Concept Map

measured by

defines

bounds checker of

checked by

reads

solve then ignore c

leads to

reverse direction

expert view

every NP maps via

lands in

hardest inside

Decision problems yes/no

Polynomial time O of n^k

Class P: solvable fast

Class NP: verifiable fast

Verifier V of x,c

Certificate / witness

P subset of NP

P =? NP

Most believe P != NP

NP-complete pillars

Poly-time reduction