1. 题目

传送门=￣ω￣=

2. 题解

首先如果暴搜，150⁶ 的复杂度显然要 gg
那么就中途相遇即可。
首先移项，把右边的 n/2 个项移动到等号右边，这些项的系数全部都乘以-1 就行了
然后用 dfs 枚举等号左边 n/2 个未知数的值，复杂度 150³。把搜出来的等号左边的项的总和保存在哈希表里。
再 dfs 枚举等号右边 n/2 个未知数的值，复杂度也是 150³。每次搜出一个总和就去哈希表里查这个值出现了多少次，加到答案里。
于是问题就解决了。
然而丧心病狂的出题人居然卡内存。。。
用 mapMLE，用 pb_dsMLE，用 vector 搞链式哈希，哈希大小大了 MLE，小了 TLE
呵呵
我就是不手写链表！
最后灵机一动。

窝搞双特征值哈希！
就是搞两个不同的素数当作模数，哈希表搞二位的，第一维是查找的值对第一个素数取模的结果，第二维是查找的值对第二个素数取模的结果。
这两个素数都不用太大，我选的是 233 和 1523。
然后解决冲突是用的链式哈希。
然后就过了

代码：

#include <bits/stdc++.h>
#define M1 (233)
#define M2 (1523)
using namespace std;
typedef pair<int,int> PII;
int n,m,mid,k[10],p[10],ans;
vector<PII> htab[M1][M2];
void add(int a)
{
    int r1=(a%M1+M1)%M1,r2=(a%M2+M2)%M2;
    for(vector<PII>::iterator i=htab[r1][r2].begin();i!=htab[r1][r2].end();i++)
        if(i->first==a){i->second++;return;}
    htab[r1][r2].push_back(make_pair(a,1));
}
int hfind(int a)
{
    int r1=(a%M1+M1)%M1,r2=(a%M2+M2)%M2;
    for(vector<PII>::iterator i=htab[r1][r2].begin();i!=htab[r1][r2].end();i++)
        if(i->first==a)return i->second;
    return 0;
}
void dfs1(int a,int tot)
{
    if(a>mid){add(-tot);return;}
    for(int i=1;i<=m;i++)dfs1(a+1,tot+k[a]*pow(i,p[a]));
}
void dfs2(int a,int tot)
{
    if(a>n){ans+=hfind(tot);return;}
    for(int i=1;i<=m;i++)dfs2(a+1,tot+k[a]*pow(i,p[a]));
}
int main()
{
    scanf("%d%d",&n,&m),mid=n>>1;
    for(int i=1;i<=n;i++)scanf("%d%d",&k[i],&p[i]);
    dfs1(1,0),dfs2(mid+1,0),printf("%d\n",ans);
    return 0;
}