En 4chan plakat kan have løst en del af en meget vanskelig matematikopgave, at matematikere har arbejdet på i mindst 25 år. Brugeren prøvede bare at finde ud af den mest effektive måde at se episoder af en ikke-lineær anime-serien, men resultatet har skabt stor interesse fra matematikere rundt om i verden, der ingen måde at identificere den anonyme bruger.
I går, Robin Houston, en datalog og matematiker tweeted om den bizarre krydset af 4chan og matematik, uforvarende begiver sig ud på en bølge af offentlig interesse i historien. Inden for få timer af hans tweet, hans telefon blev vibrerende konstant. “Det begyndte at gå gal,” siger han. “Min telefon begyndte at gå amok.”
Den 4chan en del af denne saga, der begyndte den 17 September, 2011, når en plakat stillet et spørgsmål: hvis du ønsker at se 14 anime The Melancholy of Haruhi Suzumiya i alle mulige ordre, hvad er den korteste streng af episoder, ville du nødt til at se?
hvis du ønsker at se 14 episoder af ‘Haruhi’ i alle mulige ordre, hvad er den korteste streng af episoder, ville du nødt til at se?
Der er 14-afsnit i første sæson af Haruhi, 2006 animationsfilm baseret på en serie af Japanske lette romaner. De episoder, som har tid på at rejse og er ellers kronologisk udfordrende for seeren, der oprindeligt blev udsendt i en ikke-lineær rækkefølge. Da serien gik til DVD, den episoder blev omstruktureret, og det er blevet noget af en besættelse for fans til at rewatch serien igen og igen, at gå igennem så mange chronologies som muligt.
En anonym plakat fundet ud af en mulig måde at løse de 4chan problem, der opfylder mere matematisk tilbøjelig Haruhi fans. Men i den proces, de har også hjulpet puslespil ud af et problem, at matematikere har arbejdet med siden 1993. Den anonymt forfattet bevis (som for nylig blev hvile på en Fandom wiki) er i øjeblikket den mest elegante løsning til en del af et matematisk problem med noget, der hedder superpermutations. Det er en gåde, der går langt ud over animationsfilm.
I matematik, en permutation er et sæt af numre. I anime vendinger, er en permutation af Haruhi ville være at se alle 14 episoder i den rækkefølge, som de blev sendt. Men hvad nu hvis du er en Haruhi superfan og ser sæsonen gang er ikke nok for dig? I dette tilfælde, du måske kunne være interesseret i en superpermutation, eller alle mulige permutationer af et sæt sat sammen. Tænk på det som den ultimative Haruhi marathon.
Tænk på det som den ultimative ‘Haruhi’ marathon
Den gren af matematik, der beskæftiger sig med permutationer og superpermutations kaldes kombinatorik. Det kræver ikke flere års studier for at være god til det, enten. “Det er mere tilgængelige for amatør og afslappet matematikere,” Houston siger.
Plakaten er anonymitet ikke ugyldig løsning for matematikere. “Hvad er smuk om matematik er, at det er et bevis, der starter med din hypotese og fører til din konklusion,” Jay Pantone, en matematiker på Marquette University siger. “Du er nødt til at overbevise en skeptisk læser, at du er korrekt. Det betyder ikke stole på, at din identitet bliver kendt.”
Pantone var, at skeptiske læser for 4chan bevis. I denne uge, han oversatte det fra den mere uformelle 4chan udstationering i en mere formel layout, som matematikere, ligesom han lettere kunne forstå. Han siger, at beviset holder op.
Med Haruhi problem, folk var på udkig efter den kortest mulige superpermutation for den 14-episode sæt. Men ingen har fundet en formel, der faktisk ville kunne løse dette problem. 1993 papir foreslået en del af denne løsning. Men i 2014, Houston har fundet ud af, at den matematik, der bruges i 1993 problem ikke arbejde for apparater, der indeholder mere end seks numre. Resultatet fik matematikere virkelig spændt på, om problemet igen, efter at det havde vansmægtet i den litteratur, der i et kvart århundrede. I sidste ende, en af dem fandt de 4chan bevis, og alle disse tal og symboler, der begyndte at falde på plads.
Den 4chan bevis beskriver, hvordan at finde den mindste mulige antal af episoder for den løsning. Men det betyder ikke fuldt ud løse problemet. Et endnu større gennembrud kom tidligere i denne måned, når sci-fi forfatter og matematiker Greg Egan skrev et bevis på, at der er skitseret, hvordan at finde det størst mulige antal for en given superpermutation problem.
Pantone kværnet antallet af Haruhi problem for Randen, og fandt, at du er nødt til at se på mindst 93,884,313,611 episoder til at se sæson på nogen mulig rækkefølge. På de fleste, ville du nødt til at se 93,924,230,411 episoder til at udføre opgaven. Der er stadig en måder at gå til indsnævre det nøjagtige svar, men de er ved at blive der.
Nu, matematikere har en måde at finde ud af den vifte af svar, og en gruppe af dem — herunder Houston og Pantone — arbejder aktivt for at finde ud af en formel, der kombinerer Egan ‘ s arbejde og anonym bevis i en sammenhængende formel. “Det kan være muligt at knække de ting, helt åben,” Houston siger.
Ud over besvarelsen obskure animationsfilm spørgsmål, der er ingen kendte programmer for formel
Ud over besvarelsen obskure animationsfilm spørgsmål, der er ingen kendte programmer for formlen, hvilket ikke er usædvanligt i området. Det tager ofte årtier, Pantone siger, for formler, som er opdaget i ren matematik til at gøre deres vej ind i den virkelige verden. Men 4chan episode viser, at matematik kan være tilgængelige for alle.
“Dette bevis viser, at du ikke behøver at være en professionel matematiker for at forstå matematik, og rykke grænserne for viden,” Pantone siger. “Det er det smukke ting om matematik, er, at alle kan forstå det spørgsmål.”