[Retros] What does C+ mean?

[Renny Bosch]

Thank you, gentlemen, for your rapid and informative answers.

Renny Bosch


----- 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 

>> it

>> has something to do with uniqueness or minimum length but am not sure. 

>> If

>> it is explained in the Retro Corner Glossary please tell me under what

>> heading.

>

> 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 

> "C+"

> 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.

>

> -- 

> Thomas

> _______________________________________________

> Retros mailing list

> Retros at janko.at

> http://www.pairlist.net/mailman/listinfo/retros