Вопросы с тегом «soft-question»

Насколько я понимаю, модель Тьюринга стала «стандартом» при описании вычислений. Мне интересно знать, почему это так - то есть, почему модель ТМ стала более широко используемой, чем другие теоретически эквивалентные (насколько мне известно) модели, например μ-Рекурсия Клини или Лямбда-исчисление (я понимаю что первое появилось только позже, а второе изначально не …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

Если бы вы могли переименовать динамическое программирование, как бы вы это назвали?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

Кажется очевидным, что результаты теоретической физики значительно повлияли на ряд подполей теоретической информатики. Два примера этого Квантовые вычисления Результаты статистической механики, используемые в анализе сложности / эвристических алгоритмах. Итак, мой вопрос: есть ли какие-то основные области, по которым я скучаю? Моя мотивация очень проста: я физик-теоретик, который пришел в TCS …

42 soft-question  quantum-computing  statistical-physics  physics 

Реальные компьютеры имеют ограниченную память и ограниченное число состояний. Так что они по сути конечные автоматы. Почему теоретические компьютерные ученые используют машины Тьюринга (и другие эквивалентные модели) для изучения компьютеров? Какой смысл изучать эти гораздо более сильные модели по отношению к реальным компьютерам? Почему конечной модели автоматов недостаточно?

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

В 1937 году Тьюринг описал машину Тьюринга. С тех пор многие модели вычислений были описаны в попытке найти модель, которая похожа на настоящий компьютер, но все же достаточно проста для разработки и анализа алгоритмов. В результате мы имеем дюжину алгоритмов для, например, SORT-задачи для разных моделей вычислений. К сожалению, мы …

41 ds.algorithms  reference-request  soft-question  machine-models 

Я аспирант 2-го курса в теории. Я работал над проблемой в течение последнего года (в теории графов / алгоритмах). До вчерашнего дня я думал, что у меня все хорошо (я расширял теорему из статьи). Сегодня я понял, что совершил простую ошибку. Я понял, что будет гораздо сложнее, чем я думал, …

41 soft-question  research-practice 

На MathOverflow Тимоти Гауэрс задал вопрос под названием « Демонстрируя, что строгость важна ». Большая часть обсуждения была посвящена случаям, показывающим важность доказательств, в которых, вероятно, нет необходимости убеждать людей на CSTheory. По моему опыту доказательства должны быть более строгими в теоретической информатике, чем во многих частях непрерывной математики, потому …

41 big-list  soft-question  proofs 

Несмотря на несколько лет занятий, я все еще в растерянности, когда дело доходит до выбора темы исследования. Я просматривал документы из разных областей и разговаривал с профессорами, и я начинаю думать, что это неправильный подход. Я читал, что это помогает найти интересную проблему (не обращая внимания на область), а затем …

41 soft-question  research-practice  advice-request  career 

Я четвертый курс аспиранта по теоретической информатике. Я хотел бы остаться в академии, поэтому я думаю о том, как лучше продвинуть свою карьеру. Очевидно, что лучший способ сделать это - написать много хороших статей, но другой вопрос заключается в том, должен ли я стараться, чтобы больше этих работ было одним …

40 soft-question  career 

ОТКАЗ ОТ ОТВЕТСТВЕННОСТИ: Это открытый вопрос, и пуританам, занимающимся обменом стека, вероятно, придется испытать необычайное желание проголосовать за него до забвения. Однако я не могу думать о каком-либо другом форуме, более подходящем и перспективном для получения ответа на этот вопрос. Работая над исследовательской задачей для курсового проекта, я понимаю, что, …

40 soft-question  advice-request 

Я студент третьего курса PhD в области теоретической CS, которая хотела бы получить совет в трудной ситуации с моим консультантом. Мой советник вообще не участвует в моих исследовательских проектах. В частности, я выступил со всеми своими бумажными идеями и выполнил их самостоятельно. Тем не менее, она всегда настаивает на добавлении …

39 soft-question  advice-request 

Меня часто просят в моем отделе рассказать ученикам старших классов о более математических элементах информатики. Я делаю все возможное, чтобы выбрать темы из TCS, которые могут заинтересовать их (что в основном связано с проблемой остановки), но мне бы хотелось услышать идеи / успехи / неудачи других людей. Дело в том, …

38 soft-question  teaching 

Всегда есть способ применения в темах, связанных с теоретической информатикой. Но учебники и курсы бакалавриата обычно не объясняют причину, по которой теория автоматов является важной темой и имеет ли она применение на практике. Поэтому у студентов бакалавриата могут возникнуть проблемы с пониманием важности теории автоматов, и они могут подумать, что …

37 soft-question  fl.formal-languages  automata-theory  teaching 

Я люблю заниматься TCS в свободное время. В последнее время я пытался сделать некоторые исследования в качестве хобби. Я ищу дополнительные комментарии от людей, которые делают это полный рабочий день: - Как вы думаете, возможно ли сделать это "просто для удовольствия"? Я не собираюсь когда-либо получать докторскую степень. - Какие …

37 soft-question  advice-request  research-practice 

Что вам следует делать, когда вы видите публичный вопрос, скажем здесь, на стек-обмене, на который вы знаете ответ, потому что вы рассматриваете его как часть текущего исследовательского проекта? Например, я вижу вопрос TCS.SX, на который я знаю ответ, потому что я недавно работал над этой проблемой. Я еще не закончил …

37 soft-question  research-practice  authorship