5:15 PM
Stackexchange format is not always so great for cutting edge research. noticed this years ago, its a factor thats contributed to my "retirement" from Q/A involvement on the site. research inherently intimately involves unanswerable questions. re the idea of matrix permutations vs GI, theres obviously some deep connection, is it described/ surveyed anywhere? this also reminds me of my old idea of FSM equivalence testing connection to GI, seems maybe some deeper links there to be explored also.
re GI hardness generation: think its a great/ very worthwhile idea to study this problem empirically, have promoted that direction for many yrs, great to see some others finally taking it seriously, but theres a key way its different than P vs NP problems. "worst case problems" from that study tend to take exponentially increasing time to solve. but for GI, if the best algorithm is polylogarithmic, then the worst cases do not "stand out" as much vs execution time from the "easy" cases...
3 hours later…
8:47 PM
« first day (1917 days earlier) ← previous day next day → last day (1712 days later) »
Transcript for
Sep27
Sep '1828
Sep29
theory salon
theoretical computer science. highlight reel vzn1.wordpress.co...