A typical kind of property that you might want to express, say, in a class invariant for a graph class, is that the graph has no cycles.
英
美
比如在一个图类中,你可能想要表述的典型属性是该图没有回路。
目录
查词历史
英 汉