HDU 4786 Fibonacci Tree(生成树，YY乱搞)

http://acm.hdu.edu.cn/showproblem.php?pid=4786

Fibonacci Tree
Time Limit: 4000/2000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)
Total Submission(s): 1733    Accepted Submission(s): 543

Problem Description

　　Coach Pang is interested in Fibonacci numbers while Uncle Yang wants him to do some research on Spanning Tree. So Coach Pang decides to solve the following problem:

　　Consider a bidirectional graph G with N vertices and M edges. All edges are painted into either white or black. Can we find a Spanning Tree with some positive Fibonacci number of white edges?

(Fibonacci number is defined as 1, 2, 3, 5, 8, ... )

Input

　　The first line of the input contains an integer T, the number of test cases.

　　For each test case, the first line contains two integers N(1 <= N <= 10⁵) and M(0 <= M <= 10⁵).

　　Then M lines follow, each contains three integers u, v (1 <= u,v <= N, u<> v) and c (0 <= c <= 1), indicating an edge between u and v with a color c (1 for white and 0 for black).

Output

　　For each test case, output a line “Case #x: s”. x is the case number and s is either “Yes” or “No” (without quotes) representing the answer to the problem.

Sample Input

2
4 4
1 2 1
2 3 1
3 4 1
1 4 0
5 6
1 2 1
1 3 1
1 4 1
1 5 1
3 5 1
4 2 1

Sample Output

Case #1: Yes
Case #2: No

Source

2013 Asia Chengdu Regional Contest

题意：

给出一个无向图，每条边都已染色（黑/白），问是否存在生成树，该生成树的白色边的数量是正的fibonacci数。

分析：

所给数据中黑边为0，白边为1，那么生成树的白边数量即为生成树的权和。

然后YY了一个做法：求其最小和最大生成树，如果在这个范围内存在fibonacci数则存在。

靠谱的证明方法一直没想出来，这里随便解释下：

对于任意一颗非最大生成树，一定可以取一条白边换一条黑边使其仍然是一颗树。

/*
 *
 * Author : fcbruce
 *
 * Time : Mon 06 Oct 2014 01:06:30 PM CST
 *
 */
#include <cstdio>
#include <iostream>
#include <sstream>
#include <cstdlib>
#include <algorithm>
#include <ctime>
#include <cctype>
#include <cmath>
#include <string>
#include <cstring>
#include <stack>
#include <queue>
#include <list>
#include <vector>
#include <map>
#include <set>
#define sqr(x) ((x)*(x))
#define LL long long
#define itn int
#define INF 0x3f3f3f3f
#define PI 3.1415926535897932384626
#define eps 1e-10

#ifdef _WIN32
  #define lld "%I64d"
#else
  #define lld "%lld"
#endif

#define maxm 100007
#define maxn 100007

using namespace std;

int fib[maxn];
struct _edge
{
  int u,v,w;
  bool operator < (const _edge &_)const
  {
    return w<_.w;
  }
}edge[maxm];

int pre[maxn];

int root(int x)
{
  if (x==pre[x]) return x;
  return pre[x]=root(pre[x]);
}

bool same(int x,int y)
{
  return root(x)==root(y);
}

void _merge(itn x,int y)
{
  pre[root(x)]=root(y);
}

int cnt,fib_cnt;

int main()
{
#ifdef FCBRUCE
  freopen("/home/fcbruce/code/t","r",stdin);
#endif // FCBRUCE

  int T_T,__=0;
  scanf("%d\n",&T_T);

  fib[0]=1;
  fib[1]=1;
  fib_cnt=2;
  for (int i=2;;i++)
  {
    fib[i]=fib[i-1]+fib[i-2];
    fib_cnt++;
    if (fib[i]>100000) break;
  }

  while (T_T--)
  {
    printf("Case #%d: ",++__);
    int n,m;
    scanf("%d%d",&n,&m);
    for (int i=1;i<=n;i++) pre[i]=i;
    cnt=n;
    for (int i=0,u,v,w;i<m;i++)
    {
      scanf("%d%d%d",&u,&v,&w);
      if (!same(u,v)) {_merge(u,v);cnt--;}
      edge[i]=(_edge){u,v,w};
    }

    if (cnt!=1)
    {
      printf("No\n");
      continue;
    }

    sort(edge,edge+m);

    for (int i=1;i<=n;i++) pre[i]=i;
    int MIN=0;
    cnt=n;
    for (int i=0,u,v,w;i<m;i++)
    {
      u=edge[i].u;v=edge[i].v;w=edge[i].w;
      if (!same(u,v))
      {
        _merge(u,v);
        MIN+=w;
        cnt--;
        if (cnt==1) break;
      }
    }

    for (int i=1;i<=n;i++) pre[i]=i;
    int MAX=0;
    cnt=n;
    for (int i=m-1,u,v,w;i>=0;i--)
    {
      u=edge[i].u;v=edge[i].v;w=edge[i].w;
      if (!same(u,v))
      {
        _merge(u,v);
        MAX+=w;
        cnt--;
        if (cnt==1) break;
      }
    }

    int idmin=lower_bound(fib,fib+fib_cnt,MIN)-fib;
    int idmax=lower_bound(fib,fib+fib_cnt,MAX)-fib;

    if (fib[idmin]!=MIN && fib[idmax]!=MAX && idmin==idmax)
      puts("No");
    else
      puts("Yes");

  }

  return 0;
}