Computational Complexity

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

Friday, July 27, 2018

Complexity in Oxford

›
Oxford, England is in the middle of a heat wave and it handles high temperatures about as well as Atlanta handles snow. But that can't s...
1 comment:
Wednesday, July 25, 2018

Need EASY approaches to getting unif random from non-random sources

›
Teaching crypto for the first time next semester I am looking into lots of stuff I always meant to look into but now I have to. NOT a compla...
11 comments:
Friday, July 20, 2018

CRA Snowbird 2018

›
Marios Papaefthymiou (UC Irvine), Michael Franklin (U. Chicago), Larry Birnbaum (Northwestern) and me. This week I attended the 2018 Co...
3 comments:
Monday, July 16, 2018

The Mystical Bond Between Man and Machine

›
You just can't watch a movie these days without being inundated with trailers. First came Axl , a movie about a boys love for a military...
Thursday, July 12, 2018

The Six Degrees of VDW

›
 A long long time ago  a HS student, Justin Kruskal (Clyde's  son)  was working with me on upper bounds on some Poly VDW numbers (see he...
Monday, July 09, 2018

Soliciting answers for THIRD survey about P vs NP

›
I have done two surveys for SIGACT NEWS Complextiy Column (edited by Lane Hemaspaandra) on P vs NP and related topics.  Lane has asked me...
7 comments:
Thursday, July 05, 2018

Happy 90th Juris!

›
Juris Hartmanis turns 90 today. Hartmanis with Richard Stearns received the 1993 Turing Award for their seminar work  On the Computationa...
Monday, July 02, 2018

The BREAKTHROUGH on Chromatic Number of the Plane (guest post)

›
(The new SIGACT News chair wnated me to post a letter he send to all SIGACT members on my blog in case you are not in SIGACT. He thinks you ...
1 comment:
Thursday, June 28, 2018

STOC 50 Part II

›
On Wednesday, STOC had a great complexity session and the best complexity paper of the conference, Cody Murray and Ryan Williams extending ...
Tuesday, June 26, 2018

STOC 50 Part I

›
This week I'm in Los Angeles attending the 50th Symposium on the Theory of Computing. Most attendees weren't even born before the fi...
Friday, June 22, 2018

The Muffin Problem

›
I've been meaning to post on THE MUFFIN PROBLEM for at least a year. Its a project I've been working on for two years, but every tim...
Sunday, June 17, 2018

Its good to be mii

›
When I taught  ugrad  Elementary Theory of Computation (Reg, CFL, P, NP, Dec, c.e.) I made 5% of the grade be MEET THE PROF- come to my of...
4 comments:
Thursday, June 14, 2018

Hoteling

›
Thanks to Grigory Yaroslavtsev for taking over the Theory Jobs Spreadsheet . Details on Grigory's blog . Check out who is going where...
4 comments:
Sunday, June 10, 2018

How the Villarino-Gasarch-Regan paper came about

›
(This post overlaps a prior one  here . The paper I am blogging about was also blogged about by Lipton  here . The paper itself is on arxiv ...
Wednesday, June 06, 2018

I tell my class that P is important because... but is that really true?

›
When teaching P vs NP  the questions arises (and if not then I bring it up) what if you have algorithm in P that takes n^{100} time?. Or eve...
19 comments:
Friday, June 01, 2018

BQP not in the Polynomial-Time Hierarchy in Relativized Worlds

›
The quantum complexity world is a rocking with the paper released yesterday by Ran Raz and Avishay Tal,  Oracle Separation of BQP and PH , r...
5 comments:
Thursday, May 31, 2018

Seventh Grade Math Contest

›
I stumbled upon an old blog post on the Lesswrong weblog that quotes several famous mathematicians  on the connections, or lack thereof, be...
Tuesday, May 29, 2018

Why is someone emailing me an offer to apply to be chair?

›
I recently go the following email (I blocked out identifying information of who send it and what college is involved. I doubt I needed to le...
5 comments:
Thursday, May 24, 2018

Kolmogorov Complexity and Causation

›
I got an interesting email question. Suppose I give you a set of points S of the form (x,y). He suggested ideally they would be pairs o...
6 comments:
Sunday, May 20, 2018

COMPUTER PROOF vs computer proof- Quadratic VDW theorem

›
Quad VDW Theorem: For all c there exists W=W(c) such that for all c-colorings of {1,...,W} there exists a,d such that a and a+d 2 are the s...
6 comments:
‹
›
Home
View web version
Powered by Blogger.