Запитання з тегом «ho.history-overview»

Редагувати: Я вибираю відповідь з найбільшою кількістю балів до 06 грудня 2012 року. Це м'яке питання. Поняття (детермінованих) алгоритмів датується до н. А як щодо ймовірнісних алгоритмів? У цьому вікі-записі алгоритм Рабіна для найближчої пари в обчислювальній геометрії був заданий як перший рандомізований алгоритм (рік ???). Ліптон представив алгоритм Рабіна …

27 ds.algorithms  reference-request  big-list  randomized-algorithms  ho.history-overview 

Якщо - непрямий d -регулярний графік, а S - підмножина вершин кардинальності ≤ | V | / 2 , викличте розширення краю в S р кількістьG = ( V, Е)G=(V,E)G=(V,E)гddSSS≤ | V| / 2≤|V|/2\leq |V|/2SSS ϕ ( S) : = Еггe s ( S, V- S)г⋅ | S| ⋅ | …

27 ds.algorithms  graph-theory  ho.history-overview  expanders  spectral-graph-theory 

Мудрі інші редактори Вікіпедії відхилили моє прохання перенести статтю Вікіпедії про алгоритм Рабін-Карп на те, що, на мою думку, його слід назвати, алгоритм Карпа – Рабіна, виходячи з того, що найчастіше використовується ім'я Рабін – Карп ( помилково, якщо хто йде за номерами науковця Google) або що це звучить краще …

26 ho.history-overview  string-matching 

Я впевнений, що всі знають про голковий експеримент Буффона в 18 столітті, що є одним з перших імовірнісних алгоритмів для обчислення .ππ\pi Реалізація алгоритму в комп’ютерах зазвичай вимагає використання або тригонометричної функції, яка, навіть якщо вони реалізовані як усічений ряд, начебто перемагає мету.ππ\pi Щоб обійти цю проблему, існує добре відомий …

26 ds.algorithms  reference-request  randomized-algorithms  ho.history-overview  monte-carlo 

Нещодавно я викладав розширювачі та ввів поняття графів Рамануджана. Майкл Форбс запитав, чому їх називають так, і я повинен був визнати, що не знаю. Хтось?

25 graph-theory  soft-question  ho.history-overview  expanders 

Я читав, що спочатку Церква запропонувала обчислення як частину своїх пастулів логіки (що є чистим ). Але Клійн виявив свою "систему" непослідовною, після чого Церква витягла відповідні речі для своєї роботи про "ефективну обчислюваність" і відмовилася від своєї попередньої роботи з логіки.λλ\lambda Отже, наскільки я розумію, система і її позначення …

22 lo.logic  big-picture  lambda-calculus  ho.history-overview 

Алгоритм Карацуби для швидкого множення вперше був опублікований у А. Карацуби та Ю. Офман (1962), "Множення багатоцифрових чисел на автоматичні комп'ютери", Праці АН СРСР 145: 293–294. За словами Карацуби (1995, «Складність обчислень», доц. Стеклова, Інститут математики 211: 169–183) , ця робота була написана Колмогоровим (і, можливо, Офманом) без відома Карацуби. …

21 ho.history-overview 

У мене є два історичні питання: Хто вперше описав недетерміновані обчислення? Я знаю, що Кук описав проблеми NP-завершені, і що Едмондс запропонував алгоритми P "ефективні" або "хороші" алгоритми. Я шукав цю статтю у Вікіпедії та проскакував "Про обчислювальну складність алгоритмів", але не зміг знайти жодного посилання на те, коли вперше …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

Згідно (неперевіреного) історичного звіту, Колмогоров вважав, що кожна мова в PP\mathsf{P} має складність лінійної ланцюга. (Див раніше питання гіпотези Колмогорова , що PPP має схеми лінійного розміру .) Зверніть увагу , що це означає P≠NPP≠NP\mathsf{P}\neq \mathsf{NP} . Однак, як вважають, здогадки Колмогорова можуть зазнати невдачі. Наприклад, Райан Вільямс пише в …

19 cc.complexity-theory  circuit-complexity  ho.history-overview 

Я нещодавно мав дискусію про машини Тюрінга, коли мене запитали: "Машина Тьюрінга походить від автоматів чи це навпаки"? Я, звичайно, не знав відповіді, але мені цікаво це дізнатись. Машина Тьюрінга - це, в основному, трохи більш вдосконалена версія Push-Down Automata. З цього я б припустив, що машина Тьюрінга походить від …

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

Намагаючись переконати економістів у важливості теорії складності у друку, чи є стандартна посилання на цитування? Я знайомий з блозі Ноам Нісан в , обстеженні Тіма Роугарден в і главі 11 есе Ааронсон в . Ці посади доступні для вчених-комп'ютерів, але не використовують мову економістів і не публікуються у місцях, що …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

Я вчив нижніх меж сьогодні, і один зі студентів запитав про причини назви C . Офіційне пояснення полягає в тому, що "A" означає "Чергування".А С0АС0AC^0АСАСAC Я туманно пам'ятаю, як мені говорили багато років тому, що Нік Піппенгер Стів Кук назвав честь Ніка Піппенгера (клас Ніка), а пізніше Ніка назвав S …

17 cc.complexity-theory  reference-request  ho.history-overview 

Чи є цікаві екземпляри алгоритмів, які були опубліковані з перевіреними межами, і де згодом були опубліковані суворо кращі межі? Не кращі алгоритми з кращими рамками - очевидно, що це сталося! Але кращий аналіз веде до кращого зв’язку з існуючим алгоритмом Я вважав, що матричне множення є прикладом цього, але я …

16 ho.history-overview  analysis-of-algorithms 

AFAIK, Перші докази використання функцій вищого порядку відносяться до статті Шенфінкеля 1924 року: "Про будівельні блоки математичної логіки" - де він дозволив передавати функції як аргументи іншим функціям. Це здається цікавим. Однак, все, що я читав про його роботу (і про розширення Крірі), схоже, натякає на одне в тій чи …

15 lo.logic  soft-question  ho.history-overview  intuition  function 

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

14 cc.complexity-theory  ho.history-overview  space-time-tradeoff