Robertson和Seymour的结果证明了一种算法,用于测试固定图是否为的次要。关于这个主题,我有两个半问题:
1)此后似乎对该算法进行了改进。目前最著名的算法是什么?
2a)人们猜想什么是最优界限?
Mohar的固定在表面上的算法和Kawarabayashi的识别顶点图的算法决定了线性时间内禁止未成年人表征的图的成员资格,这激发了最后一个问题:
2b)是否有任何理由怀疑我们可以在线性时间内做到这一点?
当然,如果有人已经提出了线性时间算法,那么最后两个问题很愚蠢。:)
我很想知道更多有关此的信息。
—
Suresh Venkat
因此,他们都没有决定在三年多以后写出来吗?
—
蒂莫西·太阳