Computational Complexity

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

Saturday, June 24, 2023

Can you put n pennies on an n x n chessboard so that all of the distances are distinct/how to look that up?

›
 In Jan 2023 I went to the Joint Math Meeting of the AMS and the MAA and took notes on things to look up later. In one of the talks they dis...
12 comments:
Thursday, June 22, 2023

Don't Negotiate with Logic

›
Computer science and mathematicians often try to use logic to negotiate whether it be at a university or life in general. I've tried it ...
2 comments:
Sunday, June 18, 2023

Ted Kaczynski was at one time the worlds most famous living mathematician

›
(This post is inspired by the death of Ted Kaczynski who died on June 10, 2023.)  From 1978 until 1995 23 mailbombs were sent to various peo...
13 comments:
Thursday, June 15, 2023

Randomized Acceptances

›
NeurIPS recently released their 2021 consistency report , a sequel to the 2014 experiment . While the conference has grown dramatically, the...
12 comments:
Saturday, June 10, 2023

Posting a book online with a password- that you broadcast.

›
 Recently Lance, at the request of  Vijay Vazirani, tweeted the following (I paraphrase) ---------------------------------------------------...
18 comments:
Sunday, June 04, 2023

Quantifiers: To Parenthesize or not to Parenthesize? Matrix of Formula: To Bracket or not to Bracket?

›
 For the book  Computational  Intractability: A Guide to Algorithmic Lower Bounds by Demaine-Gasarch-Hajiaghayi  (See  here  for a link to a...
7 comments:
Sunday, May 28, 2023

On Nov 10, 2014 the TV show Scorpion mentions Software that is like ChatGPT for Music

›
Scorpion is a TV show that ran from 2014 to 2018. It involves a group of brilliant (to say the least) but socially awkward (to say the least...
5 comments:
Thursday, May 25, 2023

Finding Primes Pseudodeterministically

›
In 2003, Agrawal, Kayal and Saxena showed that primality testing is in P, i.e., you could test for primes without using any randomness. What...
6 comments:
Sunday, May 21, 2023

Logic and lack of Logic of Anti Vaxers

›
I wrote the  post below the dotted line a long time ago but never got around to posting it. Now that                                        ...
22 comments:
Thursday, May 18, 2023

Community Guidelines that Ignore History

›
Last week I got the following email from Blogger: As you may know, our Community Guidelines ( https://blogger.com/go/contentpolicy ) describ...
Sunday, May 14, 2023

Take a number and map it to the number of letters in its name

›
Let f: N--> N map a number to the number-of-letters in its name in English (we will consider other languages later). So for example 14 is...
14 comments:
Thursday, May 11, 2023

Winter is Coming

›
I fear we are heading to a computer science winter. Now why would I say that when CS enrollments are at record levels and AI is driving incr...
7 comments:
Monday, May 08, 2023

Other Ramsey's

›
 I often Google Ramsey stuff to find something. I often end up back on my own collection of Ramsey theory  papers. But I sometimes find OTHE...
1 comment:
Thursday, May 04, 2023

Breaking Ground in Isomorphism Testing: A Leap Forward for a Bottleneck Case of Group Isomorphism

›
Guest post by Josh Grochow and Youming Qiao There has, quietly, been somewhat of a breakthrough in isomorphism testing. No, not as big as Ba...
Monday, May 01, 2023

There are an infinite number of proofs that there are an infinite number of primes

›
In the last few years there have been four papers that prove the primes are infinite using some number theory and some Ramsey Theory. The pa...
9 comments:
Wednesday, April 26, 2023

Comic Book Alignment

›
Talk about AI "alignment" makes me think of a time in the 1950s that a group of companies decided to create an industry organizati...
5 comments:
Sunday, April 23, 2023

Thoughts on Gordon Moore

›
 Gordon Moore passed away on March 24, 2023. He was 94 years old.  He is best known for the article  Cramming more components onto integrate...
11 comments:
Thursday, April 20, 2023

Health Tech

›
On Tuesday, at the behest of an alumnus, I spent the afternoon at HIMSS , a large health tech conference being held at the big convention ce...
3 comments:
Thursday, April 13, 2023

My Week at Simons

›
This week finds me at the Simons Institute for Theoretical Computer Science in Berkeley California. Simons started about the same time I jo...
14 comments:
Monday, April 10, 2023

Complexity and Explainable AI

›
About six years ago, I posted  on why it was important to understand machine learning, mentioning trust, fairness, security and causality. B...
5 comments:
‹
›
Home
View web version
Powered by Blogger.