CIA, NSA, FBI, DoD, SZK, RNC, QMA, BPE
Sorry for the long delay! I had to be in Washington D.C. this week, for reasons I’m not at liberty to disclose. (Yes, I’m serious, and no, it’s not as interesting as it sounds.) Oh: on my way back to Canada, for some strange reason they confiscated my Blistex. I guess airport security guards get chapped lips a lot.
As our world descends even further into war, terror, and Armageddon, I have an exciting complexity-theoretic announcement. Building on the Complexity Zoo, Greg Kuperberg has created a “Robozoologist”: an expert system for reasoning about complexity classes. What’s more, Greg is releasing some spinoffs of his project to the masses, including a JavaScript-powered inclusion graph, and an automatically-generated RoboZoo. I can still remember them frontier days of 2002, when I had to herd the BP operators with my two bare hands…
Follow
Comment #1 August 12th, 2006 at 9:47 am
Thanks a lot for the announcement! To adjust the hype just a little bit, the RoboZoo is not completely automatic. It starts with a data file created by wetware, which is then checked and compiled by software.
Also, the only real reasoning that the robozoologist can do is to survey the literature. E.g., if you tell it that there is an oracle that separates NP from BQP [BBB+97], and that NP is in PSPACE, it will say: therefore there is an oracle that separates PSPACE from BQP, again citing [BBB+97]. It actually has no model for any complexity class, other than its relations to other classes. (But as Scott alludes, it does know about class operators.)
Comment #2 August 12th, 2006 at 10:27 am
NSF
Comment #3 August 12th, 2006 at 12:47 pm
I guess I’d make a crappy undercover agent…
Comment #4 August 12th, 2006 at 12:58 pm
Way to go, Greg!
I’m seeing the big diagram with some old-school map design underlaid, with high seas and ‘here-be-dragons’ starting around double-exponential time.
Comment #5 August 12th, 2006 at 1:40 pm
DTO
Comment #6 August 13th, 2006 at 3:49 am
WTF
Comment #7 August 13th, 2006 at 4:12 pm
Hi Scott,
It appears an old friend of yours started a weblog:
http://www.ahmadinejad.ir/
Comment #8 August 13th, 2006 at 6:54 pm
Thanks for the link! I can’t wait for the English version; I should drop Mahmoud a note welcoming him to the blogosphere.
Comment #9 August 13th, 2006 at 8:37 pm
There is English version for that link. Just click on the flag with stars on the top right below his picture.
Comment #10 August 13th, 2006 at 9:33 pm
Oops, my mistake!
In the Name of God, the Most Merciful, the Most Compassionate
Oh Almighty God, please, we beg you to send us our Guardian- who You have promised us- soon and appoint us as His close companions.
During the era that nobility was a prestige and living in a city was perfection, I was born in a poor family in a remote village of Garmsar-approximately 90 kilometer east of Tehran…
I can’t wait to see what my new fellow blogger comes up with next!
Comment #11 August 13th, 2006 at 10:10 pm
Incidentally, there’s a poll on Mahmoud’s website:
Do you think that the US and Israeli intention and goal by attacking Lebanon is pulling the trigger for another word [sic] war?
95% voted “no.”
Comment #12 August 14th, 2006 at 1:44 pm
Only 57% says no now.
Comment #13 August 14th, 2006 at 7:21 pm
Trivia question (I don’t know the answer): is he the first president with a weblog?
Comment #14 August 14th, 2006 at 11:49 pm
Scott… your friend just did an interview with 60 Minutes.
Here’s the first part:
Comment #15 August 15th, 2006 at 4:04 am
Scott, your friend
attacked my computer!