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

15
Труднопроходимость NP-полных задач как принцип физики?

Я всегда заинтригован отсутствием численных доказательств в экспериментальной математике за или против вопроса P против NP. В то время как гипотеза Римана имеет некоторые подтверждающие данные из численной проверки, я не знаю аналогичных доказательств для вопроса P против NP. Кроме того, мне...

15
(Как) Можем ли мы обнаружить / проанализировать проблемы NP в отсутствие модели вычисления Тьюринга?

С чисто абстрактной математической / вычислительной точки зрения (как) можно даже узнать или рассуждать о таких проблемах, как 3-SAT, сумма подмножества, коммивояжер и т. Д.,? Сможем ли мы хоть как-то осмыслить их с функциональной точки зрения? Будет ли это вообще возможно? Я размышлял над этим...

15
Разработка и сложность алгоритмов - как мыслить таким образом?

Мой вопрос общий: как мне начать думать с точки зрения разработки и сложности алгоритмов? Я собираюсь пройти аспирантуру по разработке алгоритмов. Я зарегистрировался в нем раньше, но бросил его позже, потому что не мог идти в ногу с этим. Я должен принять этот курс как требование. Есть ли уловка,...

15
Поддержание порядка в списке в за раз

Задача обслуживания заказа (или «поддержание заказа в списке») заключается в поддержке операций: singleton: создает список с одним элементом, возвращает указатель на него insertAfter: дает указатель на элемент, вставляет новый элемент после него, возвращает указатель на новый элемент delete: дает...

15
Примеры педантизма в ТКС

Ларри Вассерман недавно опубликовал пост, где рассказывает о «полиции p-значения». Он делает интересное замечание (все выделено мной) (предпосылка, которую я добавил курсивом, и его ответ под ним): Наиболее распространенная жалоба состоит в том, что физики и журналисты неправильно объясняют...

15
Где узнать больше о том, что такое теоретическая информатика?

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

14
Математический анализ и вычислительная сложность?

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

14
Доказательство использования помощника в исследовании теории сложности?

Учитывая темы, затронутые на конференции, такие как STOC, активно ли исследователи алгоритмов или сложности используют COQ или Изабель? Если да, то как они используют это в своих исследованиях? Я предполагаю, что большинство людей не будут использовать такие инструменты, потому что доказательства...

14
Ресурсы для математиков, надеющихся узнать больше информатики

Справочная информация : Я заканчиваю магистратуру по математике и в августе начну работу над докторской диссертацией по логике. Чем больше логики я изучаю, тем больше теоретической информатики, с которой я сталкиваюсь, например, теория рекурсии, лямбда-исчисление, но лежащий в основе CS лежит под...

14
Теоретические информатические ресурсы для самостоятельной работы программистов

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

13
Как написать отрицательный отзыв для доклада конференции?

Это связано с общим вопросом « Как мне рецензировать статью? ». Я рецензирую статью для конференции, и эту статью следует отклонить, поскольку она недостаточно значима для публикации и имеет недостатки в некоторых технических деталях. Бумага не ошибается, но способы, которыми она правильна, не...

13
Рекомендации для аспирантуры в области компьютерных наук

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

13
Документальные фильмы Алана Тьюринга

Чтобы отпраздновать 100-летие Алана Тьюринга, я хочу посмотреть документальный фильм о его жизни. Однако есть несколько документальных фильмов на выбор. Какой документальный фильм об Алане Тьюринге ваш любимый? Пожалуйста, включите только один документальный фильм за...

13
Как я могу использовать свои вычислительные теории и аналитические способности для большего блага?

За пределами академического сообщества, какова польза от моих «способностей»? Что я могу сделать кроме обучения и публикации статей? Где все я могу применить свои полномочия? Для аргументации: пожалуйста, предположим, что у меня есть докторская степень в алгоритмах / TCS, я выучил много «вещей» и...

13
Интересные результаты в TCS, которые легко объяснить программистам без технического образования

Предположим, вы встречаетесь с программистами, которые прошли некоторые профессиональные курсы по программированию (или думали сами), но не изучали математику университетского уровня. Чтобы показать им всю прелесть TCS, я хотел бы собрать некоторые хорошие результаты / открытые вопросы, поступающие...

13
Карьера для теоретических компьютерных ученых

Каковы типичные профессии для теоретических компьютерных ученых (людей с высшим образованием в области теоретической информатики)? Какие отрасли и учреждения ищут теоретические знания в области компьютерных наук? Какую карьеру обычно изучают...

12
Что является действительно хорошей проблемой, чтобы запачкать руки в вычислительной геометрии?

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