Grafo semissimétrico

O grafo de Folkman, o menor grafo semissimétrico.

Famílias de grafos definidos por seus automorfismos
distância-transitivo	$\rightarrow$	distância-regular	$\leftarrow$	fortemente regular
$\downarrow$
simétrico (arco-transitivo)	$\leftarrow$	t-transitivo, t ≥ 2		.
$\downarrow$ (se conectado)
transitivo nos vértices e nas arestas	$\rightarrow$	aresta-transitivo e regular	$\rightarrow$	aresta-transitivo
$\downarrow$		$\downarrow$
vértice-transitivo	$\rightarrow$	regular
$\uparrow$
grafo de Cayley		antissimétrico		assimétrico

No campo da matemática da teoria dos grafos, um grafo semissimétrico é um grafo não-direcionado que é aresta-transitivo e regular, mas não é vértice transitivo.

Em outras palavras, um grafo é semissimétrico se cada vértice tem o mesmo número de arestas incidentes, e há uma simetria tomando qualquer das suas arestas para quaisquer outras de suas arestas, mas há algum par de vértices que não podem ser mapeados entre si por uma simetria. Um grafo semissimétrico deve ser bipartido e seu grupo de automorfismo deve agir transitivamente em cada um dos dois conjuntos de vértices da bipartição. No diagrama da direita, os vértices verdes não podem ser mapeados para os vermelhos por qualquer automorfismo.

Grafos semissimétricos foram primeiramente estudados por Jon Folkman em 1967, que descobriu o menor grafo semissimétrico, o grafo de Folkman em 20 vértices.

O menor grafo cúbico semissimétrico é o grafo de Gray em 54 vértices. Foi observado pela primeira vez que era semissimétrico por Bouwer em 1968. Foi provado ser o menor grafo cúbico semissimétrico por Dragan Marušič e Aleksander Malnič .

Todos os grafos cúbicos semissimétricos de até 768 vértices são conhecidos. Segundo Malnič, Marušič e Potočnik, os quatro menores grafos cúbicos semissimétricos possíveis, após o grafo de Gray são o grafo de Iofinova-Ivanov em 110 vértices, o grafo de Ljubljana em 112 vértices, um grafo de 120 vértices com cintura 8 e a gaiola-12 de Tutte.