и
у):
Свойство Q. Для любой комбинации х комбинация QxQ является родственной по отношению к х. (Например, комбинация QCFRQ является родственной комбинации CFR.)
Свойство L. Если комбинация х родственна у, то комбинация Lx родственна комбинации Qy. (Например, поскольку комбинация QCFRQ родственна по отношению к CFR, то, значит, комбинация LQCFRQ является родственной по отношению к комбинации QCFR.)
Свойство V, или свойство обращения. Если комбинация х родственна по отношению к комбинации у, тогда комбинация Vx родственна обращению комбинации у (обратной комбинации у). (Например, поскольку комбинация QCFRQ родственна по отношению к комбинации CFR, то, следовательно, комбинация VQCFRQ будет родственной по отношению к RFC.)
Свойство R, или свойство повторения. Если комбинация х родственна по отношению к комбинации у, то комбинация Rx будет родственна комбинации уу (повторению комбинации у). (Например, поскольку комбинация QCFRQ родственна по отношению к комбинации CFR, то комбинация RQCFRQ будет родственной по отношению к комбинации CFRCFR. Кроме того, как мы видели на примере, приведенном в свойстве V, комбинация VQCFRQ является родственной по отношению к RFC, и, стало быть, комбинация RVQCFRQ будет родственной комбинации RFCRFC.)
Свойство Sp. Пусть комбинация х родственна по отношению к комбинации у, тогда, если комбинация x блокирует замок, то комбинация у будет нейтральной; если же комбинация х является нейтральной, то комбинация у блокирует замок. (Например, мы убедились, что комбинация RVQCFRQ является родственной по отношению к комбинации RFCRFC. Следовательно, если комбинация RVQCFRQ будет блокировать замок, то комбинация RFCRFC не будет оказывать на механизм замка никакого действия, а если комбинация LVQCRFQ никакого действия на механизм замка не оказывает, то есть она является нейтральной, тогда комбинация RFCRFC блокирует замок.)
С помощью этих пяти условий действительно можно подобрать комбинацию, которая открывала бы замок. (Самая короткая комбинация, которая мне известна, имеет длину, равную 10, но, конечно, существуют и различные другие комбинации.)
Разумеется, вряд ли можно ожидать, что теперь читатель сразу же отыщет решение поставленной задачи; ведь с описанием работы этого механизма связана целая теория, к последовательному изложению которой мы перейдем в дальнейшем. Теория эта имеет отношение к некоторым очень интересным открытиям в области математики и теоретической логики.
По правде говоря, после встречи с Мартинесом Крейг несколько дней бился над головоломкой, однако безуспешно.