Ilmu Komputer Teoritis

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...

8
Kompleksitas penyortiran

Tidak sulit untuk menunjukkan bahwa mengurutkan array angka sulit untuk . Jika input adalah array dari 1s dan 0s maka pada dasarnya fungsi (diberikan bit, output jumlah 1s dalam biner) karena lengkap untuk dan dimungkinkan untuk mengkonversi angka unary ke angka biner dan (logaritmik) angka biner...

8
Membandingkan co-bilangan prima

Misalkan kita memiliki dua bilangan yang difaktorkan ke dalam bilangan prianya, direpresentasikan sebagai daftar (p, d), di mana semua p adalah bilangan prima, dan d adalah kekuatan p. Apakah ada cara untuk membandingkan dua angka seperti itu tanpa mengubahnya menjadi bilangan bulat...

8
Grafik alami yang tidak bebas skala

Sekarang menjadi pengamatan yang terkenal bahwa banyak struktur grafis yang muncul dalam pengaturan alami cenderung mematuhi sifat bebas skala, seperti hukum kekuatan distribusi derajat. Adakah contoh bagus grafik alami yang cukup acak dan tidak serta-merta mematuhi sifat bebas