poj 1077 Eight(经典八数码问题:bfs/Dbfs)

最新推荐文章于 2023-10-06 22:54:44 发布
最新推荐文章于 2023-10-06 22:54:44 发布
阅读量1.2k 收藏
点赞数
分类专栏： Algorithm
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/PKU_ZZY/article/details/51579686
版权

poj 1077 Eight(经典八数码问题:bDfs/Dbfs)
总时间限制: 5000ms 内存限制: 65536kB

Special Judge

描述
The 15-puzzle has been around for over 100 years; even if you don’t know it by that name, you’ve seen it. It is constructed with 15 sliding tiles, each with a number from 1 to 15 on it, and all packed into a 4 by 4 frame with one tile missing. Let’s call the missing tile ‘x’; the object of the puzzle is to arrange the tiles so that they are ordered as:
1 2 3 4
5 6 7 8
9 10 11 12
13 14 15 x

where the only legal operation is to exchange ‘x’ with one of the tiles with which it shares an edge. As an example, the following sequence of moves solves a slightly scrambled puzzle:
这里写图片描述
The letters in the previous row indicate which neighbor of the ‘x’ tile is swapped with the ‘x’ tile at each step; legal values are ‘r’,’l’,’u’ and ‘d’, for right, left, up, and down, respectively.

Not all puzzles can be solved; in 1870, a man named Sam Loyd was famous for distributing an unsolvable version of the puzzle, and
frustrating many people. In fact, all you have to do to make a regular puzzle into an unsolvable one is to swap two tiles (not counting the missing ‘x’ tile, of course).

In this problem, you will write a program for solving the less well-known 8-puzzle, composed of tiles on a three by three
arrangement.

输入
You will receive a description of a configuration of the 8 puzzle. The description is just a list of the tiles in their initial positions, with the rows listed from top to bottom, and the tiles listed from left to right within a row, where the tiles are represented by numbers 1 to 8, plus ‘x’. For example, this puzzle
1 2 3
x 4 6
7 5 8

is described by this list:

1 2 3 x 4 6 7 5 8

输出
You will print to standard output either the word “unsolvable”, if the puzzle has no solution, or a string consisting entirely of the letters ‘r’, ‘l’, ‘u’ and ‘d’ that describes a series of moves that produce a solution. The string should include no spaces and start at the beginning of the line.

样例输入

2 3 4 1 5 x 7 6 8

样例输出

ullddrurdllurdruldr

来源
South Central USA 1998

本题是经典八数码问题，这一次以这道题为契机学习了Dbfs，现在已经学会了用bfs(version 1)和Dbfs(version 2)实现了。注意本题是special judge的，这样才不必考虑合理的搜索顺保证字典序，否则Dbfs无法安排搜索顺序…

注意一个编码小技巧Cantor launched，用来给全排列编码而且很节省空间。以后要用了推一推还是可以记起来的。

下面是代码(含测试部分)和评测结果，可以发现Dbfs快于bfs

version 1

Accepted    9140kB  220ms  2398 B   G++

#define TEST
#undef TEST

#define MAX_LEN 362880
#define TARGET_STATE 46233

#include<stdio.h>
#include<iostream>

using namespace std;

const char operate_name[4]={'u','d','l','r'};
const int change[9][4]={{-1, 3,-1, 1},{-1, 4, 0, 2},{-1, 5, 1,-1},
                        { 0, 6,-1, 4},{ 1, 7, 3, 5},{ 2, 8, 4,-1},
                        { 3,-1,-1, 7},{ 4,-1, 6, 8},{ 5,-1, 7,-1}};
/*
 * 0 1 2 
 * 3 4 5
 * 6 7 8
 */

int queue[MAX_LEN][9];
int blank[MAX_LEN],father[MAX_LEN],operate[MAX_LEN];
int head,tail;

char str_out[MAX_LEN];
int len; 

bool visit[MAX_LEN];

int cantor_launched(int a[]);
void read_and_init();
void bfs();
void print(int last);
void test();

int main()
{
#ifdef TEST
    freopen("input.txt","r",stdin);
    freopen("output.txt","w",stdout);
#endif
    read_and_init();
    bfs();
#ifdef TEST
    test();
#endif
    return 0;
}

