Encoding paths with binary arrays in a king’s graph for error-free data transmission

Abstract In this study, we have chosen the computer network with the shape of a king’s graph. The king’s graph G is defined as a set of edges, that is $$E=\{((i,j),(p,q))|i,p \in [0,M], j,q \in [0,N], M,N \in \textbf{Z},((i,j),(p,q))~{is\, an\, edge}\,\iff i = p \quad {and} \quad j = q\pm 1 \quad {or} \quad i = p\pm 1 \quad {and} \quad j = q \quad {or} \quad i = p\pm 1 \quad {and} \quad j = q\pm 1\}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>E</mml:mi> <mml:mo>=</mml:mo> <mml:mo>{</mml:mo> <mml:mo>(</mml:mo> <mml:mo>(</mml:mo> <mml:mi>i</mml:mi> <mml:mo>,</mml:mo> <mml:mi>j</mml:mi> <mml:mo>)</mml:mo> <mml:mo>,</mml:mo> <mml:mo>(</mml:mo> <mml:mi>p</mml:mi> <mml:mo>,</mml:mo> <mml:mi>q</mml:mi> <mml:mo>)</mml:mo> <mml:mo>)</mml:mo> <mml:mo>|</mml:mo> <mml:mi>i</mml:mi> <mml:mo>,</mml:mo> <mml:mi>p</mml:mi> <mml:mo>∈</mml:mo> <mml:mo>[</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mi>M</mml:mi> <mml:mo>]</mml:mo> <mml:mo>,</mml:mo> <mml:mi>j</mml:mi> <mml:mo>,</mml:mo> <mml:mi>q</mml:mi> <mml:mo>∈</mml:mo> <mml:mo>[</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mi>N</mml:mi> <mml:mo>]</mml:mo> <mml:mo>,</mml:mo> <mml:mi>M</mml:mi> <mml:mo>,</mml:mo> <mml:mi>N</mml:mi> <mml:mo>∈</mml:mo> <mml:mi>Z</mml:mi> <mml:mo>,</mml:mo> <mml:mo>(</mml:mo> <mml:mo>(</mml:mo> <mml:mi>i</mml:mi> <mml:mo>,</mml:mo> <mml:mi>j</mml:mi> <mml:mo>)</mml:mo> <mml:mo>,</mml:mo> <mml:mo>(</mml:mo> <mml:mi>p</mml:mi> <mml:mo>,</mml:mo> <mml:mi>q</mml:mi> <mml:mo>)</mml:mo> <mml:mo>)</mml:mo> <mml:mspace/> <mml:mrow> <mml:mi>i</mml:mi> <mml:mi>s</mml:mi> <mml:mspace/> <mml:mi>a</mml:mi> <mml:mi>n</mml:mi> <mml:mspace/> <mml:mi>e</mml:mi> <mml:mi>d</mml:mi> <mml:mi>g</mml:mi> <mml:mi>e</mml:mi> </mml:mrow> <mml:mspace/> <mml:mo>⟺</mml:mo> <mml:mi>i</mml:mi> <mml:mo>=</mml:mo> <mml:mi>p</mml:mi> <mml:mspace/> <mml:mrow> <mml:mi>and</mml:mi> </mml:mrow> <mml:mspace/> <mml:mi>j</mml:mi> <mml:mo>=</mml:mo> <mml:mi>q</mml:mi> <mml:mo>±</mml:mo> <mml:mn>1</mml:mn> <mml:mspace/> <mml:mrow> <mml:mi>or</mml:mi> </mml:mrow> <mml:mspace/> <mml:mi>i</mml:mi> <mml:mo>=</mml:mo> <mml:mi>p</mml:mi> <mml:mo>±</mml:mo> <mml:mn>1</mml:mn> <mml:mspace/> <mml:mrow> <mml:mi>and</mml:mi> </mml:mrow> <mml:mspace/> <mml:mi>j</mml:mi> <mml:mo>=</mml:mo> <mml:mi>q</mml:mi> <mml:mspace/> <mml:mrow> <mml:mi>or</mml:mi> </mml:mrow> <mml:mspace/> <mml:mi>i</mml:mi> <mml:mo>=</mml:mo> <mml:mi>p</mml:mi> <mml:mo>±</mml:mo> <mml:mn>1</mml:mn> <mml:mspace/> <mml:mrow> <mml:mi>and</mml:mi> </mml:mrow> <mml:mspace/> <mml:mi>j</mml:mi> <mml:mo>=</mml:mo> <mml:mi>q</mml:mi> <mml:mo>±</mml:mo> <mml:mn>1</mml:mn> <mml:mo>}</mml:mo> </mml:mrow> </mml:math> . We also set a delivery rule, in which the shortest paths in the graph are used for the message deliveries, to restrict the source consumption. Then, the paths are encoded in a way that we discover using binary arrays based on other well-known encoding methods. We prove that the path-coding method we present prevents errors denoted by false positives from the graph. Data transfer issues from computer science served as the motivation for this study.

Authors

Institutions

Publication Details

Journal
Annals of Mathematics and Artificial Intelligence
Published
2025-05-15
DOI
https://doi.org/10.1007/s10472-025-09985-7
Primary Topic
Algorithms and Data Compression
Type
article
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Encoding paths with binary arrays in a king’s graph for error-free data transmission

