Информатика

Я часто слышу такие фразы, как «истинная семантика параллелизма» и «истинные эквивалентности параллелизма» без каких-либо ссылок. Что означают эти термины и почему они важны? Каковы некоторые примеры истинных совпадений параллелизма и зачем они нужны? Например, в каких случаях они более применимы, чем более стандартные эквиваленты (бисимуляция, эквивалентность трасс и т. …

28 terminology  reference-request  concurrency 

Я пытаюсь понять методы кластеризации. Что я думаю, я понял: При контролируемом обучении данные категорий / меток, которым назначены данные, известны до вычисления. Таким образом, метки, классы или категории используются для того, чтобы «изучить» параметры, которые действительно важны для этих кластеров. При неконтролируемом обучении наборы данных присваиваются сегментам, а кластеры …

28 machine-learning  data-mining  clustering 

Для обычного языка , пусть с п ( Ь ) быть число слов в L длины п . Используя Jordan канонической форму (применительно к Неаннотированным матрицам перехода некоторого DFA для L ), можно показать , что при достаточно большой п , с п ( L ) = K Е я …

28 formal-languages  reference-request  regular-languages  asymptotics  combinatorics 

Я ищу структуру данных , которая хранит множество строк над набором символов , способных выполнять следующие операции. Обозначим через D ( S ) в качестве структуры данных , хранящей множество строк S .ΣΣ\SigmaD(S)D(S)\mathcal{D}(S)SSS Add-Prefix-Setна : для некоторого множества T (возможно, пустых) строк, размер которых ограничен константой, а длины строк ограничены …

28 data-structures  time-complexity  strings  stacks 

Мы знаем пост-заказ, post L(x) => [x] post N(x,l,r) => (post l) ++ (post r) ++ [x] и предварительный заказ pre L(x) => [x] pre N(x,l,r) => [x] ++ (pre l) ++ (pre r) и в порядке обхода соотв. sequentialisation. in L(x) => [x] in N(x,l,r) => (in l) ++ …

28 algorithms  binary-trees 

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

28 complexity-theory  satisfiability  heuristics 

Комбинатор FIX с фиксированной запятой (он же Y-комбинатор) в (нетипизированном) лямбда-исчислении ( λλ\lambda ) определяется как: FIX ≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) Я понимаю его назначение и прекрасно отслеживаю выполнение …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

Рассмотрим ориентированные графы. Мы называем узел суперзвездой том и только в том случае, если от него невозможно связаться с другим узлом, но все остальные узлы имеют ребро к . Формально:vvvv vvv \qquad \displaystyle v Суперзвезда : ⟺ о у т д е г ( v ) = 0 ∧ я …

28 algorithms  graphs 

(Я студент с некоторой математической подготовкой, и я хотел бы знать, как подсчитать количество бинарных деревьев определенного вида.) Глядя на страницу Википедии о бинарных деревьях , я заметил это утверждение, что число корневых бинарных деревьев размером nnn будет таким каталонским числом : Cn=1n+1(2nn)Cn=1n+1(2nn)C_n = \dfrac{1}{n+1}{2n \choose n} Но я не …

28 combinatorics  binary-trees  discrete-mathematics 

У меня есть набор пар. Каждая пара имеет форму (x, y), так что x, y принадлежат целым числам из диапазона [0,n). Итак, если n равно 4, то у меня есть следующие пары: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) У меня уже есть пары. Теперь я должен построить комбинацию, используя n/2пары, …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

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

28 semantics  operational-semantics  small-step-semantics 

Эта ссылка предоставляет алгоритм для определения диаметра ненаправленного дерева с использованием BFS / DFS . Подводя итог: Запустите BFS на любом узле в графе, помня узел, который вы обнаружили последним. Запустите BFS, вспомнив последний обнаруженный узел v. d (u, v) - диаметр дерева. Почему это работает? Страница 2 этого обеспечивает …

28 algorithms  graphs  search-algorithms  trees  graph-traversal 

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

27 computability  turing-machines  halting-problem 

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

27 complexity-theory  np-complete  proof-techniques  reductions 

Если два человека теряются в лабиринте, есть алгоритм , который они оба могут использовать , чтобы найти друг друга , не будучи предварительно договорились , что алгоритм они будут использовать? Я думаю, что у этого алгоритма есть некоторые характеристики: Каждый человек должен иметь возможность вывести его, используя логику, которая не …

27 algorithms  search-algorithms  agent-based-computing