根据部分K值逻辑完备性理论,得到了当m=2,σ=e,时,若正则可离关系G<SUB>2</SUB>之关系图的基础图连通,则T(G<SUB>2</SUB>)不是P*K的最小覆盖成员的结论。
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~