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

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

Related Packages

Package	Description
com.knezevic.edaf.v3.problems.discrete	Discrete benchmark problems.
com.knezevic.edaf.v3.problems.discrete.maxsat

Class	Description
AlmostDisjunctMatrixProblem	(t,epsilon)-disjunct matrix design objective using exact paper fitness: fit3(A) = fit1(A)/(C(N,t)*(N-t)).
DisjunctCombinatorics	Combinatorial helpers used for exhaustive and sampled validation/evaluation of disjunct matrix properties.
DisjunctEvaluationConfig	Evaluation policy for objective computation during optimization.
DisjunctEvaluationMode	Objective evaluation mode for DM/RM/ADM fitness computation.
DisjunctFitnessFunctions	Exact fitness functions defined in the paper: fit1(A) = sum_{S in S_t} delta(S) fit2(A) = |{S in S_t : delta(S) > f}| fit3(A) = fit1(A) / (C(N,t) * (N-t))
DisjunctMatrix	Immutable binary matrix view optimized for column-support operations used by disjunct/resolvable/almost-disjunct definitions.
DisjunctMatrixProblem	t-disjunct matrix design objective using exact paper fitness: fit1(A) = sum_{S in S_t} delta(S).
DisjunctMatrixValidationMode	Validation execution strategy.
DisjunctMatrixValidationOptions	Controls when validation uses exhaustive enumeration versus statistically justified sampling, and configures the associated confidence bound.
DisjunctMatrixValidationResult	Structured validation outcome for DM/RM/ADM definitions.
DisjunctMatrixValidator	Validator for formal DM/RM/ADM properties from the paper.
DisjunctProblemParams	Shared typed parameter parsing for DM/RM/ADM problem plugins.
ResolvableMatrixProblem	(t,f)-resolvable matrix design objective using exact paper fitness: fit2(A) = |{S in S_t : delta(S) > f}|.