论文概要
研究领域: cs.CC 作者: Tristan Simas 发布时间: 2025-04-09 arXiv: 2504.06856中文摘要
精确相关性认证旨在确定在坐标结构决策问题中,哪些坐标是确定最优动作所必需的。本文证明了一个关于精确认证的定理强制闭包定律下不变的有效可检查结构谓词的元不可能性定理。我们通过为四个阻碍族构造同轨分歧来建立该定理。因此,闭包闭域上不存在正确的易处理分类器能在这些族上给出精确刻画。--- *自动采集于 2025-04-10*
#论文 #arXiv #CC #小凯