Computational Complexity

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

Sunday, April 28, 2024

Math Thoughts Inspired by the TV show Succession

›
I watched Succession one-episode-a-day on treadmill for 39 days. I'm glad I did this in 2023 since Season 2 aired its last show on Oct 1...
3 comments:
Wednesday, April 24, 2024

Is Persistence an Anachronism?

›
Guest post by  Martin Bullinger Very recently,  Vijay Vazirani 's paper  A Theory of Alternating Paths and Blossoms, from the Perspectiv...
17 comments:
Sunday, April 21, 2024

Intelligent Comments on Bill's G.H. Hardy/Avi W post that we did not post.

›
I posted (see here ) about Avi Wigderson being a counterexample to two of G.H. Hardy's opinions: 1) Hardy thought Math was a young man...
3 comments:
Thursday, April 18, 2024

Favorite Theorems: Quantum Provers

›
March Edition For our next favorite theorem, we look at the surprising power of provers who share entangled bits. If you can prove something...
3 comments:
Monday, April 15, 2024

Avi Wigderson is a counterexample to TWO stupid thoughts of G.H. Hardy

›
 Recently 1) Avi Wigderson won the Turing Award (See blog posts by Fortnow- here , Scott- here , Lipton-Regan here , and the ACM announcemen...
11 comments:
Wednesday, April 10, 2024

Avi wins the Turing Award

›
The ACM announced that Avi Wigderson, a force in computational complexity and beyond, will receive the 2023 A. M. Turing Award ( Quanta art...
9 comments:
Tuesday, April 09, 2024

Rance Cleaveland passed away on March 27, 2024. He will be missed

›
  My friend and colleague Rance Cleaveland passed away on March 27, 2024 at the age of 62.  He was a professor at The University of Maryland...
1 comment:
Wednesday, April 03, 2024

Answer to Question. MetaQuestion remains unsolved

›
 In a prior post I asked the following question: find x,y,z positive natural numbers such that the following is true: $$ \frac{x}{y+z} + \fr...
11 comments:
Monday, April 01, 2024

A Math Question and a Meta Question

›
 1) Question: find x,y,z natural numbers such that the following is true: $$ \frac{x}{y+z} + \frac{y}{x+z} + \frac{z}{x+y} = 4. $$ I was fir...
18 comments:
Wednesday, March 27, 2024

The Softening of Computing Jobs: Blip or Trend?

›
Tech companies are performing exceptionally well, driving the S&P 500 to new heights with their soaring stock prices. However, the tech ...
6 comments:
Monday, March 25, 2024

I know what A-B-C-D-F mean but what about V? X? HP?

›
 I am looking at LOTS of transcript of students who applied for my program  REU-CAAR  so I sometimes come across grades that I don't und...
5 comments:
Wednesday, March 20, 2024

Can you feel the machine?

›
In the recent academy award winning movie Oppenheimer , Niels Bohr tests a young Oppenheimer. Bohr : Algebra's like sheet music, the im...
6 comments:
Sunday, March 17, 2024

Grad Student Visit Day: That was then, this is now.

›
(Harry Lewis helped me with this post.) March 15 was UMCP Computer Science Grad Student Visit Day. I suspect many of my readers are at schoo...
7 comments:
Wednesday, March 13, 2024

Translation in Context

›
La Scala in Milan Google translate generally impresses but consider this translation from a short  Italian news article . I boldfaced a few ...
1 comment:
Sunday, March 10, 2024

The Thrill of Seeing Your Name in Print is Gone

›
 In the 1980's and 1990's when I got a paper accepted to a journal or conference  it seemed important to see it in print. Having a p...
8 comments:
Wednesday, March 06, 2024

Favorite Theorems: Sensitivity

›
February Edition Our next favorite theorem gave a relatively simple proof of the sensitivity conjecture, a long-standing problem of Boolean ...
2 comments:
Sunday, March 03, 2024

The letter to recommend John Nash was ``The Best Recomendation Letter Ever''- I do not think so.

›
There is an article about the letter Richard Duffin wrote for John Nash that helped John Nash get into Princeton:  here . The title of the a...
8 comments:
Wednesday, February 28, 2024

A Quantum State

›
Illinois' most famous citizen working on a quantum computer The governor of Illinois, JB Pritzker, unveiled his budget last week includi...
5 comments:
Sunday, February 25, 2024

When is it worth the time and effort to verify a proof FORMALLY?

›
(This post was inspired by Lance's tweet and later post on part of IP=PSPACE being formally verified.)  We now have the means to verif...
9 comments:
Wednesday, February 21, 2024

Sumchecks and Snarks

›
Last summer as I lamented that my research didn't have real world implications, one of the comments mentioned the sumcheck protocol use...
3 comments:
‹
›
Home
View web version
Powered by Blogger.