int cantor_launched(int a[])
{
    int anti_num,frac=1,ans=0;
    for (int i=8;i>=0;i--)
    {
        anti_num=0;
        for (int j=i;j<9;j++)
            if (a[j]<a[i])
                anti_num++;
        ans+=frac*anti_num;
        frac*=(9-i);
    }
    return ans;
}

void read_and_init()
{
    char ch;
    for (int i=0;i<9;i++)
    {
        cin>>ch;
        if (ch=='X' || ch=='x')
        {
            blank[0]=i;
            queue[0][i]=0;
        }
        else
            queue[0][i]=ch-'0';
    }
    head=0;
    tail=0;
    father[0]=0;
    operate[0]=0;
    return;
}

void bfs()
{
    int new_blank;
    while (head<=tail)
    {
        if (cantor_launched(queue[head])==TARGET_STATE)
        {
            print(head);
            return;
        }
        for (int d=0;d<4;d++)
        {
            new_blank=change[blank[head]][d];
            if (new_blank!=-1)
            {
                tail++;
                for (int i=0;i<9;i++)
                    queue[tail][i]=queue[head][i];
                queue[tail][new_blank]=0;
                queue[tail][blank[head]]=queue[head][new_blank];
                if (visit[cantor_launched(queue[tail])])
                    tail--;
                else
                {
                    visit[cantor_launched(queue[tail])]=true;
                    blank[tail]=new_blank;
                    father[tail]=head;
                    operate[tail]=d;
                }
            }
        }
        head++;
    }
    printf("unsolvable\n");
    return;
}

void print(int last)
{
    while (father[last]!=last)
    {
        str_out[len++]=operate_name[operate[last]];
    #ifdef TEST
        printf("\n"); 
        for (int t=0;t<9;t++)
            printf("%d%c",queue[last][t],(t+1)%3?' ':'\n');
    #endif
        last=father[last];
    }
    for (int i=len-1;i>=0;i--)
        printf("%c",str_out[i]);
    printf("\n"); 
    return;
}

void test()
{
    for (int i=0;i<tail;i++)
    {
        for (int t=0;t<9;t++)
            printf("%d%c",queue[i][t],(t+1)%3?' ':'\n');
        printf("father=%d,operate=%d\n\n",father[i],operate[i]); 
    }
    return;
}

version 2

Accepted    1928kB  0ms 4690 B  G++ 

#define TEST
#undef TEST

#define MAX_LEN 362880
#define TARGET_STATE 46233

#include<stdio.h>
#include<iostream>

using namespace std;

const char operate_name[4]={'u','d','l','r'};
const int change[9][4]={{-1, 3,-1, 1},{-1, 4, 0, 2},{-1, 5, 1,-1},
                        { 0, 6,-1, 4},{ 1, 7, 3, 5},{ 2, 8, 4,-1},
                        { 3,-1,-1, 7},{ 4,-1, 6, 8},{ 5,-1, 7,-1}};

const char operate_rname[4]={'d','u','r','l'};
const int rchange[9][4]={{ 3,-1, 1,-1},{ 4,-1, 2, 0},{ 5,-1,-1, 1},
                         { 6, 0, 4,-1},{ 7, 1, 5, 3},{ 8, 2,-1, 4},
                         {-1, 3, 7,-1},{-1, 4, 8, 6},{-1, 5,-1, 7}};
/*
 * 0 1 2 
 * 3 4 5
 * 6 7 8
 */

int queue[MAX_LEN+1][9];
int blank[MAX_LEN+1],father[MAX_LEN+1],operate[MAX_LEN+1];
int head,tail,rhead,rtail;

char str_out[MAX_LEN];
int len; 

bool visit[MAX_LEN],rvisit[MAX_LEN];

int cantor_launched(int a[]);
void read_and_init();
void dbfs();
void print(int last);
void rprint(int last);


void test()
{
    printf("\n___________TEST___________\n");
    for (int i=0;i<tail;i++)
    {
        printf("\n");
        for (int t=0;t<9;t++)
            printf("%d%c",queue[i][t],(t+1)%3?' ':'\n');
        printf("father=%5d,operate=%5d\n",father[i],operate[i]); 
    }
    for (int i=rtail;i<=MAX_LEN;i++)
    {
        printf("\n");
        for (int t=0;t<9;t++)
            printf("%d%c",queue[i][t],(t+1)%3?' ':'\n');
        printf("father=%5d,operate=%5d\n",father[i],operate[i]); 
    }
    return;
}

