den 24 maj 2000 kom Clay Mathematics Institute med sju matematiska problem, för vilka lösningen för något av problemet kommer att tjäna us $1.000.000 belöning för lösaren. Känt som Millennieproblemen, hittills är bara ett av de sju problemen lösta till dags dato.
Vill du tjäna en miljon dollar, försök lösa en från den här listan. Dessa är de problem som anges för en miljon dollar pris belöning.,
- Yang–Mills och Mass Gap
- Riemann hypotes
- p vs NP Problem
- Navier-Stokes ekvation
- Hodge gissning
- Poincaré gissning
- björk och Swinnerton-Dyer gissning
Okej, låt oss vara realistiska här, dessa problem är här av en anledning. Du gissade rätt, dessa problem är svåra att lösa. Faktum är att de är djupa och verkligen svåra, inte bara för att lösa dem utan även för att förstå problemförklaringen. De flesta av de angivna problemen kommer att behöva bra ämneskunskap och analys även för att förstå frågan.,
Poincaré gissningar är det enda problemet som löses bland dessa sju frågor. Detta problem är från topologi domän, som handlar om hur objekt passar ihop och deras form i rymden. Detta problem var specifikt relaterat till sfärer.
1904 frågade den franska matematikern Henri Poincaré om den tredimensionella sfären karakteriseras som den unika helt enkelt anslutna tre manifold. Denna fråga, Poincaré-gissningen, var ett speciellt fall av Thurstons geometrization-gissning., Perelmans bevis säger oss att varje tre grenrör är byggt från en uppsättning standardstycken, var och en med en av åtta väl förstådda geometrier.
hänvisa:https://www.claymath.org/millennium-problems
komplicerade saker uhmmm! Låt oss diskutera lite mer av detta innan vi går vidare till P mot NP.
Henri Poincaré uppgav problemet 1904, vilket i allmänhet säger att om du har ett objekt utan hål och dess storlek är ganska liten och ändlig är det en sfär (eller kan göras till en sfär). Detta är inte bara för 3 dimension utan för alla dimensioner.,
men uttalandet var inte bevisat för fjärde dimensionen, tills Grigori Perelman kom fram till lösningen 2003, baserat på arbete av Richard Hamilton.
om du är intresserad, här är vad en miljon dollar lösning ser ut:https://arxiv.org/abs/math/0211159
Grigori Perelman tilldelades en miljon dollar och fält medalj, som båda han avböjde.
vad ska man säga? Några av oss gillar att lösa problem, bara för skojs skull att lösa det.
lycka njuter av processen!,
p mot NP är det senaste problemet som listades i Millennieproblemlistan. Detta problem angavs 1971.
det exakta uttalandet av p versus NP-problemet introducerades 1971 av Stephen Cook i sitt seminalpapper ”the complexity of theorem proving procedures”.
för att korrekt förstå p-kontra NP-problemet är grundläggande kunskaper om beräkningskomplexitet ett måste. I själva verket är p vs NP det mest förväntade problemet för lösning inom datavetenskap., Så, ett bra grepp om hur detta problem påverkar datorlandskapet hjälper oss att smälta detta problem.
om du är ny på ämnet beräkningskomplexitet eller komplexitet i allmänhet, kommer jag starkt att uppmuntra dig att ta en titt på min tidigare historia om ” vad är beräkningskomplexitet?”
de flesta problemen i beräkningsutrymmet kan reduceras till ett beslutsproblem. Det betyder problem där svaret är antingen ja eller nej.
så låt oss komma tillbaka till frågan om vad som är P? och vad är NP?,
både P och NP kan betraktas som en uppsättning problem som är grupperade baserat på hur svårt det är att lösa och utvärdera lösningen. Termen svår är särskilt viktig i detta sammanhang, vilket i grunden innebär att hur beräkningsintensivt ett problem är att lösa och kontrollera lösningen.
tänk till exempel på problemet med multiplikation. Detta är relativt ett enkelt problem att lösa. Inte bara att detta problem är lätt att lösa, detta kan också verifieras med samma lätthet bara genom att multiplicera siffrorna., I grund och botten, alla problem som kan lösas i polynom tid och vars resultat kan verifieras i polynom tid, är under komplexiteten uppsättning P.
P ( polynom tid) innehåller alla beslutsproblem som kan lösas genom en deterministisk Turing maskin med hjälp av en polynom mängd beräkningstid, eller polynom tid.
det finns en annan uppsättning problem som kan verifieras i polynom tid men för att lösa detta problem kommer det att ta mer än polynom tid. Till exempel, låt oss ta Sudoku till exempel., Med tanke på att vi har en lösning för alla spel, kan vi verifiera det enkelt. Det innebär att vi kan göra verifieringsdelen i polynomtiden. Men för att lösa pusslet behöver vi mer tid. Även när antalet nät ökar ökar komplexiteten att hitta en lösning exponentiellt.
NP (nondeterministic polynomial time) är en komplex klass som används för att klassificera beslutsproblem. NP är den uppsättning beslutsproblem för vilka probleminstanserna, där svaret är ”ja”, har bevis verifierbara i polynomtid., (bara tillåtet att vara polynomiellt stor, inte större)
Lämna ett svar