nauty-shortg - Online na nuvem

PROGRAMA:

NOME

nauty-shortg - remove isomorfos de um arquivo de gráficos

SINOPSE

curto [-qvkdu] [-eu# -EU#:# -K #] [-fxxx] [-S | -t] [-Tdir] [no arquivo [arquivo de saída]]

DESCRIÇÃO

Remova isomorfos de um arquivo de gráficos.

Se outfile for omitido, é considerado o mesmo que infile Se ambos infile e
outfile são omitidos, a entrada será tomada

de stdin e escrito para stdout

O arquivo de saída tem um cabeçalho se e somente se o arquivo de entrada tiver.

-s forçar a saída para o formato sparse6

-g forçar a saída para o formato graph6 Se nenhum -s or -g são fornecidos, o formato de saída é
determinado pelo cabeçalho ou, se não houver, pelo formato da primeira entrada
gráfico.

-S Use representação esparsa internamente. Observe que isso muda o canônico
marcação. Bordas múltiplas não são suportadas. Um loop por vértice está ok.

-t Use Traces. Observe que isso altera a rotulagem canônica. Múltiplas arestas e
loops não são suportados, nem invariantes.

-k os gráficos de saída têm o mesmo rótulo e formato que as entradas. Sem -k, resultado
os gráficos têm rotulagem canônica. -s e -g são ineficazes se -k é dada.

-v escreva para stderr uma lista de quais gráficos de entrada correspondem a quais gráficos de saída. o
gráficos de entrada e saída são numerados começando em 1. Uma linha como

23: 30 154 78

significa que as entradas 30, 154 e 78 eram isomórficas e produziram a saída 23.

-d inclua na saída apenas aquelas entradas que são isomórficas a outra entrada. Se
-k for especificado, todas essas entradas serão incluídas em seus rótulos originais. Sem
-k, apenas um membro de cada classe de isomorfismo não trivial é escrito, com
marcação.

-fxxx Especifique uma partição do conjunto de pontos. xxx é qualquer

seqüência de caracteres ASCII, exceto nul.
Esta corda é

considerado estendido ao infinito à direita com o caractere 'z'. Um personagem
está associado a cada ponto, na ordem dada. A rotulagem utilizada obedece a estes
regras:

(1) a nova ordem dos pontos é tal que o associado

os caracteres estão em ordem ascendente ASCII

(2) se dois gráficos são rotulados usando a mesma string xxx,

os gráficos de saída são idênticos se houver um mecanismo de preservação de caracteres associados
isomorfismo entre eles.

-i# selecione um invariante (1 = dois caminhos, 2 = adjtriang (K), 3 = triplos,

4 = quádruplos, 5 = viagens celulares, 6 = célulasquads, 7 = célulasquins, 8 = distâncias (K), 9 =
indsets (K), 10 = cliques (K), 11 = cellcliq (K),

12 = cellind (K), 13 = adjacências, 14 = cellfano, 15 = cellfano2, 16 = refinvar (K))

-I#: # selecione mininvarlevel e maxinvarlevel (padrão 1: 1)

-K# select invararg (padrão 3)

-u Não escreva nenhuma saída, apenas relate quantos gráficos teria saída. Nesse caso,
outfile não é permitido.

-Tdir Especifique que o diretório "dir" será usado para o disco temporário

espaço pelo subprocesso de classificação.
O padrão geralmente é / Tmp.

-q Suprimir saída auxiliar

Use nauty-shortg online usando serviços onworks.net