Problem:


Score : 700 points

Problem Statement

Snuke has a permutation (P_0,P_1,\cdots,P_{N-1}) of (0,1,\cdots,N-1).

Now, he will perform the following operation exactly once:

Choose K consecutive elements in P and sort them in ascending order.

Find the number of permutations that can be produced as P after the operation.

Constraints

2 \leq N \leq 200000

2 \leq K \leq N

0 \leq P_i \leq N-1

P_0,P_1,\cdots,P_{N-1} are all different.

All values in input are integers.

Input

Input is given from Standard Input in the following format:

N K
P_0 P_1 \cdots P_{N-1}

Output

Print the number of permutations that can be produced as P after the operation.

Sample Input 1

5 3
0 2 1 4 3

Sample Output 1

2

Two permutations can be produced as P after the operation: (0,1,2,4,3) and (0,2,1,3,4).

Sample Input 2

4 4
0 1 2 3

Sample Output 2

1

Sample Input 3

10 4
2 0 1 3 7 5 4 6 8 9

Sample Output 3

6



Sample input:
5 3
0 2 1 4 3


Sample output:
2

Submission status: Wrong Answer

Solution code:

import sys
sys.setrecursionlimit(10**8)
input = sys.stdin.readline

N, K = map(int,input().split())
P = list(map(int,input().split()))

# 点更新，区間クエリ
class SegTree:
    # n : 元の配列の長さ
    # init_list: 元の配列
    # segfunc : 載せる関数（演算）
    # ide_ele : segfuncの単位元
        
    def __init__(self, n, init_list ,segfunc, ide_ele):
        #　num : 2**num >= n となる最小の整数 （葉の数）
        # seg : segtreeのリスト
        self.num = 2**((n-1).bit_length())
        self.seg = [ide_ele]*(2*self.num)
        self.segfunc = segfunc
        self.ide_ele = ide_ele
        # 葉の要素をセット
        for i in range(n):
            self.seg[i+self.num-1] = init_list[i]        
        # segtreeの構築
        for i in range(self.num-2, -1, -1):
            self.seg[i] = segfunc(self.seg[2*i+1],self.seg[2*i+2])
        
        #memo: 要素iの子ノードは要素2*i+1, 2*i+2
        #    : 要素iの親ノードは要素(i-1)//2
        
    # 要素の更新 (init_list[k]=x)
    def update(self,k,x):
        k += self.num-1 #葉のノードのインデックス
        self.seg[k] = x
        #末端から頂点まで更新
        while k:
            k = (k-1)//2
            self.seg[k] = self.segfunc(self.seg[2*k+1], self.seg[2*k+2])
     
    # 区間クエリ （区間[l,r)に対する演算結果）
    def query(self, l,r):
        if r<=l:
            return self.ide_ele
        
        l += self.num-1 #葉のノードのインデックス
        r += self.num-2 #半開区間から閉区間へ
        ret = self.ide_ele
        
        while r-l>1:
            if l&1 == 0:
                ret = self.segfunc(ret,self.seg[l])
            
            if r&1 == 1:
                ret = self.segfunc(ret,self.seg[r])
                r -= 1
            # 親ノードへ遷移
            l = l//2
            r = (r-1)//2
        if r==l:
            ret = self.segfunc(ret, self.seg[r])
        else:
            ret = self.segfunc(ret, self.seg[l])
            ret = self.segfunc(ret, self.seg[r])
        
        return ret
            
def segfunc(x,y):
    return min(x,y)
INF = 10**9
segtree = SegTree(N, P, segfunc, INF)
from queue import Queue 

zouka = [1]
num = 1
for i in range(N-1):
    if P[i+1]>P[i]:
        num += 1
    else:
        num = 1
    zouka.append(num)


mini = INF
maxi = 0
q = Queue()
for p in P[:K]:
    mini = min(mini, p)
    maxi = max(maxi, p)
    q.put(p)

ans = 1
m = 0
for i in range(1, N-K+1):
    remove = q.get()
    q.put(P[i+K-1])

    if zouka[i+K-1]-zouka[i] == K-1:
        m += 1
        if P[i+K-1]>maxi:
            maxi = P[i+K-1]
        if mini == remove:
            mini = segtree.query(i, i+K-1)
        continue

    if P[i+K-1]>maxi and remove==mini:
        maxi = P[i+K-1]
        mini = segtree.query(i, i+K-1)
    else:
        ans += 1
        if P[i+K-1]>maxi:
            maxi = P[i+K-1]
        if mini == remove:
            mini = segtree.query(i, i+K-1)
