Which of the following statements about decidable and undecidable problems is correct?

Options

  • A. Every undecidable problem belongs to P
  • B. Every decidable problem must be NP-Complete
  • C. Every decidable problem has an algorithm that halts on all valid inputs
  • D. More than one of the above
  • E. None of the above

Correct Answer (Detailed Explanation is Below)

C. Every decidable problem has an algorithm that halts on all valid inputs

Detailed Explanation

  • Decidable: A decision algorithm exists and terminates on every valid input.
  • Undecidable: No such general decision algorithm exists.
  • Important: Decidability and computational complexity are different concepts.
  • A decidable problem may require more than polynomial time.