next up previous contents
Next: ½ä²óÉä¹æ Up: ¥Ï¥ß¥ó¥°Éä¹æ¤ÎÆüÁ Previous: ¥Ï¥ß¥ó¥°Éä¹æ¤ÎÆüÁ

´°Á´Éä¹æ

$B:=\{0,1\}$¤È¤·, $C\subset B^n$¤ò(n,k,d)-Éä¹æ¤È¤¹¤ë.

ÄêµÁ 3.2  

\begin{displaymath}\coprod_{{\mathbf z}\in C}\left\{ {\mathbf x}\in B^n \left\ve...
...},{\mathbf x})\le \left[\frac{d-1}{2}\right]\right.\right\}=B^n\end{displaymath}

¤È¤Ê¤ë¤È¤­, C¤ò´°Á´Éä¹æ¤È¤¤¤¦.

Ãí°Õ 3.3   ´°Á´Éä¹æ¤È¤Ï, ºÇ¾®µ÷Î¥Éü¹æ¤ÇÄü¤á¤ë¤³¤È¤Ê¤¯¸í¤êÄûÀµ¤¬´°Á´¤Ë¿ë¹Ô¤Ç¤­¤ëÉä¹æ¤Î¤³¤È¤Ç¤¢¤ë.

Ì¿Âê 3.4   ¥Ï¥ß¥ó¥°Éä¹æ¤Ï´°Á´Éä¹æ¤Ç¤¢¤ë.


\begin{proof}[¡Ú¾ÚÌÀ¡Û]
$C$ ¤¬¥Ï¥ß¥ó¥°Éä¹æ¤Ê¤é¤Ð, $C$ ¤Ï$(2^m-1,2^m-m-1,3)$ -Éä¹...
...1}\cdot 2^m
=\sharp \left({\bf F}_2^{2^m-1}\right)
\end{displaymath}\end{proof}



Mitsuru Kawazoe
2001-11-14