if zouka[K-1]-zouka[0] == K-1:
    m += 1

if K<N and m>=1:
    ans += 1


print(max(1,ans))

Submission status: Wrong Answer

Solution code:
from operator import add


class SegTree():
    def __init__(self, N, e, operator_func=add):
        self.e = e # 単位元
        self.size = N
        self.node = [self.e] * (2*N)
        self.operator_func = operator_func # 処理(add or xor max minなど)

    def set_list(self, l):
        for i in range(self.size):
            self.node[i+self.size-1] = l[i]
        for i in range(self.size-1)[::-1]:
            self.node[i] = self.operator_func(self.node[2*i+1], self.node[2*i+2])
    
    def update(self, k, x):
        k += self.size-1
        self.node[k] = x
        while k >= 0:
            k = (k - 1) // 2
            self.node[k] = self.operator_func(self.node[2*k+1], self.node[2*k+2])

    def get(self, l, r):
        # [l, r) についてqueryを求める
        x = self.e
        l += self.size
        r += self.size

        while l<r:
            if l&1:
                x = self.operator_func(x, self.node[l-1])
                l += 1
            if r&1:
                r -= 1
                x = self.operator_func(x, self.node[r-1])
            l >>= 1
            r >>= 1
        return x


N, K = map(int, input().split())
*P, = map(int, input().split())
INF = 10**12

tree1 = SegTree(N, -INF, operator_func=max)
tree1.set_list(P)
tree2 = SegTree(N, INF, operator_func=min)
tree2.set_list(P)

l, r = 0, 0
ans = N-K+1
while 0<=l<=r<r+K<N:
    if l+K>r and P[r+1]>P[r] and P[r+K]>P[r+K-1]:
        r+=1
        if tree1.get(l, r) <= tree2.get(r, l+K) <= tree1.get(r, l+K) <= tree2.get(l+K, r+K):
            ans -= 1
    else:
        r+=1
        l=r

l, r = 0, 0
isOrig = False
while 0<=l<=r<N:
    if r+1<N and P[r+1]>P[r]:
        r += 1
        if r-l+1>=K:
            ans -= 1
            isOrig = True
    else:
        r += 1
        l = r

if isOrig:
    ans += 1

print(ans)

Submission status: Wrong Answer

Solution code:
from operator import add


class SegTree():
    def __init__(self, N, e, operator_func=add):
        self.e = e # 単位元
        self.size = N
        self.node = [self.e] * (2*N)
        self.operator_func = operator_func # 処理(add or xor max minなど)

    def set_list(self, l):
        for i in range(self.size):
            self.node[i+self.size-1] = l[i]
        for i in range(self.size-1)[::-1]:
            self.node[i] = self.operator_func(self.node[2*i+1], self.node[2*i+2])
    
    def update(self, k, x):
        k += self.size-1
        self.node[k] = x
        while k >= 0:
            k = (k - 1) // 2
            self.node[k] = self.operator_func(self.node[2*k+1], self.node[2*k+2])

    def get(self, l, r):
        # [l, r) についてqueryを求める
        x = self.e
        l += self.size
        r += self.size

        while l<r:
            if l&1:
                x = self.operator_func(x, self.node[l-1])
                l += 1
            if r&1:
                r -= 1
                x = self.operator_func(x, self.node[r-1])
            l >>= 1
            r >>= 1
        return x


N, K = map(int, input().split())
*P, = map(int, input().split())
INF = 10**12

tree1 = SegTree(N, -INF, operator_func=max)
tree1.set_list(P)
tree2 = SegTree(N, INF, operator_func=min)
tree2.set_list(P)

l, r = 0, 0
ans = N-K+1
while 0<=l<=r<r+K<N:
    if P[r+1]>P[r] and P[r+K]>P[r+K-1]:
        r+=1
        if tree1.get(l, r) <= tree2.get(r, l+K) <= tree1.get(r, l+K) <= tree2.get(l+K, r+K):
            ans -= 1
    else:
        r+=1
        l=r

