Abstract
Two continuous formulations of the maximum independent set problem on a graph G=(V,E) are considered. Both cases involve the maximization of an n-variable polynomial over the n-dimensional hypercube, where n is the number of nodes in G. Two (polynomial) objective functions F(x) and H(x) are considered. Given any solution to x 0 in the hypercube, we propose two polynomial-time algorithms based on these formulations, for finding maximal independent sets with cardinality greater than or equal to F(x0) and H(x0), respectively. A relation between the two approaches is studied and a more general statement for dominating sets is proved. Results of preliminary computational experiments for some of the DIMACS clique benchmark graphs are presented.
Similar content being viewed by others
References
Abello, J., Pardalos, P.M. and Resende, M.G.C. (2000), On maximum clique problems in very large graphs, in:Abello, J. and Vitter, J.S. (eds.), External memory algorithms, Vol. 50 of DIMACS Series on Discrete Mathematics and Theoretical Computer Science. American Mathematical Society, pp. 119-130.
Avondo-Bodeno, G. (1962), Economic applications of the theory of graphs. Gordon and Breach Science, New York.
Balas, E. and Yu, C. (1986), Finding a maximum clique in an arbitrary graph. SIAMJ. on Computing 15: 1054-1068.
Berge, C. (1962), The theory of graphs and its applications. Methuen.
Bomze, I.M., Budinich, M. Pardalos, P.M. and Pelillot, M. (1999), The maximum clique prob.em. in: Du, D.-Z. and Pardalos, P.M. (eds.) Handbook of Combinatorial Oprtimization. Kluwer Acad. Publishers, Dordrecht, pp. 1-74.
Bomze, I.M., Budinich, M., Pelillo, M. and Rossi, C. (2000), A new 'annealed' heuristic for the maximum clique problem, in: Pardalos, P.M. (ed.) Approximation and complexity in Numerical Optimization: Continuous and Discrete Problems. Kluwer Acad. Publishers, Dordrecht pp. 78-96.
Bomze, I.M., Pelillo, M. and Giacomini, R. (1997), Evolutionary approach to the maximum clique problem: empirical evidence on a larger scale, in: Bomze, I.M., Csendes, T., Horst, R. and Pardalos, P.M. (eds.), Developments of Global Optimization. Kluwer Acad. Publishers, Dordrecht, pp. 95-108.
Caro, Y. and Tuza, Z. (1991), Improved lover bounds on k-independence. J. Graph Theory 15, 99-107.
Deo, N. (1974), Graph theory with applications to engineering and computer science. Prentice-Hall, Englewood Cliffs, NJ.
Diestel, R. (1997) Graph Theory. Springer Berlin.
Gallai, T. (1959), Ñber extreme Punkt-und Kantenmengen, in: Ann. Univ. Sci. Budapest. Eötvös Sect. Math., Vol. 2. pp. 133-138.
Garey, M. and Johnson, D. (1979), Computers and Intractability: A Guide to the Theory of NPcompleteness. Freeman, San Francisco, CA.
Gibbons, L.E., Hearn, D.W. and Pardalos, P.M. (1996), A continuous based heuristic for the maximum clique problem, in: Johnson, D.S. and Trick, M.A. (eds.) Cliques, Coloring and Satisfiability: Second DIMACS Implementation Challenge, Vol 26 of DIMACS Series on Discrete Mathematics and Theoretical Computer Science. American Mathematical Society, pp. 103-124.
Grötschel, M., Lovász, L. and Schrijver, A. (1993), Geometric Algorithms and Combinatorial Optimization. Springer, Berlin. 2nd edition.
Harant, J. (2000), Some news about the independence number of a graph. Discussiones Mathematicae Graph Theory 20, 71-79.
Harant, J., Pruchnewski, A. and Voigt, M. (1999), On dominating sets and independent sets of graphs. Combinatgorics, Probability and Computing 8, 547-553.
Lovász, L. (1979), On the Shannon capacity of a graph. IEEE Trans. Inform. Theory 25, 1-7.
Motzkin, T.S. and Straus, E.G. (1965), Maxima for graphs and a new proof of a theorem of Turán. Cand. J. Math. 17, 533-540.
Papadimitriou, C.H. and Steiglitz, K. (1988), Combinatorial Optimization: Algorithms and Complexity. Dover Publications, Inc.
Pardalos, P.M. and Rodgers, G.P. (1992), A branch and bound algorithm for the maximum clique problem. Computers Ops Res. 19, 363-375.
Pardalos, P.M. and Xue, J. (1992), The maximum clique problem. J. Global Optim. 4, 301-328.
Rizzi, R. (2000), A short proof of matching theorem. J. Graph Theory 33, 138-139.
Shor, N.Z. (1990), Dual quadratic estimates in polynomial and Boolean programming. Ann. Oper. Res. 25, 163-168.
Sós, V.T. and E.G. Straus (1982), Extremal of functions on graphs with applications to graphs and hypergraphs. J. Combin. Theory B32, 246-257.
Trotter, L. Jr. (1973), Solution characteristics and algorithms for the vertex packing problem. Technical Report 168, Dept. of Operatiosn Research, Cornell University, Ithaca, NY.
Wei, V.K. (1981), A lower bound on the stability number of a simple graph. Technical Report TM 81-11217-9, Bell Laboratories.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Abello, J., Butenko, S., Pardalos, P.M. et al. Finding independent sets in a graph using continuous multivariable polynomial formulations. Journal of Global Optimization 21, 111–137 (2001). https://doi.org/10.1023/A:1011968411281
Issue Date:
DOI: https://doi.org/10.1023/A:1011968411281