Введение 11
лей, а также механических и электрических устройств, появив-
шихся только в XX веке. Возможно, сегодня мы находимся в
сходной ситуации по отношению к ДНК-компьютеру. Биохи-
мической технике пока недостает точности, и направление ее
развития не вполне адек ватн о специфическим запросам моле-
кулярных вычислений. Однако весьма вероятно, что здесь пе-
риод ожидания будет намного короче, чем в случае Беббиджа.
Надежды на успешное будущее молекулярных вычислений
основаны на двух фундаментальных феноменах. Это:
(a) массированный параллелизм цепочек ДНК,
(б) комплементарность Уотсона–Крика.
Вкратце обсудим роль этих феноменов.
(a) Большинство знаменитых «труднорешаемых» задач мо-
жет быть решено путем исчерпывающего перебора всех допу-
стимых вариантов. Непреодолимая пока трудность кроется в
том, что такой перебор слишком объемен, чтобы его можно бы-
ло осуществить, используя существующие технологии. Однако
благодаря плотности, с которой можно хранить информацию в
цепочках ДНК, и простоте, с которой можно размножать эти
цепочки, исчерпывающий перебор становится реальным. Ти-
пичным примером может служить задача раскрытия шифра:
в ней можно одновременно испробовать все ключи.
(б) Комплементарность Уотсона–Крика — это свойство, ко-
торым прир ода снабдила нас «бесплатно». Когда (в идеальных
условиях) возникает связь между двумя цепочками ДНК, то
мы знаем, что противоположные друг другу основания компле-
ментарны. Итак, если известна одна компонента п олучи вшейся
молекулы, то известна и другая, и это не нуждается в какой-
либо дополнительной проверке. Данное обстоятельство приво-
дит к мощному инструменту вычислений, поскольку, как мы
увидим позже, комплементарность выводит на сцену вычис-
лительно универсальный язык перетасованных копий. Различ-
ным образом кодируя информацию в цепочках ДНК, подлежа-
щих связыванию, мы способны делать далеко идущие выводы,
основываясь лишь на факте, что связывание имело место.