متعدد الحدود المُعدِّد

في نظرية الترميز ، تحدد متعددة الحدود لوزن الترميز الخطي الثنائي عدد الكلمات لكل وزن هامينغ ممكن .

يتركجF2ن{\displaystyle C\subset \mathbb {F} _{2}^{n}}ليكن رمزًا خطيًا ثنائيًا بطولن{\displaystyle n}توزيع الأوزان هو سلسلة من الأرقام

أت=8{جج|w(ج)=ت}{\displaystyle A_{t}=\#\{c\in C\mid w(c)=t\}}

يُعطي عدد الكلمات المشفرة c في C التي لها وزن حيث يتراوح t من 0 إلى n . مُعدِّد الأوزان هو متعدد الحدود ثنائي المتغيرات

دبليو(ج؛x،y)=w=0نأwxwyن-w.{\displaystyle W(C;x,y)=\sum _{w=0}^{n}A_{w}x^{w}y^{nw}.}

الخصائص الأساسية

  1. دبليو(ج؛0،1)=أ0=1{\displaystyle W(C;0,1)=A_{0}=1}
  2. دبليو(ج؛1،1)=w=0نأw=|ج|{\displaystyle W(C;1,1)=\sum _{w=0}^{n}A_{w}=|C|}
  3. دبليو(ج؛1،0)=أن=1 لو (1،...،1)ج  و 0 خلاف ذلك{\displaystyle W(C;1,0)=A_{n}=1{\mbox{ إذا كان }}(1,\ldots ,1)\in C\ {\mbox{ و }}0{\mbox{ خلاف ذلك}}}
  4. دبليو(ج؛1،-1)=w=0نأw(-1)ن-w=أن+(-1)1أن-1+...+(-1)ن-1أ1+(-1)نأ0{\displaystyle W(C;1,-1)=\sum _{w=0}^{n}A_{w}(-1)^{nw}=A_{n}+(-1)^{1}A_{n-1}+\ldots +(-1)^{n-1}A_{1}+(-1)^{n}A_{0}}

هوية ماكويليامز

لنرمز إلى الشفرة الثنائية لـجF2ن{\displaystyle C\subset \mathbb {F} _{2}^{n}}بواسطة

ج={xF2ن|x،ج=0 جج}{\displaystyle C^{\perp }=\{x\in \mathbb {F} _{2}^{n}\,\mid \,\langle x,c\rangle =0{\mbox{ }}\forall c\in C\}}

(أين ، {\displaystyle \langle \ ,\ \rangle }يرمز إلى الضرب النقطي للمتجهات والذي يتم أخذهF2{\displaystyle \mathbb {F} _{2}}).

تنص هوية ماكويليامز على أن

دبليو(ج؛x،y)=1|ج|دبليو(ج؛y-x،y+x).{\displaystyle W(C^{\perp };x,y)={\frac {1}{\mid C\mid }}W(C;yx,y+x).}

تم تسمية هذه الشخصية على اسم جيسي ماكويليامز .

عداد المسافة

إن توزيع المسافة أو التوزيع الداخلي لرمز C بحجم M وطول n هو سلسلة من الأرقام

أأنا=1م8{(ج1،ج2)ج×ج|د(ج1،ج2)=أنا}{\displaystyle A_{i}={\frac {1}{M}}\#\left\lbrace (c_{1},c_{2})\in C\times C\mid d(c_{1},c_{2})=i\right\rbrace }

حيث تتراوح قيمة i من 0 إلى n . متعددة حدود تعداد المسافة هي

أ(ج؛x،y)=أنا=0نأأناxأناyن-أنا{\displaystyle A(C;x,y)=\sum _{i=0}^{n}A_{i}x^{i}y^{ni}}

وعندما تكون C خطية، فإن هذا يساوي مُعدِّد الوزن.

التوزيع الخارجي لـ C هو المصفوفة B ذات الأبعاد 2n × n + 1، حيث تُفهرس الصفوف بعناصر من GF(2) n ، وتُفهرس الأعمدة بأعداد صحيحة من 0 إلى n ، و

بx،أنا=8{جج|د(ج،x)=أنا}.{\displaystyle B_{x,i}=\#\left\lbrace c\in C\mid d(c,x)=i\right\rbrace .}

مجموع صفوف B يساوي M مضروبًا في متجه التوزيع الداخلي ( A 0 ,..., A n ).

يكون الرمز C منتظمًا إذا كانت صفوف B المقابلة لكلمات الرمز C متساوية.

مراجع