1 | function YESNO = ismember_internal(x,p) |
---|
2 | %ISMEMBER_INTERNAL Helper for ISMEMBER |
---|
3 | |
---|
4 | % Author Johan Löfberg |
---|
5 | % $Id: ismember_internal.m,v 1.1 2006/08/10 18:00:20 joloef Exp $ |
---|
6 | |
---|
7 | if isa(x,'sdpvar') & isa(p,'polytope') |
---|
8 | |
---|
9 | if length(p) == 1 |
---|
10 | [H,K] = double(p); |
---|
11 | if min(size(x))>1 |
---|
12 | error('first argument should be a vector'); |
---|
13 | end |
---|
14 | if length(x) == size(H,2) |
---|
15 | x = reshape(x,length(x),1); |
---|
16 | YESNO = set(H*x <= K); |
---|
17 | return |
---|
18 | else |
---|
19 | error('Dimension mismatch.'); |
---|
20 | end |
---|
21 | |
---|
22 | else |
---|
23 | d = binvar(length(p),1); |
---|
24 | YESNO = set(sum(d)==1); |
---|
25 | for i = 1:length(p) |
---|
26 | [H,K] = double(p(i)); |
---|
27 | if min(size(x))>1 |
---|
28 | error('first argument should be a vector'); |
---|
29 | end |
---|
30 | if length(x) == size(H,2) |
---|
31 | x = reshape(x,length(x),1); |
---|
32 | lhs = H*x-K; |
---|
33 | [M,m] = derivebounds(lhs); |
---|
34 | YESNO = YESNO + set(H*x-K <= M.*(1-extsubsref(d,i))); |
---|
35 | else |
---|
36 | error('Dimension mismatch.'); |
---|
37 | end |
---|
38 | end |
---|
39 | |
---|
40 | end |
---|
41 | return |
---|
42 | end |
---|
43 | |
---|
44 | if isa(x,'sdpvar') & isa(p,'double') |
---|
45 | |
---|
46 | x = reshape(x,prod(x.dim),1); |
---|
47 | p = p(:); |
---|
48 | |
---|
49 | [M,m]=derivebounds(x); |
---|
50 | |
---|
51 | maxp = max(p); |
---|
52 | minp = min(p); |
---|
53 | for i = 1:length(M) |
---|
54 | M(i) = min(M(i),maxp); |
---|
55 | m(i) = max(m(i),minp); |
---|
56 | end |
---|
57 | |
---|
58 | Delta = binvar(length(x),length(p),'full'); |
---|
59 | F = set(sum(Delta,2) == 1); |
---|
60 | |
---|
61 | % Quick version |
---|
62 | xrep = repmat(x,length(p),1); |
---|
63 | prep = kron(p,ones(length(x),1)); |
---|
64 | mrep = repmat(m,length(p),1); |
---|
65 | Mrep = repmat(M,length(p),1); |
---|
66 | drep = reshape(Delta,prod(size(Delta)),1); |
---|
67 | F = F + set((mrep-prep).*(1-drep) <= xrep-prep <= (Mrep - prep).*(1-drep)); |
---|
68 | |
---|
69 | % Slow version |
---|
70 | % for j = 1:length(x) |
---|
71 | % xi = extsubsref(x,j,1); |
---|
72 | % % delta = binvar(length(p),1); |
---|
73 | % % F = F + set(sum(delta) == 1); |
---|
74 | % for i = 1:length(p) |
---|
75 | % di = extsubsref(Delta,j,i); |
---|
76 | % mi = m - p(i); |
---|
77 | % Mi = M - p(i); |
---|
78 | % F = F + set(mi*(1-di) <= xi - p(i) <= Mi*(1-di)); |
---|
79 | % end |
---|
80 | % end |
---|
81 | YESNO = F; |
---|
82 | return |
---|
83 | end |
---|