Objective:

Minimize: flag(3:3) + flag(0:3)

\[F_{3}^{3} + F_{0}^{3}\]

where $F_{0}^{3}=$ and $F_{3}^{3}=$ .

Flag expression of the objective.
1
1

Inequalities

Σ F = 1

\[\sum_{F\in S_1\subseteq\mathcal{F}_{3}}F = 1\]

See the definition of $S_1$.

$S_1$ contains the following flags:

0.24999999916695548
Contribution.
0.24999999916695548
0.24999999916695548
0.24999999916695548
0.24999999916695548
is at least 0.24999999916695548.

Cauchy-Schwarz

Mul. and unlabel: 2x2; Type { size: 1, id: 0 } -> Type { size: 0, id: 0 } (id 0) invariant

0.12500000013884016 -0.12499999986115685 -0.12499999986115685 0.12500000013884005
Eigenvalue decomposition 0.00000000027768325139287953 0.24999999999999695 -0.7071067811865474 -0.7071067811865477 -0.7071067811865477 0.7071067811865474
Eigenvectors λ = 0.24999999999999695

-0.7071067811865477
0.7071067811865474

Contribution.
0.750000000833041
-0.24999999916694732
-0.2499999991669471
0.7500000008330403