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

Можно ли алгоритмически проверить, является ли вычисляемое число рациональным или целым? Другими словами, возможно ли для библиотеки, которая реализует вычислимые числа, предоставлять функции isIntegerили isRational? Я предполагаю, что это невозможно, и что это как-то связано с тем, что невозможно проверить, равны ли два числа, но я не вижу, как это …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Я рассматриваю Справочник по естественным и инновационным вычислениям для SIGACT News. Это очень интересное чтение. Каждая глава, тем не менее, имеет вкус: «Это моя область исследований, и, черт возьми, это круто!» Таким образом, часть того, что я пытаюсь сделать, - выделить шумиху и сделать трезвую оценку содержания книги. Одна глава …

18 soft-question 

Общеизвестно, что есть множество любителей, в том числе и я, которые заинтересованы в проблеме P против NP. Есть также много любителей, в том числе и я, которые пытались решить проблему. Одна из проблем, от которой, по моему мнению, страдает сообщество TCS, - это относительно высокое отношение заинтересованного любителя к эксперту; …

18 soft-question 

Теория сложности, кажется, отражает нечто фундаментальное в структуре вселенной, поскольку она формализует интуитивное представление о том, что некоторые проблемы сложнее других. Скотт Ааронсон предсказал : «Предположение о твердости NP в конечном итоге будет рассматриваться как аналог Второго закона термодинамики или невозможности сверхсветовой сигнализации». Так называемые «сложные проблемы» являются основой современной …

18 cc.complexity-theory  soft-question  big-picture 

Очень часто, если время выполнения алгоритма является сложным выражением, сам алгоритм также является сложным и непрактичным. Каждый из корней куба и факторов в асимптотическом времени выполнения имеет тенденцию увеличивать сложность алгоритма, а также скрытые постоянные факторы для времени выполнения.loglognlog⁡log⁡n\log \log n У нас есть яркие примеры, в которых это правило …

18 ds.algorithms  soft-question  recreational 

В каких университетах существует сильная учебная программа по квантовым вычислениям и предлагаются какие-либо курсы / исследования по квантовым вычислениям? Цель здесь - собрать полезный список для тех, кто рассматривает аспирантуру в этих областях, а не для обсуждения того, что является «лучшим». Чтобы сделать этот список полезным, пожалуйста, включите краткое описание …

18 soft-question  quantum-computing  big-list  quantum-information 

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

17 soft-question 

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

17 soft-question  conferences 

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

17 lo.logic  soft-question  big-list  books  formal-methods 

Недавно я был на конференции, поддерживаемой ACM. Во время банкета организаторы конференции рассказали нам о будущем и прошлом конференции. Они сказали нам, что во время конференции 2010 года была потеря 5000 $. Они показали нам бюджет предыдущей конференции, где мы могли видеть, что на ACM было выделено 8000 долларов (10% …

17 soft-question  conferences 

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

17 soft-question  advice-request  career 

Многие публикации по компьютерным наукам 1950-х и 1960-х годов содержат захватывающие философские рассуждения о природе ума и значении информации по отношению к физическому миру. Известными примерами являются «Тест Тьюринга», «Расчет пространства» Цузе, «Это из бит» Уилера и т. Д. Сегодня такие темы широко освещаются в научно-популярных книгах, но, похоже, почти …

16 reference-request  soft-question  philosophy 

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

16 soft-question  advice-request  research-practice  writing 

Учитывая, что большинство американских университетов принимают заявки только в одной области, я пытаюсь выяснить, в чем преимущества / недостатки применения программы по теории КС по сравнению с прикладной математической программой, если ее интересы находятся где-то в обоих отделах. Чтобы быть более конкретным, мои области интересов в порядке убывания: 1. Комбинаторика …

16 soft-question  advice-request  career 

Есть ли случаи, когда дополнительные публикации могут повредить вашей записи? Это позволяет избежать очевидных случаев, когда вы публикуете неверные или противоречивые результаты. Также избегаем случая конечного времени: у вас есть только так много времени, чтобы думать и писать, поэтому написание статьи может привести к потере времени на другой проект. Пример …

16 soft-question  advice-request  career