A simple proof that RX3C is NP-complete.
Some papers I liked #2
A casual roundup of recent research papers and interesting findings from the academic world that caught my eye.
Why should you care about proof assistants?
A proof assistant is a tool that guides you through the process of constructing and verifying formal proofs, step by step. But when is that actually useful? And why might you start hearing more about proof assistants in the future?
Graph6 to Boost
C++ program to convert graphs from the graph6 format to the Boost library.
Some papers I liked
A casual roundup of research papers from last four months that caught my eye.
Condorcet Elections at the ICPC
The International Collegiate Programming Contest recently featured a problem related to social choice theory, specifically the Condorcet Paradox. This post is a brief description of a search for the optimal solution.
May’s theorem
May’s theorem states that majority rule is the only reasonable voting system for two candidates. Although majority rule is quite intuitive, it is surprising that among the infinite number of functions, there is only one that meets a few basic assumptions.
War with the Newts
My delight with Karel Čapek’s book and Hans Ticha’s art.