a(n)是n个节点上具有恰好为2的孪晶宽度的图的数量,因此删除任何单个顶点都会减少孪晶宽度。也就是说,在诱导子图阶下最小的双宽2的图。
所有这些图都是连通的,有连通的补码,没有孪生。如果一个图被计数,它的补码也会被计数。
唯一已知的自补图是5圈图和一个特定的n=8图,G6代码为“GCpfK{”。这是仅有的两个图,至少在n=10之前。因此,a(5)和a(8)是奇数,其余是偶数。
众所周知,对于任意n>=5,a(n)>=1,因为n循环始终是n>=5的有效示例。
双宽1的对应序列非常简单:1,0,0,0,。。。对于偏移量4,因为4顶点路径(长度为3的路径)是双宽1的唯一最小图。从n=8开始,有双宽3的图形;这个序列只计算双宽度2的序列。