HDU 2514 Another Eight Puzzle(DFS)

题目链接

Problem Description

Fill the following 8 circles with digits 1~8,with each number exactly once . Conntcted circles cannot be filled with two consecutive numbers.
There are 17 pairs of connected cicles:
A-B , A-C, A-D
B-C, B-E, B-F
C-D, C-E, C-F, C-G
D-F, D-G
E-F, E-H
F-G, F-H
G-H

Filling G with 1 and D with 2 (or G with 2 and D with 1) is illegal since G and D are connected and 1 and 2 are consecutive .However ,filling A with 8 and B with 1 is legal since 8 and 1 are not consecutive .

In this problems,some circles are already filled,your tast is to fill the remaining circles to obtain a solution (if possivle).

 

Input

The first line contains a single integer T(1≤T≤10),the number of test cases. Each test case is a single line containing 8 integers 0~8,the numbers in circle A~H.0 indicates an empty circle.

 

Output

For each test case ,print the case number and the solution in the same format as the input . if there is no solution ,print “No answer”.If there more than one solution,print “Not unique”.

 

Sample Input

3
7 3 1 4 5 8 0

0 7 0 0 0 0 0 0

0
1 0 0 0 0 0 0 0

 

Sample Output

Case 1: 7 3 1 4 5 8 6 2

Case 2: Not unique

Case 3: No answer

 

题解：类似数独问题，将8个数字填入图中，连线两端的数字不能连续，因为线有17条，所以check函数写得非常长，其他的跟一般的DFS题目没有大区别，就是其他的题目只需恢复标记数组，而这个题目还需要恢复填写数字的数组。

 

#include <cstdio>
#include <iostream>
#include <string>
#include <sstream>
#include <cstring>
#include <stack>
#include <queue>
#include <algorithm>
#include <cmath>
#include <map>
#define PI acos(-1.0)
#define ms(a) memset(a,0,sizeof(a))
#define msp memset(mp,0,sizeof(mp))
#define msv memset(vis,0,sizeof(vis))
using namespace std;
//#define LOCAL
int sign[];
int mp[];
int ans,res[];
bool check(int n)
{
    switch(n)
    {
    case :
    {
        if(abs(mp[]-mp[])==)return ;
        return ;
    }
    case :
    {
        if(abs(mp[]-mp[])==)return ;
        if(abs(mp[]-mp[])==)return ;
        return ;
    }
    case :
    {
        if(abs(mp[]-mp[])==)return ;
        if(abs(mp[]-mp[])==)return ;
        return ;
    }
    case :
    {
        if(abs(mp[]-mp[])==)return ;
        if(abs(mp[]-mp[])==)return ;
        return ;
    }
    case :
    {
        if(abs(mp[]-mp[])==)return ;
        if(abs(mp[]-mp[])==)return ;
        if(abs(mp[]-mp[])==)return ;
        if(abs(mp[]-mp[])==)return ;
        return ;
    }
    case :
    {
        if(abs(mp[]-mp[])==)return ;
        if(abs(mp[]-mp[])==)return ;
        if(abs(mp[]-mp[])==)return ;
        return ;
    }
    case :
    {
        if(abs(mp[]-mp[])==)return ;
        if(abs(mp[]-mp[])==)return ;
        if(abs(mp[]-mp[])==)return ;
        return ;
    }
    }
    return ;
}
void dfs(int n)
{
    if(n==)
    {
        if(mp[n]==)
        {
            for(int i=; i<=; i++)
            {
                if(sign[i]==)
                {
                    mp[n]=i;
                    sign[i]=;
                    if(check(n))
                    {
                        ans++;
                        for(int j=; j<; j++)
                            res[j]=mp[j];
                    }
                    sign[i]=;
                    mp[n]=;
                }
            }
        }
        else
        {
            if(check(n))
            {
                ans++;
                for(int j=; j<; j++)
                    res[j]=mp[j];
            }
        }
    }
    else
    {
        if(mp[n]==)
        {
            for(int i=; i<=; i++)
            {
                if(sign[i]==)
                {
                    mp[n]=i;
                    sign[i]=;
                    if(check(n))dfs(n+);
                    sign[i]=;
                    mp[n]=;
                }
            }
        }
        else
        {
            if(check(n))dfs(n+);
        }
    }
    return;
}
int main()
{
#ifdef LOCAL
    freopen("in.txt", "r", stdin);
#endif // LOCAL
    ios::sync_with_stdio(false);
    int n,cas=;
    cin>>n;
    while(n--)
    {
        cas++;
        ans=,ms(res),ms(mp),ms(sign);
        for(int i=; i<; i++)
        {
            cin>>mp[i];
            if(mp[i]!=)sign[mp[i]]=;
        }
        for(int i=; i<; i++)
        {
            if(mp[i]==)
            {
                dfs(i);
                break;
            }
        }
        if(ans==)
        {
            printf("Case %d:",cas);
            for(int i=; i<; i++)
                printf(" %d",res[i]);
            printf("\n");
        }
        else if(ans==)printf("Case %d: No answer\n",cas);
        else printf("Case %d: Not unique\n",cas);
    }
    return ;
}