Mystery Math Whiz and Novelist Advance Permutation Problem (quantamagazine.org)
A new proof from the Australian science fiction writer Greg Egan and a 2011 proof anonymously posted online are now being hailed as significant advances on a puzzle mathematicians have been studying for at least 25 years. Erica Klarreich, writing for Quanta Magazine: On September 16, 2011, an anime fan posted a math question to the online bulletin board 4chan about the cult classic television series The Melancholy of Haruhi Suzumiya . Season one of the show, which involves time travel, had originally aired in nonchronological order, and a re-broadcast and a DVD version had each further rearranged the episodes. Fans were arguing online about the best order to watch the episodes, and the 4chan poster wondered: If viewers wanted to see the series in every possible order, what is the shortest list of episodes they'd have to watch? In less than an hour, an anonymous person offered an answer -- not a complete solution, but a lower bound on the number of episodes required. The argument, which covered series with any number of episodes, showed that for the 14-episode first season of Haruhi, viewers would have to watch at least 93,884,313,611 episodes to see all possible orderings. "Please look over [the proof] for any loopholes I might have missed," the anonymous poster wrote.
The proof slipped under the radar of the mathematics community for seven years -- apparently only one professional mathematician spotted it at the time, and he didn't check it carefully. But in a plot twist last month, the Australian science fiction novelist Greg Egan proved a new upper bound on the number of episodes required. Egan's discovery renewed interest in the problem and drew attention to the lower bound posted anonymously in 2011. Both proofs are now being hailed as significant advances on a puzzle mathematicians have been studying for at least 25 years. Mathematicians quickly verified Egan's upper bound, which, like the lower bound, applies to series of any length. Then Robin Houston, a mathematician at the data visualization firm Kiln, and Jay Pantone of Marquette University in Milwaukee independently verified the work of the anonymous 4chan poster. Now, Houston and Pantone, joined by Vince Vatter of the University of Florida in Gainesville, have written up the formal argument. In their paper, they list the first author as "Anonymous 4chan Poster."
The proof slipped under the radar of the mathematics community for seven years -- apparently only one professional mathematician spotted it at the time, and he didn't check it carefully. But in a plot twist last month, the Australian science fiction novelist Greg Egan proved a new upper bound on the number of episodes required. Egan's discovery renewed interest in the problem and drew attention to the lower bound posted anonymously in 2011. Both proofs are now being hailed as significant advances on a puzzle mathematicians have been studying for at least 25 years. Mathematicians quickly verified Egan's upper bound, which, like the lower bound, applies to series of any length. Then Robin Houston, a mathematician at the data visualization firm Kiln, and Jay Pantone of Marquette University in Milwaukee independently verified the work of the anonymous 4chan poster. Now, Houston and Pantone, joined by Vince Vatter of the University of Florida in Gainesville, have written up the formal argument. In their paper, they list the first author as "Anonymous 4chan Poster."
Would someone please explain why it wouldn't just be 14! for all permutations?
Great minds think alike; fools seldom differ.
Isn't this just N!?
If I have N things, the number of possible orderings are N * N-1 * N-2 * N-3 ... * 1. No? Am I misunderstanding what they are computing?
Math proofs, urination dossiers...is there anything 4chan can't do?
It sounds like it's just a permutation problem from the description. Can someone describe better why this is actually interesting?
It can do anything But no one can prove if a conversation will end. The halting condition is Hitler.
Some drink at the fountain of knowledge. Others just gargle.
From the article:
If a television series has just three episodes, there are six possible orders in which to view them: 123, 132, 213, 231, 312 and 321. You could string these six sequences together to give a list of 18 episodes that includes every ordering, but there’s a much more efficient way to do it: 123121321. A sequence like this one that contains every possible rearrangement (or permutation) of a collection of n symbols is called a “superpermutation.”
CAPTCHA: contests
On September 16, 2011, an anime fan posted a math question to the online bulletin board 4chan about the cult classic television series The Melancholy of Haruhi Suzumiya .
Various logs from 2011 could nail down who that was. Analysis of the post(s) could further clinch it.
Satoshi Nakamoto strikes again.
Exactly. You beat me to it. By a minute.
Of course I only read the summary but that lower bound is laughable.
It's not 14! you want to compare the lower bound with, it's 14! * 14.
Deal with reality - the world as it is - rather than ideality - the world as you would like it to be.
14! is the number of PERMUTATIONS, so you would watch ALL 14 episones in 87178291200 different orders.
Fry: heh, Yakov Smirnoff said it
Leela: No he didn't.
Slashdot appears to love arguing about articles they haven't read yet.
An obvious lower bound is n! + n - 1 or (in this case) 87178291213
,,, but that is not a proof.
If you're watching only 2 episodes, 2! is not enough, you need at least 3 (either 121 or 212 will do). Basically, you're overlapping n! lists each n episodes long - but the last list has to add the other n - 1 episodes to get a full list.
In all the small cases that I've tried this lower bound is the actual minimum number needed
This seems related to De Bruijn sequences isn't it?
If we have algorithms that can generate the series, why do we need to set bounds on how long it is instead of just analysing the algorithm to see what size output it always generates?
If it's not, would love to know the difference.
How is 93,884,313,611 the lower bound? 14! is 87,178,291,200
Because its not 14!, its 14! * 14 which is much larger than 14! * 13! * 12! * 11 which is the lower bound (93,884,313,611).
"Those that start by burning books, will end by burning men."
How is 93,884,313,611 the lower bound? 14! is 87,178,291,200
Because its not 14!, its 14! * 14 which is much larger than 14! * 13! * 12! * 11 which is the lower bound (93,884,313,611).
Oops, that should read 14! + 13! + 12! + 11
"Those that start by burning books, will end by burning men."
Is the anime good or not?
Only to people who don't know what it means.
Combinatorics is an entire field of mathematics. As much as it is geekily applied to an Anime series, the utility of the maths to other fields is very real.
Your lack of understanding has no bearing whatsoever on the real, actual mathematics which is being advanced here. That's all you, not what is being discussed in the article.
Turns out Anon is a fucking genius autist after all!
How do you know that if you don't even know "WTF" it is?
systemd is Roko's Basilisk.
Or, altenatively, you're an idiot.
Not because you misunderstood, but because you didn't even consider that you might have misunderstood.
14! is the total number of permutations, but each permutation contains 14 items, so you should be comparing the new lower bound - 93,884,313,611 - with 14 * 14!, which is 1,220,496,076,800.
systemd is Roko's Basilisk.
Isn't this just a situation for the De Bruijn sequence? .. I asked that on 4chan during one of those discussions.
(In which case, D(k=14,n=8) == 6,227,020,800)
Season one of the show, which involves time travel, had originally aired in nonchronological order
Which isn't actually a problem for time travellers, give me a break editors!
(-1: Post disagrees with my already-settled worldview) is not a valid mod option.
2011 on 4chan
The proof slipped under the radar of the mathematics community for seven years -- apparently only one professional mathematician spotted it at the time, and he didn't check it carefully.
He was too busy studying the Kim K. photos; this was before the third hip siliconization expansion.
(-1: Post disagrees with my already-settled worldview) is not a valid mod option.
One of the paper authors, Jay Pantone, has an Erdos number of 3. That means Anonymous 4chan Poster has an Erdos number of 4. Pretty good for an anonymous 4chan poster.
Cover your butt. Bernard is watching.
Perhaps the most famous anonymous contribution to mathematics was the answers to Bernoulli's challenges in 1697. When the two winners were announced, one was the Leibniz, the other an anonymous contestant. But Bernoulli was not fooled. By the solution presented, a solution requiring an extensive knowledge of calculus, Bernoulli correctly deduced then entrant, "we know the lion by his clam" , none other than Sir Isaac Newton.
He wants more man made climate change IPCC UN claptrap articles, you know, credible ones.
Doh!
This is what I want every Slashdot post to be like. Relevant, interesting article. Informative comments. Math, anime and 4chan, oh my!
Think on this: What if the order you watched the episodes changed the content of the subsequent episodes? Would you have to start over again and make different choices in your order?
What if the order you watched the episodes changed the content of the episodes you already watched?
These questions are important to many different disciplines such as Biology, Economics, Mathematics, Robotics, and many, many more.
I usually recommend two books that touch on the subject: For Economics I recommend, "The Origin of Wealth" by Beinhocker https://www.amazon.com/dp/B077... . It is very readable and will stretch the mind. For Technology I recommend, "Out of Control" by Kevin Kelly. It is also very readable, and will also stretch your mind https://kk.org/kevinkelly/out-... . I recommend the PDF version because Kelly added more illustrations, annotations and footnotes.
In Economics, Frederich Hayek proved, back in about 1929, that this type of complexity made true command and control Economics implausible, and probably impossible. Marxists, Socialists and Stafford Beer (before he bankrupted Chile) https://en.wikipedia.org/wiki/... , should have taken notice.
"The mind works quicker than you think!"
I first stumbled across Greg Egan's work about ten years ago via another slashdot poster... he writes really good hard science fiction.
My favorite is probably Diaspora. Things start off with a mass extinction event due to a nearby gamma ray burst. Things ramp up from there as the robotic and electronic survivors set out to explore the universe, in a bid to find other potential dangers and ensure survival. Their journey takes them on a grand exploration of the galaxy, simulated virtual universes, and parallel dimensions. Through it all, Egan throws in plenty of real math to make things interesting.
Procrastination Man strikes again!
Why isn't it (n-2)*(n-1)*(n+1.5), e.g., 2418 for n=14?
Here's the funny part.
If each Episode was 30 mins, then it would take you 4,975,929 years to watch them all....
That's because you Deplorables are tired of being publicly shamed for your hatred and general selfishness. Let's talk about ANYTHING ELSE that doesn't involve you being a fascist. Wah fucking wah. trump won GET OVER IT. This is the bed you wanted, nay DEMANDED, and now you're gonna fucking lie in it. If you don't want to be called a piece of shit, STOP ACTING LIKE A PIECE OF SHIT!
Exact answer is 93928268313 for n = 14