[Retros] What does C+ mean?

Renny Bosch rbosch at adelphia.net
Thu Nov 17 21:01:14 EST 2005

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

More information about the Retros mailing list