Struct ClosestVectorProblem 

pub struct ClosestVectorProblem { /* private fields */ }

Euclidean Closest Vector Problem over an integer lattice basis.

Implementations

impl ClosestVectorProblem

pub fn new( basis: Vec<Vec<i64>>, target: Vec<i64>, ) -> Result<Self, ConstructionError>

Construct a CVP instance with a full-column-rank integer basis.

pub fn num_basis_vectors(&self) -> usize

Number of basis vectors.

pub fn ambient_dimension(&self) -> usize

Dimension of the ambient space.

pub fn max_numeric_magnitude_bits(&self) -> u64

Maximum bit length of an absolute basis or target entry, at least one.

pub fn coefficient_box_bits(&self) -> u64

Cached upper bound on total bits in a constructible closest-vector box.

Uses the selected coordinate determinant, Hadamard bounds on inverse row norms, and the zero or full-rank rounded candidate’s distance bound. Computing it adds norm sums and integer arithmetic to the existing rank check, without computing coefficient centers or solving CVP.

pub fn basis(&self) -> &[Vec<i64>]

Integer basis columns.

pub fn target(&self) -> &[i64]

Target coordinates.

Trait Implementations

impl Clone for ClosestVectorProblem

fn clone(&self) -> ClosestVectorProblem

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ClosestVectorProblem

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

Formats the value using the given formatter.

impl DecisionProblemMeta for ClosestVectorProblem

const DECISION_NAME: &'static str = "DecisionClosestVectorProblem"

Problem name used by the corresponding Decision<Self> variant.

impl DeclaredVariant for ClosestVectorProblem

impl<'de> Deserialize<'de> for ClosestVectorProblem

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Problem for ClosestVectorProblem

const NAME: &'static str = "ClosestVectorProblem"

Base name of this problem type (e.g., “MaximumIndependentSet”).

type Solution = Vec<i64>

Mathematical witness type for this problem.

type Value = Min<i64>

The evaluation value type.

fn parameter_names() -> &'static [&'static str]

Canonical parameter names for this problem model.

fn parameters(&self) -> ProblemParameters

Measure the complete canonical parameters of this concrete instance.

fn evaluate( &self, solution: &Self::Solution, ) -> Result<Min<i64>, EvaluationError>

Evaluate the problem on a solution.

fn variant() -> Vec<(&'static str, &'static str)>

Returns variant attributes derived from type parameters.

fn problem_type() -> ProblemType

Look up this problem’s catalog entry.

impl ReduceTo<QUBO> for ClosestVectorProblem

type Result = ReductionCVPToQUBO

The reduction result type.

fn reduce_to(&self) -> Result<Self::Result, ReductionError>

Reduce this problem to the target problem type.

fn target_construction(error: ConstructionError) -> ReductionError

where Self: Sized,

Attach this reduction edge to a target-construction failure.

fn exact_i64( value: usize, operation: impl Into<String>, ) -> Result<i64, ReductionError>

where Self: Sized,

Convert a structural count used by the target’s exact integer algebra.

impl Serialize for ClosestVectorProblem

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.