[Retros] What does C+ mean?
maeder at glue.ch
Wed Nov 16 04:04:49 EST 2005
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
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.
More information about the Retros