斯蒂芬·h·昂格著
ACM通讯，1964年1月，第7卷第1期，26-34页
10.1145/363872.363899
评论
给定一对有向线图，确定它们是否同构的问题是一个不能确定的问题
非常高效。算法解决方案是已知的。由于简单的枚举算法可能需要在高速计算机上运行40年才能比较两个15个节点的图，因此似乎需要更复杂的方法。这种情况类似于在游戏和定理证明等领域的普遍情况，在这些领域中，实际的算法是未知的(对于有趣的情况)，但各种实际的只是
部分成功的技术是可用的。git -图同构测试器-包含了各种尝试缩小同构搜索范围的过程，或者证明不存在同构。没有一个方案是专门依赖于一个解决方案，程序的设计是为了避免沿着没有结果的线进行过多的计算。GIT是用COMIT语言编写的，并成功地在IBM 7090上进行了测试。
这篇文章的全文是优质内容
没有找到条目
登录阅读全文
需要访问吗?
请选择以下其中一个选项以访问优质内容和功能。
创建一个网络帐户
如果您已经是ACM会员，通信订阅用户，或数码图书馆订阅用户，请设立网上帐户，以便阅览本网站的优质内容。
加入ACM
成为ACM会员可以充分利用ACM卓越的计算信息资源、网络机会和其他优势。
订阅ACM杂志通讯
获得完全访问超过50年的CACM内容，并每月收到印刷版杂志。
购买物品
非会员可以购买这篇文章或它出现的杂志的副本。
