in reply to Re^2: 1. Go compare! Guardian's algortithm riddle and mathematical proof (PROOF)
in thread 1. Go compare! Guardian's algortithm riddle and mathematical proof

> In the three comparisons you propose between the solutions for C and C' you assume there must be a comparison between min and max.

You mean statement (1) ?

All algorithms must start somewhere, you just pick (Inf,-Inf) for the first pair in algorithm A.¹ And since you already know the result, it's a pseudo comparison - you skip the step it in the constructed algorithm A'.

Just imagine playing the game with C' 100 covered cards plus two extra dummy cards in your head and applying an algorithm A for C 102 cards.

The dealer doesn't know what's in your head, he'll never hear a question about the dummy cards, because you already know the necessary results to continue your algorithm.

Two things are relevant:

Cheers Rolf
(addicted to the Perl Programming Language :)
see Wikisyntax for the Monastery

¹) it doesn't matter if it was unlikely. What matters is that A is guaranteed to work with any starting pair.

  • Comment on Re^3: 1. Go compare! Guardian's algortithm riddle and mathematical proof (PROOF)
  • Download Code