Relating Partial and Complete Solutions and the Complexity of Computing Smallest Solutions

  • Authors:
  • André Große;Jörg Rothe;Gerd Wechsung

  • Affiliations:
  • -;-;-

  • Venue:
  • ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

We prove that computing a single pair of vertices that are mapped onto each other by an isomorphism 驴 between two isomorphic graphs is as hard as computing 驴 itself.Th is result optimally improves upon a result of G谩l et al. We establish a similar, albeit slightly weaker, result about computing complete Hamiltonian cycles of a graph from partial Hamiltonian cycles.W e also show that computing the lexicographically first four-coloring for planar graphs is 驴2p-hard.Th is result optimally improves upon a result of Khuller and Vazirani who prove this problem to be NP-hard, and conclude that it is not self-reducible in the sense of Schnorr, assuming P 驴 NP. We discuss this application to non-self-reducibility and provide a general related result.