Я на втором курсе магистратуры, который не слишком связан с TCS, хотя я бы хотел, чтобы это было так. Это в основном теория управления, сигналы и системы, и я брал уроки в продвинутых системах (надежных, нелинейных, оптимальных, стохастических), продвинутой обработке сигналов и выпуклой...
Я студент третьего курса университета «топ-20», который работает над мелкозернистой сложностью (много игр с 3-SUM, OV и обычными популярными гипотезами о твердости). Я был довольно продуктивным в течение последнего года или около того, и у меня есть 3 принятых документа и два представленных...
Заранее извиняюсь за этот мягкий вопрос, на который нет закрытого, правильного ответа. Это, вероятно, лучший форум, чтобы задать мой вопрос. Я студент третьего курса теоретической группы из 15 лучших школ США. До сих пор я неплохо справлялся. У меня есть первая авторская теоретическая статья и...
Я не теоретик информатик. Я стабильный теоретик гомотопий, использующий -категории. Я видел применения теории категорий и теории топосов к теоретической информатике, и мне было интересно, можно ли каким-либо образом использовать -категории (и, предпочтительно, для меня, теория стабильной гомотопии)...
Я пытался обернуть голову вокруг того, что, почему и как вычислить, но я не могу понять, «почему это работает»?λλ\lambda «Интуитивно» я получаю модель вычислимости машин Тьюринга (ТМ). Но эта абстракция просто оставляет меня в замешательстве.λλ\lambda Давайте предположим, что ТМ не существуют -...
Некоторое время я разрабатывал алгоритм SAT и дошел до того, что хотел бы им поделиться. Я не знаю многих людей в области компьютерных наук, и я не уверен, куда именно обратиться. Мне интересно, какие ресурсы доступны для человека с алгоритмом, который рассматривает возможность публикации. Мне...
Все известные мне компьютерные музеи и экспонаты, кажется, охватывают только историю вычислительной техники, но не затрагивают темы компьютерных наук. Вы участвуете в создании нового Музея вычислительной техники, созданного для обучения, развлечения и привлечения широкой публики к широкому кругу...
В документе конференции, чтобы доказать -полноту проблемы, я написал глупое предложение: «Ясно, что проблема в N P. Поэтому мы докажем, что это N P -hard». На самом деле это было не совсем понятно. Это даже кажется открытой проблемой. Для целевой аудитории это не имеет большого значения, потому что...
Я недавно начал курс магистратуры. В прошлом семестре я проходил курсы по различным дисциплинам, таким как сети, разработка программного обеспечения, архитектура и т. Д. Недавно, пройдя углубленный курс по алгоритмам и структурам данных, я думаю, что нашел курс, который меня интересует больше всего...
Какая разница в том, чтобы называть калькуляцию алгеброй вместо исчисления? Я поднимаю этот вопрос, потому что где-то прочел строку « λ- калькуляция - это не исчисление, а алгебра» (iirc, приписывается Дане Скотт). Какой смысл?...
В 1996 году давно открытая проблема была решена с помощью компьютера; а именно, что алгебра Роббинса и булева алгебра совпадают. Доказательство было найдено автоматическим испытателем теорем. Кроме того, известное доказательство теоремы о четырех цветах содержит сгенерированные компьютером...
На cs.stackexchange я спросил о scala-библиотеке algebird на github, размышляя о том, почему им может понадобиться пакет абстрактной алгебры. Страница GitHub имеет несколько подсказок: Реализации Monoids для интересных алгоритмов аппроксимации, таких как фильтр Блума, HyperLogLog и CountMinSketch....
Хотя практическое правило заключается в том, что в документах TCS авторы располагаются в алфавитном порядке, есть несколько заметных контрпримеров, которые приходят на ум, где авторы упорядочиваются по-другому, например: Алгебраические методы для интерактивных систем доказательства [Лунд, Фортнов,...
Я пытаюсь понять, что связано с теоретическими компьютерными исследованиями. Что делают теоретические компьютерные ученые? Я знаю, что значительное время затрачивается на преподавание, руководство аспирантами, подачу заявок на финансирование и выполнение обязанностей департамента. Отложив их в...
Я аспирант в области теоретических компьютерных наук, и в частности, алгоритмы аппроксимации. Теперь я нахожу, что меня больше интересует чистая математика (я могу сказать это, потому что мне, кажется, нравятся курсы математики больше, чем курсы CS). Я хотел бы спросить, есть ли области...
Есть алгоритмическая теория графов / теория чисел / комбинаторика / теория информации / теория игр. Есть ли алгоритмический математический анализ? Согласно вики, математический анализ включает в себя теории дифференцирования, интегрирования, измерения, пределов, бесконечных рядов и аналитических...
В проектах Polymath большая группа работает над открытой проблемой. Какие проблемы лучше всего работают в этих рамках? Есть ли хорошие кандидаты для участия в проекте по математике в теоретической информатике? Существуют ли какие-либо препятствия, которые делают проекты Polymath менее успешными в...
В прошлом журналы были основным способом распространения и проверки научных / математических открытий. В некоторых областях они все еще есть. Тем не менее, в (теоретической) информатике эту роль почти полностью выполняют конференции и открытое распространение через Интернет (например, arxiv или...
Привет всем, в настоящее время я пытаюсь найти твердую тему магистерской диссертации, относящуюся к некоторой отрасли теории автоматов или связанной с формальными языками. Я пытаюсь выработать несколько хороших идей для приемлемой темы, чего-то амбициозного, но в то же время выполнимого. Любые...
Я профессиональный программист-самоучка. Я довольно хорошо справляюсь с этим (Ruby, Unix, Clojure, Java, Objective-C), но теперь я думаю о том, чтобы поднять его на следующий уровень, подав заявку на магистратуру или докторантуру в CS. Какие темы по математике я должен изучать, чтобы подготовиться...