Oráculo verificable
La transformada de Fourier sobre un grafo. Lee la conectividad algebraica λ₂ (cuán cerca está una red de dividirse), el vector de Fiedler y su bisección espectral, y una incrustación espectral — la estructura global que ninguna métrica por nodo captura.
Graph Laplacian L = D − A (and normalized L_sym) · eigendecomposition · λ₂ Fiedler value · spectral cut & conductance
| ID | Precio | Salida |
|---|---|---|
| fourier.spectrum@v1 | $0.005 | λ₂ + Fiedler + spectral cut + embedding |
| fourier.verify@v1 | $0.001 | O(E) trustless eigenpair certificate |