多种智能搜索算法可视化还原 3D 魔方

一、写在前面

许久没有写图形化界面的程序了,最近学习了一些经典的盲目搜索算法与智能搜索算法,正好拿来还原三阶魔方!试试手!

提前声明

我不是专业搞人工智能的,理论或者实现过程有些许错误也很正常,评论区指出即可

先说一下开发环境吧!源码及打包程序的下载链接放在文末!

1.1 开发环境

编程语言:Python 3.12

图形界面库:tkintertools 2.6.21.1(底层为 tkinter)

第三方依赖库:tkintertools 2.6.21.1(就这么一个)

二、程序概览

2.1 代码情况

代码量:1000 行左右

代码大小:34KB

2.2 图片展示

主界面
界面设置
自定义打乱顺序
BFS 宽度优先搜索
DFS 深度优先搜索
USC 一致代价搜索
闵可夫斯基距离 A 算法
自定义启发函数 A* 算法

2.3 详细功能

左侧是 3D 显示区,鼠标左键旋转,右键平移,滚轮缩放。

右侧是设定区,点击“开始搜索并还原”时会弹出搜索树弹窗,点击“随机打乱”左边的“/”会弹出“自定义打乱顺序”弹窗。

算法对应表:

缩写BFSDFSUCSA / A*HCREV(测试常用)
说明宽度优先深度优先一致代价优先A 或者 A* 算法爬山法不是算法,逆序还原

 启发函数对应表:

缩写CBSVECLDMHTHMMKWSK/
说明切比雪夫距离欧几里得距离曼哈顿距离汉明距离闵可夫斯基距离h*

自定义顺序说明:

每个项目由三个部分组成:编号,方向,旋向

方向对应表:

缩写RLUDFB
说明右(Right)左(Left)上(Up)下(Down)前(Front)后(Back)

 旋向有两个:顺时针和逆时针,对应开关的两种状态

三、实现过程分析

3.1 状态表示

三阶魔方一共有 3³ =27 个方块,于是使用 1×27 大小的数组来表示每个方块的位置,给它们编号 0~26,当编号与其数组索引一致时,表示魔方为还原状态。

当然,由于魔方的特性,这 27 个位置中有些并不会改变。比如,当操作不涉及中转的时候,有 1+1×6 = 7 个方块永远不会改变位置,而当操作涉及中转的时候,只有中心处方块不会改变位置。为了方便表示,仍然采用整个 1×27 大小的数组表示状态。

3.2 操作方式

分两种情况:

  • 当不允许三阶魔方中转的时候,操作共有 6×2 = 12 种,即在魔方 6 个面上顺时针旋转 90°或者逆时针旋转 90°。
  • 当允许三阶魔方中转的时候,共有 (6+3)×2 = 18 种,即在第一种情况下加上了三个坐标轴垂直的三个中间面的旋转。

当然,经分析,我认为采用第1种情况可能会得到更好结果。

对于第一种情况,魔方将有 ​​​​​​​1+1×6 = 7 个位置始终固定,使得在完成几乎相同功能的前提下,搜索空间会小一点,且,还原的最终结果只有1个,那就是数组元素与其索引一致。

但反观第二种情况,魔方只有最中间 1 个元素始终固定,在使得搜索空间变大的情况下,还会导致一个程序中不方便处理的问题。因为在这个时候,你会发现,魔方还原的目标状态不只“数组元素与其索引一致”这么一种情况,虽然这可以提高发现目标节点的概率,但搜索空间也变大了,程序实现起来比较麻烦,效率也不见得比第 1 种好。

3.3 启发函数的设计

魔方数据在数组中体现为 1×27,并不方便于直接进行代价的估计,但其在空间上实际是 3×3×3 的,每个方块都有其对应的坐标,于是可以计算每个方块当前位置与目标位置之间的某种差异,并以此作为估计值。

选用的基本启发函数有切比雪夫距离、欧几里得距离、曼哈顿距离和闵可夫斯基距离,同时尝试了一下汉明距离。

不知道什么是切比雪夫距离、欧几里得距离等的朋友,可以去百度一下。

设上述距离对应的启发函数分别为  和 

其中闵可夫斯基距离拥有可调节的参数 p,我这里动态地根据问题的规模大小设计其值。而汉明距离并非一个空间上的关系,它是从数组的数据上直接进行考虑的,即目标数组与当前数组的差异。

对于上述的启发函数,并非所有都满足可纳性。由于魔方转动一次只能转动一个面,也就是说,方块只能在一个面上移动,对于方块,分两种情况:

  • 角方块:每次旋转都是沿坐标方向的,对应曼哈顿距离;
  • 边方块:每次旋转都是沿斜直线方向,对应欧几里得距离;
  • 面中心方块:始终没有任何移动,计算时不考虑它。

每个面上角方块与边方块各占一半,故 ,但是有:

因此有:

已知,对于闵可夫斯基距离,参数 p=1 时,,参数 p=2 时,,参数 p=+∞ 时,,可通过调控其参数 p 来控制其最终效果。

汉明距离并非空间上的距离,属于抽象距离,无法与上面的进行比较。

