关于具有单重特征值的非同构共谱图的存在性问询

你提到Leighton和Miller提出了一个多项式时间算法，用于判定所有特征值均为单重的共谱图是否同构。不过你现在的核心疑问是：是否存在已知的、所有特征值都是单重的、但彼此非同构的共谱图？

我目前能想到的唯一一类非同构却谱相同的图是强正则图，但这类图恰好只有3个特征值，显然没法用来解答你的这个问题。

备注：内容来源于stack exchange，提问作者mirewine