組合問題的計算量問題和復(fù)雜性是由美國數(shù)學(xué)家Donald E. Knuth在20世紀(jì)60年代提出的。組合問題是指在一定規(guī)則下,從一組元素中選擇若干個元素進行組合的問題。例如,在一組數(shù)字中選擇若干個數(shù)字進行排列組合,或者在一組字母中選擇若干個字母進行排列組合等。Knuth在研究組合問題時發(fā)現(xiàn),隨著元素數(shù)量的增加,組合問題的計算量呈指數(shù)級增長,這就導(dǎo)致了組合問題的復(fù)雜性非常高。他提出了著名的NP完全性理論,即一類問題的計算量是指數(shù)級的,無法在多項式時間內(nèi)解決。這個理論對計算機科學(xué)和數(shù)學(xué)領(lǐng)域都產(chǎn)生了深遠的影響,它揭示了許多計算難題的本質(zhì),也為算法設(shè)計和計算機科學(xué)的發(fā)展提供了指導(dǎo)思想。