ZOJ 4086 Little Sub and a Game (一月月赛 F)

题意: 分别给定 n n n对数字对 ( A i x , A i y ) (A_i^x,A_i^y) (Aix,Aiy),和 m m m ( B i x , B i y ) (B_i^x,B_i^y) (Bix,Biy)。有两个人,第一个人 A A A从每对 ( A i x , A i y ) (A_i^x,A_i^y) (Aix,Aiy)中选一个数字取异或和,即 A x o r = A 0 x ∣ y ⊗ A 1 x ∣ y ⊗ ⋯ ⊗ A n x ∣ y A_{xor}=A_0^{x|y} \otimes A_1^{x|y} \otimes \dots \otimes A_n^{x|y} Axor=A0xyA1xyAnxy,另一个人 B B B从每对 ( B i x , B i y ) (B_i^x,B_i^y) (Bix,Biy)中选取一个数字取异或和,即 B x o r = B 0 x ∣ y ⊗ B 1 x ∣ y ⊗ ⋯ ⊗ B m x ∣ y B_{xor}=B_0^{x|y} \otimes B_1^{x|y} \otimes \dots \otimes B_m^{x|y} Bxor=B0xyB1xyBmxy,最后得到一个数字 a n s = A x o r ⊗ B x o r ans=A_{xor}\otimes B_{xor} ans=AxorBxor A A A希望 a n s ans ans尽可能大, B B B希望 a n s ans ans尽可能小。双方选择均为最优,ans值应该是多少。

