research
这是 通有性质 的第 3 篇。局部极值按支撑图 \(G_S\) 上的邻居来算:取值大于等于所有邻居是局部最大,小于等于是局部最小。
\(G_S\) 上的局部极值,对每一个正边权,也是边界图上的局部极值。若 \(G_S\) 是完全图,通有的特征函数恰好有两个局部极值,全局最大和全局最小。
三条可以数清楚:
- \(G_S\) 是路,\(|B|\ge 2\)。每一个正边权下谱都是单的。通有地,属于 \(\lambda_j\)(\(j\ge 1\))的特征函数在 \(G_S\) 上恰好有 \(j+1\) 个局部极值,两端都算。\(j=1\) 时严格单调。
- \(G_S\) 是圈,\(|B|\ge 3\)。属于 \(\lambda_j\) 的特征函数恰好有 \(2\lceil j/2\rceil\) 个局部极值。\(\lambda_1\) 恰好两个。
- \(G_S\) 是树,\(|B|\ge 2\)。通有地,\(\lambda_1\) 恰好有一条变号边;拿掉它之后,每一侧严格单调地离开这条边。局部极值就是叶子。
等权可以落在例外集里。三臂等长的 Y 形树上,\(\lambda_1\) 的重数是 2,特征函数可以在两片叶子上取同一个值。
下一篇数节域:节域。