Обсудите проблему P против NP в теории вычислительной сложности. Дайте четкие определения классам сложности P и NP. Объясните понятие сводимости и NP-полноты. Проанализируйте теоретические последствия возможного доказательства того, что P равно NP или P не равно NP.