l, r = 0, 0
isOrig = False
while 0<=l<=r<N:
    if r+1<N and P[r+1]>P[r]:
        r += 1
        if r-l+1>=K:
            ans -= 1
            isOrig = True
    else:
        r += 1
        l = r

if isOrig:
    ans += 1

print(ans)

Submission status: Wrong Answer

Solution code:
n,k = map(int,input().split())
P = list(map(int,input().split()))

ans = 0
s = set(P[:k-1])
if min(s) != P[0] or max(s)!= P[k-2]:
  ans += 1  
  
for i in range(n-k+1):
  tmp = 0  
  if max(s) > P[i]:
    tmp = 1
  s.add(P[i+k-1])        
  s.remove(P[i])
  ans += tmp
print(ans)

Submission status: Wrong Answer

Solution code:
from collections import deque
n,k=map(int,input().split())
a=list(map(int,input().split()))
j=deque([])
ans=0
streak=1
j.append(a[0])
flag=0
for i in range(1,k):
  if a[i]>j[-1]:
    streak+=1
  else:
    streak=1
  j.append(a[i])
if streak>=k:
  flag=1
else:
  ans+=1
currentmax=max(j)
currentmin=min(j)

for i in range(k,n):
  l=j.popleft()
  r=a[i]
  if r>j[-1]:
    streak+=1
  else:
    streak=1
  j.append(r)
  if not(l==currentmin and r>currentmax):
    if streak>=k:
      flag=1
    else:
      ans+=1
  if l==currentmin:
    currentmin=min(j)
  if r>currentmax:
    currentmax=r
if flag==1:
  ans+=1
print(ans)

Submission status: Wrong Answer

Solution code:
from collections import deque
n,k=map(int,input().split())
a=list(map(int,input().split()))
j=deque([])
ans=0
streak=1
j.append(a[0])
for i in range(1,k):
  if a[i]>j[-1]:
    streak+=1
  else:
    streak=1
  j.append(a[i])
if streak>=k:
  flag=1
else:
  ans+=1
currentmax=max(j)
currentmin=min(j)
flag=0
for i in range(k,n):
  l=j.popleft()
  r=a[i]
  if r>j[-1]:
    streak+=1
  else:
    streak=1
  j.append(r)
  if not(l==currentmin and r>currentmax):
    if streak>=k:
      flag=1
    else:
      ans+=1
  if l==currentmin:
    currentmin=min(j)
  if r>currentmax:
    currentmax=max(j)
if flag==1:
  ans+=1
print(ans)

Submission status: Wrong Answer

Solution code:
from collections import deque
n,k=map(int,input().split())
a=list(map(int,input().split()))
j=deque([])
ans=1
streak=0
j.append(a[0])
for i in range(1,k):
  if a[i]>j[-1]:
    streak+=1
  else:
    streak=0
  j.append(a[i])
currentmax=max(j)
currentmin=min(j)
flag=0
for i in range(k,n):
  l=j.popleft()
  r=a[i]
  if r>j[-1]:
    streak+=1
  else:
    streak=1

  j.append(r)
  if not(l==currentmin and r>currentmax):
    if streak>=k-1:
      flag=1
    else:
      ans+=1
if flag==1:
  ans+=1
print(ans)

Submission status: Wrong Answer

Solution code:
from collections import deque
n,k=map(int,input().split())
a=list(map(int,input().split()))
j=deque([])
ans=1
streak=0
j.append(a[0])
for i in range(1,k):
  if a[i]>j[-1]:
    streak+=1
  else:
    streak=0
  j.append(a[i])
currentmax=max(j)
currentmin=min(j)
flag=0
for i in range(k,n):
  l=j.popleft()
  r=a[i]
  if r>j[-1]:
    streak+=1
  else:
    streak=1

  j.append(r)
  if not(l==currentmin and r>currentmax):
    if streak>=k-1:
      flag=1
    else:
      ans+=1
  currentmin=min(j)
  currentmax=max(j)
if flag==1:
  ans+=1
print(ans)

Submission status: Wrong Answer

Solution code:
from collections import deque
n,k=map(int,input().split())
a=list(map(int,input().split()))
j=deque([])
ans=1
streak=1
j.append(a[0])
for i in range(1,k):
  if a[i]>j[-1]:
    streak+=1
  else:
    streak=1
  j.append(a[i])
