Запитання з тегом «reference-request»

Перегляд питань через алгоритмічну лінзу (тобто з точки зору алгоритмічності або складності) стало корисним у навчальних дисциплінах, що не входять до "стандартної галузі" інформатики. Зокрема, КС зробив вплив на біологію за допомогою обчислювальної біології, на фізику за допомогою квантової обробки інформації, а ІІ та теорія складності, здається, регулярно взаємодіють з …

32 reference-request  soft-question  big-picture  social-sciences  algorithmic-lens 

Визначте LOGLOG як клас мов, який можна обчислити в просторі O (log n) детермінованою машиною Тьюрінга (з двостороннім доступом до вводу). Аналогічно визначте NLOGLOG як клас мов, який можна обчислити в просторі O (журнал журналу n) недетермінованою машиною Тьюрінга (з двостороннім доступом до вводу). Невже невідомо, що ці класи відрізняються? …

32 cc.complexity-theory  reference-request  space-bounded 

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

32 reference-request  big-list  pr.probability  books 

Мені потрібна книга з теорії обмежених автоматів з великою кількістю прикладів, які я можу використовувати для самостійного вивчення та підготовки до іспитів.

32 reference-request  automata-theory  fl.formal-languages 

Я читав " Семантику з додатками " Нільсона та Нільсона , і мені дуже подобається тема. Я хотів би мати ще одну книгу з семантики мови програмування - але я дійсно можу отримати лише одну. Я поглянув на книгу Турбака / Гіффорда , але це занадто довго. Я думав, що …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

Не здається, що це відомо - але чи є якісь цікаві нижчі межі щодо складності множення матриць у моделі квантових обчислень? Чи є у нас інтуїція, що ми можемо перемогти складність алгоритму Копперсміта-Винограда за допомогою квантових комп'ютерів?

30 reference-request  quantum-computing  matrix-product 

Поліноміальні методи , скажімо, комбінаторіальна теорія Нуллстелленсац і Шевалі - Попередження, є потужними інструментами в аддитивній комбінаториці. Представляючи проблему з належними многочленами, вони можуть гарантувати існування рішення або кількість розв’язків многочленів. Вони використовувались для вирішення таких завдань, як обмежені суми або задачі з нульовою сумою , і деякі теореми в …

29 cc.complexity-theory  reference-request  co.combinatorics  polynomials 

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

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

Мені відомі лише два докази лемми Шварца – Зіппеля. Перший (більш поширений) доказ описаний у статті вікіпедії . Другий доказ виявила Дана Мошковіц. Чи є інші докази, які використовують суттєво різні ідеї?

28 cc.complexity-theory  reference-request  algebra  polynomials  finite-fields 

Вивчення екології та еволюції стає все більш математичним, але, здається, більшість теоретичних інструментів походить з фізики. Однак у багатьох випадках проблеми мають дуже дискретний характер (див., Наприклад, SLBS00 ) і можуть отримати користь з точки зору інформатики . І все ж мені відомо лише кілька серйозних результатів від ТКС, які …

27 reference-request  big-picture  application-of-theory  evolutionary-game-theory  algorithmic-lens 

Припустимо, - графік з кольором забарвлення d = χ ( G ) . Розглянемо наступну гру між Алісою та Боб. На кожному раунді Аліса вибирає вершину, і Боб відповідає кольором у { 1 , … , d - 1 } для цієї вершини. Гра закінчується, коли виявляється однотонний край. Нехай …

27 reference-request  graph-theory  co.combinatorics  graph-colouring  decision-trees 

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

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

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

27 ds.algorithms  reference-request  randomized-algorithms  teaching 

Ви можете часто зустріти методи різання площини, змінне розповсюдження, розгалуження та зв'язане, навчання клаузу, інтелектуальне зворотне відстеження або навіть рукоплетену людську евристику в розв'язках SAT. Однак протягом десятиліть найкращі розв'язувачі SAT покладаються в значній мірі на методи доказів роздільної здатності і використовують комбінацію інших речей просто для допомоги та для …

27 reference-request  big-list  sat  proof-complexity  lo.logic 

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

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