Computational Complexity

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

Wednesday, December 27, 2017

Complexity Year in Review 2017

›
Theorem of the year goes to the resolution of the dichotomy conjecture. I wrote about the conjecture  in February and while the Feder et. al...
Thursday, December 21, 2017

Having Faith in Complexity

›
I believe P ≠ NP as much as anyone else. Nevertheless should we worry about trust we put in complexity? You don't need the full power ...
2 comments:
Sunday, December 17, 2017

Monkey First!

›
The following story is not true nor has anyone claimed its true, but it has a point: A company gets a contract to do the following: train ...
3 comments:
Wednesday, December 13, 2017

Our AI future: The Good and the Ugly

›
I don’t directly work in machine learning but one cannot deny the progress it has made and the effect it has on society. Who would have thou...
17 comments:
Tuesday, December 12, 2017

Interesting Probability on a VERY OLD TV show

›
I have posted about things I see in TV or Movies that are math or CS related: Do TV shows overestimate how much a genius can help solve cr...
3 comments:
Thursday, December 07, 2017

Razor's Edge

›
Informally the sensitivity conjecture asks whether every hard Boolean function has a razor's edge input, where flipping a random bit has...
4 comments:
Monday, December 04, 2017

Fireside chat with Simons Inst Director Dick Karp

›
Fireside chat with Dick Karp Above link is Samir Khuller interviewing Dick Karp, though its labelled as a fireside chat with Dick Kar...
Thursday, November 30, 2017

Kolmogorov Complexity and the Primes

›
Bill's post on how to derive the non-finiteness of the primes from Van der Waerden's theorem reminds me of a nice proof using Kolmo...
5 comments:
Monday, November 27, 2017

Van der Waerden's theorem implies the infinitude of the primes

›
(Sam Buss and Denis Hirschfeld helped me on this post.) I was reading the table of contents of the American Math Monthly and saw an artic...
6 comments:
Monday, November 20, 2017

The Grad Student Tax

›
By now as you've read from Luca or Scott or PhD Comics  or a variety of other sources on the dangerous changes to the tax code that pa...
5 comments:
Thursday, November 16, 2017

A Tale of Three Rankings

›
In the Spring of 2018 the US News and World Report should release their latest rankings of US graduate science programs including computer s...
6 comments:
Monday, November 13, 2017

Can you measure which pangrams are natural

›
A Pangram is a sentence that contains every letter of the alphabet The classic is:                                       The quick brown...
11 comments:
Thursday, November 09, 2017

Advice for the Advisor

›
A soon-to-be professor asked me recently if I could share some ideas on on how to advise students. I started to write some notes only to re...
2 comments:
Monday, November 06, 2017

The two fears about technology- one correct, one incorrect

›
When the luddites smashed loom machines their supporters (including Lord Byron, Ada Lovelaces father) made two arguments in favor of the lu...
9 comments:
Thursday, November 02, 2017

Matching and Complexity

›
Given a group of people, can you pair them up so that each pair are Facebook friends with each other? This is the famous perfect matching pr...
3 comments:
Tuesday, October 31, 2017

The k=1 case is FUN, the k=2 case is fun, the k\ge 3 case is... you decide.

›
 (All of the math in this post is in here .) The following problem can be given as a FUN recreational problem to HS students or even youn...
7 comments:
Thursday, October 26, 2017

2017 Fall Jobs Post

›
You're finishing up grad school or a postdoc and ask yourself what should I do for the rest of my life? We can't answer that for you...
22 comments:
Monday, October 23, 2017

Open: PROVE the pumping and reductions can't prove every non-reg lang non-reg.

›
Whenever I post on regular langs, whatever aspect I am looking at, I get a comment telling me that we should stop proving the pumping lemma ...
13 comments:
Thursday, October 19, 2017

The Amazon Gold Rush

›
Unless you have hidden under a rock, you've heard that Amazon wants to build a second headquarters in or near a large North Americ...
4 comments:
Monday, October 16, 2017

Reductions between formal languages

›
Let EQ = {w : number of a's = number of b's } Let EQO = { a n b n : n ∈  N} (so its Equal and in Order) Typically we do the fo...
5 comments:
‹
›
Home
View web version
Powered by Blogger.