Я предполагаю, что я прочитал слишком много амбициозных статей CoRR . Проблема в том, что эти документы не рецензируются, но часто звучат интересно и проходят базовые проверки правдоподобия. Или, может быть, нет, и мне просто нужно улучшить проверку правдоподобия. Вот недавний образец таких работ:...
Существует множество применений реального анализа в теоретической информатике, охватывающих тестирование свойств, сложность коммуникации, обучение PAC и многие другие области исследований. Тем не менее, я не могу думать о каком-либо результате в TCS, который опирается на комплексный анализ (за...
Из того, что я понимаю (что очень мало, поэтому, пожалуйста, поправьте меня, где я ошибаюсь!), Теория языков программирования часто связана с "интуиционистскими" доказательствами. В моей собственной интерпретации, подход требует, чтобы мы серьезно относились к последствиям вычислений для логики и...
В настоящее время этот вопрос не очень подходит для нашего формата вопросов и ответов. Мы ожидаем, что ответы будут подтверждены фактами, ссылками или опытом, но этот вопрос, скорее всего, вызовет дебаты, споры, опрос или расширенное обсуждение. Если вы считаете, что этот вопрос можно улучшить и,...
Давайте посмотрим на будущее через 30 лет. Давайте будем оптимистичными и предположим, что области, связанные с машинным обучением, продолжают развиваться так же быстро, как мы видели за последние 10 лет. Это было бы здорово, но какова будет роль традиционной алгоритмики в таком будущем? Здесь под...
Мне было интересно, какие инструменты люди в этой области (теоретическая информатика) используют для создания презентаций. Поскольку большая часть компьютерных наук занимается не только написанием статей, но и презентациями, я подумал, что это будет важный мягкий вопрос. Это вдохновлено предыдущим...
Я недавно получаю свои статьи, отклоненные из журналов (то есть, TALG), просто из-за отсутствия значительной разницы между журналом и версией (то есть, SODA). Основными причинами для меня, чтобы представить в журнал является его тщательный процесс рецензирования. Помимо этого, ограничение в 20...
Мне трудно преподавать понятие вычислимых функций. Я попытался развить идею, почему такие исследователи, как Гильберт / Аккерманн / Годель / Тьюринг / Черч / ... изобрели понятие «вычислимости». Студенты сразу спросили: «что означает вычислимость?» и я не могу ответить, пока не научу их машинам...
В статье Томаса Дж. Шефера « Сложность проблем с удовлетворенностью» автор упомянул, что This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity...
Речь идет о том, как эффективно мы можем выразить алгоритм под рукой. Мне нужно это для моего обучения студентов. Я понимаю, что нет такой вещи, как стандартный способ написания псевдокода. Разные авторы следуют различным соглашениям. Было бы полезно, если бы люди указывали на то, как они следуют и...
При объединении результатов часто желательно иметь несколько профессионально выглядящих диаграмм, а не диаграмм, составленных в MS Paint. Какой стандарт для рисования структур...
Я буду преподавать стандартный курс для студентов по языкам и автоматам в следующем семестре и предпочел бы использовать законный бесплатный или недорогой текст. Какие-либо предложения? Мне нравится текст Sipser, но последнее издание стоит 196 долларов, что трудно сказать с неприкрытым лицом в...
Я студент, и недавно смирился с тем фактом, что у меня может не хватить ума заниматься исследованиями в области теоретической информатики или быть допущенным к участию в программе PhD. Тем не менее, я все еще хотел бы заниматься теоретической информатикой, поскольку я нахожу это очень интересным....
Я пишу статьи по теоретической информатике, иногда являясь неанонимным автором. Ранее я использовал 1-е лицо множественного числа в таких работах, например: Покажем, что классы сложности X и Y совпадают. Я не являюсь носителем английского языка и не очень хорошо разбираюсь в английском. Недавно я...
Большинство работ в настоящее время написаны совместно, и сотрудники часто находятся в разных местах. Я всегда использовал системы контроля версий для своих документов и кода, а также обнаружил, что контроль версий важен для совместных программных проектов, но, похоже, многие исследователи в теории...
У меня есть два исторических вопроса: Кто первым описал недетерминированные вычисления? Я знаю, что Кук описал NP-полные проблемы, и что Эдмондс предложил, чтобы P-алгоритмы были "эффективными" или "хорошими" алгоритмами. Я искал эту статью в Википедии и пролистал «О вычислительной сложности...
Этот вопрос похож на более общий вопрос о том, какова правильная теоретическая модель компьютера для разработки алгоритма и структур данных. Здесь я задаю конкретный вопрос о современных высокопроизводительных компьютерах (например, тех, которые перечислены в списке 500 лучших ) или даже о...
Этот недавний вопрос теории игр заставил меня задуматься (это, конечно, касательно): возможно ли эффективно оптимизировать личную стратегию выбора исследовательских вопросов для работы над теорией игр? Чтобы перейти к формализации вопроса, я сделаю следующие (неофициально заявленные) предположения:...
У меня есть достаточное образование по математике, но я никогда не чувствовал себя уверенно на 100% с абстрактной алгеброй (математика групп, колец, полей и т. Д.). Я думаю, что это было отчасти потому, что мне нужно было увидеть приложения, и все, что я мог найти, были в физике, а не в CS....
Каковы лучшие ресурсы для поиска вакансий на должности преподавателей в теории CS? Существует ли какой-то один веб-сайт или список рассылки, который является достаточно полным? В настоящее время у меня сложилось впечатление, что нужно использовать различные ресурсы, чтобы получить исчерпывающий...