整数上平方和公式的约束传播算法
数据结构与算法
2018-10-15 v1
摘要
整数上的平方和公式已借助其与一致符号交错矩阵的等价性被广泛研究。该表示结合组合论证，已被用于生成平方和公式并证明某些类型的公式不可能存在。本文中，我们引入一种生成一致符号交错矩阵或证明其不存在的算法，将此前手工计算可行的方法加以扩展。
引用
@article{arxiv.1810.05163,
title = {A Constraint Propagation Algorithm for Sums-of-Squares Formulas over the Integers},
author = {Melissa Lynn},
journal= {arXiv preprint arXiv:1810.05163},
year = {2018}
}