证明是检验方案的一种类型，证明有构造性证明与非构造性证明之分。
We noted that only one type of verification scheme that was usually called "proof" was in the current curriculum for secondary school mathematics.
本文主要就是利用这种非构造性概率方法来解决混合超图染色理论中的一些问题。
This paper will use such non-constructive probabilistic method to solve the problems in coloring theory of mixed-hypergraphs.
本文主要就是利用这种非构造性概率方法来解决混合超图染色理论中的一些问题。
This paper will use such non-constructive probabilistic method to solve the problems in coloring theory of mixed-hypergraphs.
应用推荐