Enum InstanceResult 

pub enum InstanceResult {
    ValueInRange {
        value: u64,
        witness: WitnessHandle,
    },
    AboveRange,
}

Result from a bounded-range instance query

Represents the outcome of querying a minimum proper cut instance. The instance either finds a cut within the bounded range [λ_min, λ_max] or determines that the minimum cut exceeds λ_max.

Variants

ValueInRange

Cut value is within [λ_min, λ_max], with witness

The witness certifies that a proper cut exists with the given value. The value is guaranteed to be in the range [λ_min, λ_max].

Fields

• value: The cut value |δ(U)| where U is the witness set
• witness: A witness handle certifying the cut

Fields

value: u64

The minimum proper cut value

witness: WitnessHandle

Witness certifying the cut

AboveRange

Cut value exceeds λ_max

The instance has detected that the minimum proper cut value is strictly greater than λ_max. No witness is provided because maintaining witnesses above the range is not required.

This typically triggers a range adjustment in the outer algorithm.

Implementations

impl InstanceResult

pub fn is_in_range(&self) -> bool

Check if result is in range

Examples

use ruvector_mincut::instance::traits::InstanceResult;
use ruvector_mincut::instance::witness::WitnessHandle;
use roaring::RoaringBitmap;

let witness = WitnessHandle::new(0, RoaringBitmap::from_iter([0, 1]), 5);
let result = InstanceResult::ValueInRange { value: 5, witness };
assert!(result.is_in_range());

let result = InstanceResult::AboveRange;
assert!(!result.is_in_range());

pub fn is_above_range(&self) -> bool

Check if result is above range

Examples

use ruvector_mincut::instance::traits::InstanceResult;

let result = InstanceResult::AboveRange;
assert!(result.is_above_range());

pub fn value(&self) -> Option<u64>

Get the cut value if in range

Examples

use ruvector_mincut::instance::traits::InstanceResult;
use ruvector_mincut::instance::witness::WitnessHandle;
use roaring::RoaringBitmap;

let witness = WitnessHandle::new(0, RoaringBitmap::from_iter([0]), 7);
let result = InstanceResult::ValueInRange { value: 7, witness };
assert_eq!(result.value(), Some(7));

let result = InstanceResult::AboveRange;
assert_eq!(result.value(), None);

pub fn witness(&self) -> Option<&WitnessHandle>

Get the witness if in range

Examples

use ruvector_mincut::instance::traits::InstanceResult;
use ruvector_mincut::instance::witness::WitnessHandle;
use roaring::RoaringBitmap;

let witness = WitnessHandle::new(0, RoaringBitmap::from_iter([0]), 7);
let result = InstanceResult::ValueInRange { value: 7, witness: witness.clone() };
assert!(result.witness().is_some());

let result = InstanceResult::AboveRange;
assert!(result.witness().is_none());

Trait Implementations

impl Clone for InstanceResult

fn clone(&self) -> InstanceResult

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for InstanceResult

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

Formats the value using the given formatter.