currentmax=max(j)
currentmin=min(j)
flag=0
for i in range(k,n):
  l=j.popleft()
  r=a[i]
  if r>j[-1]:
    streak+=1
  else:
    streak=1
  j.append(r)
  if not(l==currentmin and r>currentmax):
    if streak>=k:
      flag=1
    else:
      ans+=1
  currentmin=min(j)
  currentmax=max(j)
if flag==1:
  ans+=1
print(ans)

Submission status: Wrong Answer

Solution code:

import sys
sys.setrecursionlimit(10**8)
input = sys.stdin.readline

N, K = map(int,input().split())
P = list(map(int,input().split()))

# 点更新，区間クエリ
class SegTree:
    # n : 元の配列の長さ
    # init_list: 元の配列
    # segfunc : 載せる関数（演算）
    # ide_ele : segfuncの単位元
        
    def __init__(self, n, init_list ,segfunc, ide_ele):
        #　num : 2**num >= n となる最小の整数 （葉の数）
        # seg : segtreeのリスト
        self.num = 2**((n-1).bit_length())
        self.seg = [ide_ele]*(2*self.num)
        self.segfunc = segfunc
        self.ide_ele = ide_ele
        # 葉の要素をセット
        for i in range(n):
            self.seg[i+self.num-1] = init_list[i]        
        # segtreeの構築
        for i in range(self.num-2, -1, -1):
            self.seg[i] = segfunc(self.seg[2*i+1],self.seg[2*i+2])
        
        #memo: 要素iの子ノードは要素2*i+1, 2*i+2
        #    : 要素iの親ノードは要素(i-1)//2
        
    # 要素の更新 (init_list[k]=x)
    def update(self,k,x):
        k += self.num-1 #葉のノードのインデックス
        self.seg[k] = x
        #末端から頂点まで更新
        while k:
            k = (k-1)//2
            self.seg[k] = self.segfunc(self.seg[2*k+1], self.seg[2*k+2])
     
    # 区間クエリ （区間[l,r)に対する演算結果）
    def query(self, l,r):
        if r<=l:
            return self.ide_ele
        
        l += self.num-1 #葉のノードのインデックス
        r += self.num-2 #半開区間から閉区間へ
        ret = self.ide_ele
        
        while r-l>1:
            if l&1 == 0:
                ret = self.segfunc(ret,self.seg[l])
            
            if r&1 == 1:
                ret = self.segfunc(ret,self.seg[r])
                r -= 1
            # 親ノードへ遷移
            l = l//2
            r = (r-1)//2
        if r==l:
            ret = self.segfunc(ret, self.seg[r])
        else:
            ret = self.segfunc(ret, self.seg[l])
            ret = self.segfunc(ret, self.seg[r])
        
        return ret
            
def segfunc(x,y):
    return min(x,y)
INF = 10**9
segtree = SegTree(N, P, segfunc, INF)
from queue import Queue 

zouka = [1]
num = 1
for i in range(N-1):
    if P[i+1]>P[i]:
        num += 1
    else:
        num = 1
    zouka.append(num)


mini = INF
maxi = 0
q = Queue()
for p in P[:K]:
    mini = min(mini, p)
    maxi = max(maxi, p)
    q.put(p)

ans = 1
m = 0
cflag = False
for i in range(1, N-K+1):
    remove = q.get()
    q.put(P[i+K-1])

    if zouka[i+K-1]-zouka[i] == K-1:
        m += 1
        if P[i+K-1]>maxi:
            maxi = P[i+K-1]
        if mini == remove:
            mini = segtree.query(i, i+K-1)
        continue

    if P[i+K-1]>maxi and remove==mini:
        if cflag:
            ans += 1
            cflag = False
        maxi = P[i+K-1]
        mini = segtree.query(i, i+K-1)
    else:
        cflag = True
        ans += 1
        if P[i+K-1]>maxi:
            maxi = P[i+K-1]
        if mini == remove:
            mini = segtree.query(i, i+K-1)

if m>=1:
    ans += 1

if zouka[K-1]-zouka[0] == K-1:
    ans -= 1
print(max(1,ans))

Submission status: Wrong Answer

Solution code:

import sys
sys.setrecursionlimit(10**8)
input = sys.stdin.readline

N, K = map(int,input().split())
P = list(map(int,input().split()))

