Struct NAESatisfiability 

pub struct NAESatisfiability { /* private fields */ }

Not-All-Equal Boolean Satisfiability (NAE-SAT) in CNF form.

Given a Boolean formula in conjunctive normal form (CNF), determine whether there exists an assignment such that every clause contains at least one true literal and at least one false literal.

Implementations

impl NAESatisfiability

pub fn new(num_vars: usize, clauses: Vec<CNFClause>) -> Self

Create a new NAE-SAT problem.

Panics

Panics if any clause has fewer than two literals.

pub fn try_new(num_vars: usize, clauses: Vec<CNFClause>) -> Result<Self, String>

Create a new NAE-SAT problem, returning an error instead of panicking when a clause has fewer than two literals.

pub fn num_vars(&self) -> usize

Get the number of variables.

pub fn num_clauses(&self) -> usize

Get the number of clauses.

pub fn num_literals(&self) -> usize

Get the total number of literal occurrences across all clauses.

pub fn num_literal_pairs(&self) -> usize

Get the total number of literal pairs across all clauses.

For each clause with k literals, this contributes C(k,2) = k*(k-1)/2 pairs.

pub fn clauses(&self) -> &[CNFClause]

Get the clauses.

pub fn get_clause(&self, index: usize) -> Option<&CNFClause>

Get a specific clause.

pub fn count_nae_satisfied(&self, assignment: &[bool]) -> usize

Count how many clauses satisfy the NAE condition under an assignment.

pub fn is_nae_satisfying(&self, assignment: &[bool]) -> bool

Check whether all clauses satisfy the NAE condition under an assignment.

pub fn is_valid_solution(&self, config: &[usize]) -> bool

Check if a solution (config) is valid.

Trait Implementations

impl Clone for NAESatisfiability

fn clone(&self) -> NAESatisfiability

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NAESatisfiability

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for NAESatisfiability

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Problem for NAESatisfiability

const NAME: &'static str = "NAESatisfiability"

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

type Value = Or

The evaluation value type.

fn dims(&self) -> Vec<usize>

Configuration space dimensions. Each entry is the cardinality of that variable.

fn evaluate(&self, config: &[usize]) -> Or

Evaluate the problem on a configuration.

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

Returns variant attributes derived from type parameters.

fn num_variables(&self) -> usize

Number of variables (derived from dims).

fn problem_type() -> ProblemType

Look up this problem’s catalog entry.

impl ReduceTo<ILP> for NAESatisfiability

type Result = ReductionNAESATToILP

The reduction result type.

fn reduce_to(&self) -> Self::Result

Reduce this problem to the target problem type.

impl ReduceTo<MaxCut<SimpleGraph, i32>> for NAESatisfiability

type Result = ReductionNAESATToMaxCut

The reduction result type.

fn reduce_to(&self) -> Self::Result

Reduce this problem to the target problem type.

impl ReduceTo<NAESatisfiability> for Satisfiability

type Result = ReductionSATToNAESAT

The reduction result type.

fn reduce_to(&self) -> Self::Result

Reduce this problem to the target problem type.

impl ReduceTo<PartitionIntoPerfectMatchings<SimpleGraph>> for NAESatisfiability

type Result = ReductionNAESATToPartitionIntoPerfectMatchings

The reduction result type.

fn reduce_to(&self) -> Self::Result

Reduce this problem to the target problem type.

impl ReduceTo<SetSplitting> for NAESatisfiability

type Result = ReductionNAESATToSetSplitting

The reduction result type.

fn reduce_to(&self) -> Self::Result

Reduce this problem to the target problem type.

impl Serialize for NAESatisfiability

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl DeclaredVariant for NAESatisfiability