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

Я просто читаю на лямбдальному обчисленні, щоб "познайомитися з цим". Я розглядаю це як альтернативну форму обчислень на відміну від машини Тьюрінга. Це цікавий спосіб роботи з функціями / скороченнями (грубо кажучи). Деякі питання продовжують нудити на мене: У чому сенс обчислення лямбда? Навіщо проходити всі ці функції / скорочення? …

85 soft-question  big-picture  lambda-calculus  ho.history-overview 

Це "історичне питання" більше, ніж це дослідницьке запитання, але чи було класичне відношення до пошуку порядку в алгоритмі Шор за факторизацією, спочатку виявленим Пітером Шор, чи це було відомо раніше? Чи є документ, який описує скорочення, яке достроковує Шорта, чи це просто так званий "народний результат"? Або це був просто …

79 quantum-computing  ho.history-overview  factoring 

Сьогодні моє запитання (як завжди) трохи нерозумно; але я б просив вас ласкаво розглянути. Я хотів дізнатися про генезис та / або мотивацію, що лежить в основі концепції широкої ширини. Я впевнено розумію, що він використовується в алгоритмах FPT, але я не думаю, що це було причиною визначення цього поняття. …

61 graph-theory  co.combinatorics  big-picture  ho.history-overview  treewidth 

Я хотів би написати опитування щодо застосування топології в інформатиці. Я планую висвітлити історію топологічних ідей у ​​галузі інформатики, а також висвітлити декілька сучасних подій. Було б дуже корисно, якби хто-небудь міг дати інформацію щодо будь-якого із наведених нижче питань. Чи є документи чи замітки, які описують хронологію використання топології …

61 reference-request  ho.history-overview  topology  survey 

Я розумію, що модель Тьюрінга стала "стандартом" при описі обчислень. Мені цікаво знати, чому це так - тобто чому модель ТМ стала більш широко використовуваною, ніж інші теоретично еквівалентні (наскільки мені відомо) моделі, наприклад, μ-рекурсія Kleene або обчислення лямбда (я розумію що перший не з'явився до цього пізніше, а другий …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

Якби ви могли перейменувати динамічне програмування, як би ви його назвали?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

У класичному документі Ендрю Чі-Чі Яо 1979 року він посилається на "М.О. Рабін та А.С. Яо, готуючись". Це є наслідком того, що складність зв'язку з обмеженою помилкою функції рівності EQ (чи рівні два цілі числа в діапазоні від до ) дорівнює .NN_N000N- 1N−1N-1O ( журналжурналN)O(log⁡log⁡N)O(\log\log N) Ендрю Чі-Чи-Яо, деякі складні …

40 ho.history-overview  communication-complexity 

Ця проблема натхненна цим питанням МО , яке я вважав дуже цікавим. Яка найдавніша відкрита проблема у TCS? Очевидно, що це питання потребує певного уточнення. По-перше, що таке TCS? Я думаю, що існування непарних досконалих чисел не є TCS. Я б сказав, що десята проблема Гільберта - це TCS. Я …

36 soft-question  open-problem  ho.history-overview 

Алан Тьюрінг , один із піонерів (теоретичної) інформатики, зробив багато наукових внесків у нашу сферу, включаючи визначення машин Тьюрінга, тезу Церкви Тьюрінга, нерозбірливість та тест Тьюрінга. Однак його важливі відкриття не обмежуються лише переліченими. На честь його 100-річчя від дня народження я подумав, що було б непогано попросити більш повний …

34 soft-question  ho.history-overview 

У мене є історичне питання. Я намагаюся визначити посилання на той факт, що 3-забарвлення графіків (альтернативно, -кольорова здатність для даного ) є NP-важким.kkkk≥3k≥3k\geq 3 Заманлива відповідь - «оригінал паперу Карпа», але це неправильно. Ось сканування: скорочуваність серед комбінаторних проблем, Карп (1972) . Це доводить, що хроматичне число (Input: graph. Output: …

33 np-hardness  ho.history-overview 

Ми "знаємо", що названо для Стіва Кука, а названо для Ніка Піппенгера. Якщо я не помиляюсь, Стів Кук назвав NC на честь Ніка Піппенгера, і мені сказали, що і зворотній шлях справжній. Однак мені не вдалося знайти жодних доказів цього останнього факту ні в статті Стіва Кука про DCFL, ні …

33 cc.complexity-theory  ho.history-overview 

У кількох останніх питаннях ( q1 q2 ) обговорювалося "Теорія А" проти "Теорія В", яка, здавалося б, охоплює розрив між вивченням логіки та мов програмування та вивченням алгоритмів та складності. Ця термінологія була для мене новою, і швидкий пошук в Інтернеті не з'явив жодних очевидних посилань, що пояснювали б це. …

30 ho.history-overview  terminology 

У своїй книзі «Булева функціональна складність» Стасіс Юкна згадує (стор. 564), що Колмогоров вважав, що кожна мова в Р має схеми лінійної величини. Ніякої посилання не згадується, і я нічого не зміг знайти в Інтернеті. Хтось знає про це більше?

28 cc.complexity-theory  reference-request  circuit-complexity  ho.history-overview 

Гротендік помер . Він мав величезний вплив на математику 20 століття, продовжуючи і до 21 століття. Це питання задається дещо в стилі / дусі, наприклад, внеску Алана Тьюрінга в інформатику . Які основні впливи Гротендіка на теоретичну інформатику?

27 big-picture  ct.category-theory  ho.history-overview 

Чому регулярні мови (і з цих регулярних виразів) називаються "регулярними"? Існує багато закономірностей також у безконтекстних мовах інших типів мов. Я припускаю, що на початку прикметник "регулярний" вживався для відмежування цього типу мов від інших "нерегулярних" чи якось ненормальних мов. Якщо так, то що, де ці інші типи, і яка …

27 regular-expressions  regular-language  ho.history-overview