Обзор теоретических подходов к доказательству MK и NP