物理系统中可对称化性的检测

我们研究在干扰器影响下的数据传输问题，这在无线系统中很典型，通常在信息论中建模为任意变化信道（AVC）。满足一组特定线性方程的 AVC 称为可对称化的，已知容易受到拒绝服务攻击。近期研究表明，判断给定 AVC 是否可对称化是一个不可由图灵机计算的问题。通过放宽可对称化性的表述，我们证明存在一个多项式时间算法可以判定给定 AVC 是否不可对称化，但该算法对干扰器输入状态数表现出临界依赖。然后我们证明，对干扰器施加能量约束后，同一算法可以高效识别大类的不可对称化 AVC。