The largest known degree-4, diameter-4 graph

104 vertices and 208 edges, with every vertex at degree 4 and any two at most 4 steps apart, built from three identical blocks and a set of connectors between them.

The building block is a subdivided K4,4: a complete bipartite graph between four “L” and four “R” vertices, each of its 16 edges split by a vertex in the middle. The vertex splitting LiRj is port Pij. That is 4 + 4 + 16 = 24 vertices and 32 edges per block.

L1L2L3L4R1R2R3R4

Three copies — A, B and C — account for 72 vertices and 96 edges. An Li or Rj is already at degree 4; a port is at 2, short two edges.

The remaining 32 vertices are connectors, in 16 matched pairs: X01a/X01b through X16a/X16b. Each runs one edge to its partner and one into each block, so it too sits at degree 4, and each port takes two of those, which brings the ports up as well. That is 16 matching edges and 96 connector–port edges, for 104 vertices and 208 in total.

X08aA.P41B.P32C.P22X08b

The one thing none of that determines is which port in each block a given connector reaches. It is the construction's free parameter, and it is what the diameter turns on. The assignment used here is below.

Complete graph listed here.
pairab
ABCABC
X01P11P11P11P22P22P24
X02P34P12P32P43P21P43
X03P23P14P23P14P23P12
X04P42P13P44P31P24P31
X05P12P33P33P21P44P42
X06P33P34P14P44P43P21
X07P24P31P41P13P42P34
X08P41P32P22P32P41P13
X09P13P13P22P24P24P13
X10P32P14P41P41P23P34
X11P21P12P14P12P21P21
X12P44P11P33P33P22P42
X13P14P41P44P23P32P31
X14P31P42P23P42P31P12
X15P22P43P32P11P34P43
X16P43P44P11P34P33P24

The whole thing

Laid out as a board: the three blocks along the top, each with its L branches on its top edge and its R branches down its left; the channel underneath carrying all 96 connector–port cables; the 32 connectors in a single row; and the matching below them as sixteen staples, each joining the two connectors of one pair.

AL1L2L3L4R1R2R3R4BL1L2L3L4R1R2R3R4CL1L2L3L4R1R2R3R4X16X15X14X13X12X11X10X09X08X07X06X05X04X03X02X01
← back