Qo'shiqlarning murakkabligi - The Complexity of Songs

"Qo'shiqlarning murakkabligi"tomonidan nashr etilgan jurnal maqolasi kompyutershunos Donald Knuth 1977 yilda,[1] sifatida hazilda haqida hisoblash murakkabligi nazariyasi. Maqola ommaboplik tendentsiyasidan foydalanadi qo'shiqlar uzoq va mazmunan boy narsalarga o'tish balladalar mazmunli yoki unchalik katta bo'lmagan takrorlanadigan takrorlanadigan matnlarga.[2] Maqolada uzunlik qo'shig'i qayd etilgan N so'zlarni eslab qolish uchun ishlab chiqarish mumkin, masalan, faqat O (jurnal N) so'zlar ("kosmik murakkablik "qo'shiqning).

Maqolaning qisqacha mazmuni

Knut yozishicha «bizning qadimgi ajdodlarimiz tiyilish "ni kamaytirish uchun kosmik murakkablik qo'shiqlar, bu juda ko'p sonli qo'shiqlar o'zlariga sodiq bo'lishi kerak bo'lganda hal qiluvchi ahamiyatga ega bo'ladi xotira. Knutniki Lemma 1 agar shunday bo'lsa, deyiladi N qo'shiqning uzunligi, keyin rad etish qo'shiqning murakkabligini pasaytiradi cN, bu erda omilv < 1.[1]

Knut yana qo'shiqlar yaratish usulini namoyish etadi O () murakkablik, yondashuv "tomonidan yanada takomillashtirilgan Shotlandiya ismli dehqon O. Makdonald ".[1]

Keyinchalik mohirona yondashuvlar murakkablik qo'shiqlarini keltirib chiqaradi O (), "nomi bilan tanilgan sinfm devorga pivo shishalari ".

Va nihoyat, 20-asrdagi taraqqiyot - "zamonaviy giyohvand moddalarning paydo bo'lishi hali ham kam xotiraga bo'lgan talablarni keltirib chiqardi" - bu yaxshilanishga olib keladi: kosmik murakkablik bilan o'zboshimchalik bilan uzoq qo'shiqlar O (1) mavjud, masalan. tomonidan belgilangan qo'shiq takrorlanish munosabati[1]

'Bu yo'l,' 'Menga yoqdi,' , Barcha uchun
"uh huh", "uh huh"

Keyingi o'zgarishlar

Prof. Kurt Eyzemann San-Diego davlat universiteti ga maktubida ACM aloqalari[3] mag'lub bo'lmaydigan ko'rinishni yanada yaxshilaydi. U amaliy qo'llanmalar uchun "yashirin doimiy" qiymatini kuzatish bilan boshlanadi v ichida Katta oh Belgilanish maqsadga muvofiqligi va bajarilmasligi o'rtasidagi farqni yaratishda juda muhim bo'lishi mumkin: masalan, doimiy qiymati 1080 har qanday ma'lum bo'lgan qurilmaning quvvatidan oshib ketishi mumkin. Bundan tashqari, u allaqachon texnikaning ma'lum bo'lganligini payqaydi O'rta asr Evropasi bu erda takroriy munosabat asosida o'zboshimchalik bilan sozlangan matn tarkibini yozib olish mumkin , qayerda , katta-Oh doimiy qiymatini beradi v 2. ga teng. Ammo boshqa madaniyat O (0) ning mutlaq pastki chegarasiga erishgan ekan. Prof. Eisemann aytganidek:

"Qachon Mayflower sayohatchilar dastlab ushbu qirg'oqlarga tushishdi, mahalliy amerikaliklar axborotni saqlash va qidirish nazariyasidagi yutuqlaridan faxrlanib, dastlab begonalarni to'liq sukut bilan kutib olishdi. Bu ularning qo'shiqlarning murakkabligidagi eng yuqori yutuqlarini, ya'ni chegaraning pastligini namoyish qilishni anglatishi kerak edi v = 0 haqiqatan ham olinishi mumkin. "

Ammo evropaliklar bu tushunchani tushunishga tayyor emas edilar va boshliqlar, o'zlarining yutuqlarini etkazish uchun umumiy asosni yaratish uchun keyinchalik takrorlanadigan munosabat bilan tavsiflangan yondashuvni namoyish etishdi , qayerda , tomonidan berilgan suboptimal murakkablik bilan v = 1.[2][3]

O (1) kosmik murakkabligi natijasi ham tomonidan amalga oshirildi Qay L. Stil, kichik, ehtimol Knutning maqolasi tomonidan e'tiroz bildirilgan.[4] Doktor Stilnikidir TELNET Qo'shiq eksponentli rekursiyaga asoslangan butunlay boshqa algoritmdan, TELNET-ning ba'zi bir dasturlariga parodiyadan foydalangan.[5][6][7]

Inson qo'shiqlarining murakkabligini tahlil qilish o'quvchilarga murakkablik nazariyasini o'rgatish uchun foydali pedagogik vosita bo'lishi mumkin degan fikrlar mavjud.[8]

Maqola "Superpolylogarithmic to'g'risida Subxponential Vazifalar "deb nomlangan prof. Alan Sherman[9] Knutning maqolasi maxsus funktsiyalar sinfini tahlil qilish uchun muhim ahamiyatga ega bo'lganligini yozadi.

Adabiyotlar

  1. ^ a b v d Knut, Donald (1977 yil yoz). "Qo'shiqlarning murakkabligi". SIGACT yangiliklari: 17–24.Qayta nashr etilgan: Knuth, Donald (1984). "Qo'shiqlarning murakkabligi". ACM aloqalari. 27 (4): 344–346. doi:10.1145/358027.358042. JANOB  0784131.
  2. ^ a b Stiven Krantz (2005) "Matematik Apokrifa Redux", ISBN  0-88385-554-2, 2-bet, 3-bet.
  3. ^ a b Kurt Eisemann, "Qo'shiqlarning murakkabligi bo'yicha keyingi natijalar", ACM aloqalari, 28-jild (1985), yo'q. 3, p. 235.
  4. ^ Piter G. Neyman, "Birinchi chorak asrning keyingi ko'rinishi",ACM aloqalari, 27-jild, 4-son, 1984 yil aprel, p. 343
  5. ^ Qay L. Stil, kichik, "Telnet qo'shig'i", ACM aloqalari, 1984 yil aprel
  6. ^ TELNET qo'shig'ining matni (2012 yil 5-yanvarda olingan)
  7. ^ Telnet qo'shig'i MIDI formatida
  8. ^ Chavey, Darrah (1996). "Qo'shiqlar va algoritmlarni tahlil qilish". SIGCSE '96: 4–8. doi:10.1145/236452.236475. Olingan 7 yanvar 2013.
  9. ^ Alan Sherman, "Superpolylogarithmic subxeksional funktsiyalar to'g'risida" (PostScript), ACM SIGACT yangiliklari, vol. 22, yo'q. 1, 1991, p. 65

Tashqi havolalar