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

31
Рациональная иерархия Эйленберга нерациональных автоматов и языков - где она сейчас?

В предисловии к своим очень влиятельным книгам «Автоматы, языки и машины» (тома A, B) Самуэль Эйленберг обещал соблазнительно изложить тома C и D, посвященные «иерархии (называемой рациональной иерархией) нерациональных явлений ... используя рациональные отношения как инструмент для сравнения....

31
Эмпирические результаты в статьях CS

Я новичок в области CS и заметил, что во многих прочитанных мной документах нет эмпирических результатов (нет кода, только леммы и доказательства). Почему это? Учитывая, что информатика - это наука, разве она не должна следовать научному...

30
Должны ли мы считать

Многие эксперты считают, что гипотеза верна, и используют ее в своих результатах. Меня беспокоит то, что сложность сильно зависит от гипотезы P ≠ N P.PNPP≠NP\mathsf{P} \neq \mathsf{NP}PNPP≠NP\mathsf{P} \neq \mathsf{NP} Итак, мой вопрос: Пока гипотеза не доказана, можно / нужно ли рассматривать ее...

30
Проблема удовлетворенности ограничением (CSP) и выполнимость по модулю теории (SMT); с кодой на программировании ограничений

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

29
Прекрасные результаты в TCS

Недавно мой друг (работающий в TCS) упомянул в разговоре, что «он хотел увидеть / узнать все (или как можно больше) о прекрасных результатах в TCS за всю свою жизнь». Это заставило меня задуматься о прекрасных результатах в этой области и, следовательно, мотивации для следующего вопроса: Какие...

28
Как опубликовать статью?

Будучи инженером-программистом большую часть своей жизни, я совершенно не представляю, с чего начать публикацию «академического» документа. Во время моего последнего исследования я нашел интересный алгоритм для задачи, которую я решал (связанной с некоторыми расчетами на финансовых рынках). Это не...

28
Представление незавершенного производства (теперь доступны слайды)

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

27
Как вы получаете «Физическую интуицию» для результатов в TCS?

Извините, если этот вопрос немного расплывчат, но мне любопытно, как успешные исследователи «чувствуют» результаты в TCS. Например, линейная алгебра может пониматься геометрически или в терминах ее физических интерпретаций (собственные векторы могут рассматриваться как «устойчивые точки» в системе)...

26
Можно ли вернуться на исследовательскую работу в TCS после экскурсии на работу, не связанную с научными исследованиями?

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

26
Недостающие статьи в Википедии

О каких недостающих темах в Википедии вы бы хотели, чтобы там была статья? Это могут быть вопиющие упущения или просто темы, которые, по вашему мнению, должны иметь статью. Одна тема на ответ, пожалуйста, чтобы можно было проголосовать за наиболее разыскиваемых. Обновление 5/2/2017 : Шучи Чавла...

26
Долгосрочные ошибки в информатике

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

25
Зачем исследователю ТКС финансирование?

Я читал это . Это говорит ... Ты не будешь голоден, как Чистая Математика. (Вы все равно всегда будете нуждаться в финансировании.) ... Почему чистые математики нуждаются в финансировании? Зачем кому-то, проводящему теоретические исследования, нужно финансирование? Я думаю, что инструментами...

25
Иногда лучше вообще не публиковать?

Я надеюсь, что это не политически некорректный вопрос, но для аспиранта, который обычно публикуется в CCC / ITCS / ICALP (и иногда в FOCS / STOC), может ли быть вредным (с точки зрения карьеры) публиковать менее значимые работы в менее престижные конференции (например, MFCS, FCT, STACS, IPL)? Может...

25
Советы для участия в моей первой конференции TCS

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

24
Комплексный анализ в теоретической информатике

Существует множество применений реального анализа в теоретической информатике, охватывающих тестирование свойств, сложность коммуникации, обучение PAC и многие другие области исследований. Тем не менее, я не могу думать о каком-либо результате в TCS, который опирается на комплексный анализ (за...

24
Справочник по сложным структурам данных

Я ищу книгу о продвинутых структурах данных, которая выходит за рамки того, что описано в стандартных учебниках, таких как Cormen, Leiserson, Rivest и Stein "Введение в алгоритмы". Книга, которую можно использовать для преподавания курса для выпускников по продвинутым структурам данных, таким как...

24
Какие варианты карьеры для кого-то, кто имеет степень магистра компьютерных наук?

Помимо получения полной академической успеваемости и получения докторской / постдокументальной степени или перехода на более или менее «стандартную» работу по разработке программного обеспечения, какие существуют другие варианты карьерного роста в полной или полутеоретической области...