С появлением Интернета (и здравого смысла) появляется все больший спрос на исследования открытого доступа. Некоторые исследователи (включая меня) считают разочаровывающим, что опубликованные рецензируемые исследовательские статьи стоят за платными системами. Я ищу журналы и конференции (связанные с...
Какие инструменты вы используете для написания статей? Исходя из своего небольшого опыта, теоретики тратят много времени на написание и уточнение статей, помимо того, что они на самом деле творческие. То есть, сообщая свою работу другим людям. Может быть, документы не правильный способ сделать...
Это мой первый вопрос на этом сайте. Я учусь в магистратуре по теории вычислений. Как бы вы объяснили проблему P = NP 10-летнему ребенку и почему он получил такое денежное вознаграждение? Твой дубль? Я обновлю вопрос, когда моя голова прояснит...
Многие первоклассные исследователи в области компьютерных наук и исследовательские группы) ведут активные блоги, которые держат нас в курсе последних исследований в областях, представляющих интерес для авторов. В большинстве случаев посты в блоге легче понять, чем формальные документы, потому что в...
Меня часто спрашивают, чем занимается теоретический компьютерщик. Было бы здорово получить хорошие ответы на этот вопрос. Я склонен прибегать к техническому жаргону, и в этот момент глаза людей обычно застекляются. Что делает теоретический компьютерный ученый в терминах, которые могут понять люди,...
После плодотворного вопроса в МО , я подумал, что стоит обсудить некоторые заметные названия статей в CS. Совершенно очевидно, что большинству из нас может быть интересно прочитать (или хотя бы взглянуть) статью с интересным названием (по крайней мере, я делаю это каждый раз, когда просматриваю...
Теория сложности - мой сильный вторичный интерес, но это не мой основной исследовательский интерес, поэтому у меня нет надежды посетить все конференции, прочитать все блоги и убедиться, что толпа «в» cc: me на каждом кусочке горячие новости. Я пытаюсь сделать что-то из этого, но мне интересно,...
Я редактировал студенческую рукопись. Студент заметил, что было бы неплохо увидеть примеры качественного письма в опубликованных работах, и я понял, что не могу придумать хорошие примеры из головы Какие лучшие примеры качественного математического письма вы видели? Правила: Я бы предпочел документы...
Сегодня Райан Уильямс опубликовал статью о arXiv (ранее появившуюся в SIGACT News), содержащую менее техническую версию своего недавнего метода нижней границы ACC . Мой вопрос не о самой технике (конечно, заслуживающей огромной похвалы), а о стиле бумаги. В аннотации он пишет: Доказательство будет...
Насколько я понимаю, модель Тьюринга стала «стандартом» при описании вычислений. Мне интересно знать, почему это так - то есть, почему модель ТМ стала более широко используемой, чем другие теоретически эквивалентные (насколько мне известно) модели, например μ-Рекурсия Клини или Лямбда-исчисление (я...
Если бы вы могли переименовать динамическое программирование, как бы вы это
Кажется очевидным, что результаты теоретической физики значительно повлияли на ряд подполей теоретической информатики. Два примера этого Квантовые вычисления Результаты статистической механики, используемые в анализе сложности / эвристических алгоритмах. Итак, мой вопрос: есть ли какие-то основные...
Реальные компьютеры имеют ограниченную память и ограниченное число состояний. Так что они по сути конечные автоматы. Почему теоретические компьютерные ученые используют машины Тьюринга (и другие эквивалентные модели) для изучения компьютеров? Какой смысл изучать эти гораздо более сильные модели по...
В 1937 году Тьюринг описал машину Тьюринга. С тех пор многие модели вычислений были описаны в попытке найти модель, которая похожа на настоящий компьютер, но все же достаточно проста для разработки и анализа алгоритмов. В результате мы имеем дюжину алгоритмов для, например, SORT-задачи для разных...
Несмотря на несколько лет занятий, я все еще в растерянности, когда дело доходит до выбора темы исследования. Я просматривал документы из разных областей и разговаривал с профессорами, и я начинаю думать, что это неправильный подход. Я читал, что это помогает найти интересную проблему (не обращая...
На MathOverflow Тимоти Гауэрс задал вопрос под названием « Демонстрируя, что строгость важна ». Большая часть обсуждения была посвящена случаям, показывающим важность доказательств, в которых, вероятно, нет необходимости убеждать людей на CSTheory. По моему опыту доказательства должны быть более...
Я аспирант 2-го курса в теории. Я работал над проблемой в течение последнего года (в теории графов / алгоритмах). До вчерашнего дня я думал, что у меня все хорошо (я расширял теорему из статьи). Сегодня я понял, что совершил простую ошибку. Я понял, что будет гораздо сложнее, чем я думал, делать...
Я четвертый курс аспиранта по теоретической информатике. Я хотел бы остаться в академии, поэтому я думаю о том, как лучше продвинуть свою карьеру. Очевидно, что лучший способ сделать это - написать много хороших статей, но другой вопрос заключается в том, должен ли я стараться, чтобы больше этих...
ОТКАЗ ОТ ОТВЕТСТВЕННОСТИ: Это открытый вопрос, и пуританам, занимающимся обменом стека, вероятно, придется испытать необычайное желание проголосовать за него до забвения. Однако я не могу думать о каком-либо другом форуме, более подходящем и перспективном для получения ответа на этот вопрос....
Я студент третьего курса PhD в области теоретической CS, которая хотела бы получить совет в трудной ситуации с моим консультантом. Мой советник вообще не участвует в моих исследовательских проектах. В частности, я выступил со всеми своими бумажными идеями и выполнил их самостоятельно. Тем не менее,...