Katakanlah bahasa adalah P -density-close jika ada algoritma waktu polinomial yang memutuskan pada hampir semua input dengan benar.L
Dengan kata lain, ada P , sehingga menghilang, yang berarti Ini juga berarti bahwa pada input acak yang seragam, algoritma polytime untuk A akan memberikan jawaban yang benar untuk L dengan probabilitas mendekati 1. Oleh karena itu, masuk akal untuk melihat L hampir mudah.
Perhatikan bahwa tidak harus jarang. Sebagai contoh, jika ia memiliki string n bit, maka ia masih menghilang (pada tingkat eksponensial), karena .
Tidak sulit untuk (secara artifisial) membangun masalah NP- lengkap yang P -density-close, menurut definisi di atas. Misalnya, biarkan menjadi bahasa NP- lengkap, dan tentukan . Kemudian mempertahankan kelengkapan-NP , tetapi memiliki paling banyak n -bit ya-instance. Oleh karena itu, algoritma sepele yang menjawab "tidak" untuk setiap input, akan memutuskan dengan benar pada hampir semua input; itu hanya akan salah pada fraksi dari input bit.
Di sisi lain, akan sangat mengejutkan jika semua masalah NP - complete adalah P -density-close. Ini berarti bahwa, dalam arti tertentu, semua masalah NP- lengkap hampir mudah. Ini memotivasi pertanyaan:
Dengan asumsi P NP , yang merupakan beberapa masalah NP- lengkap alami yang tidak P -kepadatan-tutup?