[论文解读] Eulerian Orientations and Hadamard Codes: A Novel Connection via Counting

Shuai Shao, Zhenghong Tang|arXiv (Cornell University)|Nov 4, 2024

graph theory and CDMA systems被引用 1

一句话总结

本文通过引入两类可有效处理的约束函数类，建立了欧拉定向（Eulerian orientations）与哈达玛码（Hadamard codes）之间的新联系，这两类函数通过平衡哈达玛码精确刻画其核结构，以归纳方式定义。链式反应算法可高效在多项式时间内求解这两类问题，而当混合使用这两类函数时，问题变为#P-难，揭示了计算复杂性中的尖锐相变。

ABSTRACT

We discover a novel connection between two classical mathematical notions, Eulerian orientations and Hadamard codes by studying the counting problem of Eulerian orientations (#EO) with local constraint functions imposed on vertices. We present two special classes of constraint functions and a chain reaction algorithm, and show that the #EO problem defined by each class alone is polynomial-time solvable by the algorithm. These tractable classes of functions are defined inductively, and quite remarkably the base level of these classes is characterized perfectly by the well-known Hadamard code. Thus, we establish a novel connection between counting Eulerian orientations and coding theory. We also prove a #P-hardness result for the #EO problem when constraint functions from the two tractable classes appear together.

研究动机与目标

• 识别#EO问题中超越已知情况的新型可有效处理的约束函数类。
• 探索欧拉定向与编码理论（特别是哈达玛码）之间的结构性联系。
• 为这些新类开发系统化的算法框架——链式反应算法，以求解#EO问题。
• 确定在组合不同约束类时，可有效处理性与#P-难性之间的边界。
• 阐明哈达玛码作为定义这些可有效处理类基础核结构的作用。

提出的方法

• 基于约束与对称性的递归应用，提出一种链式反应算法，通过图中传播值来求解问题。
• 定义两类以归纳方式构建的EO签名类，其基础情形由平衡哈达玛码刻画。
• 利用仿射秩对称性（ARS）及其否定形式（-ARS）分析变量约束下签名的行为。
• 应用签名约化技术，如固定变量（例如 xi=0 或 xi=1），以及使用等式/不等式约束（̸=2）来模拟新签名。
• 证明不满足ARS或-ARS的签名会导致#P-难性，通过归约至已知难题（如六顶点模型）予以证明。
• 使用欧几里得算法将混合签名系统约化为支持大小相等的等价形式，从而通过分块循环实现硬度证明。

实验结果

研究问题

• RQ1 哈达玛码能否作为#EO问题中可有效处理类的基础核结构？
• RQ2 哪些约束函数的结构性质可确保#EO问题在多项式时间内可解？
• RQ3 当两个原本可有效处理的约束类被组合时，#EO问题的复杂性如何变化？
• RQ4 仿射秩对称性（ARS）在决定可有效处理性或难解性方面起什么作用？
• RQ5 链式反应算法能否推广至本文识别的两类之外的其他约束类？

主要发现

• 两类可有效处理约束函数的基础层级被精确刻画为平衡哈达玛码。
• 链式反应算法对两类中的每一类均可在多项式时间内求解#EO问题，从而确立了其可有效处理性。
• 当混合使用来自两类的约束函数时，#EO问题变为#P-难，表明复杂性存在尖锐的阈值。
• 不满足ARS或-ARS的签名会导致#P-难，通过归约至六顶点模型得以证明。
• 通过循环变量（如使用̸=2）的约化过程，可从较小的可有效处理组件构造出难解实例，即使各组件本身是可有效处理的。
• δ1与δ0约束的混合导致链式反应终止，类似于电子-正电子湮灭，解释了难解性的出现。