Мягкий вопрос - это вопрос (возможно, субъективный) о области теоретической информатики, а не вопрос теоретической информатики.
Этот вопрос (вдохновленный) / (позорно украденный) похож на вопрос в MathOverflow , но я ожидаю, что ответы здесь будут совсем другими. У всех нас есть любимые статьи в наших соответствующих областях теории. Время от времени каждый находит бумагу настолько поразительной (например, важной,...
Пол Эрдос говорил о «Книге», где Бог хранит самое элегантное доказательство каждой математической теоремы. Это даже вдохновило книгу (которая, я думаю, теперь в ее 4-м издании): Доказательства из Книги . Если бы у Бога была подобная книга для алгоритмов, какой алгоритм (ы), как вы думаете, был бы...
[ Хронология ] Этот вопрос имеет тот же дух, что и газеты должны читать все, и какие видео должны смотреть все . Он просит замечательных книг в различных областях теоретической информатики. Книги могут быть ориентированы на математику, но вы можете найти это замечательно для компьютерного ученого....
У Стэнфордского университета теперь есть канал на Youtube с бесплатным доступом к HD-видео с полным курсом по всем вопросам, от динамических систем до квантовой запутанности. Больше конференций и семинаров снимают на видео свои выступления. Какие видео онлайн, о которых вы думаете, все должны...
После прочтения Daniel Apon в вопрос , я начал думать , что это может быть полезно (особенно для молодых ученых и аспирантов , как я) , чтобы задать более широкий и более общий вопрос таким образом , мы можем извлечь из опыта более старших исследователей. Итак, вот вопрос: Какие практики вы нашли...
Там было несколько вопросов с той же схемой, что и этот: Какие документы должен прочитать каждый Какие книги должен прочитать каждый Каковы последние книги TCS, проекты которых доступны онлайн какие видео должны смотреть все Я не хотел публиковать еще один, но конспект лекций Джеффа Эриксона об...
Я хотел бы попросить помощи в составлении списка как можно большего количества конференций и семинаров, связанных с TCS. Моя главная мотивация для этого состоит в том, чтобы планировать возможное освещение в блоге более теоретических мест - поиск корреспондентов, посещающих эти мероприятия, которые...
Я просто читаю лямбда-исчисление, чтобы «узнать это». Я рассматриваю это как альтернативную форму вычислений в отличие от машины Тьюринга. Это интересный способ работы с функциями / сокращениями (грубо говоря). Некоторые вопросы продолжают мучить меня, хотя: Какой смысл в лямбда-исчислении? Зачем...
Какая самая смешная опубликованная работа, связанная с TCS, вы знаете? Пожалуйста, включайте только те, которые предназначены для забавы. Работы, которые явно созданы для того, чтобы быть разумно юмористическими (а не, скажем, опубликованным сборником коротких анекдотов о теории сложности),...
В настоящее время я студент бакалавриата, который должен закончить в этом году. После выпуска я планирую работать в магистратуре / докторантуре TCS. Я начал задаваться вопросом, какие области математики считаются полезными для TCS, особенно (классическая) теория сложности. Какие области вы считаете...
Этот вопрос может не подходить здесь, но я не мог найти лучшее место, чтобы спросить (это было закрыто в SO). Я нахожу труды для изучения компьютерных наук трудными для понимания. Конечно предметы сложные. Но после того, как я понимаю статью, обычно я могу сказать ее кому-то более простым языком и...
Пожалуйста, перечислите примеры, где теорема из математики, которая обычно не считалась применимой в информатике, была впервые использована для доказательства результата в информатике. Лучшими примерами являются те, где связь не была очевидной, но как только она была обнаружена, это, безусловно,...
Исходя из более математического фона, я так и не научился писать код. Я начинаю докторскую диссертацию в TCS, и многие были удивлены тем, как мало я знал о программировании (и о компьютере в целом). Я могу писать алгоритмы в псевдокоде, но я не знаю языка программирования. Я могу себе представить,...
Обновлено ниже Мы все знаем о критической важности рецензирования. Это основная форма контроля качества и обратной связи по исследованиям. Однако, для исследователя ранней стадии (такого как я) иногда это может быть запутанной системой / процессом. Соответственно, есть несколько трактатов по...
Часто, когда мы принимаем участие в конференциях TCS, мы замечаем некоторые мелкие детали, о которых мы хотим, чтобы организаторы конференции позаботились. И когда мы организуем конференции, мы уже забыли это. Отсюда вопрос: какие небольшие шаги мы могли бы легко предпринять для улучшения...
За эти годы я привык видеть много теорем TCS, доказанных с использованием дискретного анализа Фурье. Преобразование Уолша-Фурье (Адамара) полезно практически во всех подполях TCS, включая тестирование свойств, псевдослучайность, сложность связи и квантовые вычисления. Хотя мне стало удобно...
Этот вопрос я задавался вопросом некоторое время. Когда люди описывают проблему P против NP, они часто сравнивают класс NP с творчеством. Они отмечают, что составление симфонии качества Моцарта (аналог задачи NP) кажется намного сложнее, чем проверка того, что уже составленная симфония имеет...
Каковы общие рекомендации по проверке ваших доказательств? Я считаю, что это важно для аспирантов, как я. Я уже знаю, что нам нужно сделать, чтобы что-то доказать, но вам всегда нужно все проверять, прежде чем отправлять. Даже вашему собственному советнику. Я разработал некоторые стратегии методом...
Я новичок на сайте. На mathoverflow это будет вики сообщества, но я не вижу, как это установить здесь. Не вопрос исследования, но, надеюсь, представляет интерес для профессиональных теоретических компьютерных ученых. Я студент 2-го курса по теории, и мне было интересно, что бы посоветовал...
После изучения детерминированных конечных автоматов (DFA) в старшекурснике, я почувствовал, что они очень хорошо поняты. Мой вопрос: есть ли что-то, чего мы до сих пор не понимаем в них. Я имею в виду не обобщения ДФА, а исходные немодифицированные ДФА, которые мы изучаем в старшекурсниках. Это...