Struct BoundedInstance 

pub struct BoundedInstance { /* private fields */ }

Bounded-range instance using LocalKCut oracle

Maintains a family of candidate cuts and uses LocalKCut to find new cuts or certify none exist in the range.

Implementations

impl BoundedInstance

pub fn new(lambda_min: u64, lambda_max: u64) -> Self

Create a new bounded instance

pub fn certificate(&self) -> CutCertificate

Get the certificate

Trait Implementations

impl ProperCutInstance for BoundedInstance

fn init(_graph: &DynamicGraph, lambda_min: u64, lambda_max: u64) -> Self

Initialize instance on graph with given bounds

fn apply_inserts(&mut self, edges: &[(EdgeId, VertexId, VertexId)])

Apply batch of edge insertions

fn apply_deletes(&mut self, edges: &[(EdgeId, VertexId, VertexId)])

Apply batch of edge deletions

fn query(&mut self) -> InstanceResult

Query current minimum proper cut

fn bounds(&self) -> (u64, u64)

Get the lambda bounds for this instance