[Retros] What does C+ mean?
rbosch at adelphia.net
Thu Nov 17 21:01:14 EST 2005
Thank you, gentlemen, for your rapid and informative answers.
----- Original Message -----
From: "Thomas Maeder" <maeder at glue.ch>
To: "The Retrograde Analysis Mailing List" <retros at janko.at>
Sent: Wednesday, November 16, 2005 1:04 AM
Subject: Re: [Retros] What does C+ mean?
> Renny Bosch wrote:
>> Could someone please explain what the designation "C+" means? I suspect
>> has something to do with uniqueness or minimum length but am not sure.
>> it is explained in the Retro Corner Glossary please tell me under what
> The supposed meaning is "Correctness verified by a computer program."
> But it's a good idea to always take this "information" with a grain of
> salt. From my (Spokesman of the Sub-Committee for Computer Matters) oral
> report to the PCCC this year:
> The sub-committee [...] reminds problemists not to read too much into the
> tag written next to a problem; in the worst case, this tag only means that
> somebody tried to use a computer to obtain some information about the
> correctness of the problem.
> Retros mailing list
> Retros at janko.at
More information about the Retros