int main()
{
#ifdef TEST
    freopen("input.txt","r",stdin);
    freopen("output.txt","w",stdout);
#endif
    read_and_init();
    dbfs();
#ifdef TEST
    test();
#endif
    return 0;
}

int cantor_launched(int a[])
{
    int anti_num,frac=1,ans=0;
    for (int i=8;i>=0;i--)
    {
        anti_num=0;
        for (int j=i;j<9;j++)
            if (a[j]<a[i])
                anti_num++;
        ans+=frac*anti_num;
        frac*=(9-i);
    }
    return ans;
}

void read_and_init()
{
    char ch;
    for (int i=0;i<9;i++)
    {
        cin>>ch;
        if (ch=='X' || ch=='x')
        {
            blank[0]=i;
            queue[0][i]=0;
        }
        else
            queue[0][i]=ch-'0';
    }
    head=0;
    tail=0;
    father[0]=0;
    operate[0]=0;
    visit[cantor_launched(queue[0])]=true;
    for (int i=0;i<8;i++)
        queue[MAX_LEN][i]=i+1;
    queue[MAX_LEN][8]=0;
    rhead=MAX_LEN;
    rtail=MAX_LEN;
    father[MAX_LEN]=MAX_LEN;
    operate[MAX_LEN]=0;
    blank[MAX_LEN]=8;
    rvisit[TARGET_STATE]=true;
    return;
}

void dbfs()
{
    int new_blank;
    while (head<=tail || rhead>=rtail)
    {
        if (head<=tail){
        if (rvisit[cantor_launched(queue[head])])
        {
            print(head);
            for (int j=rtail;j<=rhead;j++)
                if (cantor_launched(queue[head])==cantor_launched(queue[j]))
                {
                    rprint(j);
                    break;
                }
            return;
        }
        for (int d=0;d<4;d++)
        {
            new_blank=change[blank[head]][d];
            if (new_blank!=-1)
            {
                tail++;
                for (int i=0;i<9;i++)
                    queue[tail][i]=queue[head][i];
                queue[tail][new_blank]=0;
                queue[tail][blank[head]]=queue[head][new_blank];
                if (visit[cantor_launched(queue[tail])])
                    tail--;
                else
                {
                    visit[cantor_launched(queue[tail])]=true;
                    blank[tail]=new_blank;
                    father[tail]=head;
                    operate[tail]=d;
                }
            }
        }
        head++;}
        if (rhead>=rtail){
        if (visit[cantor_launched(queue[rhead])])
        {
            for (int j=head;j<=tail;j++)
                if (cantor_launched(queue[rhead])==cantor_launched(queue[j]))
                {
                    print(j);
                    break;
                }
            rprint(rhead);
            return;
        }
        for (int d=0;d<4;d++)
        {
            new_blank=rchange[blank[rhead]][d];
            if (new_blank!=-1)
            {
                rtail--;
                for (int i=0;i<9;i++)
                    queue[rtail][i]=queue[rhead][i];
                queue[rtail][new_blank]=0;
                queue[rtail][blank[rhead]]=queue[rhead][new_blank];
                if (rvisit[cantor_launched(queue[rtail])])
                    rtail++;
                else
                {
                    rvisit[cantor_launched(queue[rtail])]=true;
                    blank[rtail]=new_blank;
                    father[rtail]=rhead;
                    operate[rtail]=d;
                }
            }
        }
        rhead--;}
    }
    printf("unsolvable\n");
    return;
}

void print(int last)
{
#ifdef TEST
    printf("Steps pointers move:\nhead=%d,tail=%d,rhead=%d,rtail=%d\n",
            head,tail,MAX_LEN-rhead,MAX_LEN-rtail); 
    printf("%d\n",last); 
#endif
    while (father[last]!=last)
    {
        str_out[len++]=operate_name[operate[last]];
        last=father[last];
    #ifdef TEST
        printf("\n");
        for (int t=0;t<9;t++)
            printf("%d%c",queue[last][t],(t+1)%3?' ':'\n'); 
        printf("father=%5d,operate=%5d\n",father[last],operate[last]);
    #endif
    }
    for (int i=len-1;i>=0;i--)
        printf("%c",str_out[i]);
#ifdef TEST
    printf("\n");
#endif 
    return;
}

