program mountain;
Uses sysutils, Math;
const
MAXN = 100005;
Type elenco= Array of LongInt;
var
ANS, N, i, id, x, maxMountainLength, len : LongInt;
P, leftLIS, rightLIS, index: Array[0..MAXN-1] of LongInt;
LIS : elenco;
Procedure ricercaUpper (var w:elenco; target:Longint); (*ritorna indice del valore maggiore/uguale a target oppure -1 se non esiste*)
var m,start,eend: Longint;
begin
start:=0; eend:=len-1 ; m:=-1;
while start<=eend do
begin
m:=(start + eend) div 2;
if w[m]<target then start:=m+1
else if w[m]>=target then begin id:=m; eend:=m-1 end;
end;
if start=len then id:=-1;
end;
begin
ReadLn(N);
for i:=0 to N-1 do begin Read(P[i]); index[i]:=-1; end;
ReadLn();
ANS := 0;
maxMountainLength := 0;
(*leftLIS[i] stores the length of longest increasing subsequence ending at index i*)
(*rightLIS[i] stores the length of longest decreasing subsequence starting at index i*)
len:=1; SetLength(LIS,len); LIS[0]:=P[0]; index[0]:=0;
for i:=0 to N-1 do begin leftLIS[i]:=1; rightLIS[i]:=1; end;
(*Calculate LIS from left to right for each position*)
for i :=1 to N-1 do
begin
ricercaUpper(Lis, P[i]);
// if element in not present in lis insert at the end
if id=-1 then
begin
len:=len+1;
SetLength(LIS,len);
LIS[len-1] := P[i];
index[len-1]:=i;
leftLIS[i]:=len;
end
else
begin
// if element is to be inserted in lis
if (id<>0) and ((P[index[id]]<P[index[id]-1]) and (P[index[id]]<P[index[id]+1])) then
begin
LIS[id] := P[i];
leftLIS[i]:=id+1;
end
else
leftLIS[i]:=0;
end;
end;
(* Calculate LIS from right to left (decreasing subsequence) for each position*)
len:=1; SetLength(LIS,len); LIS[0]:=P[N-1]; index[0]:=N-1;
for i :=N-2 downto 0 do
begin
ricercaUpper(Lis, P[i]);
if id=-1 then
begin
len:=len+1;
SetLength(LIS,len);
LIS[len-1] := P[i];
index[len-1]:=i;
rightLIS[i]:=len;
end
else
begin
// if element is to be inserted in lis
if (id<>0) and ((P[index[id]]<P[index[id]-1]) and (P[index[id]]<P[index[id]+1])) then
begin
LIS[id] := P[i];
rightLIS[i]:=id+1;
end
else
rightLIS[i]:=0;
end;
end;
(* Find the maximum length of mountain subsequence*)
// for every index check for longest mountain array,
for i := 0 to N-1 do
begin
if (leftLIS[i] >=1) AND (rightLIS[i] >= 1) then
begin
x := leftLIS[i] + rightLIS[i] - 1;
maxMountainLength := max(maxMountainLength, x);
end;
end;
// returning removals
ANS:= N - maxMountainLength;
WriteLn(ANS);
end.
cHJvZ3JhbSBtb3VudGFpbjsKVXNlcyBzeXN1dGlscywgTWF0aDsKCmNvbnN0CiAgICBNQVhOID0gMTAwMDA1OwogICAgClR5cGUgZWxlbmNvPSBBcnJheSBvZiBMb25nSW50OwoKdmFyCiAgICBBTlMsIE4sIGksIGlkLCB4LCBtYXhNb3VudGFpbkxlbmd0aCwgbGVuIDogTG9uZ0ludDsKICAgIFAsIGxlZnRMSVMsIHJpZ2h0TElTLCBpbmRleDogQXJyYXlbMC4uTUFYTi0xXSBvZiBMb25nSW50OwogICAgTElTIDogZWxlbmNvOwogICAKICAgCiAgIAoKUHJvY2VkdXJlIHJpY2VyY2FVcHBlciAodmFyIHc6ZWxlbmNvOyB0YXJnZXQ6TG9uZ2ludCk7ICgqcml0b3JuYSBpbmRpY2UgZGVsIHZhbG9yZSBtYWdnaW9yZS91Z3VhbGUgYSB0YXJnZXQgb3BwdXJlIC0xIHNlIG5vbiBlc2lzdGUqKQogIHZhciBtLHN0YXJ0LGVlbmQ6IExvbmdpbnQ7CiAgICAgIAogYmVnaW4gIAogICBzdGFydDo9MDsgZWVuZDo9bGVuLTEgOyBtOj0tMTsKICAgd2hpbGUgc3RhcnQ8PWVlbmQgZG8KICAgICAgICAgICBiZWdpbgogICAgICAgICAgICAgICAgICBtOj0oc3RhcnQgKyBlZW5kKSBkaXYgMjsKICAgICAgICAgICAgICAgICAgaWYgd1ttXTx0YXJnZXQgdGhlbiAgc3RhcnQ6PW0rMQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBlbHNlICBpZiB3W21dPj10YXJnZXQgdGhlbiAgYmVnaW4gaWQ6PW07ICBlZW5kOj1tLTEgZW5kOwogICAgICAgICAgIGVuZDsKICAgaWYgc3RhcnQ9bGVuIHRoZW4gaWQ6PS0xOwogIAogZW5kOwoKCgoKYmVnaW4KICAgCgogICAgUmVhZExuKE4pOwogIAogICAgZm9yIGk6PTAgdG8gTi0xIGRvIGJlZ2luIFJlYWQoUFtpXSk7IGluZGV4W2ldOj0tMTsgZW5kOwogICAgICAgICAgICAgICAgICAgICAgICAKICAgIFJlYWRMbigpOwogICAgQU5TIDo9IDA7IAogICAgbWF4TW91bnRhaW5MZW5ndGggOj0gMDsKCSgqbGVmdExJU1tpXSBzdG9yZXMgdGhlIGxlbmd0aCBvZiBsb25nZXN0IGluY3JlYXNpbmcgc3Vic2VxdWVuY2UgZW5kaW5nIGF0IGluZGV4IGkqKQoJKCpyaWdodExJU1tpXSBzdG9yZXMgdGhlIGxlbmd0aCBvZiBsb25nZXN0IGRlY3JlYXNpbmcgc3Vic2VxdWVuY2Ugc3RhcnRpbmcgYXQgaW5kZXggaSopCiAgICBsZW46PTE7IFNldExlbmd0aChMSVMsbGVuKTsgTElTWzBdOj1QWzBdOyBpbmRleFswXTo9MDsKICAgIGZvciBpOj0wIHRvICBOLTEgZG8gYmVnaW4gbGVmdExJU1tpXTo9MTsgcmlnaHRMSVNbaV06PTE7IGVuZDsKICAgICgqQ2FsY3VsYXRlIExJUyBmcm9tIGxlZnQgdG8gcmlnaHQgZm9yIGVhY2ggcG9zaXRpb24qKQogICAgZm9yIGkgOj0xIHRvIE4tMSBkbwogICAgICAgICAgICAgICAgICAgIGJlZ2luCiAgICAgICAgICAgICAgICAgICAgICAgICAgIHJpY2VyY2FVcHBlcihMaXMsIFBbaV0pOwogICAgICAgICAgICAgICAgICAgICAgICAgICAvLyBpZiBlbGVtZW50IGluIG5vdCBwcmVzZW50IGluIGxpcyBpbnNlcnQgYXQgdGhlIGVuZAogICAgICAgICAgICAgICAgICAgICAgICAgCiAgICAgICAgICAgICAgICAgICAgICAgICAgIGlmIGlkPS0xIHRoZW4KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBiZWdpbgogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgbGVuOj1sZW4rMTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIFNldExlbmd0aChMSVMsbGVuKTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIExJU1tsZW4tMV0gOj0gUFtpXTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGluZGV4W2xlbi0xXTo9aTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGxlZnRMSVNbaV06PWxlbjsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBlbmQKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZWxzZQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBiZWdpbgogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIC8vIGlmIGVsZW1lbnQgaXMgdG8gYmUgaW5zZXJ0ZWQgaW4gbGlzCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgaWYgKGlkPD4wKSBhbmQgKChQW2luZGV4W2lkXV08UFtpbmRleFtpZF0tMV0pIGFuZCAoUFtpbmRleFtpZF1dPFBbaW5kZXhbaWRdKzFdKSkgdGhlbgogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGJlZ2luCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgTElTW2lkXSA6PSBQW2ldOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGxlZnRMSVNbaV06PWlkKzE7ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGVuZAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGVsc2UgCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBsZWZ0TElTW2ldOj0wOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBlbmQ7ICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgICAgIGVuZDsgCiAgIAogICAgICAgKCogQ2FsY3VsYXRlIExJUyBmcm9tIHJpZ2h0IHRvIGxlZnQgKGRlY3JlYXNpbmcgc3Vic2VxdWVuY2UpIGZvciBlYWNoIHBvc2l0aW9uKikKICAKICAgbGVuOj0xOyBTZXRMZW5ndGgoTElTLGxlbik7IExJU1swXTo9UFtOLTFdOyBpbmRleFswXTo9Ti0xOwogICAKICAgZm9yIGkgOj1OLTIgIGRvd250byAwIGRvCiAgICAgICAgICAgICAgICAgICAgICAgICAgYmVnaW4gICAgICAgICAgICAgICAgICAgICAgICAKICAgICAgICAgICAgICAgICAgICAgICAgICAgICByaWNlcmNhVXBwZXIoTGlzLCBQW2ldKTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICBpZiBpZD0tMSB0aGVuCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgYmVnaW4KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGxlbjo9bGVuKzE7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBTZXRMZW5ndGgoTElTLGxlbik7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBMSVNbbGVuLTFdIDo9IFBbaV07CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBpbmRleFtsZW4tMV06PWk7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICByaWdodExJU1tpXTo9bGVuOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGVuZAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBlbHNlCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGJlZ2luCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgLy8gaWYgZWxlbWVudCBpcyB0byBiZSBpbnNlcnRlZCBpbiBsaXMKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBpZiAoaWQ8PjApIGFuZCAoKFBbaW5kZXhbaWRdXTxQW2luZGV4W2lkXS0xXSkgYW5kIChQW2luZGV4W2lkXV08UFtpbmRleFtpZF0rMV0pKSB0aGVuCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgYmVnaW4KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBMSVNbaWRdIDo9IFBbaV07CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgcmlnaHRMSVNbaV06PWlkKzE7ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBlbmQKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZWxzZSAgCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHJpZ2h0TElTW2ldOj0wOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGVuZDsgICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgICAgIGVuZDsKICAgICAoKiBGaW5kIHRoZSBtYXhpbXVtIGxlbmd0aCBvZiBtb3VudGFpbiBzdWJzZXF1ZW5jZSopCiAgICAvLyBmb3IgZXZlcnkgaW5kZXggY2hlY2sgZm9yIGxvbmdlc3QgbW91bnRhaW4gYXJyYXksCiAgICBmb3IgaSA6PSAwIHRvIE4tMSBkbwogICAgICAgICAgICAgYmVnaW4KICAgICAgICAgICAgICAgIGlmIChsZWZ0TElTW2ldID49MSkgQU5EIChyaWdodExJU1tpXSA+PSAxKSB0aGVuIAogICAgICAgICAgICAgICAgICAgICAgYmVnaW4KICAgICAgICAgICAgICAgICAgICAgICAgeCA6PSBsZWZ0TElTW2ldICsgcmlnaHRMSVNbaV0gLSAxOwogICAgICAgICAgICAgICAgICAgICAgICBtYXhNb3VudGFpbkxlbmd0aCA6PSBtYXgobWF4TW91bnRhaW5MZW5ndGgsIHgpOwogICAgICAgICAgICAgICAgICAgICAgZW5kOyAgCiAgICAgICAgICAgICBlbmQ7CiAgICAgCiAgICAvLyByZXR1cm5pbmcgcmVtb3ZhbHMKIAogICBBTlM6PSBOIC0gbWF4TW91bnRhaW5MZW5ndGg7IAogICBXcml0ZUxuKEFOUyk7CmVuZC4=