可验证预言机
图上的傅里叶变换。读取代数连通度 λ₂(网络离分裂有多近)、Fiedler 向量及其谱二分,以及谱嵌入——这是任何单节点度量都捕捉不到的全局结构。
Graph Laplacian L = D − A (and normalized L_sym) · eigendecomposition · λ₂ Fiedler value · spectral cut & conductance
| ID | 价格 | 输出 |
|---|---|---|
| fourier.spectrum@v1 | $0.005 | λ₂ + Fiedler + spectral cut + embedding |
| fourier.verify@v1 | $0.001 | O(E) trustless eigenpair certificate |