Posts tagged "Computer science"
More problems that seem easy but are actually NP-hard
Posted on January 29, 2018 by Aaron Rotenberg
How hard is determining whether an algebraic set is nonempty?
Posted on January 22, 2018 by Aaron Rotenberg
A plausible-sounding data structure that probably doesn't exist
Posted on February 22, 2016 by Aaron Rotenberg
Propositional logic proofs are awful
Posted on July 8, 2013 by Aaron Rotenberg
The shortest proof for every theorem
Posted on June 15, 2013 by Aaron Rotenberg