Compared to traditional bigraph matching algorithm, the improved one has higher efficiency.
与传统的偶图匹配方法相比，改进算法具有更高的匹配效率。
In the representing bigraph of automated geometric deduction, every rigid owns at least one knot.
在几何自动推理问题的表示偶图中对应每一个几何体都会有多于一个的结点与之对应。
In the representing bigraph of automated geometric deduction, every rigid owns at least one knot.
在几何自动推理问题的表示偶图中对应每一个几何体都会有多于一个的结点与之对应。
应用推荐