Algorithm 4

Input: $H\in {\mathbb{N}}^m\mathrm{,}V\in {\mathbb{N}}^n$

W.l.o.g assume: $\forall i:h_i\in \left[1,n\right]$ , $\forall j:v_j\in \left[1,m\right]$ , ${\displaystyle {\sum }_i{h}_i}={\displaystyle {\sum }_j{v}_j}$ .

For $\min \left(W\right)\mathrm{,}\min \left(E\right)=\mathrm{1,}\cdots \mathrm{,}m$ and

$\min \left(N\right)\mathrm{,}\min \left(S\right)=\mathrm{1,}\cdots \mathrm{,}n$ do begin

If ${\Delta }_{2L\mathrm{,}Geo1}^{\mathrm{1,1}}\left(H\mathrm{,}V\right)$ or ${\Delta }_{2L\mathrm{,}Geo2}^{\mathrm{1,1}}\left(H\mathrm{,}V\right)$ or...or ${\Delta }_{2L\mathrm{,}LGeo\mathrm{7,2}LGEO7}^{\mathrm{1,1}}\left(H\mathrm{,}V\right)$ is satisfiable,

then output $P=\overline{A\cup B\cup C\cup D}$ and halt.

end

output “failure”.