用于超图的指令集与语言：原生编码及同构判定方法

论文提出 IsalHG，用紧凑指令字母表和虚拟机将任意有限、连通且超边阶数有界的超图编码为字符串，并通过回溯生成候选规范字符串，以字符串相等判断同构。作者在随机超图与组合设计上验证往返性质，并与 nauty、Traces、bliss 的 Levi 图基线比较；600 次判定全部一致，但运行时间慢约311至117672倍，规范完备性仍是猜想。