In complexity theory it was the first problem proved to be NP-complete, and can appear in a broad variety of applications such as model checking, automated planning and scheduling, and diagnosis in artificial intelligence.
У комплексној теорији био је први доказан проблем да је НП-комплетан, и може да се појави у широком спектру апликација као што су провера модела, аутоматизовано планирање и распоређивање, и дијагноза у вештачкој интелигенцији.