program mountain;
Uses Math;
const
MAXN = 100005;
var
ANS, N, i, j, maxMountainLength : LongInt;
P, leftLIS, rightLIS, rimosso : Array[0..MAXN-1] of LongInt;
crescente:boolean;
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;
(*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*)
for i:=0 to N-1 do begin leftLIS[i]:=1; rightLIS[i]:=1; rimosso[i]:=0; end;
(*Calculate LIS from left to right for each position*)
for i:=1 to N-2 do if (P[i]<P[i-1]) and (P[i]<P[i+1]) then rimosso[i]:=1;
for i := 1 to N-1 do
if (rimosso[i]=0) then
for j:= 0 to i-1 do
begin
if (rimosso[j]=0) and (P[i] > P[j]) then leftLIS[i] := max(leftLIS[i], leftLIS[j] + 1);
end;
(* Calculate LIS from right to left (decreasing subsequence) for each position*)
for i := N - 2 downto 0 do
if (rimosso[i]=0) then
for j := i + 1 to N-1 do
begin
if (rimosso[j]=0) and (P[i] > P[j]) then rightLIS[i] := max(rightLIS[i], rightLIS[j] + 1);
end;
(* Find the maximum length of mountain subsequence*)
maxMountainLength := 0;
for i := 0 to N-1 do
(*A valid mountain peak must have at least one element on both sides*)
(*leftLIS[i] > 1 ensures there's at least one element before peak*)
(*rightLIS[i] > 1 ensures there's at least one element after peak*)
if (leftLIS[i] >= 1) and (rightLIS[i] >= 1) then
(*Total mountain length with peak at i Subtract 1 because peak is counted in both leftLIS and rightLIS*)
maxMountainLength := max(maxMountainLength, leftLIS[i] + rightLIS[i] - 1);
(* Minimum removals = total elements - maximum mountain length*)
ANS:= N - maxMountainLength;
WriteLn(ANS);
end.
cHJvZ3JhbSBtb3VudGFpbjsKVXNlcyBNYXRoOwpjb25zdAogICAgTUFYTiA9IDEwMDAwNTsKCnZhcgogICAgQU5TLCBOLCBpLCBqLCBtYXhNb3VudGFpbkxlbmd0aCA6IExvbmdJbnQ7CiAgICBQLCBsZWZ0TElTLCByaWdodExJUywgcmltb3NzbyAgOiBBcnJheVswLi5NQVhOLTFdIG9mIExvbmdJbnQ7CiAgICBjcmVzY2VudGU6Ym9vbGVhbjsKYmVnaW4KCiAgICAoKmFzc2lnbihpbnB1dCwgICdpbnB1dC50eHQnKTsgIHJlc2V0KGlucHV0KTsKICAgIGFzc2lnbihvdXRwdXQsICdvdXRwdXQudHh0Jyk7IHJld3JpdGUob3V0cHV0KTsqKQoKICAgIFJlYWRMbihOKTsKCiAgICBmb3IgaTo9MCB0byBOLTEgZG8KICAgICAgICBSZWFkKFBbaV0pOwogICAgUmVhZExuKCk7CiAgICAKICAgIEFOUyA6PSAwOwoKCSgqbGVmdExJU1tpXSBzdG9yZXMgdGhlIGxlbmd0aCBvZiBsb25nZXN0IGluY3JlYXNpbmcgc3Vic2VxdWVuY2UgZW5kaW5nIGF0IGluZGV4IGkqKQoJKCpyaWdodExJU1tpXSBzdG9yZXMgdGhlIGxlbmd0aCBvZiBsb25nZXN0IGRlY3JlYXNpbmcgc3Vic2VxdWVuY2Ugc3RhcnRpbmcgYXQgaW5kZXggaSopCgogICBmb3IgaTo9MCB0byAgTi0xIGRvIGJlZ2luIGxlZnRMSVNbaV06PTE7IHJpZ2h0TElTW2ldOj0xOyByaW1vc3NvW2ldOj0wOyBlbmQ7CgoJKCpDYWxjdWxhdGUgTElTIGZyb20gbGVmdCB0byByaWdodCBmb3IgZWFjaCBwb3NpdGlvbiopCiAgIGZvciBpOj0xIHRvIE4tMiBkbyBpZiAgKFBbaV08UFtpLTFdKSBhbmQgKFBbaV08UFtpKzFdKSB0aGVuIHJpbW9zc29baV06PTE7IAogICBmb3IgaSA6PSAxIHRvIE4tMSBkbwogICAgICAgICBpZiAocmltb3Nzb1tpXT0wKSB0aGVuIAogICAgICAgICAgICAgZm9yIGo6PSAwIHRvIGktMSBkbwogICAgICAgICAgICAgICAgYmVnaW4KICAgICAgICAgICAgICAgICAgaWYgKHJpbW9zc29bal09MCkgYW5kIChQW2ldID4gUFtqXSkgdGhlbiBsZWZ0TElTW2ldIDo9IG1heChsZWZ0TElTW2ldLCBsZWZ0TElTW2pdICsgMSk7ICAgICAgICAgICAgICAgICAgICAgICAgICAKICAgICAgICAgICAgICAgIGVuZDsgIAogIAoJKCogQ2FsY3VsYXRlIExJUyBmcm9tIHJpZ2h0IHRvIGxlZnQgKGRlY3JlYXNpbmcgc3Vic2VxdWVuY2UpIGZvciBlYWNoIHBvc2l0aW9uKikKCiAgIGZvciBpIDo9IE4gLSAyIGRvd250byAwIGRvCiAgICAgICAgaWYgKHJpbW9zc29baV09MCkgdGhlbiAKICAgICAgICAgICAgZm9yICBqIDo9IGkgKyAxIHRvIE4tMSBkbwogICAgICAgICAgICAgICBiZWdpbgogICAgICAgICAgICAgICAgaWYgKHJpbW9zc29bal09MCkgYW5kIChQW2ldID4gUFtqXSkgdGhlbiByaWdodExJU1tpXSA6PSBtYXgocmlnaHRMSVNbaV0sIHJpZ2h0TElTW2pdICsgMSk7ICAgICAgICAgICAgICAgIAoJICAgICAgIGVuZDsKICAgCiAgICAgICAgKCogRmluZCB0aGUgbWF4aW11bSBsZW5ndGggb2YgbW91bnRhaW4gc3Vic2VxdWVuY2UqKQogICBtYXhNb3VudGFpbkxlbmd0aCA6PSAwOwogICBmb3IgaSA6PSAwIHRvIE4tMSBkbwoJKCpBIHZhbGlkIG1vdW50YWluIHBlYWsgbXVzdCBoYXZlIGF0IGxlYXN0IG9uZSBlbGVtZW50IG9uIGJvdGggc2lkZXMqKQoJKCpsZWZ0TElTW2ldID4gMSBlbnN1cmVzIHRoZXJlJ3MgYXQgbGVhc3Qgb25lIGVsZW1lbnQgYmVmb3JlIHBlYWsqKQoJKCpyaWdodExJU1tpXSA+IDEgZW5zdXJlcyB0aGVyZSdzIGF0IGxlYXN0IG9uZSBlbGVtZW50IGFmdGVyIHBlYWsqKQogICBpZiAobGVmdExJU1tpXSA+PSAxKSBhbmQgKHJpZ2h0TElTW2ldID49IDEpICB0aGVuCiAgCSgqVG90YWwgbW91bnRhaW4gbGVuZ3RoIHdpdGggcGVhayBhdCBpIFN1YnRyYWN0IDEgYmVjYXVzZSBwZWFrIGlzIGNvdW50ZWQgaW4gYm90aCBsZWZ0TElTIGFuZCByaWdodExJUyopCiAgICAgICAgIG1heE1vdW50YWluTGVuZ3RoIDo9IG1heChtYXhNb3VudGFpbkxlbmd0aCwgbGVmdExJU1tpXSArIHJpZ2h0TElTW2ldIC0gMSk7CiAJKCogTWluaW11bSByZW1vdmFscyA9IHRvdGFsIGVsZW1lbnRzIC0gbWF4aW11bSBtb3VudGFpbiBsZW5ndGgqKQogICBBTlM6PSBOIC0gbWF4TW91bnRhaW5MZW5ndGg7IAogIAogICBXcml0ZUxuKEFOUyk7CmVuZC4=