置换等价视角下两类Z2Z4 - 加性补对偶码的计数探究

置换等价视角下两类Z2Z4-加性补对偶码的计数探究一、引言1.1研究背景与动机在现代通信和信息存储领域，编码理论作为核心支撑，致力于解决信息传输与存储中的可靠性和有效性问题。通过精心设计的编码方式，能在信号受到噪声干扰或数据出现损坏时，准确无误地恢复原始信息。其中，Z₂Z₄-加性码凭借独特的代数结构和性能优势，成为编码理论研究的重点对象。Z₂Z₄-加性码结合了二元域Z₂和四元环Z₄的特性，突破了传统二元码的限制，在纠错能力和信息传输效率上展现出卓越的表现。这种码型在实际应用中具有广泛的前景，例如在深空通信中，面对复杂的电磁环境和长距离传输带来的信号衰减与噪声干扰，Z₂Z₄-加性码能够有效提高信息传输的准确性，确保航天器与地面控制中心之间的可靠通信；在量子通信领域，它也为量子密钥分发和量子纠错提供了新的思路和方法，助力量子通信技术的发展与完善。补对偶码作为编码理论中的重要概念，具有特殊的数学结构和性质。对于Z₂Z₄-加性码而言，研究其成为补对偶码的条件以及计数问题，不仅能够深化对码的代数结构的理解，完善编码理论体系，还能为实际应用提供坚实的理论基础。在数据存储系统中，利用补对偶码的特性可以设计出更高效、更可靠的数据校验和纠错方案，提高数据存储的安全性和稳定性，减少数据丢失和错误的风险。因此，对两类Z₂Z₄-加性补对偶码的计数研究具有重要的理论和实际意义。1.2国内外研究现状在编码理论的研究历程中，Z₂Z₄-加性码的相关探索始终是国内外学者关注的焦点。国外学者在早期就对Z₂Z₄-加性码的基础理论展开研究，如对其代数结构和基本性质进行剖析，为后续研究奠定了坚实基础。文献[具体文献1]率先深入探讨了Z₂Z₄-加性码的生成矩阵形式，明确了其结构特点，使得研究者能够通过生成矩阵更深入地理解码的构造方式；文献[具体文献2]则着重研究了Z₂Z₄-加性码的对偶码性质，揭示了对偶码与原码之间的内在联系，为进一步研究码的特性提供了重要参考。随着研究的逐步深入，关于Z₂Z₄-加性补对偶码的研究也逐渐兴起。国外在这方面的研究起步较早，一些学者通过对补对偶码定义和性质的深入挖掘，取得了一系列重要成果。他们提出了多种判断Z₂Z₄-加性码是否为补对偶码的条件和方法，如基于码的生成矩阵和内积运算的判断准则，为后续的计数研究提供了理论依据。国内学者在Z₂Z₄-加性码及补对偶码的研究领域也取得了显著进展。在Z₂Z₄-加性码的基本理论研究方面，国内学者进一步完善了相关理论体系，深入分析了码的各种参数与性能之间的关系。文献[具体文献3]对Z₂Z₄-加性码的纠错能力进行了详细研究，通过理论推导和仿真实验，给出了不同条件下码的纠错性能指标，为实际应用提供了有力支持；文献[具体文献4]则从应用角度出发，探索了Z₂Z₄-加性码在图像加密领域的应用，提出了基于Z₂Z₄-加性码的图像加密算法，提高了图像加密的安全性和效率。在Z₂Z₄-加性补对偶码的计数研究方面，国内学者也做出了积极贡献。他们通过对已有计数方法的改进和创新，提出了一些新的计数思路和算法。文献[具体文献5]针对特定类型的Z₂Z₄-加性补对偶码，利用组合数学的方法，给出了一种新的计数公式，简化了计数过程，提高了计算效率。然而，当前研究仍存在一定的局限性。在计数方法上，现有的方法大多针对特定条件下的Z₂Z₄-加性补对偶码，缺乏通用性和普适性，难以对各种类型的Z₂Z₄-加性补对偶码进行全面准确的计数。在条件探讨方面，虽然已经提出了一些判断码为补对偶码的条件，但对于一些复杂情况下的条件研究还不够深入，无法满足实际应用中对码的多样化需求。此外，在实际应用中，如何根据具体的应用场景选择合适的Z₂Z₄-加性补对偶码，并充分发挥其优势，也是当前研究尚未完全解决的问题。1.3研究内容与目标本文聚焦于两类Z₂Z₄-加性补对偶码展开深入研究。一方面，致力于探究这两类Z₂Z₄-加性码成为加性补对偶码的充要条件。通过对Z₂Z₄-加性码的代数结构、生成矩阵、内积运算等特性的深入剖析，从理论层面推导和论证使其满足补对偶码性质的关键条件，为后续的计数研究奠定坚实的理论基础。另一方面，在置换等价的条件下，对满足加性补对偶码条件的Z₂Z₄-加性码的个数进行精确计算。具体而言，针对不同类型的Z₂Z₄-加性补对偶码，先依据其生成码字的阶数进行细致分类讨论，再结合码字二元部分长度α的奇偶性展开进一步分析，运用组合数学、代数运算等方法，建立合理的计数模型，最终得出准确的计数结果。本研究旨在完善Z₂Z₄-加性补对偶码的理论体系，解决当前计数方法通用性不足的问题，为编码理论在实际通信、数据存储等领域的应用提供更具普适性的理论支持和方法指导。二、Z₂Z₄-加性码相关理论基础2.1基本预备知识在编码理论中，码长是指构成码字的符号个数，它是衡量码的一个基本参数，决定了信息承载的能力和处理的复杂程度。例如，在一个简单的二元码中，若每个码字由8个二元符号组成，那么该码的码长即为8。码字是编码后的信息单元，是由特定符号集组成的序列。在二元码中，码字由0和1组成；在Z₄环中，码字的元素则来自集合{0,1,2,3}。不同的码字代表着不同的信息内容，通过对码字的传输和处理，实现信息的传递和存储。码率作为衡量编码效率的关键指标，定义为信息位长度与总码长的比值。码率越高，意味着在相同的码长下，能够传输的有效信息越多，编码效率也就越高。例如，对于一个码长为n，信息位长度为k的码，其码率R=k/n。若一个码长为10，信息位长度为8的码，其码率为8/10=0.8。较高的码率在信息传输中具有重要意义，它可以在有限的带宽资源下，传输更多的信息，提高通信系统的效率和性能。但码率的提高往往伴随着纠错能力的下降，需要在编码设计中进行权衡。汉明距离用于衡量两个等长码字之间的差异程度，它是指两个码字对应位置上不同符号的个数。例如，码字1011和0010的汉明距离为2，因为它们在第一位和第四位上的符号不同。汉明距离在编码理论中具有重要作用，它与码的纠错能力密切相关。最小汉明距离是一个码集中任意两个码字之间汉明距离的最小值，它决定了码的检错和纠错能力。当最小汉明距离为d时，该码能够检测出d-1位错误，并且能够纠正(d-1)/2位错误（d为奇数时）。例如，若一个码的最小汉明距离为3，那么它可以检测出2位错误，并且能够纠正1位错误。重量是指码字中不为零的符号个数，也称为汉明重量。对于二元码，重量就是码字中1的个数；对于Z₄环上的码字，重量则是根据其非零元素的个数来确定。重量在分析码的性质和性能时具有重要意义，它与汉明距离、纠错能力等密切相关。例如，在某些编码算法中，通过对码字重量的分析，可以优化编码结构，提高码的纠错性能。这些基本概念是理解编码理论的基石，为后续深入研究Z₂Z₄-加性码奠定了坚实的基础。2.2Z₂Z₄-加性码的定义与特性Z₂Z₄-加性码是一类特殊的码型，其定义基于二元域Z₂和四元环Z₄。设α和β为非负整数，Z₂Z₄-加性码C是Z₂ᵅ×Z₄ᵝ的一个加法子群。从代数结构上看，它融合了Z₂和Z₄的运算特性，既具有二元域的简洁性，又具备四元环的丰富性。Z₂Z₄-加性码中的元素由α个二元分量和β个四元分量组成，这种结构使得它在信息表示和处理上具有独特的优势。在编码过程中，可以根据实际需求灵活选择二元部分和四元部分的长度，以适应不同的应用场景。例如，在一些对数据精度要求较高的通信场景中，可以适当增加四元部分的长度，利用四元环能够表示更多状态的特点，提高信息传输的准确性；而在对处理速度要求较高的场景中，则可以增加二元部分的长度，利用二元运算的高效性，加快编码和解码的速度。与二元线性码相比，Z₂Z₄-加性码的结构更为复杂。二元线性码是定义在二元域Z₂上的线性空间，其元素仅由0和1组成，运算规则简单直观。而Z₂Z₄-加性码不仅包含二元部分，还引入了四元部分，使得其元素的取值范围更广，运算规则也更为复杂。在加法运算中，二元部分遵循Z₂的加法规则，即0+0=0，0+1=1，1+0=1，1+1=0；四元部分则遵循Z₄的加法规则，如0+1=1，1+1=2，2+1=3，3+1=0等。这种复杂的结构赋予了Z₂Z₄-加性码更强的表示能力和纠错能力，能够处理更为复杂的信息传输和存储任务。与四元线性码相比，Z₂Z₄-加性码同样存在差异。四元线性码定义在四元环Z₄上，其所有元素均来自Z₄。而Z₂Z₄-加性码结合了Z₂和Z₄，具有更灵活的结构。在实际应用中，这种灵活性使得Z₂Z₄-加性码能够更好地平衡编码效率和纠错能力。当面对不同的噪声环境和传输需求时，可以通过调整二元部分和四元部分的比例，优化码的性能。在噪声较小的环境中，可以适当增加二元部分的比例，提高编码效率；在噪声较大的环境中，则增加四元部分的比例，增强码的纠错能力。2.3Z2Z4-加性码的生成矩阵Z₂Z₄-加性码的生成矩阵是构造该码的关键工具，它为生成码的所有码字提供了一种有效的方式。对于Z₂Z₄-加性码C，其生成矩阵G是一个矩阵，使得C中的每个码字都可以表示为G的行向量的线性组合。设C是一个Z₂Z₄-加性码，其生成矩阵G可以表示为分块矩阵的形式：G=\begin{pmatrix}I_{\alpha}&A_{12}&A_{13}&A_{14}\\0&A_{22}&A_{23}&A_{24}\\0&0&2I_{\gamma}&2A_{34}\\0&0&0&A_{44}\end{pmatrix}其中，I_{\alpha}是\alpha\times\alpha的单位矩阵，I_{\gamma}是\gamma\times\gamma的单位矩阵，A_{ij}是适当大小的矩阵，其元素分别来自Z₂或Z₄，具体取决于矩阵的位置。\alpha表示码字二元部分的长度，\gamma与码字的结构和性质相关。这种分块矩阵的形式体现了Z₂Z₄-加性码的结构特点，通过不同子矩阵的组合，能够生成具有特定性质的码。二元部分的单位矩阵I_{\alpha}保证了信息在二元部分的准确表示，而其他子矩阵则通过与单位矩阵的运算，生成不同的码字组合，从而实现对信息的编码和纠错。以一个具体例子来说明，假设我们有一个Z₂Z₄-加性码，\alpha=2，\gamma=1，生成矩阵G如下：G=\begin{pmatrix}1&0&1&1&0&1\\0&1&1&0&1&1\\0&0&2&2&0&2\\0&0&0&1&1&3\end{pmatrix}通过这个生成矩阵，我们可以生成该码的所有码字。例如，取信息向量(1,0,1,0)，计算它与生成矩阵G的乘积（在Z₂和Z₄的运算规则下）：(1,0,1,0)\times\begin{pmatrix}1&0&1&1&0&1\\0&1&1&0&1&1\\0&0&2&2&0&2\\0&0&0&1&1&3\end{pmatrix}首先，计算二元部分的乘积：(1,0)\times\begin{pmatrix}1&0\\0&1\end{pmatrix}=(1,0)然后，计算四元部分的乘积：(1,0)\times\begin{pmatrix}1&1&0&1\\1&0&1&1\end{pmatrix}+(1,0)\times\begin{pmatrix}0&0\\0&0\end{pmatrix}\times\begin{pmatrix}2&2&0&2\\0&0&0&0\end{pmatrix}+(1,0)\times\begin{pmatrix}0&0\\0&0\end{pmatrix}\times\begin{pmatrix}0&0&0&0\\0&1&1&3\end{pmatrix}在Z₄的运算下，得到结果为(1+0,1+0,0+0,1+0)=(1,1,0,1)。所以，最终生成的码字为(1,0,1,1,0,1)。通过这样的方式，利用生成矩阵可以方便地生成Z₂Z₄-加性码的各种码字，为后续对码的性质研究和应用提供了基础。不同的生成矩阵会生成不同结构和性能的Z₂Z₄-加性码，通过调整生成矩阵中的元素和子矩阵的结构，可以优化码的纠错能力、码率等性能指标，以满足不同应用场景的需求。2.4Z2Z4-加性码的对偶码对于Z₂Z₄-加性码，对偶码是一个重要的概念，它与原码在代数结构和性质上存在着紧密的联系。给定一个Z₂Z₄-加性码C，其对偶码C^{\perp}定义为：C^{\perp}=\{y\inZ_2^{\alpha}\timesZ_4^{\beta}|\langlex,y\rangle=0,\forallx\inC\}其中，\langlex,y\rangle表示标准内积运算。在Z₂部分，内积运算遵循二元域的规则，即两个二元向量对应位相乘再求和（模2运算）；在Z₄部分，内积运算根据Z₄环的运算规则进行，如a,b\inZ_4，则a\cdotb按Z₄的乘法运算，然后再将Z₂和Z₄部分的结果相加（在各自的运算规则下）得到最终的内积结果。对偶码C^{\perp}与原码C的关系体现在多个方面。从生成矩阵的角度来看，若G是C的生成矩阵，那么存在一个矩阵H，使得G\cdotH^T=0（这里的乘法和转置运算均根据Z₂和Z₄的运算规则进行），H即为C^{\perp}的生成矩阵。这表明原码和对偶码的生成矩阵之间存在着特定的正交关系，通过这种关系可以方便地从原码的生成矩阵推导出对偶码的生成矩阵。从码的维度和性质上分析，原码C和对偶码C^{\perp}的维度之和等于码空间Z_2^{\alpha}\timesZ_4^{\beta}的维度。这意味着它们在码空间中相互补充，共同构成了完整的码空间结构。在纠错能力方面，原码C的纠错能力与对偶码C^{\perp}的校验能力密切相关。原码能够纠正一定数量的错误，而对偶码则可以用于检测原码在传输过程中是否出现错误，并且通过两者的结合，可以实现更高效的纠错和检错机制。为了更直观地理解对偶码的求解过程，我们通过一个实例进行展示。假设存在一个Z₂Z₄-加性码C，其生成矩阵G为：G=\begin{pmatrix}1&0&1&1&0&1\\0&1&1&0&1&1\\0&0&2&2&0&2\\0&0&0&1&1&3\end{pmatrix}首先，我们要找到满足G\cdotH^T=0的矩阵H。设H为：H=\begin{pmatrix}h_{11}&h_{12}&h_{13}&h_{14}&h_{15}&h_{16}\\h_{21}&h_{22}&h_{23}&h_{24}&h_{25}&h_{26}\\h_{31}&h_{32}&h_{33}&h_{34}&h_{35}&h_{36}\\h_{41}&h_{42}&h_{43}&h_{44}&h_{45}&h_{46}\\h_{51}&h_{52}&h_{53}&h_{54}&h_{55}&h_{56}\\h_{61}&h_{62}&h_{63}&h_{64}&h_{65}&h_{66}\end{pmatrix}根据G\cdotH^T=0，我们可以得到一系列方程：对于第一行和第一列的元素：1\timesh_{11}+0\timesh_{21}+1\timesh_{31}+1\timesh_{41}+0\timesh_{51}+1\timesh_{61}\equiv0\pmod{2}对于第一行和第二列的元素：1\timesh_{12}+0\timesh_{22}+1\timesh_{32}+1\timesh_{42}+0\timesh_{52}+1\timesh_{62}\equiv0\pmod{2}以此类推，对于所有的行和列组合，根据Z₂和Z₄的运算规则列出方程。经过求解这些方程（具体求解过程涉及到Z₂和Z₄上的线性方程组求解，这里省略详细步骤），我们得到对偶码C^{\perp}的生成矩阵H为：H=\begin{pmatrix}1&1&0&0&0&0\\1&0&1&0&0&0\\0&1&1&0&0&0\\0&0&0&1&1&0\\0&0&0&1&0&1\\0&0&0&0&1&1\end{pmatrix}通过这个生成矩阵H，我们就可以生成对偶码C^{\perp}的所有码字。例如，取信息向量(1,0,0,0,0,0)，计算它与生成矩阵H的乘积（在Z₂和Z₄的运算规则下）：(1,0,0,0,0,0)\times\begin{pmatrix}1&1&0&0&0&0\\1&0&1&0&0&0\\0&1&1&0&0&0\\0&0&0&1&1&0\\0&0&0&1&0&1\\0&0&0&0&1&1\end{pmatrix}得到结果为(1,1,0,0,0,0)，这就是对偶码C^{\perp}中的一个码字。通过这样的方式，我们可以生成对偶码的各种码字，进一步研究其性质和应用。三、两类Z₂Z₄-加性补对偶码的充要条件研究3.1Z₂Z₄-加性补对偶码的定义与性质Z₂Z₄-加性补对偶码是在Z₂Z₄-加性码的基础上，满足特定补对偶性质的码型。设C是一个Z₂Z₄-加性码，若C满足C\capC^{\perp}=\{0\}且C+C^{\perp}=Z_2^{\alpha}\timesZ_4^{\beta}，则称C为Z₂Z₄-加性补对偶码。其中，C^{\perp}是C的对偶码，如前文所述，C^{\perp}=\{y\inZ_2^{\alpha}\timesZ_4^{\beta}|\langlex,y\rangle=0,\forallx\inC\}，\langlex,y\rangle为标准内积运算。从直观意义上理解，C\capC^{\perp}=\{0\}表明码C与其对偶码C^{\perp}只有零向量是共同的，它们在码空间中相互独立；C+C^{\perp}=Z_2^{\alpha}\timesZ_4^{\beta}则意味着码C与对偶码C^{\perp}的并集能够覆盖整个码空间Z_2^{\alpha}\timesZ_4^{\beta}，二者相互补充，共同构成了完整的码空间结构。Z₂Z₄-加性补对偶码具有一些独特的性质。它的最小汉明距离和最小Lee距离之间存在着密切的关系。最小汉明距离是衡量码在二元域上区分不同码字能力的重要指标，而最小Lee距离则在四元环的背景下，更全面地考虑了码字元素之间的差异程度。对于Z₂Z₄-加性补对偶码，通过对其结构和内积运算的深入分析，可以发现最小汉明距离和最小Lee距离在一定程度上相互制约和影响，这种关系对于码的纠错能力和检错能力具有重要意义。在某些情况下，最小汉明距离的增大可能会导致最小Lee距离的变化，进而影响码在不同噪声环境下的性能表现。与其他类型的补对偶码相比，如二元补对偶码和四元补对偶码，Z₂Z₄-加性补对偶码具有明显的差异。二元补对偶码完全定义在二元域Z₂上，其元素仅为0和1，结构相对简单，运算规则也较为直接。而Z₂Z₄-加性补对偶码结合了Z₂和Z₄的特点，元素取值范围更广，结构更为复杂。在处理信息时，二元补对偶码只能利用二元域的两种状态来表示信息，而Z₂Z₄-加性补对偶码可以通过四元部分的不同取值，更细致地表示信息，从而在某些应用场景中具有更高的信息传输效率和纠错能力。四元补对偶码定义在四元环Z₄上，虽然与Z₂Z₄-加性补对偶码都涉及四元环，但Z₂Z₄-加性补对偶码还包含了二元部分，使其具有更灵活的结构。在实际应用中，四元补对偶码在某些特定领域，如对四元数运算有特殊需求的场景中具有优势，但Z₂Z₄-加性补对偶码由于其独特的二元-四元混合结构，能够更好地适应多种不同的应用环境，在通信、数据存储等领域展现出更广泛的适用性。例如，在通信系统中，面对不同类型的噪声干扰，Z₂Z₄-加性补对偶码可以根据噪声的特点，灵活调整二元部分和四元部分的作用，实现更高效的纠错和检错，而四元补对偶码则可能受到其单一结构的限制，难以应对复杂多变的噪声环境。3.2由一个码字生成的Z₂Z₄-加性补对偶码3.2.1充要条件分析从数学原理出发，对于由一个码字生成的Z₂Z₄-加性补对偶码，我们进行如下深入分析。设x=(x_1,x_2,\cdots,x_{\alpha},y_1,y_2,\cdots,y_{\beta})是Z₂Z₄-加性码C中的一个码字，其中x_i\inZ_2，i=1,2,\cdots,\alpha；y_j\inZ_4，j=1,2,\cdots,\beta。根据补对偶码的定义，C为补对偶码需满足C\capC^{\perp}=\{0\}且C+C^{\perp}=Z_2^{\alpha}\timesZ_4^{\beta}。对于由单个码字x生成的码C，C=\langlex\rangle=\{kx|k\inZ_2\timesZ_4\}（这里的乘法运算根据Z₂和Z₄的运算规则进行）。要使C\capC^{\perp}=\{0\}，则对于任意非零的kx\inC，kx\notinC^{\perp}。根据对偶码的定义，C^{\perp}=\{y\inZ_2^{\alpha}\timesZ_4^{\beta}|\langlekx,y\rangle=0,\forallkx\inC\}，所以存在y\inZ_2^{\alpha}\timesZ_4^{\beta}，使得\langlex,y\rangle\neq0。对于C+C^{\perp}=Z_2^{\alpha}\timesZ_4^{\beta}，意味着对于任意的z\inZ_2^{\alpha}\timesZ_4^{\beta}，都可以表示为z=kx+y，其中kx\inC，y\inC^{\perp}。从内积运算的角度进一步推导，设x=(x_1,x_2,\cdots,x_{\alpha},y_1,y_2,\cdots,y_{\beta})，y=(y_1',y_2',\cdots,y_{\alpha}',z_1,z_2,\cdots,z_{\beta})，则\langlex,y\rangle=\sum_{i=1}^{\alpha}x_iy_i'+\sum_{j=1}^{\beta}y_jz_j（这里的加法和乘法运算分别遵循Z₂和Z₄的规则）。若x生成的码C是补对偶码，那么对于任意非零的k\inZ_2\timesZ_4，\langlekx,x\rangle\neq0（因为若\langlekx,x\rangle=0，则kx\inC^{\perp}，与C\capC^{\perp}=\{0\}矛盾）。假设x的二元部分(x_1,x_2,\cdots,x_{\alpha})的重量为w_H(x)，四元部分(y_1,y_2,\cdots,y_{\beta})的Lee重量为w_L(y)。根据补对偶码的性质，我们可以得到以下关系：若x生成的码C是补对偶码，则w_H(x)+w_L(y)不能满足某些特殊的整除关系。具体来说，若存在非零的k\inZ_2\timesZ_4，使得kx的二元部分和四元部分的重量之和满足特定的整除条件（如w_H(kx)+w_L(ky)能被某个特定的值整除），则x生成的码C不是补对偶码。通过以上理论推导，我们论证了由单个码字生成Z₂Z₄-加性补对偶码需满足的条件。这些条件是基于Z₂Z₄-加性码的代数结构、生成方式以及补对偶码的定义，通过严密的逻辑推理和数学运算得出的。3.2.2实例验证为了更直观地理解上述充要条件，我们构造具体例子进行验证。假设存在一个Z₂Z₄-加性码，\alpha=2，\beta=1，有一个码字x=(1,1,1)（这里第一个和第二个元素来自Z₂，第三个元素来自Z₄）。首先，根据生成规则，由x生成的码C为C=\langlex\rangle=\{0x,1x,2x,3x\}，在Z₂和Z₄的运算规则下：0x=(0,0,0)；1x=(1,1,1)；2x=(0,0,2)（因为2\times1\bmod{2}=0，2\times1\bmod{2}=0，2\times1\bmod{4}=2）；3x=(1,1,3)（因为3\times1\bmod{2}=1，3\times1\bmod{2}=1，3\times1\bmod{4}=3）。接下来，我们求C的对偶码C^{\perp}。设y=(y_1,y_2,z)\inZ_2^2\timesZ_4，根据对偶码的定义\langlex,y\rangle=y_1+y_2+z=0（这里的加法运算分别遵循Z₂和Z₄的规则）。当y_1=0，y_2=0时，z=0；当y_1=0，y_2=1时，z=3；当y_1=1，y_2=0时，z=3；当y_1=1，y_2=1时，z=2。所以C^{\perp}=\{(0,0,0),(0,1,3),(1,0,3),(1,1,2)\}。然后，判断是否满足补对偶码的条件C\capC^{\perp}=\{0\}。逐一检查C和C^{\perp}中的元素，发现除了(0,0,0)外，没有其他相同的元素，满足C\capC^{\perp}=\{0\}。再判断是否满足C+C^{\perp}=Z_2^2\timesZ_4。Z_2^2\timesZ_4共有2^2\times4=16个元素，C有4个元素，C^{\perp}有4个元素。C+C^{\perp}中的元素通过c+c'（c\inC，c'\inC^{\perp}）计算得到，例如：(1,1,1)+(0,1,3)=(1,0,0)（这里的加法运算分别遵循Z₂和Z₄的规则）。经过计算，C+C^{\perp}包含了Z_2^2\timesZ_4中的所有元素，满足C+C^{\perp}=Z_2^2\timesZ_4。所以，由码字x=(1,1,1)生成的Z₂Z₄-加性码是补对偶码，符合我们前面推导的充要条件。再假设一个码字x=(0,0,2)，同样按照上述步骤进行分析。由x生成的码C为C=\langlex\rangle=\{0x,1x,2x,3x\}，在Z₂和Z₄的运算规则下：0x=(0,0,0)；1x=(0,0,2)；2x=(0,0,0)（因为2\times2\bmod{4}=0）；3x=(0,0,2)。此时C实际上只有两个不同元素(0,0,0)和(0,0,2)。求C的对偶码C^{\perp}，设y=(y_1,y_2,z)\inZ_2^2\timesZ_4，根据对偶码的定义\langlex,y\rangle=2z=0（这里的加法运算分别遵循Z₂和Z₄的规则），则z=0或z=2。当z=0时，y可以是(0,0,0),(0,1,0),(1,0,0),(1,1,0)；当z=2时，y可以是(0,0,2),(0,1,2),(1,0,2),(1,1,2)。所以C^{\perp}=\{(0,0,0),(0,1,0),(1,0,0),(1,1,0),(0,0,2),(0,1,2),(1,0,2),(1,1,2)\}。判断是否满足补对偶码的条件C\capC^{\perp}，发现C中的(0,0,0)和(0,0,2)都在C^{\perp}中，不满足C\capC^{\perp}=\{0\}，所以由码字x=(0,0,2)生成的Z₂Z₄-加性码不是补对偶码，也验证了我们前面推导的充要条件。通过这样的实例验证，我们更加清晰地理解了由一个码字生成的Z₂Z₄-加性补对偶码的充要条件及其判断方法。3.3二维且码字均二阶的Z₂Z₄-加性补对偶码3.3.1充要条件分析对于二维且码字均二阶的Z₂Z₄-加性补对偶码，其成为补对偶码的充要条件具有独特的形式。设该码C由两个二阶码字x=(x_1,x_2,\cdots,x_{\alpha},y_1,y_2,\cdots,y_{\beta})和y=(y_1',y_2',\cdots,y_{\alpha}',z_1,z_2,\cdots,z_{\beta})生成，其中x_i,y_i'\inZ_2，i=1,2,\cdots,\alpha；y_j,z_j\inZ_4，j=1,2,\cdots,\beta。从内积运算的角度出发，根据补对偶码的定义，C\capC^{\perp}=\{0\}且C+C^{\perp}=Z_2^{\alpha}\timesZ_4^{\beta}。对于C\capC^{\perp}=\{0\}，这意味着对于任意非零的线性组合ax+by（a,b\inZ_2\timesZ_4，且(a,b)\neq(0,0)），ax+by\notinC^{\perp}。即存在u=(u_1,u_2,\cdots,u_{\alpha},v_1,v_2,\cdots,v_{\beta})\inZ_2^{\alpha}\timesZ_4^{\beta}，使得\langleax+by,u\rangle\neq0。对于C+C^{\perp}=Z_2^{\alpha}\timesZ_4^{\beta}，则对于任意的w=(w_1,w_2,\cdots,w_{\alpha},t_1,t_2,\cdots,t_{\beta})\inZ_2^{\alpha}\timesZ_4^{\beta}，都可以表示为w=ax+by+u，其中ax+by\inC，u\inC^{\perp}。由于码字均为二阶，根据二阶元素的性质，在Z₂中，二阶元素为1（因为1+1=0）；在Z₄中，二阶元素为2（因为2+2=0）。所以对于生成码字x和y，它们的二元部分和四元部分中的非零元素都具有特殊的运算性质。从矩阵的角度进一步分析，设生成矩阵G为：G=\begin{pmatrix}x_1&x_2&\cdots&x_{\alpha}&y_1&y_2&\cdots&y_{\beta}\\y_1'&y_2'&\cdots&y_{\alpha}'&z_1&z_2&\cdots&z_{\beta}\end{pmatrix}根据补对偶码的条件，G与对偶码C^{\perp}的生成矩阵H满足G\cdotH^T=0（这里的乘法和转置运算均根据Z₂和Z₄的运算规则进行）。通过对生成矩阵的行向量进行线性组合，以及利用内积运算的规则，可以推导出该码成为补对偶码的具体条件。若x和y的二元部分的线性组合在Z₂上的运算结果，以及四元部分的线性组合在Z₄上的运算结果，满足特定的非零条件，则该码为补对偶码。具体来说，设x和y的二元部分分别为x^{(1)}=(x_1,x_2,\cdots,x_{\alpha})和y^{(1)}=(y_1',y_2',\cdots,y_{\alpha}')，四元部分分别为x^{(2)}=(y_1,y_2,\cdots,y_{\beta})和y^{(2)}=(z_1,z_2,\cdots,z_{\beta})。对于任意非零的a,b\inZ_2\timesZ_4，ax^{(1)}+by^{(1)}在Z₂上的重量不为0，且ax^{(2)}+by^{(2)}在Z₄上的Lee重量也不为0，同时满足\langleax+by,ax+by\rangle\neq0（这里的内积运算根据Z₂和Z₄的规则进行），则由x和y生成的二维且码字均二阶的Z₂Z₄-加性码是补对偶码。这些条件的必要性在于，若不满足这些条件，就会出现C\capC^{\perp}\neq\{0\}或C+C^{\perp}\neqZ_2^{\alpha}\timesZ_4^{\beta}的情况，从而不满足补对偶码的定义。例如，若存在非零的a,b使得ax+by\inC^{\perp}，则C\capC^{\perp}中就会包含非零元素，不符合补对偶码的要求；若存在w\inZ_2^{\alpha}\timesZ_4^{\beta}，无法表示为w=ax+by+u（ax+by\inC，u\inC^{\perp}）的形式，则C+C^{\perp}\neqZ_2^{\alpha}\timesZ_4^{\beta}，也不符合补对偶码的定义。3.3.2实例验证为了验证上述充要条件，我们构建一个具体的实例。假设存在一个二维且码字均二阶的Z₂Z₄-加性码，\alpha=3，\beta=2，有两个生成码字x=(1,1,0,2,0)和y=(0,1,1,0,2)（这里前三个元素来自Z₂，后两个元素来自Z₄）。首先，由x和y生成的码C中的元素为ax+by（a,b\inZ_2\timesZ_4）。当a=0，b=0时，0x+0y=(0,0,0,0,0)；当a=1，b=0时，1x+0y=(1,1,0,2,0)；当a=0，b=1时，0x+1y=(0,1,1,0,2)；当a=1，b=1时，1x+1y=(1+0,1+1,0+1,2+0,0+2)=(1,0,1,2,2)（这里的加法运算分别遵循Z₂和Z₄的规则）。以此类推，可以得到码C的所有元素。接下来求C的对偶码C^{\perp}。设u=(u_1,u_2,u_3,v_1,v_2)\inZ_2^3\timesZ_4^2，根据对偶码的定义\langlex,u\rangle=u_1+u_2+2v_1=0，\langley,u\rangle=u_2+u_3+2v_2=0（这里的加法运算分别遵循Z₂和Z₄的规则）。通过求解这两个方程，可以得到C^{\perp}的元素。例如，当u_1=0，u_2=0时，由2v_1=0可得v_1=0或v_1=2，由u_2+u_3+2v_2=0，当u_2=0，v_1=0时，若u_3=0，则2v_2=0，v_2=0或v_2=2；若u_3=1，则1+2v_2=0，v_2=3或v_2=1。通过这样的方式，可以求出C^{\perp}的所有元素。然后，判断是否满足补对偶码的条件C\capC^{\perp}=\{0\}。逐一检查C和C^{\perp}中的元素，发现除了(0,0,0,0,0)外，没有其他相同的元素，满足C\capC^{\perp}=\{0\}。再判断是否满足C+C^{\perp}=Z_2^3\timesZ_4^2。Z_2^3\timesZ_4^2共有2^3\times4^2=128个元素，通过计算C+C^{\perp}中的元素（即c+c'，c\inC，c'\inC^{\perp}），发现C+C^{\perp}包含了Z_2^3\timesZ_4^2中的所有元素，满足C+C^{\perp}=Z_2^3\timesZ_4^2。所以，由码字x=(1,1,0,2,0)和y=(0,1,1,0,2)生成的二维且码字均二阶的Z₂Z₄-加性码是补对偶码，符合我们前面推导的充要条件。再假设两个生成码字x=(1,0,0,2,0)和y=(1,0,0,0,2)，同样按照上述步骤进行分析。由x和y生成的码C中的元素为ax+by（a,b\inZ_2\timesZ_4）。当a=1，b=1时，1x+1y=(1+1,0+0,0+0,2+0,0+2)=(0,0,0,2,2)。求C的对偶码C^{\perp}，设u=(u_1,u_2,u_3,v_1,v_2)\inZ_2^3\timesZ_4^2，根据对偶码的定义\langlex,u\rangle=u_1+2v_1=0，\langley,u\rangle=u_1+2v_2=0。通过求解这两个方程，得到C^{\perp}的一些元素。判断是否满足补对偶码的条件C\capC^{\perp}，发现(0,0,0,2,2)既在C中又在C^{\perp}中，不满足C\capC^{\perp}=\{0\}，所以由码字x=(1,0,0,2,0)和y=(1,0,0,0,2)生成的二维且码字均二阶的Z₂Z₄-加性码不是补对偶码，也验证了我们前面推导的充要条件。通过这样的实例验证，更加直观地展示了二维且码字均二阶的Z₂Z₄-加性补对偶码充要条件的实际应用和判断方法。四、两类Z₂Z₄-加性补对偶码的计数方法与实践4.1计数的基本思路与方法在对两类Z₂Z₄-加性补对偶码进行计数时，我们以置换等价为前提展开研究。置换等价是编码理论中用于衡量码之间相似性的重要概念，它使得我们能够在一个更抽象的层面上对码进行分类和计数，避免了对所有可能码的重复计算，大大简化了计数过程。从组合数学的角度来看，我们将Z₂Z₄-加性补对偶码的计数问题转化为对特定组合结构的计数。对于由一个码字生成的Z₂Z₄-加性补对偶码，我们首先考虑该码字在Z₂和Z₄上的元素组合方式。由于码字中的二元部分元素来自Z₂，有2种取值可能；四元部分元素来自Z₄，有4种取值可能。因此，对于长度为\alpha的二元部分和长度为\beta的四元部分，总的元素组合方式有2^{\alpha}\times4^{\beta}种。但并非所有这些组合都能生成补对偶码，我们需要根据前文所推导的充要条件进行筛选。在筛选过程中，我们利用组合数学中的排列组合知识，计算满足条件的组合数。对于给定的码字，其成为补对偶码的条件涉及到内积运算和码空间的性质。通过分析这些条件，我们可以确定在所有可能的元素组合中，有多少种组合能够满足补对偶码的要求。假设我们有一个长度为\alpha=3，\beta=2的码字，在考虑所有可能的元素组合后，根据补对偶码的条件进行判断，发现只有其中的k种组合能够生成补对偶码，这里的k就是通过组合数学方法计算得到的满足条件的组合数。在代数分析方面，我们借助Z₂Z₄-加性码的生成矩阵和对偶码的性质来进行计数。生成矩阵为我们提供了一种系统的方式来生成码的所有码字，而对偶码的性质则帮助我们确定补对偶码的条件。对于二维且码字均二阶的Z₂Z₄-加性补对偶码，我们根据其生成矩阵的结构和充要条件，通过代数运算来确定满足条件的码的个数。设生成矩阵G由两个二阶码字生成，我们通过对生成矩阵的行向量进行线性组合，以及利用内积运算的规则，建立代数方程来描述补对偶码的条件。通过求解这些方程，我们可以得到满足条件的生成矩阵的个数，进而得到相应的Z₂Z₄-加性补对偶码的个数。在实际计算中，我们还会运用到一些数学技巧和方法，如利用矩阵的秩、行列式等概念来简化计算过程。对于复杂的代数方程，我们可能会采用消元法、代入法等方法进行求解。在面对大规模的计算时，我们还可以借助计算机编程来实现，通过编写算法来遍历所有可能的情况，根据设定的条件进行筛选和计数，提高计算的效率和准确性。4.2由一个码字生成的Z₂Z₄-加性补对偶码的计数4.2.1生成码字阶的分类讨论对于由一个码字生成的Z₂Z₄-加性补对偶码，其生成码字在Z₂Z₄中的阶数对码的计数有着重要影响。在Z₂Z₄中，元素的阶数具有特定的取值情况。对于Z₂部分，元素0的阶为1（因为0+0=0），元素1的阶为2（因为1+1=0）；对于Z₄部分，元素0的阶为1，元素1的阶为4（因为1+1+1+1=0），元素2的阶为2（因为2+2=0），元素3的阶为4（因为3+3+3+3=0）。当生成码字的阶数为1时，即码字为全零向量(0,0,\cdots,0)（这里的0分别来自Z₂和Z₄），根据补对偶码的定义C\capC^{\perp}=\{0\}且C+C^{\perp}=Z_2^{\alpha}\timesZ_4^{\beta}，此时生成的码C只有一个元素，即零向量。而对偶码C^{\perp}为整个码空间Z_2^{\alpha}\timesZ_4^{\beta}，显然不满足C\capC^{\perp}=\{0\}，所以阶数为1的码字不能生成Z₂Z₄-加性补对偶码，其计数为0。当生成码字的阶数为2时，在Z₂部分，非零元素1的阶为2；在Z₄部分，元素2的阶为2。假设生成码字x=(x_1,x_2,\cdots,x_{\alpha},y_1,y_2,\cdots,y_{\beta})，若x的阶为2，则在Z₂部分，x_i（i=1,2,\cdots,\alpha）中1的个数为偶数（因为偶数个1相加在Z₂中结果为0）；在Z₄部分，y_j（j=1,2,\cdots,\beta）中2的个数为偶数，且其他非零元素（1和3）的个数也需满足一定条件，以保证码字的阶为2。在计算此类情况下生成的Z₂Z₄-加性补对偶码的个数时，我们需要考虑满足这些条件的所有可能的码字组合。根据组合数学原理，对于Z₂部分，选择偶数个位置为1的组合数可以通过二项式系数计算；对于Z₄部分，考虑2的个数为偶数以及1和3的分布情况，同样利用组合数学方法计算满足条件的组合数。设Z₂部分满足条件的组合数为A_1，Z₄部分满足条件的组合数为A_2，则此时生成的Z₂Z₄-加性补对偶码的个数与A_1\timesA_2相关，具体的计算还需结合补对偶码的充要条件进一步确定。当生成码字的阶数为4时，在Z₄部分，元素1和3的阶为4。假设生成码字x=(x_1,x_2,\cdots,x_{\alpha},y_1,y_2,\cdots,y_{\beta})，若x的阶为4，则在Z₄部分，y_j（j=1,2,\cdots,\beta）中1或3的存在情况以及它们的组合方式会影响码字的阶数。在计算此类情况下生成的Z₂Z₄-加性补对偶码的个数时，同样要考虑Z₂部分和Z₄部分满足条件的组合数。对于Z₂部分，其组合数的计算与阶数为2时类似；对于Z₄部分，根据1和3的不同分布情况，利用组合数学方法计算满足阶数为4的组合数。设Z₂部分满足条件的组合数为B_1，Z₄部分满足条件的组合数为B_2，则此时生成的Z₂Z₄-加性补对偶码的个数与B_1\timesB_2相关，再根据补对偶码的充要条件进行进一步筛选和计算。通过对生成码字阶数的分类讨论，我们能够更清晰地分析不同阶数下Z₂Z₄-加性补对偶码的生成情况，为后续的计数提供了重要的基础。不同阶数的码字由于其在Z₂和Z₄中的运算特性不同，导致生成的码满足补对偶码条件的情况也不同，因此在计数时需要分别进行细致的分析和计算。4.2.2码字二元部分长度α的奇偶分类计数在对由一个码字生成的Z₂Z₄-加性补对偶码进行计数时，除了考虑生成码字的阶数，码字二元部分长度\alpha的奇偶性也是一个重要的分类依据。当\alpha为偶数时，从组合数学的角度来看，对于Z₂部分的元素组合，其满足某些条件的组合数具有特定的规律。在判断是否为补对偶码的过程中，涉及到内积运算。设生成码字x=(x_1,x_2,\cdots,x_{\alpha},y_1,y_2,\cdots,y_{\beta})，在计算内积\langlex,y\rangle（y=(y_1',y_2',\cdots,y_{\alpha}',z_1,z_2,\cdots,z_{\beta})）时，Z₂部分的内积\sum_{i=1}^{\alpha}x_iy_i'（这里的加法和乘法运算遵循Z₂的规则）。由于\alpha为偶数，对于一些关于Z₂部分元素的线性组合和内积运算，会出现一些特殊的性质。在判断C\capC^{\perp}=\{0\}时，若考虑Z₂部分的非零码字x，其与对偶码中码字y的内积\sum_{i=1}^{\alpha}x_iy_i'，根据Z₂的运算规则，当x和y的非零元素位置满足一定的奇偶关系时，内积结果为1，否则为0。通过分析这些奇偶关系，我们可以确定满足C\capC^{\perp}=\{0\}的Z₂部分元素组合的数量。假设我们要确定满足补对偶码条件的Z₂部分元素组合数，设x的Z₂部分为(x_1,x_2,\cdots,x_{\alpha})，我们可以将其看作是一个长度为\alpha的二元向量。对于任意一个非零的x，我们考虑它与所有可能的长度为\alpha的二元向量y的内积情况。由于\alpha为偶数，我们可以将\alpha个位置两两分组（或采用其他与偶数相关的分析方法）。在每组中，根据Z₂的运算规则，x_i和y_i'的取值组合有4种情况（(0,0)，(0,1)，(1,0)，(1,1)），但只有当满足一定的奇偶条件时，内积\sum_{i=1}^{\alpha}x_iy_i'才不为0。通过对所有可能的分组情况进行分析，利用组合数学中的排列组合知识，我们可以计算出满足条件的组合数M_1。对于Z₄部分，同样根据其元素的运算规则和补对偶码的条件进行分析。设x的Z₄部分为(y_1,y_2,\cdots,y_{\beta})，考虑其与对偶码中Z₄部分元素(z_1,z_2,\cdots,z_{\beta})的内积\sum_{j=1}^{\beta}y_jz_j（这里的加法和乘法运算遵循Z₄的规则）。根据Z₄中元素的阶数和运算特性，分析不同元素组合下内积为0或不为0的情况，从而确定满足补对偶码条件的Z₄部分元素组合数M_2。则当\alpha为偶数时，由一个码字生成的Z₂Z₄-加性补对偶码的个数与M_1\timesM_2相关，再结合生成码字的阶数等其他条件进行进一步的筛选和计算。当\alpha为奇数时，Z₂部分的元素组合和内积运算性质与\alpha为偶数时有所不同。在判断C\capC^{\perp}=\{0\}时，对于Z₂部分的非零码字x，其与对偶码中码字y的内积\sum_{i=1}^{\alpha}x_iy_i'，由于\alpha为奇数，在分析内积结果时，不能简单地采用与偶数时相同的分组方法。我们需要从奇数的特性出发，例如考虑所有位置的整体运算情况，或者采用其他适合奇数长度向量的分析方法。同样假设确定满足补对偶码条件的Z₂部分元素组合数，对于长度为\alpha的二元向量x，我们考虑它与所有可能的长度为\alpha的二元向量y的内积。由于\alpha为奇数，我们可以从向量的整体性质出发，分析x和y中1的个数以及它们的位置关系对内积结果的影响。通过深入分析这些关系，利用组合数学知识，计算出满足条件的组合数N_1。对于Z₄部分，与\alpha为偶数时类似，根据其元素的运算规则和补对偶码的条件确定满足条件的组合数N_2。则当\alpha为奇数时，由一个码字生成的Z₂Z₄-加性补对偶码的个数与N_1\timesN_2相关，再结合其他条件进行进一步的筛选和计算。通过对码字二元部分长度\alpha的奇偶分类计数，我们能够更全面地考虑不同情况下Z₂Z₄-加性补对偶码的生成和计数问题，利用不同奇偶性下的运算特性和组合规律，提高计数的准确性和全面性。4.2.3具体计算与结果分析为了更直观地展示计算过程和结果，我们代入具体参数进行计算。假设\alpha=3，\beta=2，我们来计算由一个码字生成的Z₂Z₄-加性补对偶码的个数。首先，考虑生成码字的阶数。由于\alpha=3为奇数，对于Z₂部分，我们根据前面讨论的奇数长度向量的分析方法来确定满足条件的组合数。对于Z₂部分的元素组合，其总共有2^3=8种可能。根据补对偶码的条件，我们逐一分析这些组合与对偶码中Z₂部分元素的内积情况。设生成码字x的Z₂部分为(x_1,x_2,x_3)，对偶码中Z₂部分元素为(y_1,y_2,y_3)，内积\langlex,y\rangle=x_1y_1+x_2y_2+x_3y_3（这里的加法和乘法运算遵循Z₂的规则）。通过分析，我们发现满足补对偶码条件的Z₂部分元素组合数为N_1=4。对于Z₄部分，\beta=2，Z₄部分的元素组合总共有4^2=16种可能。根据Z₄中元素的运算规则和补对偶码的条件，分析生成码字x的Z₄部分(y_1,y_2)与对偶码中Z₄部分元素(z_1,z_2)的内积\langlex,y\rangle=y_1z_1+y_2z_2（这里的加法和乘法运算遵循Z₄的规则），确定满足补对偶码条件的Z₄部分元素组合数为N_2=8。则当生成码字的阶数满足一定条件（例如阶数为4，这里假设阶数为4的情况下满足上述计算的组合条件）时，由一个码字生成的Z₂Z₄-加性补对偶码的个数为N_1\timesN_2=4\times8=32。通过对不同参数下计算结果的分析，我们可以发现一些规律。随着\alpha和\beta的增大，满足补对偶码条件的组合数会相应增加，但增加的幅度受到生成码字阶数以及补对偶码条件的限制。在\alpha不变的情况下，\beta的增大使得Z₄部分的元素组合更加丰富，从而增加了满足条件的组合数；在\beta不变的情况下，\alpha的增大对Z₂部分元素组合的影响较为复杂，需要根据\alpha的奇偶性以及补对偶码条件进行具体分析。生成码字的阶数对结果也有显著影响。不同阶数下，满足补对偶码条件的组合数不同，阶数为4时可能出现的满足条件的组合数相对较多，因为阶数为4的码字在Z₄部分的元素组合更为多样化，能够更好地满足补对偶码的条件。综上所述，通过具体计算和结果分析，我们不仅能够得到特定参数下由一个码字生成的Z₂Z₄-加性补对偶码的个数，还能深入了解参数变化对计数结果的影响，为进一步研究Z₂Z₄-加性补对偶码的性质和应用提供了有力的支持。4.3二维且码字均二阶的Z₂Z₄-加性补对偶码的计数4.3.1生成码字特性分析对于二维且码字均二阶的Z₂Z₄-加性补对偶码，其生成码字具有独特的特性，这些特性对计数有着关键的影响。由于码字均为二阶，在Z₂部分，非零元素为1，且满足1+1=0；在Z₄部分，二阶元素为2，满足2+2=0。从生成矩阵的角度来看，设生成矩阵由两个二阶码字x=(x_1,x_2,\cdots,x_{\alpha},y_1,y_2,\cdots,y_{\beta})和y=(y_1',y_2',\cdots,y_{\alpha}',z_1,z_2,\cdots,z_{\beta})构成。在Z₂部分，这两个码字的非零元素位置和组合方式决定了Z₂部分的性质。由于二阶的特性，对于任意线性组合ax+by（a,b\inZ_2\timesZ_4），其Z₂部分的重量（即非零元素1的个数）具有特定的规律。若a=1，b=1，则ax+by的Z₂部分为(x_1+y_1',x_2+y_2',\cdots,x_{\alpha}+y_{\alpha}')，根据二阶元素的运算规则，其重量的奇偶性与x和y中1的位置关系密切相关。在Z₄部分，二阶元素2的分布和组合方式同样影响着码的性质。对于ax+by的Z₄部分(ay_1+bz_1,ay_2+bz_2,\cdots,ay_{\beta}+bz_{\beta})，由于2的二阶特性，其Lee重量（考虑Z₄中元素差异程度的重量概念）也有特定的规律。当a=1，b=1时，ay_j+bz_j（j=1,2,\cdots,\beta）的Lee重量取决于y_j和z_j中2的个数以及其他非零元素（1和3）的分布情况。这些生成码字的特性对计数提出了特殊要求。在计算满足补对偶码条件的码的个数时，需要充分考虑这些特性。由于Z₂和Z₄部分元素的特殊运算规则和组合方式，使得计数过程不能简单地采用常规的组合方法，而需要结合二阶元素的性质，对所有可能的码字组合进行细致的分析和筛选。影响计数的因素主要包括生成码字在Z₂和Z₄部分的元素分布、线性组合后的重量特性以及它们与补对偶码条件的匹配程度。不同的元素分布和组合方式会导致码是否满足补对偶码的条件不同，从而直接影响到计数结果。4.3.2基于特性的计数方法根据二维且码字均二阶的Z₂Z₄-加性补对偶码的生成码字特性，我们设计了针对性的计数方法。该方法主要基于组合数学和代数运算，充分考虑二阶元素的性质和补对偶码的条件。从组合数学的角度出发，对于Z₂部分，我们先计算所有可能的二元向量组合数。由于每个位置有2种取值（0或1），对于长度为\alpha的二元部分，总共有2^{\alpha}种可能的向量组合。但根据二阶码字的特性和补对偶码的条件，并非所有这些组合都满足要求。我们利用组合数学中的排列组合知识，结合二阶元素的运算规则，筛选出满足条件的组合。在考虑两个二阶码字x和y的Z₂部分时，对于它们的线性组合ax+by（a,b\inZ_2），根据内积运算和补对偶码C\capC^{\perp}=\{0\}的条件，分析不同组合下内积结果为0或不为0的情况，从而确定满足条件的组合数A。对于Z₄部分，同样先计算所有可能的四元向量组合数。每个位置有4种取值（0，1，2，3），对于长度为\beta的四元部分，总共有4^{\beta}种可能的向量组合。然后根据二阶元素2的性质和补对偶码的条件进行筛选。在考虑ax+by（a,b\inZ_4）的Z₄部分时，分析其Lee重量以及与对偶码中Z₄部分元素的内积情况，利用组合数学方法确定满足条件的组合数B。从代数运算的角度，我们利用生成矩阵和对偶码的性质。设生成矩阵G由两个二阶码字x和y构成，根据补对偶码的条件G\cdotH^T=0（H为对偶码的生成矩阵），通过对生成矩阵的行向量进行线性组合，以及利用内积运算的规则，建立代数方程来描述补对偶码的条件。通过求解这