# 点更新，区間クエリ
class SegTree:
    # n : 元の配列の長さ
    # init_list: 元の配列
    # segfunc : 載せる関数（演算）
    # ide_ele : segfuncの単位元
        
    def __init__(self, n, init_list ,segfunc, ide_ele):
        #　num : 2**num >= n となる最小の整数 （葉の数）
        # seg : segtreeのリスト
        self.num = 2**((n-1).bit_length())
        self.seg = [ide_ele]*(2*self.num)
        self.segfunc = segfunc
        self.ide_ele = ide_ele
        # 葉の要素をセット
        for i in range(n):
            self.seg[i+self.num-1] = init_list[i]        
        # segtreeの構築
        for i in range(self.num-2, -1, -1):
            self.seg[i] = segfunc(self.seg[2*i+1],self.seg[2*i+2])
        
        #memo: 要素iの子ノードは要素2*i+1, 2*i+2
        #    : 要素iの親ノードは要素(i-1)//2
        
    # 要素の更新 (init_list[k]=x)
    def update(self,k,x):
        k += self.num-1 #葉のノードのインデックス
        self.seg[k] = x
        #末端から頂点まで更新
        while k:
            k = (k-1)//2
            self.seg[k] = self.segfunc(self.seg[2*k+1], self.seg[2*k+2])
     
    # 区間クエリ （区間[l,r)に対する演算結果）
    def query(self, l,r):
        if r<=l:
            return self.ide_ele
        
        l += self.num-1 #葉のノードのインデックス
        r += self.num-2 #半開区間から閉区間へ
        ret = self.ide_ele
        
        while r-l>1:
            if l&1 == 0:
                ret = self.segfunc(ret,self.seg[l])
            
            if r&1 == 1:
                ret = self.segfunc(ret,self.seg[r])
                r -= 1
            # 親ノードへ遷移
            l = l//2
            r = (r-1)//2
        if r==l:
            ret = self.segfunc(ret, self.seg[r])
        else:
            ret = self.segfunc(ret, self.seg[l])
            ret = self.segfunc(ret, self.seg[r])
        
        return ret
            
def segfunc(x,y):
    return min(x,y)
INF = 10**9
segtree = SegTree(N, P, segfunc, INF)
from queue import Queue 

mini = INF
maxi = 0
q = Queue()
for p in P[:K]:
    mini = min(mini, p)
    maxi = max(maxi, p)
    q.put(p)

ans = 0
cflag = True
for i in range(1, N-K+1):
    remove = q.get()
    q.put(P[i+K-1])
    if P[i]>maxi and remove==mini:
        if cflag:
            ans += 1
            cflag = False
        maxi = P[i]
        mini = segtree.query(i, K-1)
    else:
        cflag = True
        ans += 1
        if P[i]>maxi:
            maxi = P[i]
        if mini == remove:
            mini = segtree.query(i, K-1)

print(max(ans, 1))

Submission status: Wrong Answer

Solution code:
import bisect
n, k = map(int, input().split())
p = list(map(int, input().split()))

ans = 1
tmp = p[:(k+1)]
tmp.sort()
for i in range(n-k):
    if i > 0:
        x = bisect.bisect_left(tmp, p[i-1])
        tmp.pop(x)
        b = bisect.bisect_left(tmp, p[i+k])
        tmp.insert(b, p[i+k])

    if not(tmp[0] == p[i] and tmp[-1] == p[i+k]):
        ans += 1

print(ans)

Submission status: Wrong Answer

Solution code:
import sys
input = sys.stdin.readline

def I(): return int(input())
def MI(): return map(int, input().split())
def LI(): return list(map(int, input().split()))