Gökçe Çaylak Kayaturan, Alexei Vernitski
Annals of Mathematics and Artificial Intelligence
Algorithms and Data Compression
article

Encoding paths with binary arrays in a king’s graph for error-free data transmission

Gökçe Çaylak Kayaturan, Alexei Vernitski
article en

Abstract

Abstract In this study, we have chosen the computer network with the shape of a king’s graph. The king’s graph G is defined as a set of edges, that is $$E=\{((i,j),(p,q))|i,p \in [0,M], j,q \in [0,N], M,N \in \textbf{Z},((i,j),(p,q))~{is\, an\, edge}\,\iff i = p \quad {and} \quad j = q\pm 1 \quad {or} \quad i = p\pm 1 \quad {and} \quad j = q \quad {or} \quad i = p\pm 1 \quad {and} \quad j = q\pm 1\}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>E</mml:mi> <mml:mo>=</mml:mo> <mml:mo>{</mml:mo> <mml:mo>(</mml:mo> <mml:mo>(</mml:mo> <mml:mi>i</mml:mi> <mml:mo>,</mml:mo> <mml:mi>j</mml:mi> <mml:mo>)</mml:mo> <mml:mo>,</mml:mo> <mml:mo>(</mml:mo> <mml:mi>p</mml:mi> <mml:mo>,</mml:mo> <mml:mi>q</mml:mi> <mml:mo>)</mml:mo> <mml:mo>)</mml:mo> <mml:mo>|</mml:mo> <mml:mi>i</mml:mi> <mml:mo>,</mml:mo> <mml:mi>p</mml:mi> <mml:mo>∈</mml:mo> <mml:mo>[</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mi>M</mml:mi> <mml:mo>]</mml:mo> <mml:mo>,</mml:mo> <mml:mi>j</mml:mi> <mml:mo>,</mml:mo> <mml:mi>q</mml:mi> <mml:mo>∈</mml:mo> <mml:mo>[</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mi>N</mml:mi> <mml:mo>]</mml:mo> <mml:mo>,</mml:mo> <mml:mi>M</mml:mi> <mml:mo>,</mml:mo> <mml:mi>N</mml:mi> <mml:mo>∈</mml:mo> <mml:mi>Z</mml:mi> <mml:mo>,</mml:mo> <mml:mo>(</mml:mo> <mml:mo>(</mml:mo> <mml:mi>i</mml:mi> <mml:mo>,</mml:mo> <mml:mi>j</mml:mi> <mml:mo>)</mml:mo> <mml:mo>,</mml:mo> <mml:mo>(</mml:mo> <mml:mi>p</mml:mi> <mml:mo>,</mml:mo> <mml:mi>q</mml:mi> <mml:mo>)</mml:mo> <mml:mo>)</mml:mo> <mml:mspace/> <mml:mrow> <mml:mi>i</mml:mi> <mml:mi>s</mml:mi> <mml:mspace/> <mml:mi>a</mml:mi> <mml:mi>n</mml:mi> <mml:mspace/> <mml:mi>e</mml:mi> <mml:mi>d</mml:mi> <mml:mi>g</mml:mi> <mml:mi>e</mml:mi> </mml:mrow> <mml:mspace/> <mml:mo>⟺</mml:mo> <mml:mi>i</mml:mi> <mml:mo>=</mml:mo> <mml:mi>p</mml:mi> <mml:mspace/> <mml:mrow> <mml:mi>and</mml:mi> </mml:mrow> <mml:mspace/> <mml:mi>j</mml:mi> <mml:mo>=</mml:mo> <mml:mi>q</mml:mi> <mml:mo>±</mml:mo> <mml:mn>1</mml:mn> <mml:mspace/> <mml:mrow> <mml:mi>or</mml:mi> </mml:mrow> <mml:mspace/> <mml:mi>i</mml:mi> <mml:mo>=</mml:mo> <mml:mi>p</mml:mi> <mml:mo>±</mml:mo> <mml:mn>1</mml:mn> <mml:mspace/> <mml:mrow> <mml:mi>and</mml:mi> </mml:mrow> <mml:mspace/> <mml:mi>j</mml:mi> <mml:mo>=</mml:mo> <mml:mi>q</mml:mi> <mml:mspace/> <mml:mrow> <mml:mi>or</mml:mi> </mml:mrow> <mml:mspace/> <mml:mi>i</mml:mi> <mml:mo>=</mml:mo> <mml:mi>p</mml:mi> <mml:mo>±</mml:mo> <mml:mn>1</mml:mn> <mml:mspace/> <mml:mrow> <mml:mi>and</mml:mi> </mml:mrow> <mml:mspace/> <mml:mi>j</mml:mi> <mml:mo>=</mml:mo> <mml:mi>q</mml:mi> <mml:mo>±</mml:mo> <mml:mn>1</mml:mn> <mml:mo>}</mml:mo> </mml:mrow> </mml:math> . We also set a delivery rule, in which the shortest paths in the graph are used for the message deliveries, to restrict the source consumption. Then, the paths are encoded in a way that we discover using binary arrays based on other well-known encoding methods. We prove that the path-coding method we present prevents errors denoted by false positives from the graph. Data transfer issues from computer science served as the motivation for this study.

Annals of Mathematics and Artificial IntelligenceVol. 94(1)
University of Essex (GB), Ordu University (TR)
Ordu Üniversitesi
Openalex Percentile: Top 95%
Algorithms and Data Compression
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.