puzzle（0331）数字拼图滑动_异形棋盘-CSDN博客

本文探讨了不同形状的数字拼图游戏，包括矩形、异形、三角形（方向不可变和可变）及六边形的解题策略。重点介绍了奇偶性在确定拼图可复原性中的作用，以及通过化为子问题的解决方法。此外，还提供了实际编程案例和特定问题的解决方案，如233问题和433问题。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

三，三角形数字拼图滑动（三角形方向不可变）

一，矩形数字拼图滑动

1，链接

4399拼图游戏

或者我是最强大脑这个app中的数字华容道小游戏中的经典模式。

2，游戏规则

给你一个n（n>1）行m（m>1）列的矩阵，刚好由0,1,2。。。。。。n*m-1这n*m个数组成。

通过一系列的操作，使得矩阵变成如下状态（以下简称复原状态）：

按照从上到下（一级排序），从左到右（二级排序）来排序，矩阵可以排成数列1,2,3,4。。。。。。n*m-2,n*m-1,0

操作只有1种，0和0的若干邻居（上下左右，最多4个邻居）中的某一个交换位置。

拼图游戏里面，0对应的格子是空的。

3，术语

逆序：

对于n个不同的元素，先规定个元素之间有一个“标准次序”（例如n个不同的自然数，可规定由小到大为标准次序），于是在这n个元素的任一排列中，当某两个元素的先后次序与标准次序不同时，就有1个“逆序”。点击打开百科词条

逆序数：

一个排列中所有逆序的总数叫做这个排列的“逆序数”。点击打开百科词条

曼哈顿距离：

固定直角坐标系上两点所形成的线段对轴产生的投影的距离总和。点击打开百科词条

总状态数：

逆序数是数列的一种状态数，曼哈顿距离是线段的一种状态数。

同样的，对于如上所说的n*m的矩阵，也可以定义总状态数。

总状态数=逆序数+0所在的格子到右下角的格子的曼哈顿距离（以下简称曼哈顿距离）。

4，总状态数奇偶不变定理

对于一个序列，每交换任意2个数，逆序数的奇偶性都会改变1次。

对于拼图游戏，每交换一次，曼哈顿距离的值都加1或者减1，所以奇偶性也会改变1次。

所以说，对于拼图游戏，总状态数的奇偶性是永远不变的。

5，判定——必要性

任何1个n*m的矩阵，是否都能移成复原状态呢？不一定。

首先，复原状态的总状态数的奇偶性可以算出来，曼哈顿距离为0，逆序数为n*m-1

所以总状态数的奇偶性就是n*m-1的奇偶性。

那么，对于任意给定的矩阵，很明显有的状态的奇偶性符合，有的却不符合。

根据总状态数奇偶不变定理，奇偶性不对的肯定无法复原，比如

这个状态的逆序数为15，曼哈顿距离为0，所以这个状态为奇，

而总状态数的奇偶性是3*5-1=14为偶，所以这个状态肯定无法复原。

有的状态是可以复原的，比如

这个状态的逆序数为14，曼哈顿距离为4，和为偶，经验证，这个状态是可以复原的。

说起来，这2个图就是上面的链接里面的4399游戏截图的，因为初始化比较慢，

而且还没初始化完就可以开始点了，于是我侥幸能得到这2张图。

那么，是不是只要状态的奇偶性对了，就一定可以复原呢？

这个值得思考，请继续看！

6，极小化

对于2*2的拼图，只有4！=24种状态。n=2,m=2,n*m-1=3

可以验证，有12种奇状态，全部可以复原，有12种偶状态，全部无法复原。

7，策略（化为子问题）

对于假设可以复原的状态，要怎么样复原呢？

第一，若 n>2，那么一定可以复原第一行，接下来只需要解决（n-1）*m 的子问题。

请注意，既然是子问题，那么第一行当然是永不再变，下同。

还请注意，因为加了这个限制，原问题有解不代表子问题同样有解。

第二，若m>2，那么一定可以复原第一列，接下来只需要解决 n*（m-1）的子问题。

第三，通过反复运用上述2条结论，最终一定可以只剩下右下角的4个格子，即2*2的子问题。

8，判定——充分性

如果一个状态的奇偶性和n*m-1的奇偶性相同，那么通过上述策略（七）化成2*2的子问题之后，

得到的状态的奇偶性和n*m-1的奇偶性仍然相同（四）。

根据（六），一定可以复原。

综上所述，当且仅当一个状态的奇偶性和n*m-1的奇偶性相同时，可以复原。

9，OJ实战

SGU 139 Help Needed

题目：

Description

Little Johnny likes puzzles a lot! Just a few days ago, he found out about the 'traditional' 4x4 puzzle. For this puzzle, you have all the numbers from 0 to 15 arranged in 4 rows and 4 columns. You are allowed to switch two adjacent elements (horizontally or vertically), only if one of them has the value 0. The purpose of the puzzle is to reach the following final state:

                            1  2   3   4
                            5  6   7   8
                            9 10 11 12
                           13 14 15 0

Given the initial state of the puzzle, you have to decide whether there exists a sequence of moves which brings the puzzle into the final state.

Input

The input will consist of 4 lines, each of them containing 4 integers, describing the initial state of the puzzle.

Output

For every initial state, you should print "YES" if the final state can be reached after several moves or "NO", if such a thing is impossible.

Sample Input #1

1 2 3 4
5 6 7 8
9 10 11 0
13 14 15 12
Sample Output #1

YES
Sample Input #2

2 1 3 4
5 6 7 8
9 10 11 12
0 13 14 15
Sample Output #2

这个题目是说，输入16个数，0-15，问你这样的状态能不能复原。

代码：

#include<iostream>
using namespace std;
 
int list[16];
 
int main()
{	
	int sum = 0;
	for (int i = 0; i < 16; i++)
	{
		cin >> list[i];
		for (int j = 0; j < i; j++)if (list[j]>list[i])sum++;
		if (list[i] == 0)sum += i / 4 + i % 4;
	}
	if (sum % 2)cout << "YES";
	else cout << "NO";
	return 0;
}