python复原魔方

最新推荐文章于 2024-06-02 20:01:30 发布
最新推荐文章于 2024-06-02 20:01:30 发布
阅读量1k 收藏 15
点赞数 3
文章标签： python 开发语言
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_70407612/article/details/131882623
版权

1、安装库

一、Windows系统

①按Windows键（键盘左下角小窗户）+R键，输入cmd。

 ②输入

pip install PyQt5

 ③输入

pip install opencv-python

 

二、Mac系统

①按command+空格键，输入终端。

②输入

sudo easy_install pip

接着根据终端提示输入密码。

③同Windows系统相同

2、代码

一、导入库

import PyQt5.QtWidgets as QtWidgets
import PyQt5.QtGui as QtGui
import PyQt5.QtCore as QtCore
from PyQt5 import *
import numpy as np
import threading
import math
import cv2
import copy as cp
import time

二、初始化

file=""
 
face=["U","D","L","R","F","B"]
color_name=["Y","W","O","R","B","G"]
color0=[(253,200,60),(246,246,246),(220,90,70),(255,0,0),(0,67,188),(0,220,150)]
color=[]
for x in color0:
    color.append((x[2],x[1],x[0]))

 三、用来复原的函数

class MF:
    def __init__(self):
        self.data={}
        for i,x in enumerate(face):
            self.data[x]=np.ones([3,3])*i
 
