Distinct Array Optimization Calculus Definition