Class DisjunctMatrixValidator

java.lang.Object

com.knezevic.edaf.v3.problems.discrete.disjunct.DisjunctMatrixValidator

public final class DisjunctMatrixValidator
extends Object

Validator for formal DM/RM/ADM properties from the paper.

For small instances, validation is exhaustive over all C(N,t) subsets. For larger instances, validation switches to random subset sampling with a Hoeffding-style confidence bound.

Method Summary

Modifier and Type	Method	Description
static DisjunctMatrixValidationResult	validateAlmostDisjunct(DisjunctMatrix matrix, int t, double epsilon, DisjunctMatrixValidationOptions options)	Validates (t,epsilon)-disjunct (ADM) property: for every t-subset S, delta(S)/(N-t) invalid input: '<'= epsilon.
static DisjunctMatrixValidationResult	validateAlmostDisjunct(BitString genotype, int m, int n, int t, double epsilon, DisjunctMatrixValidationOptions options)	Bitstring convenience overload for (t,epsilon)-disjunct validation.
static DisjunctMatrixValidationResult	validateDisjunct(DisjunctMatrix matrix, int t, DisjunctMatrixValidationOptions options)	Validates t-disjunct property: for every t-subset S and every remaining column x_j, supp(x_j) is not subset of union supports of S.
static DisjunctMatrixValidationResult	validateDisjunct(BitString genotype, int m, int n, int t, DisjunctMatrixValidationOptions options)	Bitstring convenience overload for t-disjunct validation.
static DisjunctMatrixValidationResult	validateResolvable(DisjunctMatrix matrix, int t, int f, DisjunctMatrixValidationOptions options)	Validates (t,f)-resolvable property: for every t-subset S, delta(S) invalid input: '<'= f.
static DisjunctMatrixValidationResult	validateResolvable(BitString genotype, int m, int n, int t, int f, DisjunctMatrixValidationOptions options)	Bitstring convenience overload for (t,f)-resolvable validation.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

validateDisjunct

public static DisjunctMatrixValidationResult validateDisjunct(DisjunctMatrix matrix,
 int t,
 DisjunctMatrixValidationOptions options)

Validates t-disjunct property: for every t-subset S and every remaining column x_j, supp(x_j) is not subset of union supports of S.

validateDisjunct

public static DisjunctMatrixValidationResult validateDisjunct(BitString genotype,
 int m,
 int n,
 int t,
 DisjunctMatrixValidationOptions options)

Bitstring convenience overload for t-disjunct validation.

validateResolvable

public static DisjunctMatrixValidationResult validateResolvable(DisjunctMatrix matrix,
 int t,
 int f,
 DisjunctMatrixValidationOptions options)

Validates (t,f)-resolvable property: for every t-subset S, delta(S) invalid input: '<'= f.

validateResolvable

public static DisjunctMatrixValidationResult validateResolvable(BitString genotype,
 int m,
 int n,
 int t,
 int f,
 DisjunctMatrixValidationOptions options)

Bitstring convenience overload for (t,f)-resolvable validation.

validateAlmostDisjunct

public static DisjunctMatrixValidationResult validateAlmostDisjunct(DisjunctMatrix matrix,
 int t,
 double epsilon,
 DisjunctMatrixValidationOptions options)

Validates (t,epsilon)-disjunct (ADM) property: for every t-subset S, delta(S)/(N-t) invalid input: '<'= epsilon.

validateAlmostDisjunct

public static DisjunctMatrixValidationResult validateAlmostDisjunct(BitString genotype,
 int m,
 int n,
 int t,
 double epsilon,
 DisjunctMatrixValidationOptions options)

Bitstring convenience overload for (t,epsilon)-disjunct validation.