折半搜索补题报告

世界冰球锦标赛

题目描述

今年的世界冰球锦标赛在捷克举行。Bobek 已经抵达布拉格，他不是任何团队的粉丝，也没有时间观念。他只是单纯的想去看几场比赛。如果他有足够的钱，他会去看所有的比赛。不幸的是，他的财产十分有限，他决定把所有财产都用来买门票。

给出 Bobek 的预算和每场比赛的票价，试求：如果总票价不超过预算，他有多少种观赛方案。如果存在以其中一种方案观看某场比赛而另一种方案不观看，则认为这两种方案不同。

输入描述

第一行，两个正整数 N 和 M(1≤N≤40,1≤M≤10^​18​​)，表示比赛的个数和 Bobek 那家徒四壁的财产。

第二行，N 个以空格分隔的正整数，均不超过 10^16，代表每场比赛门票的价格。

输出描述

输出一行，表示方案的个数。由于 N 十分大，注意：答案 ≤2^​40​​。

#include<bits/stdc++.h>
using namespace std;
long long n,m,k,ans;
long long t[45];
long long a[1500005];
long long cnt;
void dfs(int x,int n,long long sum,int f){
    if(sum>m){
        return ;
    }
    if(x>n){
        if(f==0){
            a[++cnt]=sum;
        }
        else{
            ans=ans+upper_bound(a+1,a+1+cnt,m-sum)-a-1;
        }
        return ;
    }
    dfs(x+1,n,sum,f);
    dfs(x+1,n,sum+t[x],f);
}
int main(){
    cin>>n>>m;
    k=n/2;
    for(int i=1;i<=n;i++){
        cin>>t[i];
    }
    dfs(1,k,0,0);
    sort(a+1,a+1+cnt);
    dfs(k+1,n,0,1);
    cout<<ans;
    return 0;
} 

XOR

题目描述

给出一个 n×m 的网格，每个格子上有权值 a[i][j]，现在小可要从 (1,1)(1,1) 走到(n,m)，每次只能向右或向下走。

计算路径上的权值的异或和，求异或和等于k的路径数。

输入描述

第一行包含三个整数 n,m,k(1≤n,m≤20,0≤k≤10^​18​​)。
接下来 n 行，每行包含 m 个整数，表示方格上的权值。

输出描述

一个整数，代表异或和等于K的路径数。

#include<bits/stdc++.h>
using namespace std;
long long n,m,k,tot,ans;
long long a[25][25];
map<pair<pair<int,int>,int>,int>mp; 
void dfs1(int x,int y,int step,int sum){    
    sum=sum^a[x][y];
    if(step>=tot/2){
        mp[make_pair(make_pair(x,y),sum)]++;
        return ;
    }
    if(x+1<=n){
        dfs1(x+1,y,step+1,sum);
    }
    if(y+1<=m){
        dfs1(x,y+1,step+1,sum);
    }
    return ;
}
void dfs2(int x,int y,int step,int sum){
    if(step>tot){
        ans=ans+mp[make_pair(make_pair(x,y),k^sum)];
        return ;
    }
    if(x-1>=1){
        dfs2(x-1,y,step+1,sum^a[x][y]);
    }
    if(y-1>=1){
        dfs2(x,y-1,step+1,sum^a[x][y]);
    }
    return ;
}
int main(){
    cin>>n>>m>>k;
    for(int i=1;i<=n;i++){
        for(int j=1;j<=m;j++){
            cin>>a[i][j];
        }
    }
    tot=n+m-2;
    dfs1(1,1,0,0);
    dfs2(n,m,tot/2+1,0);
    cout<<ans;
    return 0;
}