本工具是一款专业的 (0,1)-矩阵类基数函数分析助手, 专注于组合数学中的矩阵理论研究。支持 基数函数 f(R,S) 非零集计算 Gale-Ryser条件 等复杂问题的分析。 通过智能算法解析行和向量 R 与列和向量 S,精确计算矩阵类 ■(R,S) 的基数及其非零集, 显著提升您的 数学研究效率。
(0,1)-矩阵类 ■(R,S) 是指所有行和向量为 R、列和向量为 S 的矩阵集合。基数函数 f(R,S) 即为该集合中矩阵的个数。
利用 Gale-Ryser 定理等不等式条件,判断 f(R,S) 是否大于 0,即是否存在满足条件的 (0,1)-矩阵。
支持基数函数的精确计算、上下界估计以及非零集的充要条件分析。
请使用标准的数学向量格式描述 R 和 S,例如 (3,2,1) 或 [3,2,1]。