void rprint(int last)
{
#ifdef TEST
    printf("%d\n",last);
#endif
    len=0;
    while (father[last]!=last)
    {
        str_out[len++]=operate_name[operate[last]]; 
    #ifdef TEST
        printf("\n");
        for (int t=0;t<9;t++)
            printf("%d%c",queue[last][t],(t+1)%3?' ':'\n'); 
        printf("father=%5d,operate=%5d\n",father[last],operate[last]);
    #endif
        last=father[last];
    }
    str_out[len]=0;
    printf("%s\n",str_out);
    return;
}
pku_zzy
关注
专栏目录
POJ 1077 Eight 八数码问题 BFS
leodestiny
11-26 640
题意：经典的八数码问题，给出现在的8个数码的位置，求出最少的移动方法，使之变成有序的八数码。 思路：在这里就用BFS。对于这道题，实际上要处理的就是已经访问状态的记录和查重。            可以有一下方法：1.用set。这样常数比较大，对于这道题用set查重就会超时。                                            2.康拓展开，因为这是相当于8
poj 1077 Eight 八数码问题( 康拓展开+BFS状态压缩)
woshinannan的专栏
07-12 1693
传送门：poj 1077 Eight题目大意输入的八数码 将一个八数码最后转换为 1 2 3 4 5 6 7 8 x 的格式，然后打印出路径康拓展开如果按照平常的思路，把x的位置看做0，一共有8！个状态，来判断某一个状态是否被访问过。 但是问题来了？怎么把一个带有x的数组转变为转变为数字呢？第一个联想到的就是STL中的map，但是map的速度太慢了，会超时，这个时候我们就要用一种快速的
八数码问题：bfs及dbfs版本详解
weixin_30924239的博客
08-15 308
hdu1043多组数据 poj1077单组数据 1、对于空间的处理 按常规方法，标志位序列vis的大小需要876543210位，空间非常大，所以我们考虑将int转化为char 类型储存(32位机int占4字节 char 占1字节)。 又考虑，如果转化为九进制，876543210(9)-->381367044(10),进一步优化空间。 可是像111111111，333333333这样...
1043 Eight（八数码问题 康托展开 A*算法）
Geek
08-22 521
首先介绍一下A*算法： https://blog.csdn.net/qq_40061421/article/details/81915573 然后是康托展开： https://blog.csdn.net/qq_40061421/article/details/81915838 A*：f=g+h函数。g表示从起点到当前点的移动步数，h表示对当前点到目标点的最小移动步数的预测。除去起点和目标点...
（洛谷 R6765172）八数码问题 DBFS+hash 乱搞
adnyxlaer的博客
04-13 311
非常经典的一道搜索练手题，各种方法花式求解（虽然目前只搞定了 DBFS+hash,但是可以说说想法XD)题目描述：在3×3的棋盘上，摆有八个棋子，每个棋子上标有1至8的某一数字。棋盘中留有一个空格，空格用0来表示。空格周围的棋子可以移到空格中。要求解的问题是：给出一种初始布局（初始状态）和目标布局（为了使题目简单,设目标状态为123804765），找到一种最少步骤的移动方法，实现从初始布局到目标布...
hdu1043 Eight (八数码问题，多种解法)
天亮说晚安
02-19 4292
hdu1043 :http://acm.hdu.edu.cn/showproblem.php?pid=1043 八数码问题       有一个3*3的棋盘，其中有0-8共9个数字，0表示空格，其他的数字可以和0交换位置。求由初始状态到达目标状态 123  456  780 的步数最少的解？ 有多组数据 解法： 1、反向BFS + hash( cantor展开 ) 因为状态总
poj 1077 hdu 1043 Eight 八数码问题 DBFS（双向广度优先搜索）a*算法 康拓展开
gwq5210的专栏
08-29 1673
一，八数码问题简介 编号为1到8的8个正方形滑块被摆成3行3列（有一个格子留空），可以每次把与空格相邻（有公共边）的滑块移动到空格中，而它原来的位置就成了新的空格。给定局面，计算出从当前状态移动到目标状态的最少步数。如将八数码从左到有从上到下的数字列出来，没有空格用0表示（其实也可以用9表示），可以表示为： 2 6 4 1 3 7 0 5 8 -> 8 1 5 7 3 6 4 0 2 在这里我们
poj 1077 Eight.md
11-17
poj 1077 Eight.md
POJ1077 Eight A*
Kevin的博客
09-11 385
题目链接 http://poj.org/problem?id=1077 分析 直接用BFS进行状态扩展会超时，需要设计估价函数跑A*算法。 每次只能使一个数位置改变，因此未来的操作次数不会小于每个数当前位置于最终位置的曼哈顿距离之和。 用这个作为估价函数，用康托展开将排列映射成整数来记录某一状态是否访问过。 有一结论，如果列数为奇数，那么初始状态和最终状态的逆序对数奇偶性相同。 AC代码 // 调...
POJ_3131.zip_POJ 八数码_poj
09-20
标题中的“POJ_3131.zip_POJ 八数码_poj”指的是一个与编程竞赛网站POJ（Problem Set Algorithm）相关的项目，具体是针对3131号问题的解决方案，该问题涉及到了八数码游戏。八数码游戏，又称滑动拼图，是一个经典的...
【算法每日一练]-双向bfs 篇6 八数码难题（两个解法），噩梦
最新发布
m0_69478376的博客
10-06 315
今天讲一下进阶版的bfs：
7种方法求解八数码问题
热门推荐
u012283461的博客
01-16 9万+
【八数码问题】//https://vijos.org/p/1360 在3×3的棋盘上，摆有八个棋子，每个棋子上标有1至8的某一数字。棋盘中留有一个空格，空格用0来表示。空格周围的棋子可以移到空格中。要求解的问题是：给出一种初始布局（初始状态）和目标布局（为了使题目简单,设目标状态为123804765），找到一种最少步骤的移动方法，实现从初始布局到目标布局的转变。 【分析】 题目读完第一感
八数码问题小结
luciozhang的博客
10-16 1万+
一. 八数码问题 八数码问题也称为九宫问题。在3×3的棋盘，摆有八个棋子，每个棋子上标有1至8的某一数字，不同棋子上标的数字不相同。棋盘上还有一个空格，与空格相邻的棋子可以移到空格中。要求解决的问题是：给出一个初始状态和一个目标状态，找出一种从初始转变成目标状态的移动棋子步数最少的移动步骤。 二. 问题分析 看到不错的文章，就直接传送门了，谁叫我这么懒呢。。。 八数码的八境界： http://www.cnblogs.com/goodness/archive/2010/05/04/1727141
八数码问题——双向广度优先搜索解决
Marshall的专栏
08-18 5310
八数码问题：在3×3的方格棋盘上，摆放着1到8这八个数码，有1个方格是空的，其初始状态如图1所示，要求对空格执行空格左移、空格右移、空格上移和空格下移这四个操作使得棋盘从初始状态到目标状态。                                           // eight.cpp : 定义控制台应用程序的入口点。 // #include "stdafx.h"
poj 1321 棋盘问题(深搜)
PKU_ZZY的博客
05-27 5518
poj 1321 棋盘问题(深搜)
poj 2814 拨钟问题（枚举）
PKU_ZZY的博客
05-11 5281
程序设计实习枚举作业 拨钟问题
poj 1190 生日蛋糕（深搜+剪枝技巧）
PKU_ZZY的博客
05-25 5103
poj 1190 生日蛋糕（深搜+剪枝技巧）
求导的符号运算
PKU_ZZY的博客
06-29 4738
求导的符号运算
数据结构与算法习题 replacement selection sort(置换选择排序)
PKU_ZZY的博客
11-13 4686
数据结构与算法习题 replacement selection sort(置换选择排序)
解密15拼图：从POJ 1077 Eight探讨解题策略
Poj 1077 Eight是一个基于15拼图游戏的经典问题。15拼图是一种流行的传统智力游戏，由15个带有数字的滑动瓷砖组成，放在一个4x4的框架中，其中缺少一块，通常用字母"x"表示。目标是通过交换"x"与相邻的瓷砖，使得...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值