Pertanyaan yang diberi tag pspace

8
Penggunaan terukur oleh Savitch

Dalam makalah Savitch 1969, "Hubungan Antara Nondeterministik dan Kompleksitas Pita Deterministik", ia menyatakan bahwa "semua fungsi penyimpanan umum L (n)> = lg n dapat diukur. Khususnya, setiap polinomial dalam n dan lg n dapat diukur." Definisinya yang dapat diukur adalah: "Suatu fungsi L...