综上,启发函数为切比雪夫距离、欧几里得距离时,算法为 A* 算法,曼哈顿距离对应的为 A 算法,闵可夫斯基距离是否为 A* 算法与参数 p 有关,汉明距离对应的暂时无法确定。

3.4 算法实现

BFS:用队列实现

DFS:用堆栈实现

UCS:用优先级队列实现,评估函数 F = 代价函数 G

A/A*:用优先级队列实现,评估函数 F = 代价函数 G + 启发函数 H

HC:用优先级队列实现,评估函数 F = 启发函数 H

3.5 结果显示方法

结果采用三种方式进行可视化。

  • 搜索之前的打乱魔方与搜索之后的还原魔方通过 3D 魔方实时演示旋转过程;
  • 搜索过程之中,通过进度条得知总搜索空间的大小以及当前搜索的空间大小,直观显示其百分占比,并实时显示搜索次数,搜索完成后显示还原步骤的数量;
  • 搜索过程中实时展示搜索树,由于此数的每层节点数量是指数级增长的,于是就需要将其对数化后以线性的方式的进行展示,层数越大,颜色越深,搜索完毕后标识出搜索路径。

这里说一下为什么实际搜索的状态空间是 11 的 n 次方,而不是 12 的 n 次方,因为每次操作,虽然有 12 步,但实际我们手动不允许它执行与上次转动相反的操作,因为你顺时针转一下,再逆时针转一下,那不等于没转吗?

别小看这点优化,11⁶ = 1771561,12⁶ = 2985984,仅 6 步,相差多少自己看看。

四、写在后面

4.1 开源图形库

本程序使用的 tkintertools 是我自己一个人开发的图形界面库,基于 tkinter,实现了一些 tkinter 没有的功能,里面还有一个可以称为“微型 3D 引擎”的子模块,上述 3D 效果就是这样实现的,此外还提供了较为强大的动画能力,希望大家能支持一下下!

GitHub repo:GitHub - Xiaokang2022/tkintertools

github.io: Profile - 简介 - tkintertools (xiaokang2022.github.io)

4.2 源代码下载

链接文件包含了源代码,以及已经打包好,可以直接运行的 exe 文件。

源代码及打包程序下载链接:Magic Cube.zip - 蓝奏云

记得给我点赞!收藏!以及在评论区留下你的足迹呀!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/749341.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Linux移动文件夹和文件指令

在Linux中&#xff0c;移动文件夹和文件的指令是mv。以下是关于mv命令的一些基本用法和参数说明&#xff1a; 基本语法&#xff1a; 移动文件&#xff1a; mv [选项] <源文件> <目标位置> 移动文件夹&#xff08;目录&#xff09;&#xff1a; mv [选项] <…

共享库的创建gcc选项“-shared -fPIC -WI”

共享库的创建非常简单&#xff0c;最关键的是gcc的几个参数&#xff1a; “-shared”&#xff1a; 表示输出结果是共享库类型。编译选项告诉编译器生成一个共享库&#xff08;也称为动态链接库或 DLL&#xff09;。共享库是一种包含可重用代码和数据的二进制文件&#xff0c;…

YOLOv5_seg-Openvino和ONNXRuntime推理【CPU】

纯检测系列&#xff1a; YOLOv5-Openvino和ONNXRuntime推理【CPU】 YOLOv6-Openvino和ONNXRuntime推理【CPU】 YOLOv8-Openvino和ONNXRuntime推理【CPU】 YOLOv7-Openvino和ONNXRuntime推理【CPU】 YOLOv9-Openvino和ONNXRuntime推理【CPU】 跟踪系列&#xff1a; YOLOv5/6/7-O…

解决游戏程序一运行就退出的问题

正文&#xff1a; 在游戏开发过程中&#xff0c;我们可能会遇到程序一运行就立即退出的情况。这种情况通常是由于程序中的某些逻辑错误或初始化问题导致的。 下面我们将分析可能的原因&#xff0c;并提供一些解决方案。 目录 正文&#xff1a; 原因分析&#xff1a; 解决方案…

Linux磁盘配额

磁盘配额 概述 Linux系统作为一个多用户的操作系统&#xff0c;在生产环境中&#xff0c;会发生多个用户共同使用一个磁盘的情况&#xff0c;会造成Linux根分区的磁盘空间耗尽&#xff0c;导致Linux系统无法建立新的文件&#xff0c;从而出现服务程序崩溃、系统无法启动等故障…

图片超过容器溢出的几种解决方法(实现图片缩放)

网页插入图片的两种常见应用场景 在网页编写&#xff0c;我们经常会插入图片来优化网页整体结构&#xff0c;增强用户体验感&#xff0c;在插入图片时&#xff0c;我们会有两种比较常见的应用场景&#xff0c;一种就是使用background-image属性插入背景图片&#xff0c;还有一…

MySQL建表以及excel内容导入

最近自学MySQL的使用&#xff0c;需要将整理好的excel数据导入数据库中&#xff0c;记录一下数据导入流程。 --建立数据库 create table SP_sjk ( --增加列 id NUMBER(20), mc VARCHAR2(300) ) /*表空间储存参数配置。一个数据库从逻辑上来说是由一个或多个表空间所组成&#…

