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

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

32 reference-request  soft-question  big-picture  social-sciences  algorithmic-lens 

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

31 soft-question  fl.formal-languages  automata-theory  regular-language  context-free 

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

31 soft-question  research-practice  writing 

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

30 soft-question  sat  terminology 

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

30 cc.complexity-theory  soft-question  big-picture  p-vs-np  physics 

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

29 soft-question  big-list 

Я недавно изучаю Хаскель и языки программирования. Может ли кто-нибудь порекомендовать несколько книг по теории типов?

28 soft-question  pl.programming-languages  type-theory 

Кроме ACM, IEEE computer Society, Google Scholar, который является лучшим сайтом для получения записей bibtex для статей, связанных с информатикой?

28 soft-question  research-practice  paper-review  bibliography 

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

28 soft-question  research-practice  paper-review 

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

28 soft-question  advice-request 

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

27 soft-question  intuition 

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

26 soft-question  advice-request  career 

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

26 soft-question  big-list  survey 

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

26 soft-question  big-list 

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

25 soft-question  career