PCPSolver:用于Post的对应问题的Java解算器

【文件属性】：
文件名称：PCPSolver:用于Post的对应问题的Java解算器
文件大小：1.18MB
文件格式：ZIP
更新时间：2021-05-11 08:10:24
Java PCP Solver是一个Java应用程序，它（试图）解决Post的对应问题的实例。 邮政的对应问题 邮政的对应问题，简称PCP，在理论上具有重要的意义。 它是计算机无法解决的问题的一个示例，其操作如下。 您会得到一组多米诺骨牌。 每个多米诺骨牌都有一个上弦和一个下弦。 例如，多米诺骨牌a/ab具有topstring a和bottomstring ab 。 您必须确定是否存在这些多米诺骨牌的序列，以使顶部字符串的串联与底部字符串的串联相同。 这样的序列（称为“匹配”）必须包含至少一个多米诺骨牌，并且可以使用任何给定的多米诺骨牌零次或更多次。 例如，一组多米诺骨牌{ ab/b ， b/a ， a/ab }具有匹配项。 序列a/ab ， b/a ， ab/b中的顶部字符串的串联与底部字符串的串联abab 。 有关PCP的更多信息，请参见和。 PCP规划求解尝试解决尽可能多的PCP实例。

【文件预览】：
PCPSolver-master
----LICENSE.txt(34KB)
----header.txt(733B)
----src()
--------test()
--------main()
----TODO.txt(1KB)
----doc()
--------LingZhao MaThesis.pdf(3.45MB)
--------LingZhao paper.pdf(501KB)
----README.md(3KB)
----pom.xml(2KB)
----.gitignore(49B)