Синтез изменением организма

Для упрощения дальнейших записей необходимо ввести отношение Transform.

Transform(Srct1,Dstt2) ≡≡ Srct1∼Dstt2∧∧ ∀ dstt2∈Dstt2,∃ srct1∈Srct1:Elm(dstt2)→dstt2=srct1

Это отношение является основой алгоритма AlgTransform.

AlgTransform(ObjW ∪ ObjM,t1…t2)

WorkerAlgTransform(ObjW)

MaterialAlgTransform(ObjM)

ResultAlgTransform≡ Transform(ObjMt1,ObjRt2)

Для упрощения формул в работе будет предложено несколько вариантов альтернативной записи алгоритма. Первая такая сокращенная запись представлена далее:

AlgTransform(ObjW ∪ ObjM,t1…t2)≡⎩⎨⎧Worker(ObjW)Material(ObjM)Transform(ObjMt1,ObjRt2)

Для обозначения трансформирующих алгоритмов целесообразно использовать запись, которая детально проработана в химии и идеально подходит для алгоритмов, рассматриваемых в следующей части работы.

ObjMt1ObjWTransformObjRt2+…

При использовании этой записи иногда будет необходимо обозначать различные экземпляры для нескольких участвующих объектов одного класса. Делать это будем предварительным верхним индексом 1Objt1, 1Objt2, 2Objt2

В указанной форме упрощается запись некоторых алгоритмов, но есть ограничения применимости, в силу которых основной вариант математической записи тоже будет необходим. Запишем кратко алгоритм AlgSelfCopy:

Objst1⋆1OrgObjsSelfCopy2OrgObjst2+…

В качестве примера AlgSelfCopySample рассмотрим двухэтапный алгоритм и возможность его синтеза группировкой двух алгоритмов самокопирования.

Displaying this math block may cause performance issues on this page

Display anyway

\begin{aligned}
& \mathtt{AlgSelfCopySample} \left( 
\mathbb{Org}{\ \cup\ }\mathbb{Objs}^\star, 
\mathbf{t1} \ldots \mathbf{t3}
\right) \equiv \\
& \begin{cases}
% ------------------------------------
   & \mathbf{Worker} \left( \mathbb{Org} \right) \\
   & \mathbf{Material} \left( \mathbb{Objs}^\star \right) \\
   & \mathbb{Org} \equiv \lbrace {^1}\mathbb{Org1}, {^1}\mathbb{Org2} \rbrace \\
   & \mathbb{Objs}^\star \equiv \lbrace {^{1-4}}\mathbb{ObjM}^\star \rbrace \\
% ------------------------------------
   & \begin{aligned}
      & \mathtt{AlgTransform1} \left( \mathbb{Org1}{\ \cup\ }\mathbb{ObjM}^\star, \mathbf{t1} \ldots \mathbf{t2} \right) \equiv \\
      & \begin{cases}
      & \mathbf{Worker} \left( {^1}\mathbb{Org1} \right) \\
      & \mathbf{Transform}({^{1-2}}\mathbb{ObjM}^\star_{\mathbf{t1}}, {^{1-2}}\mathbb{ObjI}_{\mathbf{t2}})
      \end{cases}
   \end{aligned} \\
% ------------------------------------
   & \begin{aligned}
      & \mathtt{AlgTransform2} \left( \mathbb{Org1}{\ \cup\ }\mathbb{ObjM}^\star{\ \cup\ }\mathbb{ObjI}, \mathbf{t2} \ldots \mathbf{t3} \right) \equiv \\
      & \begin{cases}
      & \mathbf{Worker} \left( {^1}\mathbb{Org1} \right) \\
      & \mathbf{Transform}({^3}\mathbb{ObjM}^\star_{\mathbf{t2}}{\ \cup\ }{^1}\mathbb{ObjI}_{\mathbf{t2}}, {^2}\mathbb{Org1}_{\mathbf{t3}})
      \end{cases}
   \end{aligned} \\
% ------------------------------------
   & \begin{aligned}
      & \mathtt{AlgTransform3} \left( \mathbb{Org2}{\ \cup\ }\mathbb{ObjM}^\star{\ \cup\ }\mathbb{ObjI}, \mathbf{t2} \ldots \mathbf{t3} \right) \equiv \\
      & \begin{cases}
      & \mathbf{Worker} \left( {^1}\mathbb{Org2} \right) \\
      & \mathbf{Transform}({^4}\mathbb{ObjM}^\star_{\mathbf{t2}}{\ \cup\ }{^2}\mathbb{ObjI}_{\mathbf{t2}}, {^2}\mathbb{Org2}_{\mathbf{t3}})
      \end{cases}
   \end{aligned}
% ------------------------------------
\end{cases}
\end{aligned}

Запишем используемые алгоритмы в форме трансформаций.

ObjMt1⋆Org1Transform1ObjIt2+…

ObjMt2⋆+ObjIt21Org1Transform22Org1t3+…

ObjMt2⋆+ObjIt21Org2Transform32Org2t3+…

Если объединить эти три трансформации в одну, то получим:

4ObjMt1⋆1Org1+1Org2SelfCopySample{2ObjIt2}2Org1t3+2Org2t3+…

— или еще короче:

4ObjMt1⋆1OrgSelfCopy{2ObjIt2}2Orgt3+…

Просто увидеть, что алгоритм AlgSelfCopySample можно разделить на два отдельных алгоритма самокопирования AlgSelfCopy1 и AlgSelfCopy2.

2ObjMt1⋆1Org1SelfCopy1{ObjIt2}2Org1t3+…

ObjMt1⋆+ObjIt11Org2SelfCopy22Org2t2+…

Естественно предположить обратный процесс слияния изначально существующих двух алгоритмов AlgSelfCopy1 и AlgSelfCopy2 в один }AlgSelfCopySample. И это слияние является синтезом алгоритма методом группировки, но дополнительным свойством этого синтеза является наличие самокопируемости в результате. Отметим эту отличительную особенность такого синтеза и введём термин для его обозначения — медленный синтез. Особенностям и результатам медленного синтеза посвящена следующая глава.

Добавить анализ соревнования на грани доступности ресурса, переход от частых объектов. Уточнить и использовать предположение:

Исходная среда формирования жизни близка к клеточному содержимому, суммировавшему нескольких локалей пока слияние осуществлялось.
Вирусы это не просуммированные осколки той среды.

Наполнить примеры к главе

https://telegra.ph/Obshchaya-teoriya-algoritmov-01-20

Синтез изменением организма

Report Page