Computational Complexity

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

Sunday, October 06, 2024

Emil Post Anticipated (more than anticipated) Godel and Turing

›
 (Thanks to James De Santis for pointing the article that inspired this post on Post. The article is pointed to in this post.) What is Emil ...
2 comments:
Wednesday, October 02, 2024

Favorite Theorems: Gradient Descent

›
September Edition Who thought the algorithm behind machine learning would have cool complexity implications? The Complexity of Gradient Desc...
3 comments:
Sunday, September 29, 2024

Progress on R(5). Will there be more?

›
 ( I had a post a while back requesting people to submit open problems in Luca Trevisan's honor with deadline Oct 1. I am extending that...
7 comments:
Thursday, September 26, 2024

LeetCode and AI

›
I often do  LeetCode  problems for fun. This site mainly provides short coding problems for students and others to train for the kinds of qu...
7 comments:
Monday, September 23, 2024

I thought I knew what pizza was...

›
 On Page 75 of  The Existential Theory of the Reals as a Complexity Class: A Compendium by Marcus Schaefer, Jean Cardinal, Tillmann Mitzow (...
4 comments:
Wednesday, September 18, 2024

Embracing the Future of Manufacturing

›
Last week I walked around the  International Manufacturing Technology Show  with 89,000 other participants at the McCormick Center in Chicag...
1 comment:
Sunday, September 15, 2024

How will chatGPT affect Homework?

›
LANCE: I gave my final exam for my ugrad theory course (regular, Context Free, P, NP, Decidable, Undecidable) to the new ChatGPT o1 that cl...
6 comments:
Wednesday, September 11, 2024

Natural Proofs is Not the Barrier You Think It Is

›
If there's a position where I differ from most other complexity theorists it's that I don't believe that natural proofs present ...
7 comments:
Sunday, September 08, 2024

Very few problems are in NP intersect coNP but not known to be in P. What to make of that?

›
Someone once told me:  I was not surprised when Linear Programming was in P since it was already in \(  NP \cap  coNP  \), and problems in t...
9 comments:
Wednesday, September 04, 2024

Favorite Theorems: Parity Games

›
August Edition A quasipolynomial-time algorithm for a long standing open problem. Yes, we have two of them this decade. Deciding Parity Gam...
Sunday, September 01, 2024

Six degrees of separation has been proven. Really?

›
There is a paper (see  here  for an article about the paper, the link to the paper itself is later) that claims to PROVE that, on average, t...
Thursday, August 29, 2024

My Quantum Summer

›
Rendering of PsiQuantum's facility in Chicago I wasn't looking for quantum this summer but it found me. At various events I ran into...
2 comments:
Monday, August 26, 2024

Whats worse for a company: being hacked or having technical difficulties? I would have thought being hacked but...

›
At the Trump-Musk interview: 1) There were technical difficulties which caused it to start late and have some other problems. 2) Musk and (I...
4 comments:
Wednesday, August 21, 2024

The Levin Translation

›
Earlier this summer I attended a Celebration for Leonid Levin who recently turned 75. To prepare my talk I wanted to go back to Levin's...
2 comments:
Sunday, August 18, 2024

Request open problems in honor of Luca Trevisan

›
 Request for Open Problems In Memory of Luca Trevisan ADDED LATER: DEADLINE EXTENDED TO OCT 14 BUT THAT IS A VERY VERY HARD DEADLINE.  Luca ...
Wednesday, August 14, 2024

Favorite Theorems: Random Oracles

›
July Edition This months favorite theorem is a circuit result that implies the polynomial-time hierarchy is infinite relative to a random or...
2 comments:
Saturday, August 10, 2024

The combinatorics of Game Shows

›
 (Inspired by Pat Sajak stepping down from Wheel of Fortune) How many different game show are there? Many. How many could there be? 1) Based...
2 comments:
Sunday, August 04, 2024

Determing which math problems are hard is a hard problem

›
 I was wondering what the hardest math problems were, and how to define it. So I googled  Hardest Math Problems The first hit is  here . The...
10 comments:
Sunday, July 28, 2024

In the future we will all have songs written about us, and it will be Lance's fault.

›
In response to my blog post about how its easier to FIND novelty songs (and other things) than it used to be (see  here ) Lance showed how e...
2 comments:
Wednesday, July 24, 2024

Complexity in Michigan

›
Invited Speaker Nutan Limaye, Conference Chair Valentine Kabanets, 2024 PC Chair Rahul Santhanam, myself, 2025 PC Chair Srikanth Srinivasan ...
‹
›
Home
View web version
Powered by Blogger.