通常情况下,先构造一个图,然后询问有关邻接矩阵(或类似Laplacian的一些近亲)的特征值分解(也称为图的光谱)的问题。
但是反向问题呢?给定特征值,可以(有效地)找到具有该光谱的图吗?
我怀疑总体上这很难做到(可能相当于GI),但是如果您稍微放松一些条件怎么办?如果您使条件不存在多个特征值怎么办?允许具有某个距离度量的“接近”光谱的图怎么样?
任何参考或想法都将受到欢迎。
编辑:
正如Suresh指出的那样,如果允许带有自循环的无向加权图,那么这个问题就变得微不足道了。我希望能获得关于无向,无权的简单图的答案,但我也对简单的无权有向图感到满意。
2
我认为您可能需要将问题修改为“没有自循环的未加权无向图”或类似的东西?我可以想象用所需的特征值构造对角矩阵,并将其声明为具有加权自环的断开图吗?
—
Suresh Venkat 2010年
即使是简单的问题(我不知道答案)是如何构造简单连通图,其前几名的特征值给出
—
雅罗斯拉夫Bulatov
说明问题(具有简单无向图的版本)的另一种方法是:给定n个实数(以某种格式),确定是否存在n个对角线为零的对称0/1矩阵,以使其n个特征值为给定数字。
—
伊藤刚(Tsuyoshi Ito)2010年
@Yaroslav:我不确定,但是这个问题比给出所有n个特征值的情况听起来更难。
—
伊藤刚(Tsuyoshi Ito)2010年
微小的观察:如果我们对特征值没有限制,那么这个问题就很难解决(甚至不包括算法部分),因为这将暗示特征值众所周知的57正则Moore图的(不存在)存在。
—
张显之张张之之2010年