随机数验证程序在多项式非负分拆中的应用

摘要

A definition of the （St（r ＋ 1 ）,St（r ＋ 2）,St（r ＋ 1）,St（r ＋ 2）-corona of the cycle C4 is given. The gracefulness of the （St（r ＋ 1）,St（r ＋ 2）,St（r ＋ 1）,St（r ＋ 2）-corona of the cycle Ca is discussed and the graceful labelings are given.%讨了用随机数验证程序进行多项式非负分拆的方法，得到了6种算法，并编写了应用程序agl2010_lsos，从而实现了一类半正定多项式的分拆证明，尤其是配平方和证明；针对运行效率和节约系统资源问题，给出了程序设计和使用的若干技巧和策略；提出了待解决的问题．