def main():
    mod=10**9+7
    inf=10**6
    N,K=MI()
    P=LI()
    inf=10**6
    class SegTree:
        def __init__(self,N,ide,segfunc=min):
            self.ide_ele = ide
            """
            ex)
             最小値のセグ木 → +inf
              和のセグ木 → 0
              積のセグ木 → 1
              gcdのセグ木 → 0
            """
            
            self.segfunc=segfunc
            
            #num:N以上の最小の2のべき乗
            self.num =2**(N-1).bit_length()
            self.seg=[self.ide_ele]*2*self.num




        #リストで初期化する
        def setL(self,init_val):
            #init_valは操作する数列
            for i in range(N):
                self.seg[i+self.num-1]=init_val[i]    
            #built
            for i in range(num-2,-1,-1) :
                self.seg[i]=self.segfunc(self.seg[2*i+1],self.seg[2*i+2]) 


        #k番目の値をxに更新
        def update(self,k,x):
            k += self.num-1
            self.seg[k] = x
            while k:
                k = (k-1)//2
                self.seg[k] = self.segfunc(self.seg[k*2+1],self.seg[k*2+2])


        #[p,q)の区間に対するクエリへの応答
        def query(self,p,q):
            if q<=p:
                return self.ide_ele
            p += self.num-1
            q += self.num-2
            res=self.ide_ele
            while q-p>1:
                if p&1 == 0:
                    res = self.segfunc(res,self.seg[p])
                if q&1 == 1:
                    res = self.segfunc(res,self.seg[q])
                    q -= 1
                p = p//2
                q = (q-1)//2
            if p == q:
                res = self.segfunc(res,self.seg[p])
            else:
                res = self.segfunc(self.segfunc(res,self.seg[p]),self.seg[q])
            return res



    
    """
    長さKの尺取りぽく見るか．
    最小値が抜けて最大値が入る場合は不変．
    ただし，並び替え後も元の物と変わらない場合を何度かカウントしそう．
    事前に（元から昇順になっている長さKの列）の個数を数えておこうか．
    後からこれを引くのはダメ，事前に計算しておかないと，すでに照準になっているものを数えているのか数えていないのか不明になる．
    
    これは簡単に求まる．次が自分以上なら1をつけて，長さKの尺取りで和がKならおk．
    累積和の方が実装が楽かなあ
    """
    ans=1#最初のK個を並び替えたものは無条件で数える
    mseg=SegTree(N,inf,min)
    Mseg=SegTree(N,0,max)
    
    #累積和パート
    S=[0]*(N+1)
    P.append(inf)
    for i in range(N):
        if P[i]<P[i+1]:
            S[i+1]=1
            
    for i in range(N):
        S[i+1]+=S[i]
    
    m=min(P[:K])
    M=max(P[:K])
    cnt=0#最初と同じ配列のものを何回数えたか
    if S[K]==K:#最初のKこを並び替えたものを1回とすでに数えてしまっているのでチェック
        cnt+=1
        
    for i in range(K,N):
        if m==P[i-K] and P[i]>M:
            m=mseg.query(i-K+1,i+1)
            M=P[i]
        else:
            M=Mseg.query(i-K+1,i+1)
            #print(i,S[i],S[i-K])
            if cnt==0:
                ans+=1
            elif S[i]-S[i-K]!=K:
                ans+=1
                #print(i)
            if S[i]-S[i-K]==K:
                cnt+=1
        
    

 

            
    print(ans)
    #print(S)

main()

Submission status: Wrong Answer

Solution code:
import sys
input = sys.stdin.readline

def I(): return int(input())
def MI(): return map(int, input().split())
def LI(): return list(map(int, input().split()))

