Re:Graph Isomorphism update: quasipolynomial claim restored
by saalweachter on Monday January 09, 2017 @07:47PM
(#13361521)
I can't help but wonder if the qualitative difference in the problems -- graph isomorphism is an important, active area of applied mathematical research in search of a better algorithm, FLT was a multi-century abstract mathematical puzzler -- makes for a difference in the groups of people working on the problems and their attitudes.
[ Parent
| on HN ]
Re:Graph Isomorphism update: quasipolynomial claim restored
by JCzynski on Monday January 09, 2017 @08:35PM
(#13361764)
Wiles was weird at the time. Math is done in public, he just really wanted to be the one to have the final valid proof of Fermat's Last Theorem.
Re:Graph Isomorphism update: quasipolynomial claim restored
by jacobolus on Tuesday January 10, 2017 @01:50AM
(#13363173)
Saying you’re working on FLT in the late 20th century is a good way to make everyone think you’ve gone nuts and are wasting your time. It makes some sense to make sure you have something solid before you mention it.
Re:Graph Isomorphism update: quasipolynomial claim restored
by bonzini on Tuesday January 10, 2017 @09:44AM
(#13365108)
Technically he was working on the Taniyama conjecture (now known as the modularity theorem), not on Fermat's last theorem.
Re:Graph Isomorphism update: quasipolynomial claim restored
by digler999 on Tuesday January 10, 2017 @10:42AM
(#13365601)
or conversely, if they believe you, they could try to sniff your approach and take the credit for it. given the fame of FLT I dont blame him for doing it undercover.
Re:Graph Isomorphism update: quasipolynomial claim restored
by Jweb_Guru on Monday January 09, 2017 @08:12PM
(#13361645)
Graph isomorphism isn't that important practically (subgraph isomorphism is, but it's NP-complete and, IIRC, APX-hard as well) and the hard graph cases don't come up much in practice (despite being a relatively large percentage of random graphs, AFAIK). I think it reflects a difference in how mathematics is done; the quasipolynomial result was first presented at a conference, not in a paper, which definitely wouldn't have been the case 20 years ago.
Re:Graph Isomorphism update: quasipolynomial claim restored
by mafribe on Monday January 09, 2017 @08:48PM
(#13361841)
Wiles' original FLT result was first presented at a workshop in Cambridge, although he didn't explicitly state that he had succeeded (sans the gap) in proving FLT, he left that for the audience to infer.
Re:Graph Isomorphism update: quasipolynomial claim restored
by tacomonstrous on Monday January 09, 2017 @09:52PM
(#13362149)
And that doesn't even make it unusual. Most mathematical results are first presented at conferences or workshops, sometimes long before publication.