HDU 5573 Binary Tree(构造技巧)

Binary Tree

Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/65536 K (Java/Others)
Total Submission(s): 1615    Accepted Submission(s): 960
Special Judge

Problem Description

The Old Frog King lives on the root of an infinite tree. According to the law, each node should connect to exactly two nodes on the next level, forming a full binary tree.

Since the king is professional in math, he sets a number to each node. Specifically, the root of the tree, where the King lives, is 1. Say froot=1.

And for each node u, labels as fu, the left child is fu×2 and right child is fu×2+1. The king looks at his tree kingdom, and feels satisfied.

Time flies, and the frog king gets sick. According to the old dark magic, there is a way for the king to live for another N years, only if he could collect exactly N soul gems.

Initially the king has zero soul gems, and he is now at the root. He will walk down, choosing left or right child to continue. Each time at node x, the number at the node is fx (remember froot=1), he can choose to increase his number of soul gem by fx, or decrease it by fx.

He will walk from the root, visit exactly K nodes (including the root), and do the increasement or decreasement as told. If at last the number is N, then he will succeed.

Noting as the soul gem is some kind of magic, the number of soul gems the king has could be negative.

Given N, K, help the King find a way to collect exactly N soul gems by visiting exactly K nodes.

 

Input

First line contains an integer T, which indicates the number of test cases.

Every test case contains two integers N and K, which indicates soul gems the frog king want to collect and number of nodes he can visit.

⋅ 1≤T≤100.

⋅ 1≤N≤109.

⋅ N≤2K≤260.

 

Output

For every test case, you should output " Case #x:" first, where x indicates the case number and counts from 1.

Then K lines follows, each line is formated as 'a b', where a is node label of the node the frog visited, and b is either '+' or '-' which means he increases / decreases his number by a.

It's guaranteed that there are at least one solution and if there are more than one solutions, you can output any of them.

 

Sample Input

2 5 3 10 4

 

Sample Output

Case #1: 1 + 3 - 7 + Case #2: 1 + 3 + 6 - 12 +

 

Source

2015ACM/ICPC亚洲区上海站-重现赛（感谢华东理工）

 

Recommend

wange2014   |   We have carefully selected several similar problems for you:   6297  6296  6295  6294  6293 

#include <algorithm>
#include <iostream>
#include<vector>
#include<cstring>
#include<stdio.h>
#define maxn 100005
using namespace std;
long long n,m;
/*
脑子是个好东西。。
可惜。我没有
构造思维，在路径上负号形成的二进制数
是n的排列数位。。。
*/
int main()
{
    int t;scanf("%d",&t);
    for(int i=1;i<=t;i++)
    {
        scanf("%ld%ld",&n,&m);
        printf("Case #%d:\n",i);
        bool flag=true;
        if(n&1)
        {
            n=n/2+1;
            flag=false;
        }
        else n>>=1;
        long long bt=( 1<<(m-1) )-n;
        long long tmp=1;
        for(int i=0;i<m-1;i++)
        {
            printf("%ld ",tmp);
            if(bt&1) puts("-");
            else puts("+");
            bt>>=1;
            tmp<<=1;
        }
        if(flag) tmp++;
        printf("%ld ",tmp);
        if(bt&1) puts("-");
        else puts("+");
    }
    return 0;
}