def main():
    mod=10**9+7
    inf=10**6
    N,K=MI()
    P=LI()
    inf=10**6
    class SegTree:
        def __init__(self,N,ide,segfunc=min):
            self.ide_ele = ide
            """
            ex)
             最小値のセグ木 → +inf
              和のセグ木 → 0
              積のセグ木 → 1
              gcdのセグ木 → 0
            """
            
            self.segfunc=segfunc
            
            #num:N以上の最小の2のべき乗
            self.num =2**(N-1).bit_length()
            self.seg=[self.ide_ele]*2*self.num




        #リストで初期化する
        def setL(self,init_val):
            #init_valは操作する数列
            for i in range(N):
                self.seg[i+self.num-1]=init_val[i]    
            #built
            for i in range(num-2,-1,-1) :
                self.seg[i]=self.segfunc(self.seg[2*i+1],self.seg[2*i+2]) 


        #k番目の値をxに更新
        def update(self,k,x):
            k += self.num-1
            self.seg[k] = x
            while k:
                k = (k-1)//2
                self.seg[k] = self.segfunc(self.seg[k*2+1],self.seg[k*2+2])


        #[p,q)の区間に対するクエリへの応答
        def query(self,p,q):
            if q<=p:
                return self.ide_ele
            p += self.num-1
            q += self.num-2
            res=self.ide_ele
            while q-p>1:
                if p&1 == 0:
                    res = self.segfunc(res,self.seg[p])
                if q&1 == 1:
                    res = self.segfunc(res,self.seg[q])
                    q -= 1
                p = p//2
                q = (q-1)//2
            if p == q:
                res = self.segfunc(res,self.seg[p])
            else:
                res = self.segfunc(self.segfunc(res,self.seg[p]),self.seg[q])
            return res



    
    """
    長さKの尺取りぽく見るか．
    最小値が抜けて最大値が入る場合は不変．
    ただし，並び替え後も元の物と変わらない場合を何度かカウントしそう．
    事前に（元から昇順になっている長さKの列）の個数を数えておこうか．
    後からこれを引くのはダメ，事前に計算しておかないと，すでに照準になっているものを数えているのか数えていないのか不明になる．
    
    これは簡単に求まる．次が自分以上なら1をつけて，長さKの尺取りで和がKならおk．
    累積和の方が実装が楽かなあ
    """
    ans=1#最初のK個を並び替えたものは無条件で数える
    mseg=SegTree(N,inf,min)
    Mseg=SegTree(N,0,max)
    
    #累積和パート
    S=[0]*(N+1)
    P.append(inf)
    for i in range(N):
        if P[i]<P[i+1]:
            S[i+1]=1
            
    for i in range(N):
        S[i+1]+=S[i]
    
    m=min(P[:K])
    M=max(P[:K])
    cnt=0#最初と同じ配列のものを何回数えたか
    if S[K]==K:#最初のKこを並び替えたものを1回とすでに数えてしまっているのでチェック
        cnt+=1
        
    for i in range(K,N):
        if m==P[i-K] and P[i]>M:
            m=mseg.query(i-K+1,i+1)
            M=P[i]
        else:
            M=Mseg.query(i-K+1,i+1)
            #print(i,S[i],S[i-K])
            if cnt==0:
                ans+=1
            elif S[i]-S[i-K]!=K:
                ans+=1
                #print(i)
            cnt+=1
        
    

 

            
    print(ans)
    #print(S)

main()

Submission status: Wrong Answer

Solution code:
import sys
input = sys.stdin.readline

def I(): return int(input())
def MI(): return map(int, input().split())
def LI(): return list(map(int, input().split()))

def main():
    mod=10**9+7
    inf=10**6
    N,K=MI()
    P=LI()
    inf=10**6
    class SegTree:
        def __init__(self,N,ide,segfunc=min):
            self.ide_ele = ide
            """
            ex)
             最小値のセグ木 → +inf
              和のセグ木 → 0
              積のセグ木 → 1
              gcdのセグ木 → 0
            """
            
            self.segfunc=segfunc
            
            #num:N以上の最小の2のべき乗
            self.num =2**(N-1).bit_length()
            self.seg=[self.ide_ele]*2*self.num




        #リストで初期化する
        def setL(self,init_val):
            #init_valは操作する数列
            for i in range(N):
                self.seg[i+self.num-1]=init_val[i]    
            #built
            for i in range(num-2,-1,-1) :
                self.seg[i]=self.segfunc(self.seg[2*i+1],self.seg[2*i+2]) 


        #k番目の値をxに更新
        def update(self,k,x):
            k += self.num-1
            self.seg[k] = x
            while k:
                k = (k-1)//2
                self.seg[k] = self.segfunc(self.seg[k*2+1],self.seg[k*2+2])


        #[p,q)の区間に対するクエリへの応答
        def query(self,p,q):
            if q<=p:
                return self.ide_ele
            p += self.num-1
            q += self.num-2
            res=self.ide_ele
            while q-p>1:
                if p&1 == 0:
                    res = self.segfunc(res,self.seg[p])
                if q&1 == 1:
                    res = self.segfunc(res,self.seg[q])
                    q -= 1
                p = p//2
                q = (q-1)//2
            if p == q:
                res = self.segfunc(res,self.seg[p])
            else:
                res = self.segfunc(self.segfunc(res,self.seg[p]),self.seg[q])
            return res



    
    """
    長さKの尺取りぽく見るか．
    最小値が抜けて最大値が入る場合は不変．
    ただし，並び替え後も元の物と変わらない場合を何度かカウントしそう．
    事前に（元から昇順になっている長さKの列）の個数を数えておこうか．
    後からこれを引くのはダメ，事前に計算しておかないと，すでに照準になっているものを数えているのか数えていないのか不明になる．
    
    これは簡単に求まる．次が自分以上なら1をつけて，長さKの尺取りで和がKならおk．
    累積和の方が実装が楽かなあ
    """
    ans=1
    mseg=SegTree(N,inf,min)
    Mseg=SegTree(N,0,max)
    
    #累積和パート
    S=[0]*(N+1)
    P.append(inf)
    for i in range(N):
        if P[i]<P[i+1]:
            S[i+1]=1
            
    for i in range(N):
        S[i+1]+=S[i]
    
    m=min(P[:K])
    M=max(P[:K])
    cnt=0
    for i in range(K,N):
        if m==P[i-K] and P[i]>M:
            m=mseg.query(i-K+1,i+1)
            M=P[i]
        else:
            M=Mseg.query(i-K+1,i+1)
            #print(i,S[i+1],S[i-K])
            cnt+=1
            if cnt==0:
                ans+=1
            elif S[i]-S[i-K]!=K:
                ans+=1
                #print(i)
        
    

 

            
    print(ans)
    #print(S)

