It was among the first problems shown to be NP-complete.
وقد كانت هذه أول لغة يُبرهن انها NP كاملة .