An Open-Source Toolbox for Computer-Aided Investigation on the Fundamental Limits of Information Systems, Version 0.1
An Open-Source Toolbox for Computer-Aided Investigation on the Fundamental Limits of Information Systems, Version 0.1
复制标题
用于对信息系统的基本限制进行计算机辅助调查的开源工具箱，版本 0.1
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Brent Hurst
中科院分区：
文献类型：
--
作者：
C. Tian;J. Plank;Brent Hurst
我们在这个https URL上提供了一个开源工具箱，用于对信息系统的基本限制进行计算机辅助调查。该工具箱依赖于Guideline或Cplex作为线性规划求解引擎。该程序可以读取问题描述文件，然后完成以下任务：1）计算给定信息度量线性组合的边界; 2）有效地计算两个信息量之间的多面体折衷外边界;以及3）产生证明（作为已知信息不等式的加权和）。本技术报告提供了该工具箱的概述、问题描述文件语法的详细描述以及一些示例用例。
We provide an open source toolbox at this https URL to conduct computer-aided investigation on the fundamental limits of information systems. The toolbox relies on either Gurobi or Cplex as the linear program solving engine. The program can read a problem description file, and then fulfill the following tasks: 1) compute a bound for a given linear combination of information measures; 2) efficiently compute a polytope tradeoff outer bound between two information quantities; and 3) produce a proof (as a weighted sum of known information inequalities). This technical report provides an overview of this toolbox, a detailed description of the syntax of the problem description file, and a few example use cases.