Struct AdaptiveGeoSpar 

pub struct AdaptiveGeoSpar { /* private fields */ }

Dynamic spectral graph sparsifier implementing the ADKKP16 approach.

Maintains:

• g_full: the full weighted graph (receives all updates)
• g_spec: the compressed sparsifier (~O(n log n / eps^2) edges)
• backbone: spanning forest guaranteeing connectivity
• scorer: random-walk importance estimator
• auditor: periodic spectral quality check

Thread safety

The sparsifier wraps its state in RwLock internally. The public API takes &mut self to make ownership clear; concurrent readers can access the sparsifier graph via sparsifier which clones the current snapshot.

Implementations

impl AdaptiveGeoSpar

pub fn new(config: SparsifierConfig) -> Self

Create a new empty sparsifier with the given configuration.

pub fn build(graph: &SparseGraph, config: SparsifierConfig) -> Result<Self>

Build a sparsifier from an existing static graph.

This is the primary entry point for initial construction. It scores all edges, samples according to importance, and sets up the backbone.

pub fn handle_insert(&mut self, u: usize, v: usize, weight: f64) -> Result<()>

Handle the insertion of an edge into the full graph.

The edge is added to g_full, the backbone is updated, and the sparsifier is incrementally updated. Periodic audits may trigger a local or full rebuild.

pub fn handle_delete(&mut self, u: usize, v: usize) -> Result<()>

Handle the deletion of an edge from the full graph.

pub fn update_embedding( &mut self, node: usize, old_neighbors: &[(usize, f64)], new_neighbors: &[(usize, f64)], ) -> Result<()>

Handle a point-move operation: a node’s neighbourhood changes.

old_neighbors are edges to remove, new_neighbors are edges to add.

pub fn run_audit(&self) -> AuditResult

Run a spectral audit comparing g_spec against g_full.

pub fn do_local_rebuild(&mut self, nodes: &[usize]) -> Result<()>

Rebuild the sparsifier around specific vertices.

Re-scores and re-samples edges incident to the given nodes.

pub fn full_graph(&self) -> &SparseGraph

Get a reference to the full graph.

pub fn sparsifier_graph(&self) -> &SparseGraph

Get a reference to the current sparsifier graph.

pub fn snapshot(&self) -> SparseGraph

Get a clone of the thread-safe sparsifier snapshot.

pub fn config(&self) -> &SparsifierConfig

Get the current configuration.

Trait Implementations

impl Debug for AdaptiveGeoSpar

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Sparsifier for AdaptiveGeoSpar

fn insert_edge(&mut self, u: usize, v: usize, weight: f64) -> Result<()>

Insert an edge into the full graph and update the sparsifier.

fn delete_edge(&mut self, u: usize, v: usize) -> Result<()>

Delete an edge from the full graph and update the sparsifier.

fn audit(&self) -> AuditResult

Run a spectral audit comparing the sparsifier against the full graph.

fn rebuild_local(&mut self, nodes: &[usize]) -> Result<()>

Rebuild the sparsifier around specific vertices.

fn rebuild_full(&mut self) -> Result<()>

Fully reconstruct the sparsifier from scratch.

fn sparsifier(&self) -> &SparseGraph

Return a reference to the current sparsifier graph.

fn compression_ratio(&self) -> f64

Return the current compression ratio.

fn stats(&self) -> &SparsifierStats

Return the current statistics.