• BZOJ3569: DZY Loves Chinese II(线性基构造)


    Description

    神校XJ之学霸兮,Dzy皇考曰JC。
    摄提贞于孟陬兮,惟庚寅Dzy以降。
    纷Dzy既有此内美兮,又重之以修能。
    遂降临于OI界,欲以神力而凌♂辱众生。
     
    今Dzy有一魞歄图,其上有N座祭坛,又有M条膴蠁边。
    时而Dzy狂WA而怒发冲冠,神力外溢,遂有K条膴蠁边灰飞烟灭。
    而后俟其日A50题则又令其复原。(可视为立即复原)
    然若有祭坛无法相互到达,Dzy之神力便会大减,于是欲知其是否连通。

    Input

    第一行N,M
    接下来M行x,y:表示M条膴蠁边,依次编号
    接下来一行Q
    接下来Q行:
    每行第一个数K而后K个编号c1~cK:表示K条边,编号为c1~cK
    为了体现在线,c1~cK均需异或之前回答为连通的个数

    Output

    对于每个询问输出:连通则为‘Connected’,不连通则为‘Disconnected’
    (不加引号)

    Sample Input

    5 10
    2 1
    3 2
    4 2
    5 1
    5 3
    4 1
    4 3
    5 2
    3 1
    5 4
    5
    1 1
    3 7 0 3
    4 0 7 4 6
    2 2 7
    4 5 0 2 13

    Sample Output

    Connected
    Connected
    Connected
    Connected
    Disconnected

    解题思路:

    考虑到将原图不连通必须切断一个点的所有联通方式

    那么可以想到用一种方式来使多个元素互相抵消。

    这些元素就是连同一个点的所有边。

    那么使这些遍抵消的方式就是让一条边与其他异或和为0

    这就需要线性无关组了。

    Dfs出一颗树。

    将非树边的每一条边rand上一个权值,

    那么这条边能做出贡献的位置就是Dfs树上祖先的位置。

    那么就向上更新,在树边处的答案就是后面相关边的异或和

    最后在查询时暴力插入线性无关组中,

    若出现异或和为0的情况就是所有相关的边都被删除了。

    就是不连通了。

    代码:

      1 #include<ctime>
      2 #include<cstdio>
      3 #include<cstring>
      4 #include<cstdlib>
      5 #include<algorithm>
      6 void ade(int f,int t,int no);
      7 typedef long long lnt;
      8 struct pnt{
      9     int hd;
     10     int fa;
     11     lnt val;
     12 }p[100010];
     13 struct ent{
     14     int twd;
     15     int lst;
     16     int blg;
     17 }e[3000000];
     18 struct edge{
     19     int f,t;
     20     lnt val;
     21     bool vis;
     22     void Insert(int no)
     23     {
     24         scanf("%d%d",&f,&t);
     25         ade(f,t,no);
     26         ade(t,f,no);
     27     }
     28 }ede[1000000];
     29 lnt b[65];
     30 int n,m;
     31 int cnt;
     32 int Q;
     33 int lstans;
     34 void ade(int f,int t,int no)
     35 {
     36     cnt++;
     37     e[cnt].twd=t;
     38     e[cnt].blg=no;
     39     e[cnt].lst=p[f].hd;
     40     p[f].hd=cnt;
     41     return ;
     42 }
     43 void B_(int x,int f)
     44 {
     45     p[x].fa=f;
     46     for(int i=p[x].hd;i;i=e[i].lst)
     47     {
     48         int to=e[i].twd;
     49         if(p[to].fa)continue;
     50         ede[e[i].blg].vis=true;
     51         B_(to,x);
     52     }
     53     return ;
     54 }
     55 void C_(int x,int f)
     56 {
     57     for(int i=p[x].hd;i;i=e[i].lst)
     58     {
     59         int to=e[i].twd;
     60         if(p[to].fa==x);else continue;
     61         C_(to,x);
     62         ede[e[i].blg].val^=p[to].val;
     63         p[x].val^=p[to].val;
     64     }
     65     return ;
     66 }
     67 bool Insert(lnt x)
     68 {
     69     for(int i=62;i>=0;i--)
     70     {
     71         if(x&(1ll<<i))
     72         {
     73             if(b[i]==0)
     74             {
     75                 b[i]=x;
     76                 return true;
     77             }else x^=b[i];
     78         }
     79     }
     80     if(!x)return false;
     81     return true;
     82 }
     83 int main()
     84 {
     85 //    freopen("a.in","r",stdin);
     86     srand(time(NULL));
     87     scanf("%d%d",&n,&m);
     88     for(int i=1;i<=m;i++)ede[i].Insert(i);
     89     B_(1,1);
     90     for(int i=1;i<=m;i++)
     91     {
     92         if(ede[i].vis)continue;
     93         ede[i].val=rand()+1;
     94         p[ede[i].f].val^=ede[i].val;
     95         p[ede[i].t].val^=ede[i].val;
     96     }
     97     C_(1,1);
     98     scanf("%d",&Q);
     99     while(Q--)
    100     {
    101         int k;bool flag=false;
    102         scanf("%d",&k);
    103         memset(b,0,sizeof(b));
    104         for(int i=1;i<=k;i++)
    105         {
    106             int x;
    107             scanf("%d",&x);x^=lstans;
    108             if(!Insert(ede[x].val))flag=true;
    109         }
    110         if(flag)
    111         {
    112             puts("Disconnected");
    113         }else{
    114             puts("Connected");
    115             lstans++;
    116         }
    117     }
    118     return 0;
    119 }
  • 相关阅读:
    容易遗忘的配置
    linux中启动Zookeeper
    Linux中设置静态ip地址
    IDEA中工程上传到SVN
    Invalid bound statement(not found):cn.e3mall.mapper.TbItemMapper.selectByExample.....
    获取不到jdbc.driver的值解决办法
    idea中applicationContext-trans.xml中的Cannot resolve bean 'dataSource'...的问题解决
    idea中applicationContext-dao.xml文件中Cannot resolve file***** :spring xml model validation问题
    如何在IDEA中导入一个普通的java工程
    Navicate for mysql如何导入一个sql文件
  • 原文地址:https://www.cnblogs.com/blog-Dr-J/p/10306395.html
Copyright © 2020-2023  润新知