Запитання з тегом «big-list»

З моменту книги Кріса Окасакі 1998 року "Чисто функціональні структури даних" я не бачив занадто багато нових захоплюючих суто функціональних структур даних; Я можу назвати лише декілька: IntMap (також винайдений Окасакі в 1998 році, але не присутній у цій книзі) Пальчикові дерева (та їх узагальнення над моноїдами) Існують також деякі …

563 reference-request  big-list  ds.data-structures  functional-programming 

Це питання (натхнене) / (ганебно викрадене з) подібним питанням у MathOverflow , але я очікую, що відповіді тут будуть зовсім іншими. У всіх нас є улюблені роботи у власних галузях теорії. Час від часу люди знаходять папір настільки приголомшливою (наприклад, важливою, переконливою, оманливо простою тощо), що хочеться поділитися нею з …

454 big-list  soft-question 

Пол Ердос розповів про "Книгу", де Бог зберігає найелегантніші докази кожної математичної теореми. Це навіть надихнуло книгу (яка, на мою думку, зараз є у її четвертому виданні): Докази з книги . Якби Бог мав аналогічну книгу щодо алгоритмів, який алгоритм, на вашу думку, був би кандидатом? Якщо можливо, будь ласка, …

358 ds.algorithms  soft-question  ds.data-structures  big-list 

[ Хронологія ] Це запитання має той самий дух, який документи повинні читати всі та які відео повинні дивитись усі . Він просить чудових книг у різних областях теоретичної інформатики. Книги можуть бути орієнтовані на математику, але, можливо, вам це буде чудово для комп'ютерного вченого. Приклади: Ймовірність Нерівності Логіка Теорія …

229 reference-request  soft-question  big-list  books 

У Вікіпедії перелічено лише дві проблеми під "невирішеними проблемами інформатики" : P = NP? Існування односторонніх функцій Які ще основні проблеми слід додати до цього списку? Правила: Лише одна проблема на відповідь Надайте короткий опис та будь-які відповідні посилання

218 big-list  open-problem 

У Стенфордському університеті зараз є канал Youtube , з безкоштовним доступом до HD відео з повними курсами всього, від динамічних систем до квантового заплутування. Більше конференцій та семінарів ведуть відеозйомку своїх переговорів. Які відео в Інтернеті, на вашу думку, повинні знати всі? Я буду наводити це декількома відповідями на презентації, …

140 soft-question  big-list 

Факторинговий і графічний ізоморфізм - проблеми в НП, які, як відомо, не існують в Р, а також не є NP-завершеними. Які ще (достатньо різні) природні проблеми поділяють цю властивість? Штучні приклади, що випливають безпосередньо з доказів теореми Ладнера, не враховуються. Чи є будь-який з цих прикладів NP-проміжним, припускаючи лише якусь …

128 cc.complexity-theory  np-hardness  big-list  np-intermediate 

Існувало кілька запитань із тією ж схемою, що і ця: Які папери кожен повинен прочитати Які книги повинен прочитати кожен Назвіть останні книги TCS, чернетки яких доступні в Інтернеті які відео повинні переглядати всі Я неохоче опублікував ще одну, але конспекти лекцій Джеффа Еріксона щодо алгоритмів передумали. Я подумав: О, …

113 reference-request  soft-question  big-list 

Теоретична інформатика подала кілька прикладів "ціни абстракції". Два найвидатніші - для усунення та сортування Гаусса. А саме: Відомо, що усунення Гаусса є оптимальним для, скажімо, обчислення визначника, якщо ви обмежите операції рядками та стовпцями в цілому [1]. Очевидно, що алгоритм Страссена не підкоряється цьому обмеженню, і він є асимптотично кращим, …

112 ds.algorithms  reference-request  big-list  lower-bounds 

Слідом за публікацією Що книги повинні читати всі , я помітив, що є недавні книги, чернетки яких доступні в Інтернеті. Наприклад, запис алгоритмів наближення до вищезгаданої публікації цитує книгу 2011 року (ще не опубліковану) під назвою Проектування алгоритмів наближення . Я думаю, що знання останніх робіт є дуже корисним для …

99 reference-request  big-list  books 

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

90 soft-question  big-list  conferences 

Яка найсмішніша опублікована робота, що стосується TCS, ви знаєте? Будь ласка, включіть лише ті, які мають бути смішними. Віддаються переваги твори, які явно створені як розумно жартівливі (а не, скажімо, опублікована збірка коротких анекдотів щодо теорії складності). Також приймаються твори з жартівливими (насправді жартівливими, не просто милими) заголовками. Будь-ласка, лише …

80 reference-request  soft-question  big-list 

Наведіть, будь ласка, приклади, коли теорема з математики, яка зазвичай не вважалася застосованою в інформатиці, була вперше використана для доведення результату в галузі інформатики. Найкращі приклади - це ті, де зв’язок не був очевидним, але як тільки він був виявлений, це очевидно "правильний спосіб" це зробити. Це протилежний напрямок питання …

74 reference-request  soft-question  big-list  topology 

Які алгоритми законної корисності просто занадто складні для реалізації? Дозвольте мені зрозуміти: я не шукаю таких алгоритмів, як поточний асимптотичний алгоритм множення оптимальної матриці (Coppersmith-Winograd), який розумно реалізовувати, але має константу, яка робить його марним на практиці. Я шукаю алгоритми, які, правдоподібно, можуть мати практичне значення, але їх настільки важко …

67 ds.algorithms  ds.data-structures  big-list  implementation 

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

67 reference-request  big-list  big-picture  algebra