A Linear Time Algorithm for Recognizing Regular Boolean Functions

  • Authors:
  • Kazuhisa Makino

  • Affiliations:
  • -

  • Venue:
  • ISAAC '99 Proceedings of the 10th International Symposium on Algorithms and Computation
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

A positive (or monotone) Boolean function is regular if its variables are naturally ordered, left to right, by decreasing strength, so that shifting the non-zero component of any true vector to the left always yields another true vector. In this paper, we propose a simple linear time algorithm to recognize whether a positive function is regular.