Информатика

Предположим, что алгоритм имеет отношение повторения во время выполнения: T(n)={g(n)+T(n−1)+T(⌊δn⌋)f(n):n≥n0:n&lt;n0T(N)знак равно{г(N)+T(N-1)+T(⌊δN⌋):N≥N0е(N):N&lt;N0 T(n) = \left\{ \begin{array}{lr} g(n)+T(n-1) + T(\lfloor\delta n\rfloor ) & : n \ge n_0\\ f(n) & : n < n_0 \end{array} \right. для некоторой константы . Предположим, что g полиномиально от n , возможно, квадратично. Скорее всего, f будет …

10 asymptotics  recurrence-relation 

Мне нужно сохранить коллекцию целых чисел в диапазоне от 0 до 65535, чтобы я мог быстро сделать следующее: Вставьте новое целое число Вставьте диапазон смежных целых чисел Удалить целое число Удалить все целые числа ниже целого Проверьте, присутствует ли целое число У моих данных есть свойство часто содержать целые числа …

10 data-structures  efficiency  search-trees  integers 

Или, по крайней мере, сгенерируйте набор строк, которые принимает один NFA, чтобы я мог передать их в другой NFA. Если я сделаю поиск по каждому пути NFA, это будет работать? Хотя это займет много времени.

10 algorithms  regular-languages  finite-automata 

Мой опыт пришел из императивных языков, прежде всего C, C ++ и Python. Я подобрал Scala, Erlang и немного Haskell несколько лет спустя и с тех пор очень заинтересовался функциональным программированием и формализмом, лежащим в его основе. Я также заинтересован в параллельном и распределенном программировании и изучал формализмы, стоящие за …

10 distributed-systems  concurrency 

Для заданных чисел таких что , существует ли присвоение чисел который является перестановкой такой, чтоA 1 ≤ A 2 ≤ . , , ≤ к к Σ я = 1 А я = K ( 2 K + 1 ) я 1 , я 2 , . , , , …

10 np-complete  decision-problem 

Pebbling - это пасьянс, в который играют на неориентированном графе , где каждая вершина имеет ноль или более камешков. Один шаг гальки состоит из удаления двух камешков из вершины и добавления одного камешка к произвольному соседу . (Очевидно, что у вершины v должно быть как минимум два камешка перед перемещением.) …

10 algorithms  graph-theory  np-complete 

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

10 algorithms  graphs  binary-trees 

У меня есть ограниченная проблема оптимизации в матрице (Шеннона) энтропии ( Ы у м( e n t r ( e i g ( A ) ) ) )(sUм(еNTр(еяг(A))))\mathtt{(sum(entr(eig(A))))} . Матрица может быть записана как сумма матриц ранга 1 вида где - заданный нормализованный вектор. Коэффициенты матриц ранга один - это …

10 optimization  entropy 

Граф является хордальным, если он не имеет индуцированных циклов длиной и более. Клика дерево из является деревом , в котором вершина дерева являются максимальными кликами . Ребро в соответствует минимальному разделителю. Число различных деревьев клик может быть экспоненциальным по количеству вершин в хордальном графе.GGG444TTTGGGGGGTTT Уменьшена клика граф , является объединением …

10 algorithms  graph-theory  reference-request 

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

10 programming-languages  lambda-calculus 

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

10 reference-request  game-theory 

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

10 machine-learning 

Я не могу обернуться вокруг того, как работает SR Latch. По-видимому, вы подключаете входную строку от R, а другую от S, и вы должны получить результаты в и .Q ′QQQQ'Q'Q' Однако и R, и S требуют ввода от выхода другого, а выход другого требует ввода от выхода другого. Что первично …

10 circuits  sequential-circuit 

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

10 reference-request  compilers  semantics 

Машины Тьюринга и неограниченные грамматики - это два разных формализма, которые определяют языки RE. Некоторые языки RE разрешимы, но не все. Мы можем определить разрешимые языки с помощью машин Тьюринга, сказав, что язык разрешимый, если есть язык для языка, который останавливает и принимает все строки в языке, а также останавливает …

10 computability  turing-machines  formal-grammars