Abstract
The following computational problem was initiated by Manber and Tompa (22nd FOCS Conference, 1981): Given a graphG=(V, E) and a real functionf:V→R which is a proposed vertex coloring. Decide whetherf is a proper vertex coloring ofG. The elementary steps are taken to be linear comparisons.
Lower bounds on the complexity of this problem are derived using the chromatic polynomial ofG. It is shown how geometric parameters of a space partition associated withG influence the complexity of this problem.
Existing methods for analyzing such space partitions are suggested as a powerful tool for establishing lower bounds for a variety of computational problems.
Similar content being viewed by others
References
D. P. Dobkin andR. J. Lipton, On the complexity of computations under varying sets of primitives,J. Computer and System Science,18 (1979), 86–91.
C. Greene, Acyclic orientations (Notes),in: Higher Combinatorics (M. Aigner, ed.), pp. D. Reidel, Dordrecht, 1977, 65–68.
B. Grünbaum,Convex Polytopes, Interscience, New York, 1967.
R. L. Graham, A. C. Yao andF. F. Yao, Information bounds are weak in the shortest distance problem,J. Assoc. Comp. Mach.,27 (1980), 428–444.
U. Manber andM. Tompa, The effect of number of Hamiltonian paths on the complexity of a vertex coloring problem.Proc. 22nd Annual Symposium on the Foundations of Computer Science, 1981.
R. Rivest andA. C. Yao, On the polyhedral decision problem,SIAM J. Computing,9 (1980), 343–347.
M. Snir, Proving lower bounds for linear decision trees,in: Proc. 8th. International Coll. on Automata Languages and Programming, Lecture Notes in Computer Science 115, Springer Verlag, (1981), 305–315.
R. P. Stanley, Acyclic orientations of graphs,Discrete Math.,5 (1973), 171–178.
T. Zaslavsky,Facing up to arrangements: Face-count formulas for partitions of space by hyperplanes, Mem. AMS. 154, Amer. Math. Soc., Providence, R. I., 1975.
T. Zaslavsky, The geometry of root systems and signed graphs,Amer. Math. Monthly (1981), 88–105.