用户手册CAI version-1.0：一个用于信息系统基本极限计算机辅助研究的开源工具箱
信息论
2020-10-02 v2 math.IT
摘要
我们在 https://github.com/ct2641/CAI/releases/tag/1.0 提供一个开源工具箱，用于对信息系统的基本极限进行计算机辅助研究。该工具箱依赖Gurobi或Cplex作为线性规划求解引擎。程序可以读取问题描述文件，然后完成以下任务：1）计算给定信息度量线性组合的界，并在最优解处提供信息度量的值；2）高效计算两个信息量之间的多面体权衡外边界；3）生成证明（作为已知信息不等式的加权和）；以及4）提供最优值不变的信息量范围（敏感性分析）。本技术报告概述了该工具箱、问题描述文件语法的详细描述，以及若干示例用例。
引用
@article{arxiv.1910.08567,
title = {User Manual CAI version-1.0: An Open-Source Toolbox for Computer-Aided Investigation on the Fundamental Limits of Information Systems},
author = {Chao Tian and James S. Plank and Brent Hurst and Ruida Zhou},
journal= {arXiv preprint arXiv:1910.08567},
year = {2020}
}
备注
Technical report