Abstract
Samal and Henderson claim that any parallel algorithm for enforcing arc consistency in the worst case must have Ω(na) sequential steps, wheren is the number of nodes, anda is the number of labels per node. We argue that Samal and Henderson's argument makes assumptions about how processors are used and give a counterexample that enforces arc consistency in a constant number of steps usingO(n[su2a22na) processors. It is possible that the lower bound holds for a polynomial number of processors; if such a lower bound were to be proven it would answer an important open question in theoretical computer science concerning the relation between the complexity classesP andNC. The strongest existing lower bound for the arc consistency problem states that it cannot be solved in polynomial log time unlessP=NC.
Similar content being viewed by others
References
Ugo Montanari, Networks of Constraints; Fundamental Properties and Applications to Picture Processing,Information Sciences,7:95–132 (1974).
D. Walz, Understanding Line Drawings of Scenes with Shadows, In P. H. Winston, (ed.),The Psychology of Computer Vision, pp. 19–91. McGraw-Hill (1975).
Paul R. Cooper and Michael J. Swain, Domain Dependence in Constraint Satisfaction, InProc. of the Eleventh International Conference on Artificial Intelligence, Detroit, Michigan (August 1989).
Michael J. Swain and Paul R. Cooper, Parallel Hardware for Constraint Satisfaction, InProceedings AAAI-88, the American Association for Artificial Interlligence Conference, pp. 682–686, St. Paul, Minnesota (August 1988).
Alan K. Mackworth, Consistency in Networks of Relations,Artificial Intelligence,8:99–118 (1977).
Alan K. Mackworth and Eugene C. Freuder, The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems,Artificial Intelligence,25:65–74 (1985).
R. Mohr and T. C. Henderson, Arc and Path Consistency Revisited,Artificial Intelligence,28:225–233 (1986).
Paul R. Cooper and Michael J. Swain, Parallelism and Domain Dependence in Constraint Satisfaction, Technical Report TR 255, Department of Computer Science, University of Rochester (December 1988).
Ashok Samal and Tom Henderson, Parallel Consistent Labelling Algorithms,International Journal of Parallel Programming,16:341–364 (1987).
Pierre McKenzie and Stephen A. Cook, The Parallel Complexity of Abelian Permutation Group Problems,SIAM Journal on Computing,16:880–909 (1987).
Stephen A. Cook, A Taxonomy of Problems with Fast Parallel Algorithms,Information and Control, pp.64:2–22 (1985).
Simon Kasif, On the Parallel Complexity of Some Constraint Satisfaction Problems, InProc. of AAAI-86, pp. 349–353 (1986).
A. Rosenfeld, R. A. Hummel, and S. W. Zucker, Scene Labeling by Relaxation Operations,IEEE Transactions on Systems, Man, and Cybernetics, SMC,6:420–433 (1976).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Swain, M.J. Comments on Samal and Henderson: “Parallel consistent labeling algorithms”. Int J Parallel Prog 17, 523–528 (1988). https://doi.org/10.1007/BF01407817
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01407817