CSS3DRenderer, CSS3DObject, OrthographicCamera API 结合使用案例

CSS3DRenderer, CSS3DObject, OrthographicCamera API 结合使用案例 <!DOCTYPE html> <html><head><title>three.js css3d - orthographic</title><meta charset"utf-8"><meta name"viewport" content"widthd…

【ArcGISPro】道路数据下载并使用

下载 下载链接: Geofabrik 下载服务器 这些数据通常 每天更新。 下载结果 arcmap用户下载工具 10.2:http://www.arcgis.com/home/item.html?id=16970017f81349548d0a9eead0ebba39 10.3:

力扣题目训练(20)

2024年2月13日力扣题目训练 2024年2月13日力扣题目训练594. 最长和谐子序列598. 区间加法 II599. 两个列表的最小索引总和284. 窥视迭代器287. 寻找重复数135. 分发糖果 2024年2月13日力扣题目训练 2024年2月13日第二十天编程训练&#xff0c;今天主要是进行一些题训练&#x…

UE5数字孪生系列笔记(二)

智慧城市数字孪生系统 制作流云动画效果 首先添加一个图像在需要添加流云效果的位置 添加动画效果让其旋转 这个动画效果是程序开始就要进行的&#xff0c;所以要在EventConstruct中就可以启动这个动画效果 添加一个一样的图像在这里&#xff0c;效果是从此处进行放大消散 添…

C语言---指针的两个运算符:点和箭头

目录 点&#xff08;.&#xff09;运算符箭头&#xff08;->&#xff09;运算符需要注意实际例子 C语言中的指针是一种特殊的变量&#xff0c;它存储了一个内存地址。点&#xff08;.&#xff09;和箭头&#xff08;->&#xff09;是用于访问结构体和联合体成员的运算符。…

promise和await/async区别?

Promise 是 JavaScript 中用于处理异步操作的对象&#xff0c;它代表一个异步操作的最终完成或失败&#xff0c;以及其结果值。而 async/await 是 ES8&#xff08;ECMAScript 2017&#xff09;引入的一种处理异步操作的方法&#xff0c;基于 Promise 实现的语法糖&#xff0c;使…

运行gazebo机器人模型没有cmd_vel话题

运行赵虚左教程代码出现上诉问题 roslaunch urdf02_gazebo demo03_env.launch 原因&#xff1a;缺少某个包 在工作空间catkin_make编译发现报错 解决&#xff1a; sudo apt-get install ros-noetic-gazebo-ros-pkgs ros-noetic-gazebo-ros-control 下载后再次运行launch文件…

Codeforces Round 931(div2)||ABC

A-Too Min Too Max 题意 对一个数组&#xff0c;找到索引 ( i , j , k , l ) (i,j,k,l) (i,j,k,l)使得 ∣ a i − a j ∣ ∣ a j − a k ∣ ∣ a k − a l ∣ ∣ a l − a i ∣ |a_i-a_j||a_j-a_k||a_k-a_l||a_l-a_i| ∣ai​−aj​∣∣aj​−ak​∣∣ak​−al​∣∣al​−…

60种常用可视化图表的使用场景——(下)

文章目录 31、径向柱图 32、热图 33、散点图 34、气泡图 35、气泡地形图 36、地区分布图 37、点示地图 38、连接地图 39、流向地图 40、甘特图 41、箱形图 42、子弹图 43、蜡烛图 44、跨度图 45、卡吉图 46、美国线 47、弦图 48、非彩带弦图 49、树形图 50、流程图 51、脑力激荡…

Volume优化

低效volume影响 解算时间&#xff1b;存储大小&#xff1b;渲染时间&#xff1b;服务器I/O&#xff1b;迭代次数&#xff1b;影响队友&#xff1b; 降低volume数据 体素精度分辨率&#xff1b;根据离相机的远近设置不同的分辨率&#xff1b;数据位数&#xff1b;删除不需要的数…

python知识点总结(一)

这里写目录标题 一、什么是WSGI,uwsgi,uWSGI1、WSGI2、uWSGI3、uwsgi 二、python中为什么没有函数重载&#xff1f;三、Python中如何跨模块共享全局变量?四、内存泄露是什么?如何避免?五、谈谈lambda函数作用?六、写一个函数实现字符串反转&#xff0c;尽可能写出你知道的所…

react中使用腾讯地图

腾讯文档 申请好对应key 配置限额 https://lbs.qq.com/service/webService/webServiceGuide/webServiceQuota 代码 用到的服务端接口 1.逆地址解析 2.关键词输入提示 import React, { Component } from react; import styles from ./map.less import { Form, Row, Col, I…

Go 语言中的 Cond 机制详解

概述 在并发编程中&#xff0c;条件同步是一个常见的需求。Go 语言提供了 sync.Cond 类型来满足这一需求。sync.Cond 基于互斥锁&#xff08;sync.Mutex&#xff09;提供了条件变量的同步机制&#xff0c;允许一组 goroutine 在满足某个条件时进行阻塞等待&#xff0c;或者在条…