program mountain;
Uses sysutils, Math;
const
MAXN = 100005;
Type elenco= Array of LongInt;
var
ANS, N, i, id,x, maxMountainLength, lung, len : LongInt;
P, leftLIS, rightLIS : 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);
for i:=0 to N-1 do Read(P[i]);
ReadLn();
ANS := 0; lung:=N;
(*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 lung-1 do begin leftLIS[i]:=1; rightLIS[i]:=1; end;
(*Calculate LIS from left to right for each position*)
for i :=1 to lung-1 do
begin
ricercaUpper(Lis, P[i]);
// if element is to be inserted in lis
if (id <>-1) and (id<>0) then
begin
LIS[id] := P[i];
leftLIS[i]:=id+1;
end
// if element in not present in lis insert at the end
else
if id=-1 then
begin
len:=len+1;
SetLength(LIS,len);
LIS[len-1] := P[i];
leftLIS[i]:=len;
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 :=lung-2 downto 0 do
begin
ricercaUpper(Lis, P[i]);
// if element is to be inserted in lis
if (id <>-1) and (id<>0) then
begin
LIS[id] := P[i];
rightLIS[i]:=id+1;
end
// if element in not present in lis insert at the end
else
if id=-1 then
begin
len:=len+1;
SetLength(LIS,len);
LIS[len-1] := P[i];
rightLIS[i]:=len;
end;
end;
maxMountainLength := 0;
(* Find the maximum length of mountain subsequence*)
// for every index check for longest mountain array,
for i := 0 to lung-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.
cHJvZ3JhbSBtb3VudGFpbjsKVXNlcyBzeXN1dGlscywgTWF0aDsKCmNvbnN0CiAgICBNQVhOID0gMTAwMDA1OwpUeXBlIGVsZW5jbz0gQXJyYXkgb2YgTG9uZ0ludDsKdmFyCiAgICBBTlMsIE4sIGksIGlkLHgsIG1heE1vdW50YWluTGVuZ3RoLCBsdW5nLCBsZW4gOiBMb25nSW50OwogICAgUCwgbGVmdExJUywgcmlnaHRMSVMgOiBBcnJheVswLi5NQVhOLTFdIG9mIExvbmdJbnQ7CiAgICBMSVMgOiBlbGVuY287CiAgICByaW1vc3NpIDogQW5zaXN0cmluZzsKICAgIHVzY2l0YSA6IGJvb2xlYW47CiAgIAoKUHJvY2VkdXJlIHJpY2VyY2FVcHBlciAodmFyIHc6ZWxlbmNvOyB0YXJnZXQ6TG9uZ2ludCk7ICgqcml0b3JuYSBpbmRpY2UgZGVsIHZhbG9yZSBtYWdnaW9yZS91Z3VhbGUgYSB0YXJnZXQgb3BwdXJlIC0xIHNlIG5vbiBlc2lzdGUqKQogIHZhciBtLHN0YXJ0LGVlbmQ6IExvbmdpbnQ7CiAgICAgIAogYmVnaW4gIAogICBzdGFydDo9MDsgZWVuZDo9bGVuLTEgOyBtOj0tMTsKICAgd2hpbGUgc3RhcnQ8PWVlbmQgZG8KICAgICAgICAgICBiZWdpbgogICAgICAgICAgICAgICAgICBtOj0oc3RhcnQgKyBlZW5kKSBkaXYgMjsKICAgICAgICAgICAgICAgICAgaWYgd1ttXTx0YXJnZXQgdGhlbiAgc3RhcnQ6PW0rMQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBlbHNlICBpZiB3W21dPj10YXJnZXQgdGhlbiAgYmVnaW4gaWQ6PW07ICBlZW5kOj1tLTEgZW5kOwogICAgICAgICAgIGVuZDsKICAgaWYgc3RhcnQ9bGVuIHRoZW4gaWQ6PS0xOwogIAogZW5kOwoKCgoKYmVnaW4KICAgKCogYXNzaWduKGlucHV0LCAgJ2lucHV0LnR4dCcpOyAgcmVzZXQoaW5wdXQpOwogICAgYXNzaWduKG91dHB1dCwgJ291dHB1dC50eHQnKTsgcmV3cml0ZShvdXRwdXQpOyopICAKCiAgICBSZWFkTG4oTik7CiAgICBmb3IgaTo9MCB0byBOLTEgZG8gUmVhZChQW2ldKTsKICAgIFJlYWRMbigpOwoKICAgCiAgICBBTlMgOj0gMDsgbHVuZzo9TjsKCSgqbGVmdExJU1tpXSBzdG9yZXMgdGhlIGxlbmd0aCBvZiBsb25nZXN0IGluY3JlYXNpbmcgc3Vic2VxdWVuY2UgZW5kaW5nIGF0IGluZGV4IGkqKQoJKCpyaWdodExJU1tpXSBzdG9yZXMgdGhlIGxlbmd0aCBvZiBsb25nZXN0IGRlY3JlYXNpbmcgc3Vic2VxdWVuY2Ugc3RhcnRpbmcgYXQgaW5kZXggaSopCiAgICBsZW46PTE7IFNldExlbmd0aChMSVMsbGVuKTsgTElTWzBdOj1QWzBdOwogICAgZm9yIGk6PTAgdG8gIGx1bmctMSBkbyBiZWdpbiBsZWZ0TElTW2ldOj0xOyByaWdodExJU1tpXTo9MTsgZW5kOwogICAgKCpDYWxjdWxhdGUgTElTIGZyb20gbGVmdCB0byByaWdodCBmb3IgZWFjaCBwb3NpdGlvbiopCiAgICBmb3IgaSA6PTEgdG8gbHVuZy0xIGRvCiAgICAgICAgICAgICAgICAgICAgYmVnaW4KICAgICAgICAgICAgICAgICAgICAgICAgcmljZXJjYVVwcGVyKExpcywgUFtpXSk7CiAgICAgICAgICAgICAgICAgICAgICAgLy8gaWYgZWxlbWVudCBpcyB0byBiZSBpbnNlcnRlZCBpbiBsaXMKICAgICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgICAgICAgICBpZiAoaWQgPD4tMSkgYW5kIChpZDw+MCkgIHRoZW4KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBiZWdpbgogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgTElTW2lkXSA6PSBQW2ldOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgbGVmdExJU1tpXTo9aWQrMTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBlbmQgCiAgICAgICAgICAgICAgICAgICAgICAgLy8gaWYgZWxlbWVudCBpbiBub3QgcHJlc2VudCBpbiBsaXMgaW5zZXJ0IGF0IHRoZSBlbmQKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZWxzZQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGlmIGlkPS0xIHRoZW4KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGJlZ2luCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIAkJCSAgbGVuOj1sZW4rMTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAJCQkgIFNldExlbmd0aChMSVMsbGVuKTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgCQkJICBMSVNbbGVuLTFdIDo9IFBbaV07CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIAkJCSAgbGVmdExJU1tpXTo9bGVuOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGVuZDsgCiAgICAgICAgICAgICAgICAgICAgZW5kOyAKICAgICAgIAogICAgICAgKCogQ2FsY3VsYXRlIExJUyBmcm9tIHJpZ2h0IHRvIGxlZnQgKGRlY3JlYXNpbmcgc3Vic2VxdWVuY2UpIGZvciBlYWNoIHBvc2l0aW9uKikKICAgIAogICBsZW46PTE7IFNldExlbmd0aChMSVMsbGVuKTsgTElTWzBdOj1QW04tMV07IAogICBmb3IgaSA6PWx1bmctMiAgZG93bnRvIDAgZG8KICAgICAgICAgICAgICAgICAgICBiZWdpbgogICAgICAgICAgICAgICAgICAgICAgICByaWNlcmNhVXBwZXIoTGlzLCBQW2ldKTsKICAgICAgICAgICAgICAgICAgICAgICAgCiAgICAgICAgICAgICAgICAgICAgICAgLy8gaWYgZWxlbWVudCBpcyB0byBiZSBpbnNlcnRlZCBpbiBsaXMKICAgICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgICAgICAgICBpZiAoaWQgPD4tMSkgYW5kIChpZDw+MCkgIHRoZW4KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBiZWdpbgogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgTElTW2lkXSA6PSBQW2ldOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgcmlnaHRMSVNbaV06PWlkKzE7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZW5kIAogICAgICAgICAgICAgICAgICAgICAgIC8vIGlmIGVsZW1lbnQgaW4gbm90IHByZXNlbnQgaW4gbGlzIGluc2VydCBhdCB0aGUgZW5kCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGVsc2UKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBpZiBpZD0tMSB0aGVuCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgYmVnaW4KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgbGVuOj1sZW4rMTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgU2V0TGVuZ3RoKExJUyxsZW4pOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBMSVNbbGVuLTFdIDo9IFBbaV07CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHJpZ2h0TElTW2ldOj1sZW47CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZW5kOyAKICAgICAgICAgICAgICAgICAgICBlbmQ7CiAgICAgICAgICAgIAogICAgbWF4TW91bnRhaW5MZW5ndGggOj0gMDsKICAgICgqIEZpbmQgdGhlIG1heGltdW0gbGVuZ3RoIG9mIG1vdW50YWluIHN1YnNlcXVlbmNlKikKICAgIC8vIGZvciBldmVyeSBpbmRleCBjaGVjayBmb3IgbG9uZ2VzdCBtb3VudGFpbiBhcnJheSwKICAgIGZvciBpIDo9IDAgdG8gbHVuZy0xIGRvCiAgICAgICAgICAgICBiZWdpbgogICAgICAgICAgICAgICAgaWYgKGxlZnRMSVNbaV0gPj0xKSBBTkQgKHJpZ2h0TElTW2ldID49IDEpIHRoZW4gCiAgICAgICAgICAgICAgICAgICAgICBiZWdpbgogICAgICAgICAgICAgICAgICAgICAgICB4IDo9IGxlZnRMSVNbaV0gKyByaWdodExJU1tpXSAtIDE7CiAgICAgICAgICAgICAgICAgICAgICAgIG1heE1vdW50YWluTGVuZ3RoIDo9IG1heChtYXhNb3VudGFpbkxlbmd0aCwgeCk7CiAgICAgICAgICAgICAgICAgICAgICBlbmQ7ICAKICAgICAgICAgICAgIGVuZDsKICAgIC8vIHJldHVybmluZyByZW1vdmFscwogICAKICAgQU5TOj0gTiAtIG1heE1vdW50YWluTGVuZ3RoOyAKICAgV3JpdGVMbihBTlMpOwplbmQu