main()

Submission status: Wrong Answer

Solution code:
import sys
input = sys.stdin.readline

def I(): return int(input())
def MI(): return map(int, input().split())
def LI(): return list(map(int, input().split()))

def main():
    mod=10**9+7
    inf=10**6
    N,K=MI()
    P=LI()
    inf=10**6
    class SegTree:
        def __init__(self,N,ide,segfunc=min):
            self.ide_ele = ide
            """
            ex)
             最小値のセグ木 → +inf
              和のセグ木 → 0
              積のセグ木 → 1
              gcdのセグ木 → 0
            """
            
            self.segfunc=segfunc
            
            #num:N以上の最小の2のべき乗
            self.num =2**(N-1).bit_length()
            self.seg=[self.ide_ele]*2*self.num




        #リストで初期化する
        def setL(self,init_val):
            #init_valは操作する数列
            for i in range(N):
                self.seg[i+self.num-1]=init_val[i]    
            #built
            for i in range(num-2,-1,-1) :
                self.seg[i]=self.segfunc(self.seg[2*i+1],self.seg[2*i+2]) 


        #k番目の値をxに更新
        def update(self,k,x):
            k += self.num-1
            self.seg[k] = x
            while k:
                k = (k-1)//2
                self.seg[k] = self.segfunc(self.seg[k*2+1],self.seg[k*2+2])


        #[p,q)の区間に対するクエリへの応答
        def query(self,p,q):
            if q<=p:
                return self.ide_ele
            p += self.num-1
            q += self.num-2
            res=self.ide_ele
            while q-p>1:
                if p&1 == 0:
                    res = self.segfunc(res,self.seg[p])
                if q&1 == 1:
                    res = self.segfunc(res,self.seg[q])
                    q -= 1
                p = p//2
                q = (q-1)//2
            if p == q:
                res = self.segfunc(res,self.seg[p])
            else:
                res = self.segfunc(self.segfunc(res,self.seg[p]),self.seg[q])
            return res



    
    """
    長さKの尺取りぽく見るか．
    最小値が抜けて最大値が入る場合は不変．
    ただし，並び替え後も元の物と変わらない場合を何度かカウントしそう．
    事前に（元から昇順になっている長さKの列）の個数を数えておこうか．
    これは簡単に求まる．次が自分以上なら1をつけて，長さKの尺取りで和がKならおk．
    累積和の方が実装が楽かなあ
    """
    ans=1
    mseg=SegTree(N,inf,min)
    Mseg=SegTree(N,0,max)
    
    m=min(P[:K])
    M=max(P[:K])
    for i in range(K,N):
        if m==P[i-K] and P[i]>M:
            m=mseg.query(i-K+1,i+1)
            M=P[i]
        else:
            M=Mseg.query(i-K+1,i+1)
            ans+=1
        
    S=[0]*(N+1)
    
    for i in range(N-1):
        if P[i]<P[i+1]:
            l=i
            r=min(N,i+K)
            S[l]+=1
            S[r]-=1
            
    cnt=0
    for i in range(N):
        S[i+1]+=S[i]
        if S[i+1]>=K:
            cnt+=1
            
    if cnt>=2:
        ans-=(cnt-1)

            
    print(ans)

main()