arXiv ID:
2607.02069
arXiv 提交日期: 2026-07-02
用于最优决策树全局分析的代数模型计数 / Algebraic Model Counting for Global Analysis of Optimal Decision Trees
1️⃣ 一句话总结
本文提出了一种名为代数决策树计数(ADTC)的新方法,通过将多种分析任务(如优化、计数和采样)统一为半环上的求和运算,并采用动态规划算法,从而能够高效地对最优及近似最优决策树的整个假设空间进行全局分析,帮助用户在准确率、规模和公平性等指标之间做出基于证据的模型选择。