Are there non-constructive algorithm existence proofs? Posted by jkff, at cstheory.stackexchange.com, 29 Jul 2012 I remember I might have encountered references to problems that have been proven to be solvable with a particular complexity…