Courcelle定理指出，可以在有界树宽图上的线性时间内确定在二元二阶逻辑中定义的每个图属性。这是最著名的算法元定理之一。
在库尔切勒定理的推动下，我提出了以下猜想：
猜想：令为任何MSO可定义的属性。如果ψ在平面图的多项式时间内是可解的，则ψ在所有类别的次要自由图上都可以在多项式中可解。ψψψ
我想知道上述猜想是否显然是错误的，即，是否有MSO可定义的属性在平面图上可以多项式时间求解，但在某些次要自由图上却是NP-hard？
这是我先前提出问题的动机：在g属图上是否存在多项式可解但在g>属图上为NP-hard的问题。