Які перші праці з інформатики використовували асимптотичну часову складність?

Коли велике O вперше було використано в інформатиці і коли воно стало стандартним? Сторінка Вікіпедії на цій сторінці цитує Кнут, Великий Омікрон та Велику Омегу та Велику тету , ЗНАЧЕННЯ квітень-червень 1976 року, але початок цієї статті читається

Більшість з нас звикли до думки використовувати позначення щоб виступати за будь-яку функцію, величина якої гранична постійним часом , для всіх великих .$O(f(n))$$f(n)$$n$

Ця цитата вказує на те, що ідея та позначення вже використовувались.

Сторінка Вікіпедії також цитує матеріали з математики кінця 1800-х та початку 1900-х років, але це не зовсім відповідає на питання. Зокрема, я чув, як тодішні дослідники (у 60-ті та 70-ті, а не в кінці 1800-х років) чули, що коли вперше був використаний асимптотичний аналіз, деякі люди відсунули назад, сказавши, що час настінного годинника є кращою метрикою. Однак ніхто, з яким я спілкувався, не може навести конкретні документи, які отримали такий відкат, і я хотів би знайти докази, які можуть підтвердити або спростувати ці історії.

З питаннями історії, як правило, є тонкі нюанси, і нелегко визначити конкретний документ, який запровадив певну концепцію, тому що вона, як правило, поширюється на багатьох дописувачів, а іноді повторно розкривається незалежно, коли незрозумілі ранні посилання не обов'язково поширюються (фундаментальні ідеї подібні) . але історія в основному виглядає приблизно так: Позначення Ландау - це старий математичний формалізм (1894 / Бахман) [1], який був імпортований в CS як "ключова концепція" приблизно на початку 1970-х. до середини 1970-х це було дещо прийнято, як у вашій довідці про Кнут, і сам Кнут брав участь у поширенні цієї концепції.

Цікаво, що його імпорт до CS був, ймовірно, тісно пов'язаний з розрізненнями P проти NP та Exptime, виявленими на початку 1970-х років, які були дуже впливовими / проголошеними в цій галузі. саме Кобхем / Едмондс почали визначати клас P на початку 1970-х років. [3] з'явилися ранні докази щодо Exptime та Expspace від Stockmeyer / Meyer. [2] теорема Кука-Левіна [4] (1971) показала основну актуальність часу П проти НП, негайно підтриманого Карпом [5] (1972).

раннім математиком, який працював в теорії чисел, але також на межі інформатики, був Поклінгтон. як в [3] він вказує:

Однак Х. П. Поклінгтон у статті 1910 р. [11] [12] проаналізував два алгоритми розв язання квадратичних конгруенцій і зауважив, що потрібен час, "пропорційний потужності логарифму модуля", і порівняв його з тим, який зайняв час пропорційний "самому модулю або його квадратному корінню", таким чином явно проводячи відмінність між алгоритмом, який запускався в поліномічний час, порівняно з тим, що не було.

Ще одним першим піонером в аналізі складності машинних алгоритмів теорії чисел, тобто факторингу, був Деррік Лемер, професор математики Каліфорнійського університету в Берклі, і ще в 1920-х роках побудував / проаналізував факторингові «алгоритми» (реалізація на основі сит). і можливо, він, можливо, описав щось на зразок обчислювальної складності wrt-факторингу неофіційним шляхом. [6]

ще один випадок - це "загублений" лист Годеля 1956 року фон Нейману, який говорить про вимірювання складності кроків f (n) машини для пошуку доказів розміру n . [7]

[1] Велика історія нотацій O / Вікіпедія

[2] Проблеми зі словом, що вимагають експоненціального часу. / Стокмейер, Мейер (1973)

[3] P історія класів / вікіпедія

[4] Теорема / Вікіпедія Кука-Левіна

[5] Повні проблеми Karps 21 NP / wikipedia

[6] Лемер-факторинг / сито / вікіпедія

[7] Годельс втратив письмо / Р.Й.Ліптон