class Example(QWidget):
    def __init__(self):
        super(Example, self).__init__()
        self.cnt=0
        self.initUI()
    def initUI(self):
        w, h = 800, 600
        screen = QtWidgets.QDesktopWidget().screenGeometry()
        self.setGeometry((screen.width() - w) // 2, (screen.height() - h) // 2, w, h)
        self.setWindowTitle("三阶魔方")
        self.ops=["F","R","U","B","L","D"]
        
        self.textEdit = QtWidgets.QTextEdit(self)
        self.textEdit.setGeometry(580, 50, 180, 30)
        # self.textEdit.setStyleSheet("color:red")
        font = QtGui.QFont()
        font.setFamily('宋体')
        font.setBold(True)
        font.setPointSize(12)
        font.setWeight(75)
        self.textEdit.setFont(font)
 
        btn_run=QPushButton("执行公式",self)
        btn_run.setGeometry(580,10,100,30)
        btn_run.clicked.connect(self.connect_run)
 
        btn_solve=QPushButton("求解魔方",self)
        btn_solve.setGeometry(30,20,60,30)
        btn_solve.clicked.connect(self.connect_solve)
 
        btn_F=QPushButton("F",self)
        btn_F.setGeometry(120,10,40,30)
        btn_F.clicked.connect(self.connect_F)
        btn_R=QPushButton("R",self)
        btn_R.setGeometry(180,10,40,30)
        btn_R.clicked.connect(self.connect_R)
        btn_U=QPushButton("U",self)
        btn_U.setGeometry(240,10,40,30)
        btn_U.clicked.connect(self.connect_U)
        btn_B=QPushButton("B",self)
        btn_B.setGeometry(300,10,40,30)
        btn_B.clicked.connect(self.connect_B)
        btn_L=QPushButton("L",self)
        btn_L.setGeometry(360,10,40,30)
        btn_L.clicked.connect(self.connect_L)
        btn_D=QPushButton("D",self)
        btn_D.setGeometry(420,10,40,30)
        btn_D.clicked.connect(self.connect_D)
        btn_M=QPushButton("M",self)
        btn_M.setGeometry(480,10,40,30)
        btn_M.clicked.connect(self.connect_M)
 
        btn_f=QPushButton("F'",self)
        btn_f.setGeometry(120,50,40,30)
        btn_f.clicked.connect(self.connect_f)
        btn_r=QPushButton("R'",self)
        btn_r.setGeometry(180,50,40,30)
        btn_r.clicked.connect(self.connect_r)
        btn_u=QPushButton("U'",self)
        btn_u.setGeometry(240,50,40,30)
        btn_u.clicked.connect(self.connect_u)
        btn_b=QPushButton("B'",self)
        btn_b.setGeometry(300,50,40,30)
        btn_b.clicked.connect(self.connect_b)
        btn_l=QPushButton("L'",self)
        btn_l.setGeometry(360,50,40,30)
        btn_l.clicked.connect(self.connect_l)
        btn_d=QPushButton("D'",self)
        btn_d.setGeometry(420,50,40,30)
        btn_d.clicked.connect(self.connect_d)
        btn_m=QPushButton("M'",self)
        btn_m.setGeometry(480,50,40,30)
        btn_m.clicked.connect(self.connect_m)
    def connect_solve(self):
        global OPPS
        OPPS=""
        solve(mf.data)
        self.update()
        print(OPPS)
    def connect_F(self):
        move(mf.data,"F")
        self.update()
    def connect_R(self):
        move(mf.data,"R")
        self.update()
    def connect_U(self):
        move(mf.data,"U")
        self.update()
    def connect_B(self):
        move(mf.data,"B")
        self.update()
    def connect_L(self):
        move(mf.data,"L")
        self.update()
    def connect_D(self):
        move(mf.data,"D")
        self.update()
    def connect_M(self):
        move(mf.data,"M")
        self.update()
 
    def connect_f(self):
        move(mf.data,"f")
        self.update()
    def connect_r(self):
        move(mf.data,"r")
        self.update()
    def connect_u(self):
        move(mf.data,"u")
        self.update()
    def connect_b(self):
        move(mf.data,"b")
        self.update()
    def connect_l(self):
        move(mf.data,"l")
        self.update()
    def connect_d(self):
        move(mf.data,"d")
        self.update()
    def connect_m(self):
        move(mf.data,"m")
        self.update()
 
    def connect_run(self):
        tmp=self.textEdit.toPlainText()
        for op in tmp:
            move(mf.data,op)
            self.update()
            # time.sleep(1)
 
    def paintEvent(self, event):
        painter = QPainter()
        painter.begin(self)
        pen = QPen(QColor(255,0,255), 2, Qt.SolidLine)
        painter.setPen(pen)
        bgi=np.zeros([900,900,3])*255
        min_x=200
        max_x=500
        f_lu=min_x
        f_rd=min_x+(max_x-min_x)/3
        x=[f_lu,f_rd,f_rd,f_lu]
        y=[f_lu,f_lu,f_rd,f_rd]
        for i in range(3):
            for j in range(3):
                arr=[]
                for k in range(4):
                    arr.append([x[k]+(max_x-min_x+20)*i/3,y[k]+(max_x-min_x+20)*j/3])
                arr=np.array(arr,dtype=np.int32)
                arr=np.reshape(arr,[-1,1,2])
                cv2.fillPoly(bgi,[arr],color[int(mf.data["F"][j,i])])
        x=[260,360,340,240]
        y=[100,100,130,130]
        for i in range(3):
            for j in range(3):
                # arr=[[x[0]+100*i,y[0]+35*j],[x[1]+100*i,y[1]+35*j],[x[2]+100*i,y[2]+35*j],[x[3]+100*i,y[3]+35*j]]
                arr=[]
                for k in range(4):
                    arr.append([x[k]+106*i-20*j,y[k]+34*j-5])
                arr=np.array(arr,dtype=np.int32)
                arr=np.reshape(arr,[-1,1,2])
                cv2.fillPoly(bgi,[arr],color[int(mf.data["U"][j,i])])
        x=[500,514,514,500]
        y=[200,166+9,266+9,300]
        for i in range(3):
            for j in range(3):
                # arr=[[x[0]+100*i,y[0]+35*j],[x[1]+100*i,y[1]+35*j],[x[2]+100*i,y[2]+35*j],[x[3]+100*i,y[3]+35*j]]
                arr=[]
                for k in range(4):
                    arr.append([x[k]+20*i+18,y[k]+110*j-34*i-6])
                arr=np.array(arr,dtype=np.int32)
                arr=np.reshape(arr,[-1,1,2])
                cv2.fillPoly(bgi,[arr],color[int(mf.data["R"][j,i])])  
        ############L
        cnti=0
        for i in range(600-5,630-5,10):
            cntj=0
            for j in range(300,330,10):
                cv2.rectangle(bgi,(i,j),(i+8,j+8),color[int(mf.data["L"][cntj,cnti])],thickness=-1)
                cntj+=1
            cnti+=1
        ############U
        cnti=0
        for i in range(630,660,10):
            cntj=0
            for j in range(270-5,300-5,10):
                cv2.rectangle(bgi,(i,j),(i+8,j+8),color[int(mf.data["U"][cntj,cnti])],thickness=-1)
                cntj+=1
            cnti+=1
        ############F
        cnti=0
        for i in range(630,660,10):
            cntj=0
            for j in range(300,330,10):
                cv2.rectangle(bgi,(i,j),(i+8,j+8),color[int(mf.data["F"][cntj,cnti])],thickness=-1)
                cntj+=1
            cnti+=1
        ############D
        cnti=0
        for i in range(630,660,10):
            cntj=0
            for j in range(330+5,360+5,10):
                cv2.rectangle(bgi,(i,j),(i+8,j+8),color[int(mf.data["D"][cntj,cnti])],thickness=-1)
                cntj+=1
            cnti+=1
        ############R
        cnti=0
        for i in range(660+5,690+5,10):
            cntj=0
            for j in range(300,330,10):
                cv2.rectangle(bgi,(i,j),(i+8,j+8),color[int(mf.data["R"][cntj,cnti])],thickness=-1)
                cntj+=1
            cnti+=1
        ############B
        cnti=0
        for i in range(690+10,720+10,10):
            cntj=0
            for j in range(300,330,10):
                cv2.rectangle(bgi,(i,j),(i+8,j+8),color[int(mf.data["B"][cntj,cnti])],thickness=-1)
                # cv2.putText(bgi,str(cnti)+""+str(cntj),(i-650+cnti*40,j+60*cntj),cv2.FONT_HERSHEY_COMPLEX,1,(0,0,255),1)
                cntj+=1
            cnti+=1
 
 
        cv2.imwrite("D:/bgi_mf.jpg",bgi) 
        self.cnt+=1
        #cv2.imwrite("D:/"+str(self.cnt)+".jpg",bgi)
        if True:
            file="D:/bgi_mf.jpg"
            pixmap = QPixmap(file)
            temp = cv2.imread(file)
            self.imgShape=[temp.shape[0], temp.shape[1]]
            painter.drawPixmap(QRect(0, 0, temp.shape[0], temp.shape[1]), pixmap)
        painter.end()
    def event2point(self,event):
        return [event.pos().x(),event.pos().y()]
    def mousePressEvent(self, event):
        self.update()
    def mouseMoveEvent(self, event):
        self.update()
    def mouseReleaseEvent(self, event):
        self.update()
        
 
STEP=0
OPPS=""
def move(data,op):
    global STEP,OPPS
    STEP+=1
    OPPS+=op
    def cw(data):
            tmp=cp.deepcopy(data)
            tmp[0,0]=data[2,0]
            tmp[2,0]=data[2,2]
            tmp[2,2]=data[0,2]
            tmp[0,2]=data[0,0]
            tmp[0,1]=data[1,0]
            tmp[1,0]=data[2,1]
            tmp[2,1]=data[1,2]
            tmp[1,2]=data[0,1]
            return tmp
    def anti_cw(data):
        tmp=cp.deepcopy(data)
        tmp[2,0]=data[0,0]
        tmp[2,2]=data[2,0]
        tmp[0,2]=data[2,2]
        tmp[0,0]=data[0,2]
        tmp[1,0]=data[0,1]
        tmp[2,1]=data[1,0]
        tmp[1,2]=data[2,1]
        tmp[0,1]=data[1,2]
        return tmp
    tmp=cp.deepcopy(data)
    if op=="F":
        tmp["R"][:,0]=data["U"][2,:]
        tmp["D"][0,:]=data["R"][::-1,0]
        tmp["L"][:,2]=data["D"][0,:]
        tmp["U"][2,:]=data["L"][::-1,2]
        tmp["F"][:,:]=cw(data["F"])
    elif op=="R":
        tmp["B"][:,0]=data["U"][::-1,2]
        tmp["D"][:,2]=data["B"][::-1,0]
        tmp["F"][:,2]=data["D"][:,2]
        tmp["U"][:,2]=data["F"][:,2]
        tmp["R"][:,:]=cw(data["R"])
    elif op=="U":
        tmp["F"][0,:]=data["R"][0,:]
        tmp["L"][0,:]=data["F"][0,:]
        tmp["B"][0,:]=data["L"][0,:]
        tmp["R"][0,:]=data["B"][0,:]
        tmp["U"][:,:]=cw(data["U"])
    elif op=="B":
        tmp["U"][0,:]=data["R"][:,2]
        tmp["L"][:,0]=data["U"][0,::-1]
        tmp["D"][2,:]=data["L"][:,0]
        tmp["R"][:,2]=data["D"][2,::-1]
        tmp["B"][:,:]=cw(data["B"])
    elif op=="L":
        tmp["U"][:,0]=data["B"][::-1,2]
        tmp["F"][:,0]=data["U"][:,0]
        tmp["D"][:,0]=data["F"][:,0]
        tmp["B"][:,2]=data["D"][::-1,0]
        tmp["L"][:,:]=cw(data["L"])
    elif op=="D":
        tmp["F"][2,:]=data["L"][2,:]
        tmp["R"][2,:]=data["F"][2,:]
        tmp["B"][2,:]=data["R"][2,:]
        tmp["L"][2,:]=data["B"][2,:]
        tmp["D"][:,:]=cw(data["D"])
    elif op=="M":
        tmp["F"][1,:]=data["L"][1,:]
        tmp["R"][1,:]=data["F"][1,:]
        tmp["B"][1,:]=data["R"][1,:]
        tmp["L"][1,:]=data["B"][1,:]
    #####################################
    elif op=="f":
        tmp["U"][2,:]=data["R"][:,0]
        tmp["R"][:,0]=data["D"][0,::-1]
        tmp["D"][0,:]=data["L"][:,2]
        tmp["L"][:,2]=data["U"][2,::-1]
        tmp["F"][:,:]=anti_cw(data["F"])
    elif op=="r":
        tmp["U"][:,2]=data["B"][::-1,0]
        tmp["B"][:,0]=data["D"][::-1,2]
        tmp["D"][:,2]=data["F"][:,2]
        tmp["F"][:,2]=data["U"][:,2]
        tmp["R"][:,:]=anti_cw(data["R"])
    elif op=="u":
        tmp["R"][0,:]=data["F"][0,:]
        tmp["F"][0,:]=data["L"][0,:]
        tmp["L"][0,:]=data["B"][0,:]
        tmp["B"][0,:]=data["R"][0,:]
        tmp["U"][:,:]=anti_cw(data["U"])
    elif op=="b":
        tmp["R"][:,2]=data["U"][0,:]
        tmp["U"][0,:]=data["L"][::-1,0]
        tmp["L"][:,0]=data["D"][2,:]
        tmp["D"][2,:]=data["R"][::-1,2]
        tmp["B"][:,:]=anti_cw(data["B"])
    elif op=="l":
        tmp["B"][:,2]=data["U"][::-1,0]
        tmp["U"][:,0]=data["F"][:,0]
        tmp["F"][:,0]=data["D"][:,0]
        tmp["D"][:,0]=data["B"][::-1,2]
        tmp["L"][:,:]=anti_cw(data["L"])
    elif op=="d":
        tmp["L"][2,:]=data["F"][2,:]
        tmp["F"][2,:]=data["R"][2,:]
        tmp["R"][2,:]=data["B"][2,:]
        tmp["B"][2,:]=data["L"][2,:]
        tmp["D"][:,:]=anti_cw(data["D"])
    elif op=="m":
        tmp["L"][1,:]=data["F"][1,:]
        tmp["F"][1,:]=data["R"][1,:]
        tmp["R"][1,:]=data["B"][1,:]
        tmp["B"][1,:]=data["L"][1,:]
    mf.data=tmp
    return tmp
################
 
 
#############
 
mf=MF()
def moves(lst):
        for x in lst:
            move(mf.data,x)
def solve(data):
    tmp=cp.deepcopy(data)
    def judge_color(i,j):
        if mf.data["U"][i,j]==1:
            # print(mf.data["U"])
            move(mf.data,"U")
            judge_color(i,j)
        else:
            return None
    def step1():
        while not (mf.data["U"][0,1]==1 and mf.data["U"][1,0]==1 and mf.data["U"][2,1]==1 and mf.data["U"][1,2]==1):
            if mf.data["F"][1,2]==1:
                judge_color(1,2)
                move(mf.data,"R")
            elif mf.data["F"][1,0]==1:
                judge_color(1,0)
                move(mf.data,"l")
            elif mf.data["F"][0,1]==1 or mf.data["F"][2,1]==1:
                judge_color(2,1)
                move(mf.data,"F")
            elif mf.data["B"][1,0]==1:
                judge_color(1,2)
                move(mf.data,"r")
            elif mf.data["B"][1,2]==1:
                judge_color(1,0)
                move(mf.data,"L")
            elif mf.data["B"][0,1]==1 or mf.data["B"][2,1]==1:
                judge_color(0,1)
                move(mf.data,"B")
            elif mf.data["L"][1,0]==1:
                judge_color(0,1)
                move(mf.data,"b")
            elif mf.data["L"][1,2]==1:
                judge_color(2,1)
                move(mf.data,"F")
            elif mf.data["L"][0,1]==1 or mf.data["L"][2,1]==1:
                judge_color(1,0)
                move(mf.data,"L")
            elif mf.data["R"][1,0]==1:
                judge_color(2,1)
                move(mf.data,"f")
            elif mf.data["R"][1,2]==1:
                judge_color(0,1)
                move(mf.data,"B")
            elif mf.data["R"][0,1]==1 or mf.data["R"][2,1]==1:
                judge_color(1,2)
                move(mf.data,"R")
            elif mf.data["D"][0,1]==1:
                judge_color(2,1)
                move(mf.data,"F")
                move(mf.data,"F")
            elif mf.data["D"][1,0]==1:
                judge_color(1,0)
                move(mf.data,"L")
                move(mf.data,"L")
            elif mf.data["D"][1,2]==1:
                judge_color(1,2)
                move(mf.data,"R")
                move(mf.data,"R")
            elif mf.data["D"][2,1]==1:
                judge_color(0,1)
                move(mf.data,"B")
                move(mf.data,"B")
    def step2():
        while not (mf.data["D"][0,1]==1 and mf.data["D"][1,0]==1 and mf.data["D"][2,1]==1 and mf.data["D"][1,2]==1):
            if mf.data["U"][1,2]==1 and mf.data["R"][0,1]==mf.data["R"][1,1]:
                move(mf.data,"R")
                move(mf.data,"R")
            elif mf.data["U"][2,1]==1 and mf.data["F"][0,1]==mf.data["F"][1,1]:
                move(mf.data,"F")
                move(mf.data,"F")
            elif mf.data["U"][1,0]==1 and mf.data["L"][0,1]==mf.data["L"][1,1]:
                move(mf.data,"L")
                move(mf.data,"L")
            elif mf.data["U"][0,1]==1 and mf.data["B"][0,1]==mf.data["B"][1,1]:
                move(mf.data,"B")
                move(mf.data,"B")
            else:
                move(mf.data,"U")
    def eq(lst):
            assert len(lst)==3
            if lst[0]==lst[1] and lst[1]==lst[2]:
                return True
            return False
    formula={"left":"ulUL","right":"URur","yizi":"RUrurFRf","guaijiao":"FRuruRUrf","lfish":"luLuluuL","rfish":"RUrURUUr"}
    def step3():
        while not (eq(mf.data["D"][0,:]) and eq(mf.data["D"][:,2]) and eq(mf.data["D"][2,:]) and eq(mf.data["D"][:,0]) and
                    eq(mf.data["F"][2,:]) and eq(mf.data["L"][2,:]) and eq(mf.data["R"][2,:]) and eq(mf.data["B"][2,:])):
            if mf.data["F"][0,0]==1:
                color1=mf.data["U"][2,0]
                color2=mf.data["L"][0,2]
                if color1==mf.data["F"][1,1] and color2==mf.data["L"][1,1]:
                    moves(formula["left"])
                else:
                    moves("MD")
            elif mf.data["F"][0,2]==1:
                color1=mf.data["U"][2,2]
                color2=mf.data["R"][0,0]
                if color1==mf.data["F"][1,1] and color2==mf.data["R"][1,1]:
                    moves(formula["right"])
                else:
                    moves("MD")
            elif mf.data["L"][0,0]==1 or mf.data["L"][0,2]==1:
                moves("u")
            elif mf.data["R"][0,0]==1 or mf.data["R"][0,2]==1:
                moves("U")
            elif mf.data["B"][0,0]==1 or mf.data["B"][0,2]==1:
                moves("UU")
            
            elif mf.data["F"][2,2]==1:
                moves(formula["right"])
            elif mf.data["F"][2,0]==1:
                moves(formula["left"])
            elif mf.data["L"][2,0]==1 or mf.data["L"][2,2]==1:
                moves("MD")
            elif mf.data["R"][2,0]==1 or mf.data["R"][2,2]==1:
                moves("md")
            elif mf.data["B"][2,0]==1 or mf.data["B"][2,2]==1:
                moves("MMDD")
            
            elif mf.data["U"][2,0]==1:
                if mf.data["L"][0,2]==mf.data["F"][1,1] and mf.data["F"][0,0]==mf.data["L"][1,1]:
                    moves(formula["left"])
                else:
                    moves("MD")
            elif mf.data["U"][2,2]==1:
                if mf.data["R"][0,0]==mf.data["F"][1,1] and mf.data["F"][0,2]==mf.data["R"][1,1]:
                    moves(formula["right"])
                else:
                    moves("MD")
            elif mf.data["U"][0,0]==1:
                moves("u")
            elif mf.data["U"][0,2]==1:
                moves("U")
 
            elif mf.data["D"][0,0]==1 and not (mf.data["F"][2,0]==mf.data["F"][2,1] and mf.data["L"][2,1]==mf.data["L"][2,2]):
                moves(formula["left"])
            elif mf.data["D"][0,2]==1 and not (mf.data["F"][2,1]==mf.data["F"][2,2] and mf.data["R"][2,0]==mf.data["R"][2,1]):
                moves(formula["right"])
            elif mf.data["D"][2,0]==1 and not (mf.data["B"][2,1]==mf.data["B"][2,2] and mf.data["L"][2,0]==mf.data["L"][2,1]):
                moves("MMDD")
            elif mf.data["D"][2,2]==1 and not (mf.data["B"][2,0]==mf.data["B"][2,1] and mf.data["R"][2,1]==mf.data["R"][2,2]):
                moves("MMDD")
    def dt(face_x_y):
        return mf.data[face_x_y[0]][int(face_x_y[1]),int(face_x_y[2])]
    def step4():
        uMD_cnt=0
        while not (eq(mf.data["F"][1,:]) and eq(mf.data["L"][1,:]) and eq(mf.data["R"][1,:]) and eq(mf.data["B"][1,:])):
            if dt("F01")==dt("F11") and dt("U21")==dt("R11"):
                moves(formula["right"]+"Umd"+formula["left"])
            elif dt("F01")==dt("F11") and dt("U21")==dt("L11"):
                moves(formula["left"]+"uMD"+formula["right"])
            elif dt("F11")==dt("L01"):
                moves("u")
            elif dt("F11")==dt("R01"):
                moves("U")
            elif dt("F11")==dt("B01"):
                moves("UU")
            elif uMD_cnt<5:
                uMD_cnt+=1
                moves("uMD")
            else:
                uMD_cnt=0
                while dt("F11")==dt("F12") and dt("F11")==dt("F10"):
                    moves("MD")
                if dt("F11")!=dt("F12"):
                    moves(formula["right"]+"Umd"+formula["left"])
                elif dt("F11")!=dt("F10"):
                    moves(formula["left"]+"uMD"+formula["right"])
    def step5():
        while not (eq(mf.data["U"][1,:]) and eq(mf.data["U"][:,1])):
            if eq(mf.data["U"][1,:]) and dt("F01")==dt("U11"):
                moves(formula["yizi"])
            elif dt("U01")==dt("U11") and dt("U10")==dt("U11") and dt("F01")==dt("U11") and dt("R01")==dt("U11"):
                moves(formula["guaijiao"])
            elif dt("F01")==dt("U11") and dt("R01")==dt("U11"):
                moves(formula["yizi"])
            else:
                moves("U")
    def step6():
        cnt=0
        while not (eq(mf.data["U"][0,:]) and eq(mf.data["U"][1,:]) and eq(mf.data["U"][2,:]) and eq(mf.data["U"][:,0])):
            lst=[dt("U00"),dt("U02"),dt("U20"),dt("U22")]
            SUM=0
            for x in lst:
                if x!=dt("U11"):
                    SUM+=1
            if dt("U20")==dt("U11") and dt("F02")==dt("U11") and dt("R02")==dt("U11") and dt("B02")==dt("U11"):
                moves(formula["rfish"])
            elif dt("U22")==dt("U11") and dt("F00")==dt("U11") and dt("L00")==dt("U11") and dt("B00")==dt("U11"):
                moves(formula["lfish"])
            elif SUM==3:
                moves("U")
            else:
                while dt("F00")!=dt("U11"):
                    moves("U")
                moves(formula["rfish"])
    def step7():
        while True:
            SUM=0
            for x in "FRBL":
                if dt(x+"00")==dt(x+"02"):
                    SUM+=1
            if SUM>=2:
                break
            if SUM==0:
                while dt("F00")==dt("F02") or dt("F00")==dt("L00") or dt("L00")==dt("F02"):
                    moves("U")
                moves(formula["guaijiao"]+formula["yizi"])
            elif SUM==1:
                while dt("L00")!=dt("L02"):
                    moves("U")
                moves(formula["yizi"]+formula["guaijiao"])
    def step8():
        while True:
            SUM=0
            for x in "FRBL":
                if eq(mf.data[x][0,:]):
                    SUM+=1
            if SUM==4:
                while dt("F00")!=dt("F11"):
                    moves("U")
                break
            if SUM==0:
                moves(formula["lfish"]+"u"+formula["rfish"])
            elif SUM==1:
                while not eq(mf.data["B"][0,:]):
                    moves("U")
                while not eq(mf.data["B"][:,0]):
                    moves("MD")
                if dt("L01")==dt("F11"):
                    moves(formula["lfish"]+"u"+formula["rfish"])
                elif dt("R01")==dt("F11"):
                    moves(formula["rfish"]+"U"+formula["lfish"])
        while dt("F11")!=4:
            moves("uMD")
    step1()
    print(len(OPPS))
    step2()
    print(len(OPPS))
    step3()
    print(len(OPPS))
    step4()
    print(len(OPPS))
    step5()
    print(len(OPPS))
    step6()
    print(len(OPPS))
    step7()
    print(len(OPPS))
    step8()
    return True

四、运行函数

if __name__ == "__main__":
    app = QApplication(sys.argv)
    example=Example()
    example.show()
    ops=["F","R","U","B","L","D"]
 
    TIME=0
    for t in range(1):
        OPPS=""
        shuffle=""
        seed=np.random.randint(1,1000000)
        np.random.seed(seed)
        print("seed",seed)
        for i in range(50):
            shuffle+=ops[np.random.randint(0,len(ops))]
        moves(shuffle)
        time1=time.time()
        solve(mf.data)
        time2=time.time()
        TIME+=(time2-time1)
        print("打乱公式：",shuffle)
        print("求解公式：",OPPS[len(shuffle):])
        print("求解步数：",len(OPPS[len(shuffle):]))
        print(t,TIME)
    app.exec_()

全部代码

import sys
from PyQt5.QtWidgets import (QApplication, QWidget)
from PyQt5.QtGui import (QPainter, QPen,QColor,QPixmap,QImage,QFont,QPolygon)
from PyQt5.QtCore import Qt,QRect
from PyQt5.QtWidgets import QWidget, QApplication, QPushButton, QMenu,QAbstractButton,QFileDialog,QMessageBox,QInputDialog,QLineEdit,QTextEdit
import PyQt5.QtWidgets as QtWidgets
import PyQt5.QtGui as QtGui
import PyQt5.QtCore as QtCore
from PyQt5 import *
import numpy as np
import threading
import math
import cv2
import copy as cp
import time
 
file=""
 
face=["U","D","L","R","F","B"]
color_name=["Y","W","O","R","B","G"]
color0=[(253,200,60),(246,246,246),(220,90,70),(255,0,0),(0,67,188),(0,220,150)]
color=[]
for x in color0:
    color.append((x[2],x[1],x[0]))
 
class MF:
    def __init__(self):
        self.data={}
        for i,x in enumerate(face):
            self.data[x]=np.ones([3,3])*i
 
class Example(QWidget):
    def __init__(self):
        super(Example, self).__init__()
        self.cnt=0
        self.initUI()
    def initUI(self):
        w, h = 800, 600
        screen = QtWidgets.QDesktopWidget().screenGeometry()
        self.setGeometry((screen.width() - w) // 2, (screen.height() - h) // 2, w, h)
        self.setWindowTitle("三阶魔方")
        self.ops=["F","R","U","B","L","D"]
        
        self.textEdit = QtWidgets.QTextEdit(self)
        self.textEdit.setGeometry(580, 50, 180, 30)
        # self.textEdit.setStyleSheet("color:red")
        font = QtGui.QFont()
        font.setFamily('宋体')
        font.setBold(True)
        font.setPointSize(12)
        font.setWeight(75)
        self.textEdit.setFont(font)
 
        btn_run=QPushButton("执行公式",self)
        btn_run.setGeometry(580,10,100,30)
        btn_run.clicked.connect(self.connect_run)
 
        btn_solve=QPushButton("求解魔方",self)
        btn_solve.setGeometry(30,20,60,30)
        btn_solve.clicked.connect(self.connect_solve)
 
        btn_F=QPushButton("F",self)
        btn_F.setGeometry(120,10,40,30)
        btn_F.clicked.connect(self.connect_F)
        btn_R=QPushButton("R",self)
        btn_R.setGeometry(180,10,40,30)
        btn_R.clicked.connect(self.connect_R)
        btn_U=QPushButton("U",self)
        btn_U.setGeometry(240,10,40,30)
        btn_U.clicked.connect(self.connect_U)
        btn_B=QPushButton("B",self)
        btn_B.setGeometry(300,10,40,30)
        btn_B.clicked.connect(self.connect_B)
        btn_L=QPushButton("L",self)
        btn_L.setGeometry(360,10,40,30)
        btn_L.clicked.connect(self.connect_L)
        btn_D=QPushButton("D",self)
        btn_D.setGeometry(420,10,40,30)
        btn_D.clicked.connect(self.connect_D)
        btn_M=QPushButton("M",self)
        btn_M.setGeometry(480,10,40,30)
        btn_M.clicked.connect(self.connect_M)
 
        btn_f=QPushButton("F'",self)
        btn_f.setGeometry(120,50,40,30)
        btn_f.clicked.connect(self.connect_f)
        btn_r=QPushButton("R'",self)
        btn_r.setGeometry(180,50,40,30)
        btn_r.clicked.connect(self.connect_r)
        btn_u=QPushButton("U'",self)
        btn_u.setGeometry(240,50,40,30)
        btn_u.clicked.connect(self.connect_u)
        btn_b=QPushButton("B'",self)
        btn_b.setGeometry(300,50,40,30)
        btn_b.clicked.connect(self.connect_b)
        btn_l=QPushButton("L'",self)
        btn_l.setGeometry(360,50,40,30)
        btn_l.clicked.connect(self.connect_l)
        btn_d=QPushButton("D'",self)
        btn_d.setGeometry(420,50,40,30)
        btn_d.clicked.connect(self.connect_d)
        btn_m=QPushButton("M'",self)
        btn_m.setGeometry(480,50,40,30)
        btn_m.clicked.connect(self.connect_m)
    def connect_solve(self):
        global OPPS
        OPPS=""
        solve(mf.data)
        self.update()
        print(OPPS)
    def connect_F(self):
        move(mf.data,"F")
        self.update()
    def connect_R(self):
        move(mf.data,"R")
        self.update()
    def connect_U(self):
        move(mf.data,"U")
        self.update()
    def connect_B(self):
        move(mf.data,"B")
        self.update()
    def connect_L(self):
        move(mf.data,"L")
        self.update()
    def connect_D(self):
        move(mf.data,"D")
        self.update()
    def connect_M(self):
        move(mf.data,"M")
        self.update()
 
    def connect_f(self):
        move(mf.data,"f")
        self.update()
    def connect_r(self):
        move(mf.data,"r")
        self.update()
    def connect_u(self):
        move(mf.data,"u")
        self.update()
    def connect_b(self):
        move(mf.data,"b")
        self.update()
    def connect_l(self):
        move(mf.data,"l")
        self.update()
    def connect_d(self):
        move(mf.data,"d")
        self.update()
    def connect_m(self):
        move(mf.data,"m")
        self.update()
 
    def connect_run(self):
        tmp=self.textEdit.toPlainText()
        for op in tmp:
            move(mf.data,op)
            self.update()
            # time.sleep(1)
 
    def paintEvent(self, event):
        painter = QPainter()
        painter.begin(self)
        pen = QPen(QColor(255,0,255), 2, Qt.SolidLine)
        painter.setPen(pen)
        bgi=np.zeros([900,900,3])*255
        min_x=200
        max_x=500
        f_lu=min_x
        f_rd=min_x+(max_x-min_x)/3
        x=[f_lu,f_rd,f_rd,f_lu]
        y=[f_lu,f_lu,f_rd,f_rd]
        for i in range(3):
            for j in range(3):
                arr=[]
                for k in range(4):
                    arr.append([x[k]+(max_x-min_x+20)*i/3,y[k]+(max_x-min_x+20)*j/3])
                arr=np.array(arr,dtype=np.int32)
                arr=np.reshape(arr,[-1,1,2])
                cv2.fillPoly(bgi,[arr],color[int(mf.data["F"][j,i])])
        x=[260,360,340,240]
        y=[100,100,130,130]
        for i in range(3):
            for j in range(3):
                # arr=[[x[0]+100*i,y[0]+35*j],[x[1]+100*i,y[1]+35*j],[x[2]+100*i,y[2]+35*j],[x[3]+100*i,y[3]+35*j]]
                arr=[]
                for k in range(4):
                    arr.append([x[k]+106*i-20*j,y[k]+34*j-5])
                arr=np.array(arr,dtype=np.int32)
                arr=np.reshape(arr,[-1,1,2])
                cv2.fillPoly(bgi,[arr],color[int(mf.data["U"][j,i])])
        x=[500,514,514,500]
        y=[200,166+9,266+9,300]
        for i in range(3):
            for j in range(3):
                # arr=[[x[0]+100*i,y[0]+35*j],[x[1]+100*i,y[1]+35*j],[x[2]+100*i,y[2]+35*j],[x[3]+100*i,y[3]+35*j]]
                arr=[]
                for k in range(4):
                    arr.append([x[k]+20*i+18,y[k]+110*j-34*i-6])
                arr=np.array(arr,dtype=np.int32)
                arr=np.reshape(arr,[-1,1,2])
                cv2.fillPoly(bgi,[arr],color[int(mf.data["R"][j,i])])  
        ############L
        cnti=0
        for i in range(600-5,630-5,10):
            cntj=0
            for j in range(300,330,10):
                cv2.rectangle(bgi,(i,j),(i+8,j+8),color[int(mf.data["L"][cntj,cnti])],thickness=-1)
                cntj+=1
            cnti+=1
        ############U
        cnti=0
        for i in range(630,660,10):
            cntj=0
            for j in range(270-5,300-5,10):
                cv2.rectangle(bgi,(i,j),(i+8,j+8),color[int(mf.data["U"][cntj,cnti])],thickness=-1)
                cntj+=1
            cnti+=1
        ############F
        cnti=0
        for i in range(630,660,10):
            cntj=0
            for j in range(300,330,10):
                cv2.rectangle(bgi,(i,j),(i+8,j+8),color[int(mf.data["F"][cntj,cnti])],thickness=-1)
                cntj+=1
            cnti+=1
        ############D
        cnti=0
        for i in range(630,660,10):
            cntj=0
            for j in range(330+5,360+5,10):
                cv2.rectangle(bgi,(i,j),(i+8,j+8),color[int(mf.data["D"][cntj,cnti])],thickness=-1)
                cntj+=1
            cnti+=1
        ############R
        cnti=0
        for i in range(660+5,690+5,10):
            cntj=0
            for j in range(300,330,10):
                cv2.rectangle(bgi,(i,j),(i+8,j+8),color[int(mf.data["R"][cntj,cnti])],thickness=-1)
                cntj+=1
            cnti+=1
        ############B
        cnti=0
        for i in range(690+10,720+10,10):
            cntj=0
            for j in range(300,330,10):
                cv2.rectangle(bgi,(i,j),(i+8,j+8),color[int(mf.data["B"][cntj,cnti])],thickness=-1)
                # cv2.putText(bgi,str(cnti)+""+str(cntj),(i-650+cnti*40,j+60*cntj),cv2.FONT_HERSHEY_COMPLEX,1,(0,0,255),1)
                cntj+=1
            cnti+=1
 
 
        cv2.imwrite("D:/bgi_mf.jpg",bgi) 
        self.cnt+=1
        #cv2.imwrite("D:/"+str(self.cnt)+".jpg",bgi)
        if True:
            file="D:/bgi_mf.jpg"
            pixmap = QPixmap(file)
            temp = cv2.imread(file)
            self.imgShape=[temp.shape[0], temp.shape[1]]
            painter.drawPixmap(QRect(0, 0, temp.shape[0], temp.shape[1]), pixmap)
        painter.end()
    def event2point(self,event):
        return [event.pos().x(),event.pos().y()]
    def mousePressEvent(self, event):
        self.update()
    def mouseMoveEvent(self, event):
        self.update()
    def mouseReleaseEvent(self, event):
        self.update()
        
 
STEP=0
OPPS=""
def move(data,op):
    global STEP,OPPS
    STEP+=1
    OPPS+=op
    def cw(data):
            tmp=cp.deepcopy(data)
            tmp[0,0]=data[2,0]
            tmp[2,0]=data[2,2]
            tmp[2,2]=data[0,2]
            tmp[0,2]=data[0,0]
            tmp[0,1]=data[1,0]
            tmp[1,0]=data[2,1]
            tmp[2,1]=data[1,2]
            tmp[1,2]=data[0,1]
            return tmp
    def anti_cw(data):
        tmp=cp.deepcopy(data)
        tmp[2,0]=data[0,0]
        tmp[2,2]=data[2,0]
        tmp[0,2]=data[2,2]
        tmp[0,0]=data[0,2]
        tmp[1,0]=data[0,1]
        tmp[2,1]=data[1,0]
        tmp[1,2]=data[2,1]
        tmp[0,1]=data[1,2]
        return tmp
    tmp=cp.deepcopy(data)
    if op=="F":
        tmp["R"][:,0]=data["U"][2,:]
        tmp["D"][0,:]=data["R"][::-1,0]
        tmp["L"][:,2]=data["D"][0,:]
        tmp["U"][2,:]=data["L"][::-1,2]
        tmp["F"][:,:]=cw(data["F"])
    elif op=="R":
        tmp["B"][:,0]=data["U"][::-1,2]
        tmp["D"][:,2]=data["B"][::-1,0]
        tmp["F"][:,2]=data["D"][:,2]
        tmp["U"][:,2]=data["F"][:,2]
        tmp["R"][:,:]=cw(data["R"])
    elif op=="U":
        tmp["F"][0,:]=data["R"][0,:]
        tmp["L"][0,:]=data["F"][0,:]
        tmp["B"][0,:]=data["L"][0,:]
        tmp["R"][0,:]=data["B"][0,:]
        tmp["U"][:,:]=cw(data["U"])
    elif op=="B":
        tmp["U"][0,:]=data["R"][:,2]
        tmp["L"][:,0]=data["U"][0,::-1]
        tmp["D"][2,:]=data["L"][:,0]
        tmp["R"][:,2]=data["D"][2,::-1]
        tmp["B"][:,:]=cw(data["B"])
    elif op=="L":
        tmp["U"][:,0]=data["B"][::-1,2]
        tmp["F"][:,0]=data["U"][:,0]
        tmp["D"][:,0]=data["F"][:,0]
        tmp["B"][:,2]=data["D"][::-1,0]
        tmp["L"][:,:]=cw(data["L"])
    elif op=="D":
        tmp["F"][2,:]=data["L"][2,:]
        tmp["R"][2,:]=data["F"][2,:]
        tmp["B"][2,:]=data["R"][2,:]
        tmp["L"][2,:]=data["B"][2,:]
        tmp["D"][:,:]=cw(data["D"])
    elif op=="M":
        tmp["F"][1,:]=data["L"][1,:]
        tmp["R"][1,:]=data["F"][1,:]
        tmp["B"][1,:]=data["R"][1,:]
        tmp["L"][1,:]=data["B"][1,:]
    #####################################
    elif op=="f":
        tmp["U"][2,:]=data["R"][:,0]
        tmp["R"][:,0]=data["D"][0,::-1]
        tmp["D"][0,:]=data["L"][:,2]
        tmp["L"][:,2]=data["U"][2,::-1]
        tmp["F"][:,:]=anti_cw(data["F"])
    elif op=="r":
        tmp["U"][:,2]=data["B"][::-1,0]
        tmp["B"][:,0]=data["D"][::-1,2]
        tmp["D"][:,2]=data["F"][:,2]
        tmp["F"][:,2]=data["U"][:,2]
        tmp["R"][:,:]=anti_cw(data["R"])
    elif op=="u":
        tmp["R"][0,:]=data["F"][0,:]
        tmp["F"][0,:]=data["L"][0,:]
        tmp["L"][0,:]=data["B"][0,:]
        tmp["B"][0,:]=data["R"][0,:]
        tmp["U"][:,:]=anti_cw(data["U"])
    elif op=="b":
        tmp["R"][:,2]=data["U"][0,:]
        tmp["U"][0,:]=data["L"][::-1,0]
        tmp["L"][:,0]=data["D"][2,:]
        tmp["D"][2,:]=data["R"][::-1,2]
        tmp["B"][:,:]=anti_cw(data["B"])
    elif op=="l":
        tmp["B"][:,2]=data["U"][::-1,0]
        tmp["U"][:,0]=data["F"][:,0]
        tmp["F"][:,0]=data["D"][:,0]
        tmp["D"][:,0]=data["B"][::-1,2]
        tmp["L"][:,:]=anti_cw(data["L"])
    elif op=="d":
        tmp["L"][2,:]=data["F"][2,:]
        tmp["F"][2,:]=data["R"][2,:]
        tmp["R"][2,:]=data["B"][2,:]
        tmp["B"][2,:]=data["L"][2,:]
        tmp["D"][:,:]=anti_cw(data["D"])
    elif op=="m":
        tmp["L"][1,:]=data["F"][1,:]
        tmp["F"][1,:]=data["R"][1,:]
        tmp["R"][1,:]=data["B"][1,:]
        tmp["B"][1,:]=data["L"][1,:]
    mf.data=tmp
    return tmp
################
 
 
#############
 
mf=MF()
def moves(lst):
        for x in lst:
            move(mf.data,x)
def solve(data):
    tmp=cp.deepcopy(data)
    def judge_color(i,j):
        if mf.data["U"][i,j]==1:
            # print(mf.data["U"])
            move(mf.data,"U")
            judge_color(i,j)
        else:
            return None
    def step1():
        while not (mf.data["U"][0,1]==1 and mf.data["U"][1,0]==1 and mf.data["U"][2,1]==1 and mf.data["U"][1,2]==1):
            if mf.data["F"][1,2]==1:
                judge_color(1,2)
                move(mf.data,"R")
            elif mf.data["F"][1,0]==1:
                judge_color(1,0)
                move(mf.data,"l")
            elif mf.data["F"][0,1]==1 or mf.data["F"][2,1]==1:
                judge_color(2,1)
                move(mf.data,"F")
            elif mf.data["B"][1,0]==1:
                judge_color(1,2)
                move(mf.data,"r")
            elif mf.data["B"][1,2]==1:
                judge_color(1,0)
                move(mf.data,"L")
            elif mf.data["B"][0,1]==1 or mf.data["B"][2,1]==1:
                judge_color(0,1)
                move(mf.data,"B")
            elif mf.data["L"][1,0]==1:
                judge_color(0,1)
                move(mf.data,"b")
            elif mf.data["L"][1,2]==1:
                judge_color(2,1)
                move(mf.data,"F")
            elif mf.data["L"][0,1]==1 or mf.data["L"][2,1]==1:
                judge_color(1,0)
                move(mf.data,"L")
            elif mf.data["R"][1,0]==1:
                judge_color(2,1)
                move(mf.data,"f")
            elif mf.data["R"][1,2]==1:
                judge_color(0,1)
                move(mf.data,"B")
            elif mf.data["R"][0,1]==1 or mf.data["R"][2,1]==1:
                judge_color(1,2)
                move(mf.data,"R")
            elif mf.data["D"][0,1]==1:
                judge_color(2,1)
                move(mf.data,"F")
                move(mf.data,"F")
            elif mf.data["D"][1,0]==1:
                judge_color(1,0)
                move(mf.data,"L")
                move(mf.data,"L")
            elif mf.data["D"][1,2]==1:
                judge_color(1,2)
                move(mf.data,"R")
                move(mf.data,"R")
            elif mf.data["D"][2,1]==1:
                judge_color(0,1)
                move(mf.data,"B")
                move(mf.data,"B")
    def step2():
        while not (mf.data["D"][0,1]==1 and mf.data["D"][1,0]==1 and mf.data["D"][2,1]==1 and mf.data["D"][1,2]==1):
            if mf.data["U"][1,2]==1 and mf.data["R"][0,1]==mf.data["R"][1,1]:
                move(mf.data,"R")
                move(mf.data,"R")
            elif mf.data["U"][2,1]==1 and mf.data["F"][0,1]==mf.data["F"][1,1]:
                move(mf.data,"F")
                move(mf.data,"F")
            elif mf.data["U"][1,0]==1 and mf.data["L"][0,1]==mf.data["L"][1,1]:
                move(mf.data,"L")
                move(mf.data,"L")
            elif mf.data["U"][0,1]==1 and mf.data["B"][0,1]==mf.data["B"][1,1]:
                move(mf.data,"B")
                move(mf.data,"B")
            else:
                move(mf.data,"U")
    def eq(lst):
            assert len(lst)==3
            if lst[0]==lst[1] and lst[1]==lst[2]:
                return True
            return False
    formula={"left":"ulUL","right":"URur","yizi":"RUrurFRf","guaijiao":"FRuruRUrf","lfish":"luLuluuL","rfish":"RUrURUUr"}
    def step3():
        while not (eq(mf.data["D"][0,:]) and eq(mf.data["D"][:,2]) and eq(mf.data["D"][2,:]) and eq(mf.data["D"][:,0]) and
                    eq(mf.data["F"][2,:]) and eq(mf.data["L"][2,:]) and eq(mf.data["R"][2,:]) and eq(mf.data["B"][2,:])):
            if mf.data["F"][0,0]==1:
                color1=mf.data["U"][2,0]
                color2=mf.data["L"][0,2]
                if color1==mf.data["F"][1,1] and color2==mf.data["L"][1,1]:
                    moves(formula["left"])
                else:
                    moves("MD")
            elif mf.data["F"][0,2]==1:
                color1=mf.data["U"][2,2]
                color2=mf.data["R"][0,0]
                if color1==mf.data["F"][1,1] and color2==mf.data["R"][1,1]:
                    moves(formula["right"])
                else:
                    moves("MD")
            elif mf.data["L"][0,0]==1 or mf.data["L"][0,2]==1:
                moves("u")
            elif mf.data["R"][0,0]==1 or mf.data["R"][0,2]==1:
                moves("U")
            elif mf.data["B"][0,0]==1 or mf.data["B"][0,2]==1:
                moves("UU")
            
            elif mf.data["F"][2,2]==1:
                moves(formula["right"])
            elif mf.data["F"][2,0]==1:
                moves(formula["left"])
            elif mf.data["L"][2,0]==1 or mf.data["L"][2,2]==1:
                moves("MD")
            elif mf.data["R"][2,0]==1 or mf.data["R"][2,2]==1:
                moves("md")
            elif mf.data["B"][2,0]==1 or mf.data["B"][2,2]==1:
                moves("MMDD")
            
            elif mf.data["U"][2,0]==1:
                if mf.data["L"][0,2]==mf.data["F"][1,1] and mf.data["F"][0,0]==mf.data["L"][1,1]:
                    moves(formula["left"])
                else:
                    moves("MD")
            elif mf.data["U"][2,2]==1:
                if mf.data["R"][0,0]==mf.data["F"][1,1] and mf.data["F"][0,2]==mf.data["R"][1,1]:
                    moves(formula["right"])
                else:
                    moves("MD")
            elif mf.data["U"][0,0]==1:
                moves("u")
            elif mf.data["U"][0,2]==1:
                moves("U")
 
            elif mf.data["D"][0,0]==1 and not (mf.data["F"][2,0]==mf.data["F"][2,1] and mf.data["L"][2,1]==mf.data["L"][2,2]):
                moves(formula["left"])
            elif mf.data["D"][0,2]==1 and not (mf.data["F"][2,1]==mf.data["F"][2,2] and mf.data["R"][2,0]==mf.data["R"][2,1]):
                moves(formula["right"])
            elif mf.data["D"][2,0]==1 and not (mf.data["B"][2,1]==mf.data["B"][2,2] and mf.data["L"][2,0]==mf.data["L"][2,1]):
                moves("MMDD")
            elif mf.data["D"][2,2]==1 and not (mf.data["B"][2,0]==mf.data["B"][2,1] and mf.data["R"][2,1]==mf.data["R"][2,2]):
                moves("MMDD")
    def dt(face_x_y):
        return mf.data[face_x_y[0]][int(face_x_y[1]),int(face_x_y[2])]
    def step4():
        uMD_cnt=0
        while not (eq(mf.data["F"][1,:]) and eq(mf.data["L"][1,:]) and eq(mf.data["R"][1,:]) and eq(mf.data["B"][1,:])):
            if dt("F01")==dt("F11") and dt("U21")==dt("R11"):
                moves(formula["right"]+"Umd"+formula["left"])
            elif dt("F01")==dt("F11") and dt("U21")==dt("L11"):
                moves(formula["left"]+"uMD"+formula["right"])
            elif dt("F11")==dt("L01"):
                moves("u")
            elif dt("F11")==dt("R01"):
                moves("U")
            elif dt("F11")==dt("B01"):
                moves("UU")
            elif uMD_cnt<5:
                uMD_cnt+=1
                moves("uMD")
            else:
                uMD_cnt=0
                while dt("F11")==dt("F12") and dt("F11")==dt("F10"):
                    moves("MD")
                if dt("F11")!=dt("F12"):
                    moves(formula["right"]+"Umd"+formula["left"])
                elif dt("F11")!=dt("F10"):
                    moves(formula["left"]+"uMD"+formula["right"])
    def step5():
        while not (eq(mf.data["U"][1,:]) and eq(mf.data["U"][:,1])):
            if eq(mf.data["U"][1,:]) and dt("F01")==dt("U11"):
                moves(formula["yizi"])
            elif dt("U01")==dt("U11") and dt("U10")==dt("U11") and dt("F01")==dt("U11") and dt("R01")==dt("U11"):
                moves(formula["guaijiao"])
            elif dt("F01")==dt("U11") and dt("R01")==dt("U11"):
                moves(formula["yizi"])
            else:
                moves("U")
    def step6():
        cnt=0
        while not (eq(mf.data["U"][0,:]) and eq(mf.data["U"][1,:]) and eq(mf.data["U"][2,:]) and eq(mf.data["U"][:,0])):
            lst=[dt("U00"),dt("U02"),dt("U20"),dt("U22")]
            SUM=0
            for x in lst:
                if x!=dt("U11"):
                    SUM+=1
            if dt("U20")==dt("U11") and dt("F02")==dt("U11") and dt("R02")==dt("U11") and dt("B02")==dt("U11"):
                moves(formula["rfish"])
            elif dt("U22")==dt("U11") and dt("F00")==dt("U11") and dt("L00")==dt("U11") and dt("B00")==dt("U11"):
                moves(formula["lfish"])
            elif SUM==3:
                moves("U")
            else:
                while dt("F00")!=dt("U11"):
                    moves("U")
                moves(formula["rfish"])
    def step7():
        while True:
            SUM=0
            for x in "FRBL":
                if dt(x+"00")==dt(x+"02"):
                    SUM+=1
            if SUM>=2:
                break
            if SUM==0:
                while dt("F00")==dt("F02") or dt("F00")==dt("L00") or dt("L00")==dt("F02"):
                    moves("U")
                moves(formula["guaijiao"]+formula["yizi"])
            elif SUM==1:
                while dt("L00")!=dt("L02"):
                    moves("U")
                moves(formula["yizi"]+formula["guaijiao"])
    def step8():
        while True:
            SUM=0
            for x in "FRBL":
                if eq(mf.data[x][0,:]):
                    SUM+=1
            if SUM==4:
                while dt("F00")!=dt("F11"):
                    moves("U")
                break
            if SUM==0:
                moves(formula["lfish"]+"u"+formula["rfish"])
            elif SUM==1:
                while not eq(mf.data["B"][0,:]):
                    moves("U")
                while not eq(mf.data["B"][:,0]):
                    moves("MD")
                if dt("L01")==dt("F11"):
                    moves(formula["lfish"]+"u"+formula["rfish"])
                elif dt("R01")==dt("F11"):
                    moves(formula["rfish"]+"U"+formula["lfish"])
        while dt("F11")!=4:
            moves("uMD")
    step1()
    print(len(OPPS))
    step2()
    print(len(OPPS))
    step3()
    print(len(OPPS))
    step4()
    print(len(OPPS))
    step5()
    print(len(OPPS))
    step6()
    print(len(OPPS))
    step7()
    print(len(OPPS))
    step8()
    return True
if __name__ == "__main__":
    app = QApplication(sys.argv)
    example=Example()
    example.show()
    ops=["F","R","U","B","L","D"]
 
    TIME=0
    for t in range(1):
        OPPS=""
        shuffle=""
        seed=np.random.randint(1,1000000)
        np.random.seed(seed)
        print("seed",seed)
        for i in range(50):
            shuffle+=ops[np.random.randint(0,len(ops))]
        moves(shuffle)
        time1=time.time()
        solve(mf.data)
        time2=time.time()
        TIME+=(time2-time1)
        print("打乱公式：",shuffle)
        print("求解公式：",OPPS[len(shuffle):])
        print("求解步数：",len(OPPS[len(shuffle):]))
        print(t,TIME)
    app.exec_()

没有登陆的可以复制这个：

import sys
from PyQt5.QtWidgets import (QApplication, QWidget)
from PyQt5.QtGui import (QPainter, QPen,QColor,QPixmap,QImage,QFont,QPolygon)
from PyQt5.QtCore import Qt,QRect
from PyQt5.QtWidgets import QWidget, QApplication, QPushButton, QMenu,QAbstractButton,QFileDialog,QMessageBox,QInputDialog,QLineEdit,QTextEdit
import PyQt5.QtWidgets as QtWidgets
import PyQt5.QtGui as QtGui
import PyQt5.QtCore as QtCore
from PyQt5 import *
import numpy as np
import threading
import math
import cv2
import copy as cp
import time
 
file=""
 
face=["U","D","L","R","F","B"]
color_name=["Y","W","O","R","B","G"]
color0=[(253,200,60),(246,246,246),(220,90,70),(255,0,0),(0,67,188),(0,220,150)]
color=[]
for x in color0:
    color.append((x[2],x[1],x[0]))
 
class MF:
    def __init__(self):
        self.data={}
        for i,x in enumerate(face):
            self.data[x]=np.ones([3,3])*i
 
class Example(QWidget):
    def __init__(self):
        super(Example, self).__init__()
        self.cnt=0
        self.initUI()
    def initUI(self):
        w, h = 800, 600
        screen = QtWidgets.QDesktopWidget().screenGeometry()
        self.setGeometry((screen.width() - w) // 2, (screen.height() - h) // 2, w, h)
        self.setWindowTitle("三阶魔方")
        self.ops=["F","R","U","B","L","D"]
        
        self.textEdit = QtWidgets.QTextEdit(self)
        self.textEdit.setGeometry(580, 50, 180, 30)
        # self.textEdit.setStyleSheet("color:red")
        font = QtGui.QFont()
        font.setFamily('宋体')
        font.setBold(True)
        font.setPointSize(12)
        font.setWeight(75)
        self.textEdit.setFont(font)
 
        btn_run=QPushButton("执行公式",self)
        btn_run.setGeometry(580,10,100,30)
        btn_run.clicked.connect(self.connect_run)
 
        btn_solve=QPushButton("求解魔方",self)
        btn_solve.setGeometry(30,20,60,30)
        btn_solve.clicked.connect(self.connect_solve)
 
        btn_F=QPushButton("F",self)
        btn_F.setGeometry(120,10,40,30)
        btn_F.clicked.connect(self.connect_F)
        btn_R=QPushButton("R",self)
        btn_R.setGeometry(180,10,40,30)
        btn_R.clicked.connect(self.connect_R)
        btn_U=QPushButton("U",self)
        btn_U.setGeometry(240,10,40,30)
        btn_U.clicked.connect(self.connect_U)
        btn_B=QPushButton("B",self)
        btn_B.setGeometry(300,10,40,30)
        btn_B.clicked.connect(self.connect_B)
        btn_L=QPushButton("L",self)
        btn_L.setGeometry(360,10,40,30)
        btn_L.clicked.connect(self.connect_L)
        btn_D=QPushButton("D",self)
        btn_D.setGeometry(420,10,40,30)
        btn_D.clicked.connect(self.connect_D)
        btn_M=QPushButton("M",self)
        btn_M.setGeometry(480,10,40,30)
        btn_M.clicked.connect(self.connect_M)
 
        btn_f=QPushButton("F'",self)
        btn_f.setGeometry(120,50,40,30)
        btn_f.clicked.connect(self.connect_f)
        btn_r=QPushButton("R'",self)
        btn_r.setGeometry(180,50,40,30)
        btn_r.clicked.connect(self.connect_r)
        btn_u=QPushButton("U'",self)
        btn_u.setGeometry(240,50,40,30)
        btn_u.clicked.connect(self.connect_u)
        btn_b=QPushButton("B'",self)
        btn_b.setGeometry(300,50,40,30)
        btn_b.clicked.connect(self.connect_b)
        btn_l=QPushButton("L'",self)
        btn_l.setGeometry(360,50,40,30)
        btn_l.clicked.connect(self.connect_l)
        btn_d=QPushButton("D'",self)
        btn_d.setGeometry(420,50,40,30)
        btn_d.clicked.connect(self.connect_d)
        btn_m=QPushButton("M'",self)
        btn_m.setGeometry(480,50,40,30)
        btn_m.clicked.connect(self.connect_m)
    def connect_solve(self):
        global OPPS
        OPPS=""
        solve(mf.data)
        self.update()
        print(OPPS)
    def connect_F(self):
        move(mf.data,"F")
        self.update()
    def connect_R(self):
        move(mf.data,"R")
        self.update()
    def connect_U(self):
        move(mf.data,"U")
        self.update()
    def connect_B(self):
        move(mf.data,"B")
        self.update()
    def connect_L(self):
        move(mf.data,"L")
        self.update()
    def connect_D(self):
        move(mf.data,"D")
        self.update()
    def connect_M(self):
        move(mf.data,"M")
        self.update()
 
    def connect_f(self):
        move(mf.data,"f")
        self.update()
    def connect_r(self):
        move(mf.data,"r")
        self.update()
    def connect_u(self):
        move(mf.data,"u")
        self.update()
    def connect_b(self):
        move(mf.data,"b")
        self.update()
    def connect_l(self):
        move(mf.data,"l")
        self.update()
    def connect_d(self):
        move(mf.data,"d")
        self.update()
    def connect_m(self):
        move(mf.data,"m")
        self.update()
 
    def connect_run(self):
        tmp=self.textEdit.toPlainText()
        for op in tmp:
            move(mf.data,op)
            self.update()
            # time.sleep(1)
 
    def paintEvent(self, event):
        painter = QPainter()
        painter.begin(self)
        pen = QPen(QColor(255,0,255), 2, Qt.SolidLine)
        painter.setPen(pen)
        bgi=np.zeros([900,900,3])*255
        min_x=200
        max_x=500
        f_lu=min_x
        f_rd=min_x+(max_x-min_x)/3
        x=[f_lu,f_rd,f_rd,f_lu]
        y=[f_lu,f_lu,f_rd,f_rd]
        for i in range(3):
            for j in range(3):
                arr=[]
                for k in range(4):
                    arr.append([x[k]+(max_x-min_x+20)*i/3,y[k]+(max_x-min_x+20)*j/3])
                arr=np.array(arr,dtype=np.int32)
                arr=np.reshape(arr,[-1,1,2])
                cv2.fillPoly(bgi,[arr],color[int(mf.data["F"][j,i])])
        x=[260,360,340,240]
        y=[100,100,130,130]
        for i in range(3):
            for j in range(3):
                # arr=[[x[0]+100*i,y[0]+35*j],[x[1]+100*i,y[1]+35*j],[x[2]+100*i,y[2]+35*j],[x[3]+100*i,y[3]+35*j]]
                arr=[]
                for k in range(4):
                    arr.append([x[k]+106*i-20*j,y[k]+34*j-5])
                arr=np.array(arr,dtype=np.int32)
                arr=np.reshape(arr,[-1,1,2])
                cv2.fillPoly(bgi,[arr],color[int(mf.data["U"][j,i])])
        x=[500,514,514,500]
        y=[200,166+9,266+9,300]
        for i in range(3):
            for j in range(3):
                # arr=[[x[0]+100*i,y[0]+35*j],[x[1]+100*i,y[1]+35*j],[x[2]+100*i,y[2]+35*j],[x[3]+100*i,y[3]+35*j]]
                arr=[]
                for k in range(4):
                    arr.append([x[k]+20*i+18,y[k]+110*j-34*i-6])
                arr=np.array(arr,dtype=np.int32)
                arr=np.reshape(arr,[-1,1,2])
                cv2.fillPoly(bgi,[arr],color[int(mf.data["R"][j,i])])  
        ############L
        cnti=0
        for i in range(600-5,630-5,10):
            cntj=0
            for j in range(300,330,10):
                cv2.rectangle(bgi,(i,j),(i+8,j+8),color[int(mf.data["L"][cntj,cnti])],thickness=-1)
                cntj+=1
            cnti+=1
        ############U
        cnti=0
        for i in range(630,660,10):
            cntj=0
            for j in range(270-5,300-5,10):
                cv2.rectangle(bgi,(i,j),(i+8,j+8),color[int(mf.data["U"][cntj,cnti])],thickness=-1)
                cntj+=1
            cnti+=1
        ############F
        cnti=0
        for i in range(630,660,10):
            cntj=0
            for j in range(300,330,10):
                cv2.rectangle(bgi,(i,j),(i+8,j+8),color[int(mf.data["F"][cntj,cnti])],thickness=-1)
                cntj+=1
            cnti+=1
        ############D
        cnti=0
        for i in range(630,660,10):
            cntj=0
            for j in range(330+5,360+5,10):
                cv2.rectangle(bgi,(i,j),(i+8,j+8),color[int(mf.data["D"][cntj,cnti])],thickness=-1)
                cntj+=1
            cnti+=1
        ############R
        cnti=0
        for i in range(660+5,690+5,10):
            cntj=0
            for j in range(300,330,10):
                cv2.rectangle(bgi,(i,j),(i+8,j+8),color[int(mf.data["R"][cntj,cnti])],thickness=-1)
                cntj+=1
            cnti+=1
        ############B
        cnti=0
        for i in range(690+10,720+10,10):
            cntj=0
            for j in range(300,330,10):
                cv2.rectangle(bgi,(i,j),(i+8,j+8),color[int(mf.data["B"][cntj,cnti])],thickness=-1)
                # cv2.putText(bgi,str(cnti)+""+str(cntj),(i-650+cnti*40,j+60*cntj),cv2.FONT_HERSHEY_COMPLEX,1,(0,0,255),1)
                cntj+=1
            cnti+=1
 
 
        cv2.imwrite("D:/bgi_mf.jpg",bgi) 
        self.cnt+=1
        #cv2.imwrite("D:/"+str(self.cnt)+".jpg",bgi)
        if True:
            file="D:/bgi_mf.jpg"
            pixmap = QPixmap(file)
            temp = cv2.imread(file)
            self.imgShape=[temp.shape[0], temp.shape[1]]
            painter.drawPixmap(QRect(0, 0, temp.shape[0], temp.shape[1]), pixmap)
        painter.end()
    def event2point(self,event):
        return [event.pos().x(),event.pos().y()]
    def mousePressEvent(self, event):
        self.update()
    def mouseMoveEvent(self, event):
        self.update()
    def mouseReleaseEvent(self, event):
        self.update()
        
 
STEP=0
OPPS=""
def move(data,op):
    global STEP,OPPS
    STEP+=1
    OPPS+=op
    def cw(data):
            tmp=cp.deepcopy(data)
            tmp[0,0]=data[2,0]
            tmp[2,0]=data[2,2]
            tmp[2,2]=data[0,2]
            tmp[0,2]=data[0,0]
            tmp[0,1]=data[1,0]
            tmp[1,0]=data[2,1]
            tmp[2,1]=data[1,2]
            tmp[1,2]=data[0,1]
            return tmp
    def anti_cw(data):
        tmp=cp.deepcopy(data)
        tmp[2,0]=data[0,0]
        tmp[2,2]=data[2,0]
        tmp[0,2]=data[2,2]
        tmp[0,0]=data[0,2]
        tmp[1,0]=data[0,1]
        tmp[2,1]=data[1,0]
        tmp[1,2]=data[2,1]
        tmp[0,1]=data[1,2]
        return tmp
    tmp=cp.deepcopy(data)
    if op=="F":
        tmp["R"][:,0]=data["U"][2,:]
        tmp["D"][0,:]=data["R"][::-1,0]
        tmp["L"][:,2]=data["D"][0,:]
        tmp["U"][2,:]=data["L"][::-1,2]
        tmp["F"][:,:]=cw(data["F"])
    elif op=="R":
        tmp["B"][:,0]=data["U"][::-1,2]
        tmp["D"][:,2]=data["B"][::-1,0]
        tmp["F"][:,2]=data["D"][:,2]
        tmp["U"][:,2]=data["F"][:,2]
        tmp["R"][:,:]=cw(data["R"])
    elif op=="U":
        tmp["F"][0,:]=data["R"][0,:]
        tmp["L"][0,:]=data["F"][0,:]
        tmp["B"][0,:]=data["L"][0,:]
        tmp["R"][0,:]=data["B"][0,:]
        tmp["U"][:,:]=cw(data["U"])
    elif op=="B":
        tmp["U"][0,:]=data["R"][:,2]
        tmp["L"][:,0]=data["U"][0,::-1]
        tmp["D"][2,:]=data["L"][:,0]
        tmp["R"][:,2]=data["D"][2,::-1]
        tmp["B"][:,:]=cw(data["B"])
    elif op=="L":
        tmp["U"][:,0]=data["B"][::-1,2]
        tmp["F"][:,0]=data["U"][:,0]
        tmp["D"][:,0]=data["F"][:,0]
        tmp["B"][:,2]=data["D"][::-1,0]
        tmp["L"][:,:]=cw(data["L"])
    elif op=="D":
        tmp["F"][2,:]=data["L"][2,:]
        tmp["R"][2,:]=data["F"][2,:]
        tmp["B"][2,:]=data["R"][2,:]
        tmp["L"][2,:]=data["B"][2,:]
        tmp["D"][:,:]=cw(data["D"])
    elif op=="M":
        tmp["F"][1,:]=data["L"][1,:]
        tmp["R"][1,:]=data["F"][1,:]
        tmp["B"][1,:]=data["R"][1,:]
        tmp["L"][1,:]=data["B"][1,:]
    #####################################
    elif op=="f":
        tmp["U"][2,:]=data["R"][:,0]
        tmp["R"][:,0]=data["D"][0,::-1]
        tmp["D"][0,:]=data["L"][:,2]
        tmp["L"][:,2]=data["U"][2,::-1]
        tmp["F"][:,:]=anti_cw(data["F"])
    elif op=="r":
        tmp["U"][:,2]=data["B"][::-1,0]
        tmp["B"][:,0]=data["D"][::-1,2]
        tmp["D"][:,2]=data["F"][:,2]
        tmp["F"][:,2]=data["U"][:,2]
        tmp["R"][:,:]=anti_cw(data["R"])
    elif op=="u":
        tmp["R"][0,:]=data["F"][0,:]
        tmp["F"][0,:]=data["L"][0,:]
        tmp["L"][0,:]=data["B"][0,:]
        tmp["B"][0,:]=data["R"][0,:]
        tmp["U"][:,:]=anti_cw(data["U"])
    elif op=="b":
        tmp["R"][:,2]=data["U"][0,:]
        tmp["U"][0,:]=data["L"][::-1,0]
        tmp["L"][:,0]=data["D"][2,:]
        tmp["D"][2,:]=data["R"][::-1,2]
        tmp["B"][:,:]=anti_cw(data["B"])
    elif op=="l":
        tmp["B"][:,2]=data["U"][::-1,0]
        tmp["U"][:,0]=data["F"][:,0]
        tmp["F"][:,0]=data["D"][:,0]
        tmp["D"][:,0]=data["B"][::-1,2]
        tmp["L"][:,:]=anti_cw(data["L"])
    elif op=="d":
        tmp["L"][2,:]=data["F"][2,:]
        tmp["F"][2,:]=data["R"][2,:]
        tmp["R"][2,:]=data["B"][2,:]
        tmp["B"][2,:]=data["L"][2,:]
        tmp["D"][:,:]=anti_cw(data["D"])
    elif op=="m":
        tmp["L"][1,:]=data["F"][1,:]
        tmp["F"][1,:]=data["R"][1,:]
        tmp["R"][1,:]=data["B"][1,:]
        tmp["B"][1,:]=data["L"][1,:]
    mf.data=tmp
    return tmp
################
 
 
#############
 
mf=MF()
def moves(lst):
        for x in lst:
            move(mf.data,x)
def solve(data):
    tmp=cp.deepcopy(data)
    def judge_color(i,j):
        if mf.data["U"][i,j]==1:
            # print(mf.data["U"])
            move(mf.data,"U")
            judge_color(i,j)
        else:
            return None
    def step1():
        while not (mf.data["U"][0,1]==1 and mf.data["U"][1,0]==1 and mf.data["U"][2,1]==1 and mf.data["U"][1,2]==1):
            if mf.data["F"][1,2]==1:
                judge_color(1,2)
                move(mf.data,"R")
            elif mf.data["F"][1,0]==1:
                judge_color(1,0)
                move(mf.data,"l")
            elif mf.data["F"][0,1]==1 or mf.data["F"][2,1]==1:
                judge_color(2,1)
                move(mf.data,"F")
            elif mf.data["B"][1,0]==1:
                judge_color(1,2)
                move(mf.data,"r")
            elif mf.data["B"][1,2]==1:
                judge_color(1,0)
                move(mf.data,"L")
            elif mf.data["B"][0,1]==1 or mf.data["B"][2,1]==1:
                judge_color(0,1)
                move(mf.data,"B")
            elif mf.data["L"][1,0]==1:
                judge_color(0,1)
                move(mf.data,"b")
            elif mf.data["L"][1,2]==1:
                judge_color(2,1)
                move(mf.data,"F")
            elif mf.data["L"][0,1]==1 or mf.data["L"][2,1]==1:
                judge_color(1,0)
                move(mf.data,"L")
            elif mf.data["R"][1,0]==1:
                judge_color(2,1)
                move(mf.data,"f")
            elif mf.data["R"][1,2]==1:
                judge_color(0,1)
                move(mf.data,"B")
            elif mf.data["R"][0,1]==1 or mf.data["R"][2,1]==1:
                judge_color(1,2)
                move(mf.data,"R")
            elif mf.data["D"][0,1]==1:
                judge_color(2,1)
                move(mf.data,"F")
                move(mf.data,"F")
            elif mf.data["D"][1,0]==1:
                judge_color(1,0)
                move(mf.data,"L")
                move(mf.data,"L")
            elif mf.data["D"][1,2]==1:
                judge_color(1,2)
                move(mf.data,"R")
                move(mf.data,"R")
            elif mf.data["D"][2,1]==1:
                judge_color(0,1)
                move(mf.data,"B")
                move(mf.data,"B")
    def step2():
        while not (mf.data["D"][0,1]==1 and mf.data["D"][1,0]==1 and mf.data["D"][2,1]==1 and mf.data["D"][1,2]==1):
            if mf.data["U"][1,2]==1 and mf.data["R"][0,1]==mf.data["R"][1,1]:
                move(mf.data,"R")
                move(mf.data,"R")
            elif mf.data["U"][2,1]==1 and mf.data["F"][0,1]==mf.data["F"][1,1]:
                move(mf.data,"F")
                move(mf.data,"F")
            elif mf.data["U"][1,0]==1 and mf.data["L"][0,1]==mf.data["L"][1,1]:
                move(mf.data,"L")
                move(mf.data,"L")
            elif mf.data["U"][0,1]==1 and mf.data["B"][0,1]==mf.data["B"][1,1]:
                move(mf.data,"B")
                move(mf.data,"B")
            else:
                move(mf.data,"U")
    def eq(lst):
            assert len(lst)==3
            if lst[0]==lst[1] and lst[1]==lst[2]:
                return True
            return False
    formula={"left":"ulUL","right":"URur","yizi":"RUrurFRf","guaijiao":"FRuruRUrf","lfish":"luLuluuL","rfish":"RUrURUUr"}
    def step3():
        while not (eq(mf.data["D"][0,:]) and eq(mf.data["D"][:,2]) and eq(mf.data["D"][2,:]) and eq(mf.data["D"][:,0]) and
                    eq(mf.data["F"][2,:]) and eq(mf.data["L"][2,:]) and eq(mf.data["R"][2,:]) and eq(mf.data["B"][2,:])):
            if mf.data["F"][0,0]==1:
                color1=mf.data["U"][2,0]
                color2=mf.data["L"][0,2]
                if color1==mf.data["F"][1,1] and color2==mf.data["L"][1,1]:
                    moves(formula["left"])
                else:
                    moves("MD")
            elif mf.data["F"][0,2]==1:
                color1=mf.data["U"][2,2]
                color2=mf.data["R"][0,0]
                if color1==mf.data["F"][1,1] and color2==mf.data["R"][1,1]:
                    moves(formula["right"])
                else:
                    moves("MD")
            elif mf.data["L"][0,0]==1 or mf.data["L"][0,2]==1:
                moves("u")
            elif mf.data["R"][0,0]==1 or mf.data["R"][0,2]==1:
                moves("U")
            elif mf.data["B"][0,0]==1 or mf.data["B"][0,2]==1:
                moves("UU")
            
            elif mf.data["F"][2,2]==1:
                moves(formula["right"])
            elif mf.data["F"][2,0]==1:
                moves(formula["left"])
            elif mf.data["L"][2,0]==1 or mf.data["L"][2,2]==1:
                moves("MD")
            elif mf.data["R"][2,0]==1 or mf.data["R"][2,2]==1:
                moves("md")
            elif mf.data["B"][2,0]==1 or mf.data["B"][2,2]==1:
                moves("MMDD")
            
            elif mf.data["U"][2,0]==1:
                if mf.data["L"][0,2]==mf.data["F"][1,1] and mf.data["F"][0,0]==mf.data["L"][1,1]:
                    moves(formula["left"])
                else:
                    moves("MD")
            elif mf.data["U"][2,2]==1:
                if mf.data["R"][0,0]==mf.data["F"][1,1] and mf.data["F"][0,2]==mf.data["R"][1,1]:
                    moves(formula["right"])
                else:
                    moves("MD")
            elif mf.data["U"][0,0]==1:
                moves("u")
            elif mf.data["U"][0,2]==1:
                moves("U")
 
            elif mf.data["D"][0,0]==1 and not (mf.data["F"][2,0]==mf.data["F"][2,1] and mf.data["L"][2,1]==mf.data["L"][2,2]):
                moves(formula["left"])
            elif mf.data["D"][0,2]==1 and not (mf.data["F"][2,1]==mf.data["F"][2,2] and mf.data["R"][2,0]==mf.data["R"][2,1]):
                moves(formula["right"])
            elif mf.data["D"][2,0]==1 and not (mf.data["B"][2,1]==mf.data["B"][2,2] and mf.data["L"][2,0]==mf.data["L"][2,1]):
                moves("MMDD")
            elif mf.data["D"][2,2]==1 and not (mf.data["B"][2,0]==mf.data["B"][2,1] and mf.data["R"][2,1]==mf.data["R"][2,2]):
                moves("MMDD")
    def dt(face_x_y):
        return mf.data[face_x_y[0]][int(face_x_y[1]),int(face_x_y[2])]
    def step4():
        uMD_cnt=0
        while not (eq(mf.data["F"][1,:]) and eq(mf.data["L"][1,:]) and eq(mf.data["R"][1,:]) and eq(mf.data["B"][1,:])):
            if dt("F01")==dt("F11") and dt("U21")==dt("R11"):
                moves(formula["right"]+"Umd"+formula["left"])
            elif dt("F01")==dt("F11") and dt("U21")==dt("L11"):
                moves(formula["left"]+"uMD"+formula["right"])
            elif dt("F11")==dt("L01"):
                moves("u")
            elif dt("F11")==dt("R01"):
                moves("U")
            elif dt("F11")==dt("B01"):
                moves("UU")
            elif uMD_cnt<5:
                uMD_cnt+=1
                moves("uMD")
            else:
                uMD_cnt=0
                while dt("F11")==dt("F12") and dt("F11")==dt("F10"):
                    moves("MD")
                if dt("F11")!=dt("F12"):
                    moves(formula["right"]+"Umd"+formula["left"])
                elif dt("F11")!=dt("F10"):
                    moves(formula["left"]+"uMD"+formula["right"])
    def step5():
        while not (eq(mf.data["U"][1,:]) and eq(mf.data["U"][:,1])):
            if eq(mf.data["U"][1,:]) and dt("F01")==dt("U11"):
                moves(formula["yizi"])
            elif dt("U01")==dt("U11") and dt("U10")==dt("U11") and dt("F01")==dt("U11") and dt("R01")==dt("U11"):
                moves(formula["guaijiao"])
            elif dt("F01")==dt("U11") and dt("R01")==dt("U11"):
                moves(formula["yizi"])
            else:
                moves("U")
    def step6():
        cnt=0
        while not (eq(mf.data["U"][0,:]) and eq(mf.data["U"][1,:]) and eq(mf.data["U"][2,:]) and eq(mf.data["U"][:,0])):
            lst=[dt("U00"),dt("U02"),dt("U20"),dt("U22")]
            SUM=0
            for x in lst:
                if x!=dt("U11"):
                    SUM+=1
            if dt("U20")==dt("U11") and dt("F02")==dt("U11") and dt("R02")==dt("U11") and dt("B02")==dt("U11"):
                moves(formula["rfish"])
            elif dt("U22")==dt("U11") and dt("F00")==dt("U11") and dt("L00")==dt("U11") and dt("B00")==dt("U11"):
                moves(formula["lfish"])
            elif SUM==3:
                moves("U")
            else:
                while dt("F00")!=dt("U11"):
                    moves("U")
                moves(formula["rfish"])
    def step7():
        while True:
            SUM=0
            for x in "FRBL":
                if dt(x+"00")==dt(x+"02"):
                    SUM+=1
            if SUM>=2:
                break
            if SUM==0:
                while dt("F00")==dt("F02") or dt("F00")==dt("L00") or dt("L00")==dt("F02"):
                    moves("U")
                moves(formula["guaijiao"]+formula["yizi"])
            elif SUM==1:
                while dt("L00")!=dt("L02"):
                    moves("U")
                moves(formula["yizi"]+formula["guaijiao"])
    def step8():
        while True:
            SUM=0
            for x in "FRBL":
                if eq(mf.data[x][0,:]):
                    SUM+=1
            if SUM==4:
                while dt("F00")!=dt("F11"):
                    moves("U")
                break
            if SUM==0:
                moves(formula["lfish"]+"u"+formula["rfish"])
            elif SUM==1:
                while not eq(mf.data["B"][0,:]):
                    moves("U")
                while not eq(mf.data["B"][:,0]):
                    moves("MD")
                if dt("L01")==dt("F11"):
                    moves(formula["lfish"]+"u"+formula["rfish"])
                elif dt("R01")==dt("F11"):
                    moves(formula["rfish"]+"U"+formula["lfish"])
        while dt("F11")!=4:
            moves("uMD")
    step1()
    print(len(OPPS))
    step2()
    print(len(OPPS))
    step3()
    print(len(OPPS))
    step4()
    print(len(OPPS))
    step5()
    print(len(OPPS))
    step6()
    print(len(OPPS))
    step7()
    print(len(OPPS))
    step8()
    return True
if __name__ == "__main__":
    app = QApplication(sys.argv)
    example=Example()
    example.show()
    ops=["F","R","U","B","L","D"]
 
    TIME=0
    for t in range(1):
        OPPS=""
        shuffle=""
        seed=np.random.randint(1,1000000)
        np.random.seed(seed)
        print("seed",seed)
        for i in range(50):
            shuffle+=ops[np.random.randint(0,len(ops))]
        moves(shuffle)
        time1=time.time()
        solve(mf.data)
        time2=time.time()
        TIME+=(time2-time1)
        print("打乱公式：",shuffle)
        print("求解公式：",OPPS[len(shuffle):])
        print("求解步数：",len(OPPS[len(shuffle):]))
        print(t,TIME)
    app.exec_()
 

谢谢观看

吉米287
关注
  • 3
    点赞
  • 踩
  • 15
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
三阶魔方的演示-用Python实现-附源码
iceran1977的博客
12-08 2795
三阶魔方的演示-用Python实现 相信很多人都玩过魔方，最常见的就是三阶魔方。初级的玩家在玩的时候不可避免的遇到一个问题就是玩着玩着， 还原不了了。如果那教程来照着还原，一步一步下来也很费劲。我开发这个程序的目的是为了让初学者很方便的 学习玩魔方的方法。魔方是有很多公式的，但是如果一味的记公式，一方面公式非常多也很难记住，另一方面失 去了思考的乐趣。 要演示好一个三阶魔方也并不是很简单的。首先，魔方的旋转是多个块相关的，并且不同的旋转操作，关联的块 也不同。另外，魔方的颜色信息也需要考虑。
matlab魔方复原源代码-MagicCube:用Matlab实现的魔方（魔方）游戏
06-13
matlab魔方光源代码魔方 一、简介 这个存储库是一个由Matlab 实现的魔方（魔方）游戏。 2. 用法 2.1 参数 命令： 魔方的顺序。 值的范围： [2, 9] 。 尺寸： 魔方的块大小。 取值范围：正数。 绘制3d： 以 3D 或 2D 模式绘制魔方。 值的范围： True 或 false 。 迭代器： 在初始化期间破坏魔方的次数。 取值范围：正整数。 2.2 键盘控制 “W”/“W”： 旋转前 -> 向上 -> 后 -> 底部。 'S' / 's'： 旋转前 -> 底部 -> 后 -> 上。 'A' / 'a'： 旋转前 -> 左 -> 后 -> 右。 'D' / 'd'： 旋转前 -> 右 -> 后 -> 左。 “问”/“问”： 旋转顶部 -> 左侧 -> 底部 -> 右侧。 'E' / 'e'： 旋转顶部 -> 右侧 -> 底部 -> 左侧。 '0'： 旋转所有行或列。 '1'： 旋转第 1 行或第 1 列。 ... 'N'（N = 顺序）： 旋转第 N 行或列。 2.3 运行 使用 Matlab 运行 MagicCube.m。 3. 图像
Python练手项目：玩转三阶魔方
liujava56的专栏
01-13 1169
三阶魔方自动还原
（Python）魔方阵
qq_52491362的博客
10-30 3601
【问题描述】输入一个自然数Ｎ（1≤N≤9），要求输出如下的魔方阵，即边长为2*N-1，Ｎ在中心出现一次，其余位置上的数字从外向中心逐渐增大。 N=3时： 11111 12221 12321 12221 11111 N=4时： 1111111 1222221 1233321 1234321 1233321 1222221 1111111 【输入形式】 从标准输入读取一个整数N。 【输出形式】 向标准输出打印结果。输出符合要求的方阵，每个数字占一个字符宽度，在每一行末均输出一个回车符。 【输入样例】 3 【输出
利用python解决魔方阵问题
最新发布
2201_75580371的博客
06-02 106
【代码】利用python解决魔方阵问题。
Python之画一个3d的魔方可以自由转动
PlutoZuo的博客
12-07 681
Python之画一个3d的魔方可以自由转动
二阶魔方还原 Rubik’s Cube 双向广度优先搜索
weixin_48365310的博客
03-02 1716
使用搜索算法完成二阶魔方从任意初始状态向目标状态的操作转换。
魔方还原算法(一) 概述
热门推荐
weixin_46645613的博客
06-02 1万+
写在前面 我最初接触魔方的时候是在初二，那时不知是谁先起的头，然后全班都开始玩。我也不例外，花了一晚上学了学层先法，层先法挺简单的，只有几个公式，一晚上就会了。从那时起我也是能够复原魔方的人了，但是层先法复原魔方速度很慢，到了高中又学了学 CFOP 这个高级还原公式，速度提升很多。我玩魔方吧也没想过去拼什么段位追求 sub 几几几，就一业余爱好，魔方随时放在旁边，兴起时就转两把。 而最近开始写公众号，一直想写点不一样的，然后就瞄准了魔方，关于魔方的研究国内其实不少，但数学偏多，有关计算机方面讲述还原算法的文
Python练手项目：计算机自动还原魔方(1)顶部十字
CQZHOUZR的博客
01-10 1758
​ 上文Python练手项目：玩转魔方提到计算机自动还原魔方，本文先介绍计算机自动还原魔方顶部十字，以此类推，可完全还原魔方。 假设顶部中心块为蓝色，还原顶部十字，是将4个蓝色棱块还原到顶部，构成蓝色十字，并且蓝色棱块对面颜色与所在面的中心块色一致。如下图所示： ​
魔方复原Python源码下载
08-01
【标题】"魔方复原Python源码下载"所涉及的知识点主要集中在使用Python编程语言实现魔方的算法和步骤。Python是一种高级编程语言，以其简洁的语法和强大的功能深受程序员喜爱，尤其在数据处理、科学计算和自动化任务...
[Python]不使用kociemba库解魔方
07-05
在本项目中，我们将探讨如何使用Python编程语言不依赖kociemba库来解决魔方问题。kociemba库通常被用来实现Cube20算法，这是一个高效的解决魔方的算法，但本项目旨在展示一个自定义解决方案。 首先，我们需要理解...
利用Dijkstra算法还原魔方(C++实现)
10-13
一种利用Dijkstra算法推导魔方还原公式的程序，不太完善，不要对它有太大的期望哦
解魔方程序
11-29
c++语言编写的控制台程序，按照特定步骤去解魔方。
自动解魔方 工具 软件
01-25
http://pan.baidu.com/s/1jGX6F2Y 解魔方软件. 自己设一个魔方,按指导一步步就可以完成. 本想做个解魔方机器人呢, 现在还没有机器人的硬件.先做个软件方面的东西吧.
计算机求解三阶魔方算法
10-24
用计算机自动求解三阶魔方的算法，使抽象的转动转化为数学算法。
Java魔方游戏源代码分析.rar
07-10
Java魔方游戏源代码分析，运行于手机客户端的游戏，非android游戏，不过学习本代码可以对转型到Android游戏开发有好处。是一个JAva游戏大赛作品，内含技术文档和游戏说明，非常详细。
魔方解法 python
09-10
在本主题中，我们将深入探讨如何使用Python编程语言来解决魔方问题。魔方，也称为鲁比克立方体，是一种三维拼图游戏，玩家需要通过旋转各个面来恢复其初始状态，即每个面都是单一颜色。Python作为一种强大的编程语言...
Python+OpenCV魔方识别系
03-15
本研究的目的是基于Python和OpenCV开发一个魔方识别系统，并提供相应的源码和部署教程。通过该系统，用户可以将魔方的图像输入，系统可以自动识别魔方的状态，并...通过该方案，用户可以轻松地还原魔方，提高解决效率。
基于 python 和 Arduino，实现能够还原三阶魔方的机械结构+源代码+文档说明
11-07
<项目介绍> 该资源内项目源码是个人的课程设计作业，代码都测试ok，都是运行成功后才上传资源，答辩评审平均分达到94.5分，放心下载使用！ 1、该资源内项目代码都经过测试运行成功，功能ok的情况下才上传的，请放心...
python qt魔方
08-20
要创建一个Python Qt魔方程序，你可以按照以下步骤进行操作： 1. 创建一个名为RubikCube_Widget的类，并从QtWidgets.QOpenGLWidget继承。这个类将负责绘制魔方的OpenGL窗口。你可以使用PyQt5和OpenGL库来完成这一步。 2. 在UI文件中使用PY-UIC工具将UI文件转换为py文件。创建一个名为RubikCubeWindow的主窗口类，并继承自QtWidgets.QMainWindow和Ui_mainWindow。在这个类中，你可以使用setupUi方法来设置主窗口的UI界面。最后，使用QtWidgets.QApplication来启动应用程序并显示主窗口。 3. 为了绘制一个方块，你需要确定一个方块的绘制方法。在绘制方块之前，你可以在窗口中绘制x、y、z坐标轴，以便查看参考坐标系。你可以使用OpenGL库来完成这一步。 通过以上步骤，你就可以创建一个基本的Python Qt魔方程序了。<span class="em">1</span><span class="em">2</span><span class="em">3</span> #### 引用[.reference_title] - *1* *2* *3* [python + Qt5 + opengl 绘制魔方（一）](https://blog.csdn.net/humgre/article/details/123836715)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v93^chatsearchT3_2"}}] [.reference_item style="max-width: 100%"] [ .reference_list ]

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值