DenseQMC：Quine-McCluskey 算法的一种高效位片实现
数据结构与算法
2023-02-21 v1
摘要
本文描述了对稠密情形下 Quine-McCluskey 算法的一种新的高效位片实现 DenseQMC，用于求取布尔函数的所有素蕴涵项。在普通笔记本电脑上运行，当 n <= 23 时其实用可行；在配备 1 TiB RAM 的服务器上运行，当 n <= 27 时可行。本文还指出了 Quine-McCluskey 算法实现中一个非常常见的错误，其会导致二次减速。同时给出了一种经优化修正的经典方法实现（称为 SparseQMC）。该实现可在 https://github.com/hellman/Quine-McCluskey 免费获取。
引用
@article{arxiv.2302.10083,
title = {DenseQMC: an efficient bit-slice implementation of the Quine-McCluskey algorithm},
author = {Aleksei Udovenko},
journal= {arXiv preprint arXiv:2302.10083},
year = {2023}
}
备注
14 pages, 2 figures, 1 table, 4 algorithms, 2 footnotes