乌拉姆猜想

设图 有 个顶点 ，图 有 个顶点 ，其中 。那么，如果对于每个 ，子图 和 是 同构 的，则图 和 是 同构 的。