本文已参与「新人创作礼」活动，一起开启掘金创作之路。

大连海事大学人工智能实验二：王浩算法问题python求解。这个实验真的非常繁杂，让人烦不胜烦。实验课作业，没什么实际价值，不过还挺难的，copy一下应付作业没问题。

人工智能王浩算法python实现（附算法设计图）

原作者：应该是位老学长王浩算法—DMU.

他的版本写的比较晦涩，我改了很多，加入了与、或、等价的处理方法，效率提高不少，当然也容易理解了，顺便把算法设计图写出来了。

一、算法设计图：

在这里插入图片描述

二、实验环境

python3.8

pycharm

直接跑就行，在main函数那里可以改问题输入

三、代码

3.1验证案例：

    s = '=> a -> ( b -> a )'
    s = "=> ( a -> b ) -> ( ( ! b ) -> ( ! a ) )"
    s = '=> ( a -> b ) -> ( ( a -> c ) -> ( a -> ( b & c ) ) )'
    s = '=> ( a -> c ) -> ( ( b -> c ) -> ( ( a | b ) -> c ) )'
    #s = '=> ( a <-> b ) -> ( a -> b )'

3.2完整代码

gitee链接

欢迎star、fork

四、个人总结

这个实验搞了至少三天，很多东西实现起来真的不是想象起来那么容易的，王浩算法的原理还是比较好理解的。

但是，但是，但是，他这个代码实现当时把我搞得焦头烂额。为此，我专门画了算法设计图。其实设计图已经讲得很清楚了（主要是我现在忘得差不多了，不想回头搞这个了）

代码中也有很多我个人的注释（当时我的编码习惯很不好，拼音加各种无意义变量名称定义），参考着来看吧。

王浩算法python实现（人工智能实验）