The Maximum Solution Problem on Graphs
We study the complexity of the problem Max Sol which is a natural optimisation version of the graph homomorphism problem. Given a fixed target graph H with V(H) ⊆ ℕ, and a weight function w : V(G) →ℚ + , an instance of the problem is a graph G and the goal is to find a homomorphism f: G →H which maximises ∑ v ∈ G f(v) ·w(v). Max Sol can be seen as a restriction of the Min Hom-problem [Gutin et al., Disc. App. Math., 154 (2006), pp. 881-889] and as a natural generalisation of Max Ones to larger domains. We present new tools with which we classify the complexity of Max Sol for irreflexive graphs with degree less than or equal to 2 as well as for small graphs (|V(H)| ≤ 4). We also study an extension of Max Sol where value lists and arbitrary weights are allowed; somewhat surprisingly, this problem is polynomial-time equivalent to Min Hom.
KeywordsConstraint satisfaction homomorphisms computational complexity optimisation
Unable to display preview. Download preview PDF.
- 5.Gutin, G., Hell, P., Rafiey, A., Yeo, A.: A dichotomy for minimum cost graph homomorphisms. European J. Combin. (to appear)Google Scholar
- 10.Hell, P., Nešetřil, J.: Graphs and Homomorphisms. Oxford Lecture Series in Mathematics and Its Applications. Oxford University Press (2004)Google Scholar
- 11.Jeavons, P., Cohen, D., Gyssens, M.: A test for tractability. In: Freuder, E.C. (ed.) CP 1996. LNCS, vol. 1118, pp. 267–281. Springer, Heidelberg (1996)Google Scholar
- 14.Roberts, F.: Indifference graphs. In: Harary, F. (ed.) Proof Techniques in Graph Theory, pp. 139–146. Academic Press, London (1969)Google Scholar
- 15.Szendrei, Á. (ed.): Clones in Universal Algebra. Seminaires de Mathématiques Supérieures, vol. 99. University of Montreal (1986)Google Scholar