Abstract
Interval functions constitute a special class of Boolean functions for which it is very easy and fast to determine their functional value on a specified input vector. The value of an n-variable interval function specified by interval [a,b] (where a and b are n-bit binary numbers) is true if and only if the input vector viewed as an n-bit number belongs to the interval [a,b]. In this paper we study the problem of deciding whether a given disjunctive normal form represents an interval function and if so then we also want to output the corresponding interval. For general Boolean functions this problem is co-NP-hard. In our article we present a polynomial time algorithm which works for monotone functions. We shall also show that given a Boolean function f belonging to some class \({\cal C}\) which is closed under partial assignment and for which we are able to solve the satisfiability problem in polynomial time, we can also decide whether f is an interval function in polynomial time. We show how to recognize a “renamable” variant of interval functions, i.e., their variable complementation closure. Another studied problem is the problem of finding an interval extension of partially defined Boolean functions. We also study some other properties of interval functions.
Similar content being viewed by others
References
Boros, E., Ibaraki, T., Makino, K.: Error-free and best-fit extensions of partially defined Boolean functions. Inf. Comput. 140, 254–283 (1998)
Boros, E., Ibaraki, T., Makino, K.: Extensions of partially defined boolean functions with missing data. Technical Report 6-96, RUTCOR Research Report RRR, Rutgers University, New Brunswick, NJ (1996)
Garey, M., Johnson, D.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman, San Francisco (1979)
Genesereth, M., Nilsson, N.: Logical Foundations of Artificial Intelligence. Morgan Kaufmann, Los Altos, CA (1987)
Hammer, P., Kogan, A.: Horn functions and their dnfs. Inf. Process. Lett. 44, 23–29 (1992)
Huang, C.Y., Cheng, K.T.: Solving constraint satisfiability problem for automatic generation of design verification vectors. In: Proceedings of the IEEE International High Level Design Validation and Test Workshop. IEEE, Piscataway (1999)
Lewin, D., Fournier, L., Levinger, M., Roytman, E., Shurek, G.: Constraint satisfaction for test program generation. http://citeseer.ist.psu.edu/lewin95constraint.html (1995)
Quine, W.: The problem of simplifying the truth functions. Am. Math. Mon. 59, 521–531 (1952)
Schieber, B., Geist, D., Ayal, Z.: Computing the minimum dnf representation of Boolean functions defined by intervals. Discrete Appl. Math. 149, 154–173 (2005)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Čepek, O., Kronus, D. & Kučera, P. Recognition of interval Boolean functions. Ann Math Artif Intell 52, 1–24 (2008). https://doi.org/10.1007/s10472-008-9094-5
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10472-008-9094-5