容斥是ans= 至少k位置相等对数C(k,k)-至少k+1位置相等对数C(k+1,k)+至少k+2位置相等对数*C(k+2,k) ……
然后对数的话2^6枚举状态然后用hash表统计即可
至于为什么要乘上一个组合数，详见 https://www.cnblogs.com/candy99/p/6616809.html
我理解的是，因为是枚举状态统计，所以会重复计算C(k+i,k)次
#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
using namespace std;
const int N=100005,mod=2150527;
int n,m,a[N][10],h[N*30],vis[N*30],c[10][10];
struct qwe
{
int ne,to,sm;
long long va;
}e[N*30];
long long clc(int s)
{
long long ans=0,cnt=0;
for(int i=1;i<=n;i++)
{
long long tmp=0;
int j,k;
for(j=1;j<=6;j++)
if(s&(1<<(j-1)))
tmp=tmp*1000003+a[i][j];
j=(tmp%mod+mod)%mod;
if(vis[j]!=s)
{
vis[j]=s;
h[j]=0;
}
for(k=h[j];k;k=e[k].ne)
if(e[k].va==tmp)
{
ans+=e[k].sm;
e[k].sm++;
break;
}
if(!k)
{
cnt++;
e[cnt].va=tmp;
e[cnt].sm=1;
e[cnt].ne=h[j];
h[j]=cnt;
}
}
return ans;
}
int main()
{
scanf("%d%d",&n,&m);
for(int i=1;i<=n;i++)
for(int j=1;j<=6;j++)
scanf("%d",&a[i][j]);
c[0][0]=1;
for(int i=1;i<=6;i++)
{
c[i][0]=1;
for(int j=1;j<=i;j++)
c[i][j]=c[i-1][j-1]+c[i-1][j];
}
long long ans=0;
for(int i=0;i<64;i++)
{
int cnt=0;
for(int j=0;j<6;j++)
if(i&(1<<j))
cnt++;
if(cnt<m)
continue;
ans+=(((cnt-m)&1)?-1:1)*clc(i)*c[cnt][m];
}
printf("%lld
",ans);
return 0;
}