program mountain;
Uses sysutils, Math;
const
MAXN = 100005;
Type elenco= Array of LongInt;
var
ANS, N, i,h, id, x, maxMountainLength, lung, len, count : LongInt;
P, leftLIS, rightLIS, valli, index : Array[0..MAXN-1] of LongInt;
LIS : elenco;
rimossi : Ansistring;
uscita : boolean;
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
(*assign(input, 'input.txt'); reset(input);
assign(output, 'output.txt'); rewrite(output); *)
ReadLn(N);
rimossi:=''; lung:=N;
for i:=0 to N-1 do begin
Read(P[i]);
rimossi:=rimossi+IntTostr(P[i]);
valli[i]:=0;
end;
ReadLn();
uscita:=false;
while uscita=false do
begin
i:=2; uscita:=true; count:=0;
while i<lung do
begin
if (rimossi[i]<rimossi[i-1]) and (rimossi[i]<rimossi[i+1])
then
begin
valli[i+count+h-1]:=-1;
delete(rimossi,i,1);
lung:=lung-1; count:=count+1;
setLength(rimossi,lung);
uscita:=false;
end;
i:=i+1;
end;
h:=h+1;
end;
ANS := 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];
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];
leftLIS[i]:=len;
end
else
begin
// if element is to be inserted in lis
if (id<>0) and (valli[id]=-1) then
begin
LIS[id] := P[i];
leftLIS[i]:=id+1;
end
end;
end;
(* Calculate LIS from right to left (decreasing subsequence) for each position*)
len:=1; SetLength(LIS,len); LIS[0]:=P[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];
rightLIS[i]:=len;
end
else
begin
// if element is to be inserted in lis
if (id<>0) and (valli[id]=-1) then
begin
LIS[id] := P[i];
rightLIS[i]:=id+1;
end
end;
end;
maxMountainLength := 0;
(* 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.
cHJvZ3JhbSBtb3VudGFpbjsKVXNlcyBzeXN1dGlscywgTWF0aDsKCmNvbnN0CiAgICBNQVhOID0gMTAwMDA1OwogICAgClR5cGUgZWxlbmNvPSBBcnJheSBvZiBMb25nSW50OwoKdmFyCiAgICBBTlMsIE4sIGksaCwgaWQsIHgsIG1heE1vdW50YWluTGVuZ3RoLCBsdW5nLCBsZW4sIGNvdW50IDogTG9uZ0ludDsKICAgIFAsIGxlZnRMSVMsIHJpZ2h0TElTLCB2YWxsaSwgaW5kZXggOiBBcnJheVswLi5NQVhOLTFdIG9mIExvbmdJbnQ7CiAgICBMSVMgOiBlbGVuY287CiAgICByaW1vc3NpIDogQW5zaXN0cmluZzsKICAgIHVzY2l0YSA6IGJvb2xlYW47CiAgIAoKUHJvY2VkdXJlIHJpY2VyY2FVcHBlciAodmFyIHc6ZWxlbmNvOyB0YXJnZXQ6TG9uZ2ludCk7ICgqcml0b3JuYSBpbmRpY2UgZGVsIHZhbG9yZSBtYWdnaW9yZS91Z3VhbGUgYSB0YXJnZXQgb3BwdXJlIC0xIHNlIG5vbiBlc2lzdGUqKQogIHZhciBtLHN0YXJ0LGVlbmQ6IExvbmdpbnQ7CiAgICAgIAogYmVnaW4gIAogICBzdGFydDo9MDsgZWVuZDo9bGVuLTEgOyBtOj0tMTsKICAgd2hpbGUgc3RhcnQ8PWVlbmQgZG8KICAgICAgICAgICBiZWdpbgogICAgICAgICAgICAgICAgICBtOj0oc3RhcnQgKyBlZW5kKSBkaXYgMjsKICAgICAgICAgICAgICAgICAgaWYgd1ttXTx0YXJnZXQgdGhlbiAgc3RhcnQ6PW0rMQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBlbHNlICBpZiB3W21dPj10YXJnZXQgdGhlbiAgYmVnaW4gaWQ6PW07ICBlZW5kOj1tLTEgZW5kOwogICAgICAgICAgIGVuZDsKICAgaWYgc3RhcnQ9bGVuIHRoZW4gaWQ6PS0xOwogIAogZW5kOwoKCgoKYmVnaW4KICAgICgqYXNzaWduKGlucHV0LCAgJ2lucHV0LnR4dCcpOyAgcmVzZXQoaW5wdXQpOwogICAgYXNzaWduKG91dHB1dCwgJ291dHB1dC50eHQnKTsgcmV3cml0ZShvdXRwdXQpOyAgKikKCiAgICBSZWFkTG4oTik7CiAgICByaW1vc3NpOj0nJzsgbHVuZzo9TjsgIAogICAgZm9yIGk6PTAgdG8gTi0xIGRvIGJlZ2luCiAgICAgICAgICAgICAgICAgICAgICAgIFJlYWQoUFtpXSk7CiAgICAgICAgICAgICAgICAgICAgICAgIHJpbW9zc2k6PXJpbW9zc2krSW50VG9zdHIoUFtpXSk7CiAgICAgICAgICAgICAgICAgICAgICAgIHZhbGxpW2ldOj0wOyAKICAgICAgICAgICAgICAgICAgICAgICBlbmQ7ICAKICAgIFJlYWRMbigpOwogICAgdXNjaXRhOj1mYWxzZTsKICAgIHdoaWxlIHVzY2l0YT1mYWxzZSBkbyAKICAgICAgIGJlZ2luCiAgICAgICAgaTo9MjsgdXNjaXRhOj10cnVlOyBjb3VudDo9MDsKICAgICAgICB3aGlsZSBpPGx1bmcgZG8KICAgICAgICAgICAgICBiZWdpbgogICAgICAgICAgICAgICAgaWYgIChyaW1vc3NpW2ldPHJpbW9zc2lbaS0xXSkgYW5kIChyaW1vc3NpW2ldPHJpbW9zc2lbaSsxXSkgICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHRoZW4KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGJlZ2luCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHZhbGxpW2krY291bnQraC0xXTo9LTE7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGRlbGV0ZShyaW1vc3NpLGksMSk7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGx1bmc6PWx1bmctMTsgIGNvdW50Oj1jb3VudCsxOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBzZXRMZW5ndGgocmltb3NzaSxsdW5nKTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgdXNjaXRhOj1mYWxzZTsgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBlbmQ7CiAgICAgICAgICAgICAgICBpOj1pKzE7CiAgICAgICAgICAgICAgZW5kOyAKICAgICAgICAgICBoOj1oKzE7ICAgCiAgICAgICBlbmQ7ICAgICAKICAgIAogICAgQU5TIDo9IDA7IAoJKCpsZWZ0TElTW2ldIHN0b3JlcyB0aGUgbGVuZ3RoIG9mIGxvbmdlc3QgaW5jcmVhc2luZyBzdWJzZXF1ZW5jZSBlbmRpbmcgYXQgaW5kZXggaSopCgkoKnJpZ2h0TElTW2ldIHN0b3JlcyB0aGUgbGVuZ3RoIG9mIGxvbmdlc3QgZGVjcmVhc2luZyBzdWJzZXF1ZW5jZSBzdGFydGluZyBhdCBpbmRleCBpKikKICAgIGxlbjo9MTsgU2V0TGVuZ3RoKExJUyxsZW4pOyBMSVNbMF06PVBbMF07CiAgICBmb3IgaTo9MCB0byAgTi0xIGRvIGJlZ2luIGxlZnRMSVNbaV06PTE7IHJpZ2h0TElTW2ldOj0xOyBlbmQ7CiAgICAoKkNhbGN1bGF0ZSBMSVMgZnJvbSBsZWZ0IHRvIHJpZ2h0IGZvciBlYWNoIHBvc2l0aW9uKikKICAgIGZvciBpIDo9MSB0byBOLTEgZG8KICAgICAgICAgICAgICAgICAgICBiZWdpbgogICAgICAgICAgICAgICAgICAgICAgICByaWNlcmNhVXBwZXIoTGlzLCBQW2ldKTsKICAgICAgICAgICAgICAgICAgICAgICAvLyBpZiBlbGVtZW50IGluIG5vdCBwcmVzZW50IGluIGxpcyBpbnNlcnQgYXQgdGhlIGVuZAogICAgICAgICAgICAgICAgICAgICAgICAKICAgICAgICAgICAgICAgICAgICAgICAgaWYgaWQ9LTEgdGhlbgogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGJlZ2luCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBsZW46PWxlbisxOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgU2V0TGVuZ3RoKExJUyxsZW4pOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgTElTW2xlbi0xXSA6PSBQW2ldOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGxlZnRMSVNbaV06PWxlbjsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBlbmQKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZWxzZQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBiZWdpbgogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIC8vIGlmIGVsZW1lbnQgaXMgdG8gYmUgaW5zZXJ0ZWQgaW4gbGlzCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgaWYgKGlkPD4wKSBhbmQgKHZhbGxpW2lkXT0tMSkgdGhlbgogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGJlZ2luCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgTElTW2lkXSA6PSBQW2ldOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGxlZnRMSVNbaV06PWlkKzE7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBlbmQKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBlbmQ7ICAgICAgICAgICAgICAgICAgICAKICAgICAgICAgICAgICAgICAgICBlbmQ7IAogICAKICAgICAgICgqIENhbGN1bGF0ZSBMSVMgZnJvbSByaWdodCB0byBsZWZ0IChkZWNyZWFzaW5nIHN1YnNlcXVlbmNlKSBmb3IgZWFjaCBwb3NpdGlvbiopCiAgICAKICAgbGVuOj0xOyBTZXRMZW5ndGgoTElTLGxlbik7IExJU1swXTo9UFtOLTFdOyAKICAgCiAgIGZvciBpIDo9Ti0yICBkb3dudG8gMCBkbwogICAgICAgICAgICAgICAgICAgIGJlZ2luCiAgICAgICAgICAgICAgICAgICAgICAgIHJpY2VyY2FVcHBlcihMaXMsIFBbaV0pOwogICAgICAgICAgICAgICAgICAgICAgICBpZiBpZD0tMSB0aGVuCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgYmVnaW4KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGxlbjo9bGVuKzE7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBTZXRMZW5ndGgoTElTLGxlbik7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBMSVNbbGVuLTFdIDo9IFBbaV07CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgcmlnaHRMSVNbaV06PWxlbjsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBlbmQKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZWxzZQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBiZWdpbgogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIC8vIGlmIGVsZW1lbnQgaXMgdG8gYmUgaW5zZXJ0ZWQgaW4gbGlzCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgaWYgKGlkPD4wKSBhbmQgKHZhbGxpW2lkXT0tMSkgdGhlbgogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGJlZ2luCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgTElTW2lkXSA6PSBQW2ldOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHJpZ2h0TElTW2ldOj1pZCsxOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGVuZAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBlbmQ7ICAgICAgICAgICAgICAgICAgICAKICAgICAgICAgICAgICAgICAgICBlbmQ7CiAgICAgICAgICAgICAgICAgICAgCiAgICBtYXhNb3VudGFpbkxlbmd0aCA6PSAwOwogICAgKCogRmluZCB0aGUgbWF4aW11bSBsZW5ndGggb2YgbW91bnRhaW4gc3Vic2VxdWVuY2UqKQogICAgLy8gZm9yIGV2ZXJ5IGluZGV4IGNoZWNrIGZvciBsb25nZXN0IG1vdW50YWluIGFycmF5LAogICAgZm9yIGkgOj0gMCB0byBOLTEgZG8KICAgICAgICAgICAgIGJlZ2luCiAgICAgICAgICAgICAgICBpZiAobGVmdExJU1tpXSA+PTEpIEFORCAocmlnaHRMSVNbaV0gPj0gMSkgdGhlbiAKICAgICAgICAgICAgICAgICAgICAgIGJlZ2luCiAgICAgICAgICAgICAgICAgICAgICAgIHggOj0gbGVmdExJU1tpXSArIHJpZ2h0TElTW2ldIC0gMTsKICAgICAgICAgICAgICAgICAgICAgICAgbWF4TW91bnRhaW5MZW5ndGggOj0gbWF4KG1heE1vdW50YWluTGVuZ3RoLCB4KTsKICAgICAgICAgICAgICAgICAgICAgIGVuZDsgIAogICAgICAgICAgICAgZW5kOwogICAgLy8gcmV0dXJuaW5nIHJlbW92YWxzCiAgIAogICBBTlM6PSBOIC0gbWF4TW91bnRhaW5MZW5ndGg7IAogICBXcml0ZUxuKEFOUyk7CmVuZC4=