<p>The main obstacle in the quest for non-uniform cellular automata that meet the often desired property of number conservation is the vast size of the search space, going far beyond the capabilities of today’s computers. In this paper, we expound the construction of a directed graph <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11047_2025_10015_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Π</mi> </math></EquationSource> </InlineEquation> related to the set of all number-conserving non-uniform one-dimensional binary cellular automata with radius one and half (i.e., the neighborhood of a cell consists of four cells). We show that there is a one-to-one correspondence between the set of all such cellular automata on a&#xa0;finite grid with <i>n</i> cells and the set of all length-<i>n</i> closed directed walks in <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11047_2025_10015_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Π</mi> </math></EquationSource> </InlineEquation>. This provides us with a powerful tool to investigate non-uniform cellular automata of this type.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A directed graph allowing for the exploration of the set of number-conserving non-uniform one-dimensional binary cellular automata with radius one and half

  • Barbara Wolnik,
  • Maciej Dziemiańczuk,
  • Bartosz Makuracki,
  • Bernard De Baets

摘要

The main obstacle in the quest for non-uniform cellular automata that meet the often desired property of number conservation is the vast size of the search space, going far beyond the capabilities of today’s computers. In this paper, we expound the construction of a directed graph \(\Pi \) Π related to the set of all number-conserving non-uniform one-dimensional binary cellular automata with radius one and half (i.e., the neighborhood of a cell consists of four cells). We show that there is a one-to-one correspondence between the set of all such cellular automata on a finite grid with n cells and the set of all length-n closed directed walks in \(\Pi \) Π . This provides us with a powerful tool to investigate non-uniform cellular automata of this type.