分析: 因为所有的数字对对 A , B A,B A,B都是透明的,所以 a n s ans ans值是唯一的。

  1. 首先这个问题并不是一个朴素的线性基问题。我们需要通过某种转换方法之后,使得它能使用线性基解决。首先构造 A x o r ′ = A 0 x ⊗ A 1 x ⊗ ⋯ ⊗ A n x A_{xor}^{'}=A_0^x\otimes A_1^x\otimes \dots \otimes A_n^x Axor=A0xA1xAnx。我们先将假设每次都取了 A i x A_i^x Aix,然后通过判断是否要异或上 A i ′ = A i x ⊗ A i y A_i^{'}=A_i^x\otimes A_i^y Ai=AixAiy来选择是选择 A i x A_i^x Aix还是 A i y A_i^y Aiy。如, A x o r ′ ⊗ A i ′ = A 0 x ⊗ ⋯ ⊗ A i y ⊗ ⋯ ⊗ A n x A_{xor}^{'}\otimes A_i^{'}=A_0^{x}\otimes \dots \otimes A_i^{y} \otimes \dots \otimes A_n^{x} AxorAi=A0xAiyAnx。那么我们可以对集合 { A 0 ′ , A 1 ′ , … , A n ′ } \{ A_0^{'},A_1^{'},\dots,A_n^{'}\} {A0,A1,,An}构造线性基 P A = { P A 0 , P A 1 , … , P A 63 } \boldsymbol{PA}=\{PA_0,PA_1,\dots,PA_{63}\} PA={PA0,PA1,,PA63}.其中, P A i PA_i PAi为最高位在 i i i上的基。同理可以对 { B 0 ′ , … , B m ′ } \{B_0^{'},\dots,B_m^{'}\} {B0,,Bm}构造出线性基 P B = { P B 0 , P B 1 , … , P B 63 } \boldsymbol{PB}=\{PB_0,PB_1,\dots,PB_{63}\} PB={PB0,PB1,,PB63}.

  2. 我们首先得到一个 a n s ′ = A x o r ′ ⊗ B x o r ′ ans'=A_{xor}^{'}\otimes B_{xor}^{'} ans=AxorBxor。 接下来要做的是根据 P A , P B \boldsymbol{PA,PB} PA,PB来使得 a n s ′ ans' ans满足题目要求。因为线性基的性质,我们从高位开始判断。我们用 a n s ′ [ i ] ans'[i] ans[i]表示 a n s ′ ans' ans在第 i i i位上是 0 , 1 0,1 0,1。那么对于第 i i i位来说,存在以下8中情况。用 ( a n s ′ [ i ] , P A i , P B i ) (ans'[i],PA_i,PB_i) (ans[i],PAi,PBi)来表示。其中,如果 P A i PA_i PAi不为0,表示 P A i PA_i PAi能够控制当前位置上是 0 0 0还是 1 1 1. P B i PB_i PBi同理。

    • ( 0 , 0 , 0 ) (0,0,0) (0,0,0) P A i , P B i PA_i,PB_i PAi,PBi均没有控制能力,跳过。
    • ( 0 , 0 , 1 ) (0,0,1) (0,0,1) P B i PB_i PBi有控制能力,因为 B B B希望 a n s ′ ans' ans越小越好,且当前 a n s ′ [ i ] ans'[i] ans[i]已经是 0 0 0,所以 P B i PB_i PBi不会修改这个位置上的值。
    • ( 0 , 1 , 0 ) (0,1,0) (0,1,0) P A i PA_i PAi有控制能力,因为 A A A希望 a n s ′ ans' ans越大越好,且当前 a n s ′ [ i ] ans'[i] ans[i] 0 0 0,所以 P A i PA_i PAi会这个位置上的0变成1,即 a n s ′ = a n s ′ ⊗ P A i ans'=ans'\otimes PA_i ans=ansPAi
    • ( 0 , 1 , 1 ) (0,1,1) (0,1,1),均有控制能力,稍后分析。
    • ( 1 , 0 , 0 ) (1,0,0) (1,0,0) P A i , P B i PA_i,PB_i PAi,PBi均没有控制能力,跳过。
    • ( 1 , 0 , 1 ) (1,0,1) (1,0,1) P B i PB_i PBi有控制能力,因为 B B B希望 a n s ′ ans' ans越小越好,且当前 a n s ′ [ i ] ans'[i] ans[i]已经是 1 1 1,所以 P B i PB_i PBi会修改这个位置上的值,即 a n s ′ = a n s ′ ⊗ P B i ans'=ans'\otimes PB_i ans=ansPBi
    • ( 1 , 1 , 0 ) (1,1,0) (1,1,0) P A i PA_i PAi有控制能力,因为 A A A希望 a n s ′ ans' ans越大越好,且当前 a n s ′ [ i ] ans'[i] ans[i] 1 1 1,所以 P A i PA_i PAi不会修改当前位置。
    • ( 1 , 1 , 1 ) (1,1,1) (1,1,1),均有控制能力,稍后分析。
  3. 除了 4 , 8 4,8 4,8两种情况,其他情况均很显然。重点是如何处理 4 , 8 4,8 4,8这两种情况。对于第 4 4 4种情况,无论我们是否要将 P A i PA_i PAi异或到 a n s ′ ans' ans上, P B i PB_i PBi均要采用同样的操作。所以我们可以发现,对于当前这一位我们要么异或上 P A i , P B i PA_i,PB_i PAi,PBi,要么两个都不异或。我们发现这个时候 P A i PA_i PAi实际上并没有被使用。我们把 P A i PA_i PAi从线性基删去。然后构造一个新的变量 P A B i = P A i ⊗ P B i PAB_{i}=PA_i\otimes PB_i PABi=PAiPBi,将 P A B i PAB_{i} PABi插入线性基 P A \boldsymbol{PA} PA。这样,如果选取了 P A B i PAB_{i} PABi,那么说明 A A A P A i PA_i PAi异或上 a n s ′ ans' ans,那么 P B i PB_i PBi也要异或上,反之则均不取。

  4. 第8种情况是4的特例,我们只需要先将 a n s ′ = a n s ′ ⊗ P A i ans'=ans'\otimes PA_i ans=ansPAi,那么情况 ( 1 , 1 , 1 ) (1,1,1) (1,1,1)就变成了 ( 0 , 1 , 1 ) (0,1,1) (0,1,1).

#include <cstdio>
#include <iostream>
#include <cstring>
#include <cctype>
#include <string>
#include <string.h>
#include <algorithm>
#include <cmath>
#include <stack>
#include <vector>
#include <map>
#include <fstream>
#include <set>
#include <ctime>
#include <queue>
#include <cstdlib>
#include <fstream>
#define sp system("pause")
#define lc(x) (x<<1)
#define rc(x) (x<<1|1)

using namespace std;

typedef long long ll;
typedef pair<int, int> pii;
typedef pair<ll, ll>pll;

const int MAXN = 1e7;

using namespace std;
ll ans = 0;
int n, m;
ll pa[100], pb[100];
vector<pll>va, vb;
vector<ll>v;
int up = 63;
void getxor(vector<ll> &v, ll p[])
{
  for (int i = 0; i <= up; i++)p[i] = 0;
  for (auto &i : v)
  {
    for (int j = up; j >= 0; j--)
    {
      if ((1LL << j)&i)
      {
        if (!p[j]) { p[j] = i; break; }
        else i ^= p[j];
      }
    }
  }
}

void insertxor(ll i, ll p[])
{
  for (int j = up; j >= 0; j--)
  {
    if ((1LL << j)&i)
    {
      if (!p[j]) { p[j] = i; break; }
      else i ^= p[j];
    }
  }
}

int main()
{
  int T;
  cin >> T;
  while (T--)
  {
    ans = 0;
    scanf("%d%d", &n, &m);
    v.clear();
    for (int i = 0; i < n; i++)
    {
      ll x, y;
      scanf("%lld%lld", &x, &y);
      ans ^= x;
      v.push_back(x^y);
    }
    getxor(v, pa);
    v.clear();
    for (int i = 0; i < m; i++)
    {
      ll x, y;
      scanf("%lld%lld", &x, &y);
      ans ^= x;
      v.push_back(x^y);
    }
    getxor(v, pb);
    for (int i = up; i >= 0; i--)
    {
      if (pa[i] == 0 && pb[i] == 0)continue;
      if (pa[i] == 0 && pb[i] != 0)
      {
        if ((ans & (1LL << i)))ans ^= pb[i];
      }
      if (pa[i] != 0 && pb[i] == 0)
      {
        if (!(ans & (1LL << i)))ans ^= pa[i];
      }
      if (pa[i] != 0 && pb[i] != 0)
      {
        if ((ans&(1LL << i)))ans ^= pa[i];
        //pa[i] = 0;
        insertxor(pa[i] ^ pb[i], pa);
      }
    }
    printf("%lld\n", ans);
  }
}

/*
2 3
1 5
4 6
2 3
4 8
6 4
*/
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值