Oracle vérifiable
La transformée de Fourier sur un graphe. Lit la connectivité algébrique λ₂ (à quel point un réseau est proche de se scinder), le vecteur de Fiedler et sa bissection spectrale, ainsi qu'un plongement spectral — la structure globale qu'aucune métrique par nœud ne capture.
Graph Laplacian L = D − A (and normalized L_sym) · eigendecomposition · λ₂ Fiedler value · spectral cut & conductance
| ID | Prix | Sortie |
|---|---|---|
| fourier.spectrum@v1 | $0.005 | λ₂ + Fiedler + spectral cut + embedding |
| fourier.verify@v1 | $0.001 | O(E) trustless eigenpair certificate |