The R Journal: article published in 2018, volume 10:2

Consistency Cubes: a fast, efficient method for exact Boolean minimization.
Adrian Dusa , The R Journal (2018) 10:2, pages 357-370.

Abstract A lot of effort has been spent over the past few decades in the QCA methodology field, to develop efficient Boolean minimization algorithms to derive an exact, and more importantly complete list of minimal prime implicants that explain the initial, observed positive configurations. As the complexity grows exponentially with every new condition, the required computer memory goes past the current computer resources and the polynomial time required to solve this problem quickly grows towards infinity. This paper introduces a new alternative to the existing non-polynomial attempts. It completely solves the memory problem, and preliminary tests show it is exponentially hundreds of time faster than eQMC, the current “best” algorithm for QCA in R, and probes into a territory where it competes and even outperforms engineering algorithms such as Espresso, for exact minimizations. While speed is not much of an issue now (eQMC is fast enough for simple data), it might prove to be essential when further developing towards all possible temporal orders, or searching for configurations in panel data over time, combined with / or automatic detection of difficult counterfactuals etc.

Received: 2018-05-01; online 2018-12-08, supplementary material, (1.8 KiB)
CRAN packages: QCA, lpSolve, venn, LogicOpt
CRAN Task Views implied by cited CRAN packages: Optimization

This article and supplementary materials are licensed under a Creative Commons Attribution 4.0 International license.

@article{RJ-2018-080,
  author = {Adrian Dusa},
  title = {{Consistency Cubes: a fast, efficient method for exact
          Boolean minimization.}},
  year = {2018},
  journal = {{The R Journal}},
  doi = {10.32614/RJ-2018-080},
  url = {https://doi.org/10.32614/RJ-2018-080},
  pages = {357--370},
  volume = {10},
  number = {2}
}