这是命令 nauty-labelg，可以使用我们的多个免费在线工作站之一（例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器）在 OnWorks 免费托管提供商中运行
程序：
您的姓名
nauty-labelg - 规范标签图
概要
标签 [-qsg[-fxxx[-S|-t[-一世＃ -一世＃：＃ -K#[入档 [输出文件]]
商品描述
规范地标记图形文件。
-s 强制输出为 sparse6 格式
-g 强制输出为 graph6 格式 如果两者都不是 -s or -g 给定，输出格式为
由标题决定，如果没有，则由第一个输入的格式决定
图形。 另请参阅 -S.
-S 内部使用稀疏表示。
请注意，这会更改规范标签。 不支持多条边。
每个顶点一个循环就可以了。
-t 使用痕迹。
请注意，这会更改规范标签。 多条边和循环不是
支持，也不是不变量。
当且仅当输入文件有标题时，输出文件才会有标题。
-fxxx 指定点集的一个分区。 xxx 是任何
除 nul 外的 ASCII 字符串。
这个字符串是
被认为在右边用字符 'z' 扩展到无穷大。 一个字
按照给定的顺序与每个点相关联。 使用的标签遵守这些
规则：
(1) 点的新顺序是这样的
字符按 ASCII 升序排列
(2) 如果两个图使用相同的字符串 xxx 标记，
如果存在关联字符保留，则输出图是相同的
它们之间的同构。 右侧不能连接任何选项 -f.
-i# 选择一个不变量 (1 = twopaths, 2 = adjtriang(K), 3 = 三元组，
4 = 四元组, 5 = celltrips, 6 = cellquads, 7 = cellquins, 8 = distances(K), 9 =
indsets(K), 10 = cliques(K), 11 = cellcliq(K),
12 = cellind(K), 13 = 邻接, 14 = cellfano, 15 = cellfano2, 16 = refinvar(K))
-I#:# 选择 mininvarlevel 和 maxinvarlevel (默认 1:1)
-K# 选择 invararg (默认 3)
-q 抑制辅助信息
使用 onworks.net 服务在线使用 nauty-labelg
