Abstract
Consider a setR ofm binary relations on a set ofn boolean variables.R may imply a contradiction, the fixation of some variables at 0 or at 1 and/or the identification of some pairs of variables in direct or complemented form. An O(n) expected-time algorithm is given for the derivation of all such logical conclusions. Computational experiments with problems involving up to 2000 variables are reported on. The proposed algorithm is more than 100 times faster than previous methods whenn ≥ 100.
Similar content being viewed by others
References
B. Aspvall, M.F. Plass and R.E. Tarjan, “A linear-time algorithm for testing the truth of certain quantified boolean formulas“,Information Processing Letters 8 (1979) 121–123.
R. Breu and C.A. Burdet, “Branch and bound experiments in zero–one programming“,Mathematical Programming Study 2 (1974) 1–50.
D. Coppersmith and S. Winograd, “On the asymptotic complexity of matrix multiplication“,SIAM Journal on Computing 11 (1982) 472–492.
H. Crowder, E.L. Johnson and M. Padberg, “Solving large-scale zero–one linear programming problems“,Operations Research 31 (1983) 803–834.
M.J. Fisher and A.R. Meyer, “Boolean matrix multiplication and transitive closure”,Proceedings 12th Annual Symposium on Switching and Automata Theory (1971) 129–131.
M. Guignard and K. Spielberg, “Logical reduction methods in zero–one programming. Minimal preferred inequalities“,Operations Research 29 (1981) 49–74.
P.L. Hammer and P. Hansen, “Logical relations in quadratic 0–1 programming“,Revue Roumaine de Mathématiques Pures et Appliquées 26 (1981) 421–429.
P.L. Hammer and S. Nguyen, “A partial order in the solution space of bivalent programs“, 93–106 in: N. Christofides et al., eds.,Combinatorial optimization (John Wiley & Sons, New York, 1979).
P. Hansen, “A cascade algorithm for the logical closure of a set of binary relations“,Information Processing Letters 5 (1976) 50–55.
P. Hansen and B. Jaumard, “Uniquely solvable quadratic boolean equations“,Discrete Mathematics 12 (1985) 147–154.
B. Jaumard and M. Minoux, “An efficient algorithm for the transitive closure and a linear worst case complexity result for a class of sparse graphs”,Information Processing Letters (forthcoming).
E.L. Johnson and M.W. Padberg, “Degree two inequalities, clique facets, and biperfect graphs“,Annals of Discrete Mathematics 16 (1982) 169–187.
R. Karp and R.E. Tarjan, “Linear expected-time algorithms for connectivity problems“,Journal of Algorithms 1 (1980) 374–393.
I. Munro, “Efficient determination of the transitive closure of a directed graph“,Information Processing Letters 1 (1979) 56–58.
P. Purdom, “A transitive closure algorithm“,BIT 10 (1970) 76–94.
B. Roy, “Transitivité et connexité“,Compte-rendus de l'Académie des Sciences de Paris 249 (1959) 216–218.
V. Strassen, “Gaussian elimination is not optimal“,Numerische Mathematik 12 (1969) 354–356.
R.E. Tarjan, “Depth-first search and linear graph algorithms“,SIAM Journal on Computing 1 (1972) 146–160.
S. Warshall, “A theorem on boolean matrices“,Journal of the Association for Computing Machinery 9 (1962) 11–12.
Author information
Authors and Affiliations
Additional information
On leave from Faculté Universitaire Catholique de Mons, Belgium. Written at CNRS, LAMSADE. Support of CNRS is gratefully acknowledged.
Rights and permissions
About this article
Cite this article
Hansen, P., Jaumard, B. & Minoux, M. A linear expected-time algorithm for deriving all logical conclusions implied by a set of boolean inequalities. Mathematical Programming 34, 223–231 (1986). https://doi.org/10.1007/BF01580586
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01580586