An important question in the study of quasi-perfect codes is whether such codes can be constructed for all possible lengths $n$. In this paper, we address this question for specific values of $n$. First, we investigate the existence of quasi-perfect codes in the Cartesian product of a graph $G$ and a path (or cycle), assuming that $G$ admits a perfect code. Second, we explore quasi-perfect codes in the Cartesian products of two or three cycles, $C_m\square C_n$ and $C_m\square C_n\square C_l$, as well as in the Cartesian products of two or three paths, $P_m\square P_n$ and $P_m\square P_n\square P_l$.
๋
ผ๋ฌธ ID : 2510.13613์ ๋ชฉ : ์ผ๋ถ ๊ทธ๋ํ์ ๋ฐ์นด๋ฅดํธ ๊ณฑ์์์ ์ค์์ ๋ถํธ์ ์ : S. A. Mane, N. V. Shinde๋ถ๋ฅ : math.CO (์กฐํฉ๋ก )๋ฐํ ์๊ฐ : 2025๋
10์ 15์ผ๋
ผ๋ฌธ ๋งํฌ : https://arxiv.org/abs/2510.13613 ์ค์์ ๋ถํธ ์ฐ๊ตฌ์์ ์ค์ํ ๋ฌธ์ ๋ ๋ชจ๋ ๊ฐ๋ฅํ ๊ธธ์ด n์ ๋ํด ์ด๋ฌํ ๋ถํธ๋ฅผ ๊ตฌ์ฑํ ์ ์๋์ง ์ฌ๋ถ์ด๋ค. ๋ณธ ๋
ผ๋ฌธ์ ํน์ n ๊ฐ์ ๋ํด ์ด ๋ฌธ์ ๋ฅผ ๋ค๋ฃฌ๋ค. ๋จผ์ ๊ทธ๋ํ G๊ฐ ์์ ๋ถํธ๋ฅผ ์ธ์ ํ๋ ์ ์ ํ์์ G์ ๊ฒฝ๋ก(๋๋ ํ)์ ๋ฐ์นด๋ฅดํธ ๊ณฑ์์ ์ค์์ ๋ถํธ์ ์กด์ฌ์ฑ์ ์ฐ๊ตฌํ๋ค. ๋์งธ, ๋ ๊ฐ ๋๋ ์ธ ๊ฐ ํ์ ๋ฐ์นด๋ฅดํธ ๊ณฑ C m โก C n C_m\square C_n C m โ โก C n โ ๊ณผ C m โก C n โก C l C_m\square C_n\square C_l C m โ โก C n โ โก C l โ ์์์ ์ค์์ ๋ถํธ, ๊ทธ๋ฆฌ๊ณ ๋ ๊ฐ ๋๋ ์ธ ๊ฐ ๊ฒฝ๋ก์ ๋ฐ์นด๋ฅดํธ ๊ณฑ P m โก P n P_m\square P_n P m โ โก P n โ ๊ณผ P m โก P n โก P l P_m\square P_n\square P_l P m โ โก P n โ โก P l โ ์์์ ์ค์์ ๋ถํธ๋ฅผ ํ๊ตฌํ๋ค.
ํด๊ฒฐํ ๋ฌธ์ : ๋ณธ ์ฐ๊ตฌ๋ ์ค์์ ๋ถํธ ๊ตฌ์ฑ์ ์กด์ฌ์ฑ ๋ฌธ์ , ํนํ ๊ทธ๋ํ์ ๋ฐ์นด๋ฅดํธ ๊ณฑ์์ ์ค์์ ๋ถํธ๋ฅผ ๊ตฌ์ฑํ๋ ์ฒด๊ณ์ ๋ฐฉ๋ฒ์ ๊ฐ๋ฐํ๋ ๊ฒ์ ๋ชฉํ๋ก ํ๋ค.๋ฌธ์ ์ ์ค์์ฑ :์์ ๋ถํธ๋ ์ค๋ฅ ์ ์ ๋ถํธ ์ด๋ก ์์ ํต์ฌ์ ์ญํ ์ ํ์ง๋ง ์๋์ ์ผ๋ก ๋๋ฌผ๋ค Golomb-Welch ์ถ์ธก์ ๊ธธ์ด nโฅ3์ด๊ณ e>1์ธ ์์ Lee e-์ค๋ฅ ์ ์ ๋ถํธ๊ฐ ์กด์ฌํ์ง ์์์ ์ฃผ์ฅํ๋ค ์ค์์ ๋ถํธ๋ ์์ ๋ถํธ์ ๊ทผ์ฌ ๋์ฒด๋ฌผ๋ก์ ์ด๋ก ์ , ์์ฉ์ ๊ฐ์น๊ฐ ์๋ค ๊ธฐ์กด ๋ฐฉ๋ฒ์ ํ๊ณ :์ค์์ ๋ถํธ์ ์กด์ฌ ์กฐ๊ฑด์ ์ฌ์ ํ ์๋นํ ์๊ฒฉํ๋ค ๋ฎ๊ฐ ๋ฐ๊ฒฝ์ด 3๋ณด๋ค ํฐ ์ค์์ ๋ถํธ๋ ์๋ ค์ง ๊ฒ์ด ๊ฑฐ์ ์๋ค ์ฒด๊ณ์ ๊ตฌ์ฑ ๋ฐฉ๋ฒ์ด ๋ถ์กฑํ๋ค ์ฐ๊ตฌ ๋๊ธฐ : ๊ทธ๋ํ G์ ์์ ๋ถํธ๋ฅผ ๊ธฐ๋ฐ์ผ๋ก G์ ํน์ ๊ทธ๋ํ์ ๋ฐ์นด๋ฅดํธ ๊ณฑ์์ ์ค์์ ๋ถํธ๋ฅผ ๊ตฌ์ฑํ๋ ๊ธฐ์ ์ ๊ฐ๋ฐํ๋ค.์์ ๋ถํธ๋ฅผ ๊ธฐ๋ฐ์ผ๋ก ์ค์์ ๋ถํธ๋ฅผ ๊ตฌ์ฑํ๋ ์ฒด๊ณ์ ๋ฐฉ๋ฒ ์ ์ : ๊ทธ๋ํ G๊ฐ ์์ e-์ค๋ฅ ์ ์ ๋ถํธ๋ฅผ ์ธ์ ํ๋ฉด GโกPn ๋๋ GโกCn์์ ์ค์์ e-์ค๋ฅ ์ ์ ๋ถํธ๋ฅผ ๊ตฌ์ฑํ ์ ์๋ค๋ค์ํ ๊ตฌ์ฒด์ ์ค์์ ๋ถํธ ๊ตฌ์ฑ :PmโกPnโกP6k-2์ CmโกCnโกC6k์์์ ์ค์์ 2-์ค๋ฅ ์ ์ ๋ถํธ P2โกP2โกP2์ ์์ ๋ถํธ๋ฅผ ๊ธฐ๋ฐ์ผ๋ก ํ P4โกP4โกP4์ ์ค์์ ๋ถํธ ์๋ ค์ง ๊ฒฐ๊ณผ์ ํ์ฅ : CnโกCnโกCl (3โคnโค19)์์ ์ค์์ ๋ถํธ๋ฅผ ๊ตฌ์ฑํ๋ฉฐ, CnโกCn์ ์๋ ค์ง ์ค์์ ๋ถํธ๋ฅผ ํ์ฉํ๋ค์์ ํ ์ด๋ก ํ๋ ์์ํฌ ์ ๊ณต : ๊ฒฝ๋ก์ ํ์ ๋ฐ์นด๋ฅดํธ ๊ณฑ์์ ์ค์์ ๋ถํธ ๊ตฌ์ฑ ๋ฐฉ๋ฒ์ ์ฒด๊ณ์ ์ผ๋ก ๋ถ์ํ๋ค๊ทธ๋ํ G๊ฐ ์ฃผ์ด์ก์ ๋, ๊ทธ G์ ๊ฒฝ๋ก Pn ๋๋ ํ Cn์ ๋ฐ์นด๋ฅดํธ ๊ณฑ GโกPn, GโกCn์์ ์ค์์ ๋ถํธ๋ฅผ ๊ตฌ์ฑํ๋ค. ๋ถํธ D๋ t-์ค์์ ์ด๋ผ๊ณ ํ ๋, ๊ทธ๊ฒ์ด t-์ค๋ฅ ์ ์ ์ด๊ณ ๋ฎ๊ฐ ๋ฐ๊ฒฝ์ด t+1์ธ ๊ฒฝ์ฐ์ด๋ค.
๊ทธ๋ํ G์ ์์ e-์ค๋ฅ ์ ์ ๋ถํธ D์ ๋ํด:
e=1์ผ ๋ : GโกP3k์ GโกC3k์์ ์ค์์ 1-์ค๋ฅ ์ ์ ๋ถํธ๋ฅผ ๊ตฌ์ฑํ ์ ์๋คeโฅ2์ผ ๋ : GโกP3๊ณผ GโกC3์์ ์ค์์ e-์ค๋ฅ ์ ์ ๋ถํธ๋ฅผ ๊ตฌ์ฑํ ์ ์๋ค๊ตฌ์ฑ ๋ฐฉ๋ฒ :
์ฌ๊ธฐ์ โ๋ ์งํฉ์ ์ง๊ณฑ์ ๋ํ๋ธ๋ค.
PmโกPn์ ์์ 2-์ค๋ฅ ์ ์ ๋ถํธ D1์ ๋ํด PmโกPnโกP6k-2์์ ์ค์์ 2-์ค๋ฅ ์ ์ ๋ถํธ๋ฅผ ๊ตฌ์ฑํ๋ค:
๋จ๊ณ :
D2 = (0,3) + D1 ์ ์ (๋ถํธ ์ด๋) D = (D1โ{0}) โช (D2โ{3}) ๊ตฌ์ฑ ๋ ํฐ ์ฐจ์์ผ๋ก ํ์ฅ: C = โ(i=0 to k-1)(D1โ{6i} โช D2โ{6i+3}) ์ ๋ฆฌ 3.6 : C3โกC6โกC4k์์ ์ค์์ 1-์ค๋ฅ ์ ์ ๋ถํธ ๊ตฌ์ฑ
D0 = {(0,0), (1,2), (2,4)}
D1 = {(2,1), (0,3), (1,5)}
C = โ(i=0 to k-1)(D0โ{4i} โช D1โ{4i+2})
๊ณ์ธต์ ๊ตฌ์ฑ ์ ๋ต : ๊ณ ์ฐจ์ ๊ทธ๋ํ๋ฅผ ์ ์ฐจ์ ์ธต์ผ๋ก ๋ถํดํ๊ณ ๊ฐ ์ธต์์ ์๋ ค์ง ์์ ๋ถํธ๋ฅผ ์ ์ฉํ๋ค์ด๋ ๊ธฐ์ : ์ ์ ํ ์ด๋ ์ฐ์ฐ์ ํตํด ์๋ก ๋ค๋ฅธ ์ธต ๊ฐ ๋ถํธ์ด๊ฐ ์ต์ ๊ฑฐ๋ฆฌ๋ฅผ ์ ์งํ๋๋ก ๋ณด์ฅํ๋ค์ฃผ๊ธฐ์ ํ์ฅ : ๊ธฐ๋ณธ ๊ตฌ์ฑ ๋ธ๋ก์ ์ฃผ๊ธฐ์ ๋ฐ๋ณต์ ํ์ฉํ์ฌ ์์ ํฌ๊ธฐ์ ๊ตฌ์ฑ์ ์คํํ๋ค๋ณธ ๋
ผ๋ฌธ์ ์ฃผ๋ก ์ด๋ก ์ ์ฆ๋ช
์ ํตํด ๊ตฌ์ฑ์ ์ ํ์ฑ์ ๊ฒ์ฆํ๋ฉฐ, ํน์ ๊ฒฝ์ฐ์๋ ์ปดํจํฐ ๊ฒ์์ผ๋ก ๋ณด์ํ๋ค:
์ด๋ก ์ ๊ฒ์ฆ : ๊ตฌ์ฑ๋ ๋ถํธ์ ์ต์ ๊ฑฐ๋ฆฌ์ ๋ฎ๊ฐ ๋ฐ๊ฒฝ์ ์ฆ๋ช
ํ๋ค์ปดํจํฐ ๊ฒ์ฆ : ๋ณต์กํ ๊ฒฝ์ฐ(์: ์ ๋ฆฌ 4.4์ ์ผ๋ถ ๋งค๊ฐ๋ณ์)์ ๋ํด ์ปดํจํฐ ๊ฒ์์ผ๋ก ๊ฒ์ฆํ๋ค์ต์ ๊ฑฐ๋ฆฌ : ์์์ ๋ ๋ถํธ์ด ๊ฐ ์ต์ ๊ฑฐ๋ฆฌ๋ฎ๊ฐ ๋ฐ๊ฒฝ : ์์์ ์ ์ ์์ ๊ฐ์ฅ ๊ฐ๊น์ด ๋ถํธ์ด๊น์ง์ ์ต๋ ๊ฑฐ๋ฆฌ์ค์์ ์ฑ : ๋ฎ๊ฐ ๋ฐ๊ฒฝ = ์ค๋ฅ ์ ์ ๋ฅ๋ ฅ + 1 ๊ฒ์ฆ์ ๋ฆฌ 3.1์ ๊ฒฐ๊ณผ :e=1์ผ ๋, GโกP3k์ GโกC3k์์ ์ค์์ 1-์ค๋ฅ ์ ์ ๋ถํธ ์ฑ๊ณต์ ์ผ๋ก ๊ตฌ์ฑ eโฅ2์ผ ๋, GโกP3๊ณผ GโกC3์์ ์ค์์ e-์ค๋ฅ ์ ์ ๋ถํธ ์ฑ๊ณต์ ์ผ๋ก ๊ตฌ์ฑ 3์ฐจ์ ๊ตฌ์ฑ ๊ฒฐ๊ณผ :PmโกPnโกP6k-2์์ ์ค์์ 2-์ค๋ฅ ์ ์ ๋ถํธ ๊ตฌ์ฑ (์ ๋ฆฌ 3.2) CmโกCnโกC6k์์ ์ค์์ 2-์ค๋ฅ ์ ์ ๋ถํธ ๊ตฌ์ฑ (๋ฐ๋ฆ์ ๋ฆฌ 3.3) ๊ตฌ์ฒด์ ์ฌ๋ก :C6โกC6โกC2์ ์์ 1-์ค๋ฅ ์ ์ ๋ถํธ (์ ๋ฆฌ 4.2) C3โกC6โกC4k์ ์ค์์ 1-์ค๋ฅ ์ ์ ๋ถํธ (์ ๋ฆฌ 3.6) ๊ธฐ์ด ๊ทธ๋ํ ๋ชฉํ ๊ทธ๋ํ (๋ฐ์นด๋ฅดํธ ๊ณฑ) ๋ถํธ ์ฑ์ง/์ค๋ช
G (์์ e-์ค๋ฅ ์ ์ ๋ถํธ ๋ณด์ ) GโกPn, GโกCn ์ค์์ e-์ค๋ฅ ์ ์ ๋ถํธ PmโกPn, CmโกCn PmโกPnโกP6k-2, CmโกCnโกC6k ์ค์์ 2-์ค๋ฅ ์ ์ ๋ถํธ CnโกCn CnโกCnโกCl 3โคnโค19์ ์ค์์ ๋ถํธ
๋
ผ๋ฌธ์ ๋ค์๊ณผ ๊ฐ์ ์ฌ๋ฌ ๊ตฌ์ฒด์ ๊ตฌ์ฑ ์ฌ๋ก๋ฅผ ์ ๊ณตํ๋ค:
๊ทธ๋ฆผ 1: P4โกP4โกP4์ ์ค์์ 1-์ค๋ฅ ์ ์ ๋ถํธ ๊ทธ๋ฆผ 2-6: ๋ค์ํ ํ ๊ณฑ์์์ ์ค์์ ๋ถํธ ๊ตฌ์ฑ ์์ ๋ถํธ ์ด๋ก : Livingston๊ณผ Stout์ ์์ ์ง๋ฐฐ ์งํฉ ์ด๋ก ์ ๊ธฐ๋ฐ์ผ๋ก ํ๋คLee ๊ฑฐ๋ฆฌ ํ์ ๋ถํธ : Golomb-Welch ์ถ์ธก์ ์ํด ์ฃผ๋๋ ์ฐ๊ตฌ ๋ฐฉํฅ์ค์์ ๋ถํธ ๊ตฌ์ฑ : AlBdaiwi ๋ฑ์ Lee ๊ฑฐ๋ฆฌ ํ ๊ตฌ์ฑ ์์
๊ทธ๋ํ ์ด๋ก ์ ๋ถํธ : ๊ทธ๋ํ ๊ฑฐ๋ฆฌ ๊ธฐ๋ฐ ์ค๋ฅ ์ ์ ๋ถํธ ์ด๋ก ์์ ๋ถํธ์์ ์ค์์ ๋ถํธ๋ฅผ ๊ตฌ์ฑํ๋ ์ฒด๊ณ์ ๋ฐฉ๋ฒ์ ์ฑ๊ณต์ ์ผ๋ก ํ๋ฆฝํ๋ค ๋ค์ํ ๊ทธ๋ํ์ ๋ฐ์นด๋ฅดํธ ๊ณฑ์ ๋ํด ์ค์์ ๋ถํธ์ ๋ช
์์ ๊ตฌ์ฑ์ ์ ๊ณตํ๋ค ์๋ ค์ง ์ค์์ ๋ถํธ ์กด์ฌ์ฑ ๊ฒฐ๊ณผ๋ฅผ ํ์ฅํ๋ค ๊ตฌ์ฑ ๋ฐฉ๋ฒ์ ๊ธฐ์ด ๊ทธ๋ํ์ ์์ ๋ถํธ ์กด์ฌ์ ์์กดํ๋ค ํน์ ๋งค๊ฐ๋ณ์ ๋ฒ์์ ๊ตฌ์ฑ์ ์ฌ์ ํ ์ปดํจํฐ ๊ฒ์ฆ์ด ํ์ํ๋ค ์ผ๋ฐ ๊ทธ๋ํ์ ๋ฐ์นด๋ฅดํธ ๊ณฑ์ ๋ํด ๊ตฌ์ฑ ๋ฐฉ๋ฒ์ ์ ์ฉ์ฑ์ด ์ ํ๋๋ค ์ด๋ค ์ ์ n๊ณผ ๊ทธ๋ํ G2์ ๋ํด G1๊ณผ n๊ฐ์ G2 ๋ณต์ฌ๋ณธ์ ๋ฐ์นด๋ฅดํธ ๊ณฑ์์ ์ค์์ ๋ถํธ๋ฅผ ๊ตฌ์ฑํ ์ ์๋์ง ๊ฒฐ์ ํ๋ค CmโกCnโกCl์ด ์ค์์ ๋ถํธ๋ฅผ ์ธ์ ํ๋ ๋ชจ๋ ๋งค๊ฐ๋ณ์ ๊ฐ (m,n,l)์ ์๋ณํ๋ค ๋ ์ผ๋ฐ์ ์ธ ๊ทธ๋ํ ํด๋์ค ๋ฐ ๊ฑฐ๋ฆฌ ๊ณต๊ฐ์ผ๋ก ์ผ๋ฐํํ๋ค ์ด๋ก ์ ์๋ฐ์ฑ : ๋ชจ๋ ๊ตฌ์ฑ์ด ์์ ํ ์ํ์ ์ฆ๋ช
์ ๊ฐ์ถ๊ณ ์๋ค์ฒด๊ณ์ ๋ฐฉ๋ฒ : ํต์ผ๋ ๊ตฌ์ฑ ํ๋ ์์ํฌ๋ฅผ ์ ๊ณตํ๋ค์ค์ฉ์ ๊ฐ์น : ๊ตฌ์ฑ ๋ฐฉ๋ฒ์ ๋ค์ํ ๊ตฌ์ฒด์ ๊ฒฝ์ฐ์ ์ ์ฉํ ์ ์๋ค์๊ฐํ ๋ณด์กฐ : ํ๋ถํ ๊ทธ๋ฆผ์ด ๊ตฌ์ฑ ๊ณผ์ ์ ์ดํด๋ฅผ ๋๋๋ค์ ์ฉ ๋ฒ์ ์ ํ : ๋ฐฉ๋ฒ์ ์ฃผ๋ก ๊ฒฝ๋ก์ ํ์ ๋ฐ์นด๋ฅดํธ ๊ณฑ์ ์ ์ฉ๋๋ค๊ณ์ฐ ๋ณต์ก์ฑ : ์ผ๋ถ ๊ตฌ์ฑ์ ๊ฒ์ฆ์๋ ๋๋์ ๊ณ์ฐ์ด ํ์ํ๋ค์ต์ ํ : ๊ตฌ์ฑ๋ ๋ถํธ์ ์ต์ ์ฑ ๋ฌธ์ ๋ฅผ ๋ค๋ฃจ์ง ์๋๋ค์ด๋ก ์ ๊ธฐ์ฌ : ์ค์์ ๋ถํธ ์ด๋ก ์ ์๋ก์ด ๊ตฌ์ฑ ๊ธฐ์ ์ ์ ๊ณตํ๋ค์์ฉ ์ ๋ง : ๋คํธ์ํฌ ๋ถํธํ ๋ฐ ๋ถ์ฐ ์ ์ฅ์์์ ์ ์ฌ์ ์์ฉ์ด ์๋คํ์ฅ์ฑ : ๊ตฌ์ฑ ๋ฐฉ๋ฒ์ ์ถ๊ฐ ์ฐ๊ตฌ์ ๊ธฐ์ด๋ฅผ ์ ๊ณตํ๋ค๊ท์น์ ๋คํธ์ํฌ ์์์ ์ค๋ฅ ์ ์ ๋ถํธ๋ฅผ ๋ฐฐํฌํด์ผ ํ๋ ๊ฒฝ์ฐ ๋ค์ฐจ์ ๊ฒฉ์ ๋ฐ ํ๋ฉด ๋คํธ์ํฌ์ ์ค๋ฅ ์ ์ด ๋ถ์ฐ ์์คํ
์ ๋ด๊ฒฐํจ์ฑ ์์ ๋ฐฐ์น ๋ฌธ์ ๋
ผ๋ฌธ์ 33ํธ์ ๊ด๋ จ ๋ฌธํ์ ์ธ์ฉํ๋ฉฐ, ์ฃผ์ ๋ด์ฉ์ ๋ค์๊ณผ ๊ฐ๋ค:
Golomb & Welch (1970): Lee ๊ฑฐ๋ฆฌ ์์ ๋ถํธ์ ๊ฐ์ฒ ์์
AlBdaiwi & Bose (2003): ์ค์์ Lee ๊ฑฐ๋ฆฌ ๋ถํธ Livingston & Stout (1990): ์์ ์ง๋ฐฐ ์งํฉ ์ด๋ก ์ค์์ ๋ถํธ ๊ตฌ์ฑ์ ๊ดํ ๋ค์์ ์ต๊ทผ ์ฐ๊ตฌ ์ข
ํฉ ํ๊ฐ : ์ด๋ ์กฐํฉ๋ก ๊ณผ ๋ถํธ ์ด๋ก ์ ๊ต์ฐจ ๋ถ์ผ์์ ๋์ ํ์ง์ ๋
ผ๋ฌธ์ผ๋ก, ์ฒด๊ณ์ ์ธ ์ค์์ ๋ถํธ ๊ตฌ์ฑ ๋ฐฉ๋ฒ์ ์ ๊ณตํ๋ฉฐ, ์ด๋ก ์ ์ผ๋ก ์๋ฐํ๊ณ ์ค์ฉ์ ๊ฐ์น๊ฐ ๋์ผ๋ฉฐ, ํด๋น ๋ถ์ผ์ ์ถ๊ฐ ๋ฐ์ ์ ์ํ ๊ฒฌ๊ณ ํ ๊ธฐ์ด๋ฅผ ๋ง๋ จํ๋ค.