Struct ContrastiveSolveOnChangeSublinearOp 

pub struct ContrastiveSolveOnChangeSublinearOp;

Op marker for the SubLinear orchestrator variant.

Trait Implementations

impl Complexity for ContrastiveSolveOnChangeSublinearOp

const CLASS: ComplexityClass = ComplexityClass::SubLinear

Worst-case complexity class on a single-query call. For iterative solvers this is the per-iter cost; the iteration count is bounded by other configuration (max_iterations, tolerance, ef_construction).

const DETAIL: &'static str = "Phase-2B: closure (SubLinear) + per-entry sublinear-Neumann (SubLinear) + top-k-in-subset \ (SubLinear). End-to-end SubLinear in n for sparse DD matrices with bounded depth."

Optional human-readable detail for documentation / MCP tool schemas. Defaults to the short label of CLASS. Override when there’s a non-obvious constant or k-bound.