//...dfs退出条件,随手写了一个res==n,最后花了42分钟,找这个,res==k //两个数组一个用来保存完整输入,一个用来保存没有输入的(1...n中没有输入的数) //dfs到底之后才会进入下一个,不用担心vector遍历混乱的问题,与bfs区分 //然后这道题算入门难度中高的了,回溯,全排列,递归和dfs
#include<vector>
#include<map>
using namespace std;
class solution
{
vector<int> vt;
vector<int> book;
map<int,bool> mp;
int k;
int n;
int count_for_k()
{
int count = 0;
for(int i=0;i<n-1;i++)
for(int j=i+1;j<n;j++)
if(vt[i]<vt[j]) count++;
return count;
}
public:
int res = 0;
solution(vector<int> vt_,vector<int> book_,int k_)
{
vt = vt_;
n = vt.size();
book = book_;
k = k_;
}
void dfs(int step)
{
if(step==n)
{
if(count_for_k()==k) res++;
return;
}
if(vt[step]!=0)
dfs(step+1);
else
{
for(int num:book)
{
if(!mp[num])
{
mp[num] = true;
vt[step] = num;
dfs(step+1);
mp[num] = false;
vt[step] = 0;
}
}
}
}
};
int main(void)
{
int n,k;
while(cin>>n>>k)
{
int tmp;
vector<int> vt(n);
vector<int> book;
map<int,bool> mp;
for(int i=0;i<n;i++)
{
cin>>vt[i];
mp[vt[i]]=true;
}
for(int i=1;i<=n;i++)
if(!mp[i]) book.push_back(i);
solution s(vt,book,k);
s.dfs(0);
cout<<s.res<<endl;
}
return 0;
}