source: proiecte/pmake3d/make3d_original/Make3dSingleImageStanford_version0.1/third_party/opt/yalmip/dev/tests-mbg/sdpvar/test_ndsdpvar_sudoku.m @ 37

function test_ndsdpvar

S = [0,0,1,9,0,0,0,0,8;6,0,0,0,8,5,0,3,0;0,0,7,0,6,0,1,0,0;...
     0,3,4,0,9,0,0,0,0;0,0,0,5,0,4,0,0,0;0,0,0,0,1,0,4,2,0;...
     0,0,5,0,7,0,9,0,0;0,1,0,8,4,0,0,0,7;7,0,0,0,0,9,2,0,0];

p = 3;
A = ndsdpvar(p^2,p^2,p^2,'full');
F = set(binary(A));
F = F + set(sum(A,1) == 1);
F = F + set(sum(A,2) == 1);
F = F + set(sum(A,3) == 1);

for m = 1:p
    for n = 1:p
        for k = 1:9
%            s = 0;                     
            s = sum(sum(A((m-1)*p+(1:p),(n-1)*p+(1:p),k)));  
 %           for i = 1:p
  %              for j = 1:p
  %                  s = s + A((m-1)*p+i,(n-1)*p+j,k);  
   %             end
    %        end
            F = F + set(s == 1);
        end
    end
end

for i = 1:p^2 
    for j = 1:p^2 
        if S(i,j)
            F = F + set(A(i,j,S(i,j)) == 1);
        end
    end
end

sol = solvesdp(F);

Z = 0;
for i = 1:p^2
      Z = Z  + i*double(A(:,:,i));
end
mbg_asserttrue(sol.problem == 0);
mbg_asserttolequal(norm(sort(Z(:,1)) - (1:p^2)'),0, 1e-4);