arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2004.08783cs.ITcs.CCmath.IT
收藏

信息论中的决策问题

Decision Problems in Information Theory

Mahmoud Abo Khamis, Phokion G. Kolaitis, Hung Q. Ngo, Dan Suciu

摘要:

熵的约束被认为是信息论的定律。尽管对它们的发现的追求一直是信息论研究的中心主题,但熵的约束的算法方面仍然在很大程度上未被探索。在这里,我们开始调查的决策问题的熵的约束,将几个不同的问题到各级的算术层次。我们在几乎熵函数的有效性检验方面得到了如下结果:第一,由单调布尔公式产生的布尔信息约束的有效性是共递归可判定的;第二,“紧”条件信息约束的有效性是在$Π^0_3$中.此外,在一定的约束条件下,“有松弛”的条件信息约束的有效性在$Σ^0_2$中,且包含max的信息不等式约束的有效性与不包含max的信息不等式约束的有效性是图灵等价的.我们还证明了条件独立语句的经典蕴涵问题是共递归可解的。

英文摘要:

Constraints on entropies are considered to be the laws of information theory. Even though the pursuit of their discovery has been a central theme of research in information theory, the algorithmic aspects of constraints on entropies remain largely unexplored. Here, we initiate an investigation of decision problems about constraints on entropies by placing several different such problems into levels of the arithmetical hierarchy. We establish the following results on checking the validity over all almost-entropic functions: first, validity of a Boolean information constraint arising from a monotone Boolean formula is co-recursively enumerable; second, validity of "tight" conditional information constraints is in $Π^0_3$. Furthermore, under some restrictions, validity of conditional information constraints "with slack" is in $Σ^0_2$, and validity of information inequality constraints involving max is Turing equivalent to validity of information inequality constraints (with no max involved). We also prove that the classical implication problem for conditional independence statements is co-recursively enumerable.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