Computational Complexity

Computational Complexity and other fun stuff in math and computer science from Lance Fortnow and Bill Gasarch

Monday, November 29, 2010

Complexity as Friction

›
What advantages can we get from computational hardness? Cryptography and pseudo-random number generators come to mind. But perhaps the unive...
16 comments:
Wednesday, November 24, 2010

Game Theory, Terrorism, Hardness and SAT Solving

›
Last week I attended the Army Research Office sponsored  Workshop on Reasoning in Adversarial and Noncooperative Environments  related to To...
8 comments:
Monday, November 22, 2010

Erdos Distance Problem SOLVED!

›
(All papers referred to in this post can be accessed from my website on the Erdos Distance Problem. ). In 1946 Erdos raised the followin...
8 comments:
Thursday, November 18, 2010

Eleven Tweets from GASARCH

›
I don't do tweets-I don't think I have enough interesting 140-char notes to tell people (though that doesn't stop Lance). Howeve...
5 comments:
Monday, November 15, 2010

Is Ryan's Theorem Only Interesting to Complexity Theorists?

›
Last week, the complexity theory bloggers  Dick ,  Scott ,  Luca  and myself  all heaped praise on Ryan Williams' new circuit lower boun...
45 comments:
Thursday, November 11, 2010

A Problem with Wikipedia and the Next Best Thing to Winning a Godel Prize

›
(There are TWO theory day events in NY this semsester: Nov 11, 2010 and Nov 12, 2010 . The first one has likely already started as you rea...
13 comments:
Wednesday, November 10, 2010

Dr. Scott Goes to Washington

›
Fellow blogger Scott Aaronson  was chosen as one of 19 NSF PECASE awardees and wins a trip to the White House. Congrats to Scott! He receiv...
8 comments:
Tuesday, November 09, 2010

A Breakthrough Circuit Lower Bound

›
On October 8th, when in my graduate complexity course as we discussed the 1987 Razborov-Smolensky result that one can't compute the Mod ...
10 comments:
Monday, November 08, 2010

The FOCS Experience

›
You can now watch videos of the recent FOCS talks online . Glencora, who I had the pleasure of meeting at the conference, has her favorites ...
20 comments:
Thursday, November 04, 2010

A non rigorous proof technique

›
As a grad student (1980's) I found a book in the library that claimed to solve Fermat's Last Theorem using elementary methods. (This...
11 comments:
Tuesday, November 02, 2010

The revolution will be DVRed

›
(There are TWO theory day events in NY this semester: Thu Nov 11 . and Fri Nov 12 .) BILL: Will you be going to the RALLY TO RESTORE SAN...
8 comments:
Monday, November 01, 2010

By Any Other Name Would Be Just As Hard

›
In 1973 Donald Knuth searched for a name for the hardest problems in NP. Steve Cook didn't give a name in his paper and Karp called them...
13 comments:
Friday, October 29, 2010

Advice on getting connecting to the community (guest post by Daniel Apon)

›
(Guest Post by Daniel Apon.) As a follow up to the last post on Do Conferences Build Community? I offer some advice for people to get...
16 comments:
Thursday, October 28, 2010

Do conference build community? (joint post)

›
(Joint Post by Daniel Apon and Bill Gasarch. Does doing joint posts build community?) In GASARCH's post on Will there be a 50th CCC...
9 comments:
Tuesday, October 26, 2010

FOCS Part II

›
I'm heading back to Chicago this morning. Dan Spielman had a special talk in honor of his recent Nevanlinna prize. He gave an amazing ta...
13 comments:
Monday, October 25, 2010

FOCS Part I

›
Some thoughts from the  FOCS conference  in Las Vegas. One result I hadn't seen before I heard people excited by,  Determinant Sums for ...
16 comments:
Friday, October 22, 2010

New York Area Theory Day- Nov 12, 2010

›
New York Area Theory Day, Organized by: IBM/NYU/Columbia, External sponsorship by: Google, Friday, November 12, 2010 The Theory Day will...
6 comments:
Thursday, October 21, 2010

Will there be a 50th CCC? Will you be there?

›
At the 25th CCC Juris Hartmanis gave a great talk to celebrate having a 25th. Will there be a 50th? I asked people at the conference. What d...
12 comments:
Wednesday, October 20, 2010

A Note from the Trenches (Guest Post from Michael Mitzenmacher)

›
Former blogger Michael Mitzenmacher talks about being chair and not blogging. In a day for guest posts, over at Geomblog , David Johnson wan...
5 comments:
Tuesday, October 19, 2010

My Trip to Denmark

›
Last week I had a pleasant short trip to Aarhus, Denmark for the inauguration of the new Center for Research in the Foundations of Electron...
7 comments:
‹
›
Home
View web version
Powered by Blogger.