循环图度数计算中的Sage-python错误

Question

我在Sage工作。Python似乎对循环可变/不可变图的度定义不一致。这把我的计算搞砸了。这是怎么回事？

q=graphs.CompleteGraph(2)
q.allow_loops(True)
q.allow_multiple_edges(True)
q.add_edge([1,1])
a=q.copy(immutable=True)
b=q.copy(immutable=False)
sage: a==b
True
sage: a.degree()
[1, 2]
sage: b.degree()
[1, 3]

Answer 1

这是一个讨厌的bug。原因如下。

sage: a._backend
<class 'sage.graphs.base.static_sparse_backend.StaticSparseBackend'>
sage: b._backend
<class 'sage.graphs.base.sparse_graph.SparseGraphBackend'>

在通常的后端，有这样的代码用于无向图。

    if self._loops and self.has_edge(v, v, None):
        if self._multiple_edges:
            d += len(self.get_edge_label(v, v))
        else:
            d += 1

在静态中，我们只得到

        else:
            return cg.out_degree(v)