Информатика

Предположим , у меня есть граф с M ( G ) на (неизвестно) набор совершенных паросочетаний G . Предположим, что это множество не пустое, тогда как трудно выбрать равномерно случайную выборку из M ( G ) ? Что если я в порядке с распределением, близким к равномерному, но не совсем …

13 algorithms  complexity-theory  matching  sampling 

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

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

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

13 cellular-automata 

Я только начал читать о теории вычислений. Если мы сравним, что является более мощным (в принятии строк), оба одинаковы. Но как насчет эффективности? DFA будет быстрым по сравнению с NFA, поскольку у него есть только один исходящий фронт, и не будет никакой двусмысленности. Но в случае NFA мы должны проверить …

13 finite-automata  efficiency  nondeterminism 

При выполнении умственного исчисления можно сделать: Дано целое число k, суммировать все цифры (в базе 10), и если результат кратен 3, то k кратен 3. Знаете ли вы о каком-либо алгоритме, работающем аналогично, но работающем с двоичными числами (битами)? Сначала я думал об использовании готовых функций моего языка для преобразования …

13 algorithms 

Я ищу O (V + E) алгоритм для нахождения транзитивного сокращения с учетом DAG. То есть удалите как можно больше ребер, чтобы, если бы вы могли достичь v от u, для произвольных v и u вы все еще можете достичь после удаления ребер. Если это стандартная проблема, пожалуйста, укажите мне …

13 algorithms  graphs  dag 

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

13 complexity-theory  p-vs-np 

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

13 algorithms  complexity-theory  number-theory 

Мне было интересно, если кто-то знал происхождение модели клиент-сервер. Откуда этот термин (бумага, программное приложение, книга)?

13 terminology  reference-request  distributed-systems  history 

Если рассматривать дерево как частичное упорядоченное множество, оно становится частным случаем полурешетки соединения. Для полурешетки соединения мы хотим иметь возможность эффективно вычислять (уникальную) наименьшую верхнюю границу двух элементов (более или менее). В случае дерева структура данных, которая позволила бы это, должна была бы хранить для каждого элемента в соответствующем узле …

13 data-structures  lattices 

Есть много популярных языков. Но компьютерные ученые говорят нам, что для того, чтобы точно понять поведение программ на этих языках и однозначно спорить с поведением программы (например, доказать их идентичность), нам нужно перевести их на другой, хорошо понятный язык. Они называют такой язык "семантикой". Авторы предлагают одну из многих семантик. …

13 formal-languages  semantics 

Пожалуйста, рассмотрите следующую тройную вложенную петлю: for (int i = 1; i <= n; ++i) for (int j = i; j <= n; ++j) for (int k = j; k <= n; ++k) // statement Здесь утверждение выполняется ровно раз Может кто-нибудь объяснить, как эта формула была получена? Спасибо.n(n+1)(n+2)6n(n+1)(n+2)6n(n+1)(n+2)\over6

13 algorithms  time-complexity  algorithm-analysis 

Наивный байесовский предиктор делает свои прогнозы, используя эту формулу: P(Y=y|X=x)=αP(Y=y)∏iP(Xi=xi|Y=y)P(Y=y|X=x)=αP(Y=y)∏iP(Xi=xi|Y=y)P(Y=y|X=x) = \alpha P(Y=y)\prod_i P(X_i=x_i|Y=y) где - нормализующий фактор. Это требует оценки параметров P ( X i = x i | Y = y ) по данным. Если мы сделаем это с помощью k -smoothing, то получим оценкуαα\alphaP(Xiзнак равноxi|Y=y)P(Xязнак равноИкся|Yзнак равноY)P(X_i=x_i|Y=y)ККk …

13 machine-learning  probability-theory  statistics 

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

13 algorithms  graphs  parallel-computing  scheduling 

Я задал похожий вопрос на cstheory.SE . Согласно этому ответу на Stackoverflow существует алгоритм, который на не ленивом чисто функциональном языке программирования имеет сложность , тогда как тот же алгоритм в императивном программировании - Ω ( n ) . Добавление ленивости к языку FP сделало бы алгоритм Ω ( n …

13 complexity-theory  lambda-calculus  functional-programming  turing-completeness