[关闭]
@Jerusalem 2016-02-14T12:21:28.000000Z 字数 974 阅读 1140

Solution

Vol7


BZOJ1116

解决的关键是定理:有解的充分必要条件是任意节点所在的联通分量都有至少一个环。

先证充分性,假设目前的联通分量有且仅有一个极大环,极大环自身上的点显然有解,然后我们将所有和极大环相连的点所依靠的那条边我们都改为指向环外点。于是剩下的变成了很多棵树, 且根节点已经解决了入度问题, 然后将所有边改为指向子节点即可。对于不仅有一个环的情况,归纳法即可。

再证必要性,假设目前的联通分量没有环,则其是树,考虑根节点,必然有其个子节点指向它,取该子节点继续讨论,最后会归纳于某个叶子节点,而叶子节点是找不到子节点指向它的。

于是问题就很简单了,我们维护每一个节点所在的联通分量是否有环即可,这一步我们用并查集维护。

  1. #include <cstdio>
  2. #include <cstdlib>
  3. #include <cmath>
  4. #include <cstring>
  5. #include <algorithm>
  6. #include <iostream>
  7. using namespace std;
  8. int fa[100005];
  9. bool can[100005];
  10. int n,m;
  11. int find(int a)
  12. {
  13. if(fa[a]!=a)
  14. fa[a]=find(fa[a]);
  15. return fa[a];
  16. }
  17. void Readdata()
  18. {
  19. freopen("loli.in","r",stdin);
  20. scanf("%d%d",&n,&m);
  21. for(int i=1;i<=n;i++)
  22. fa[i]=i;
  23. memset(can,false,sizeof(can));
  24. int a,b;
  25. for(int i=1;i<=m;i++){
  26. scanf("%d%d",&a,&b);
  27. int fx=find(a),fy=find(b);
  28. if(fx==fy)
  29. can[fx]=true;
  30. else{
  31. fa[fx]=fy;
  32. can[fy]|=can[fx];
  33. }
  34. }
  35. }
  36. void Solve()
  37. {
  38. for(int i=1;i<=n;i++){
  39. int fx=find(i);
  40. if(!can[fx]){
  41. printf("NIE\n");
  42. return;
  43. }
  44. }
  45. printf("TAK\n");
  46. }
  47. void Close()
  48. {
  49. fclose(stdin);
  50. fclose(stdout);
  51. }
  52. int main()
  53. {
  54. Readdata();
  55. Solve();
  56. Close();
  57. return 0;
  58. }
添加新批注
在作者公开此批注前,只有你和作者可见。
回复批注