Я читаю книгу HoTT, и мне тяжело с индукцией пути. Когда я смотрю на тип в разделе 1.12.1 : у меня нет проблем с пониманием того, что это значит (я просто написал тип из памяти, чтобы проверить...
Я думаю, что знаю, что такое «жесткая» операционная система реального времени. Это операционная система с планировщиком, которая предоставляет контракт с программистом приложения. Приложение предоставляет крайний срок для каждого запроса на выделение ресурсов. Если запросы крайнего срока...
Решатели SAT становятся все более и более эффективными в решении больших случаев и используются в качестве бэкэнда в различных контекстах. Каждый раз, когда кто-то хочет использовать их для решения проблемы в определенной области, он / она должен придумать специальную кодировку, которая не только...
Согласно Википедии , Операция test-and-set может решить проблему консенсуса без ожидания для не более чем двух одновременных процессов. Почему это не может решить проблему для более чем двух...
xorворота, теперь мне нужно построить эти ворота, используя только 4 nandворот a b out 0 0 0 0 1 1 1 0 1 1 1 0 the xor = (a and not b) or (not a and b), который является A¯¯¯¯B+AB¯¯¯¯A¯B+AB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} Я знаю ответ, но как получить диаграмму ворот из...
Я даю вам список из nnn битвекторов шириной kkk . Ваша цель - вернуть два битовых вектора из списка, у которых нет общих единиц, или сообщить, что такой пары не существует. Например, если я дам вам [00110,01100,11000][00110,01100,11000][00110, 01100, 11000] то единственным решением будет...
В моем курсе « Алгоритмы и структуры данных» профессора, слайды и книга ( Введение в алгоритмы, 3-е издание ) использовали слово NILдля обозначения, например, дочернего элемента узла (в дереве), который не существует. Однажды, во время лекции, вместо того, чтобы сказать NIL, мой одноклассник сказал...
Из моих чтений об операционных системах (чтение основного материала в Википедии, технических сайтах и т. Д.) Я узнал, что операционная система - это программа, которая позволяет программам и приложениям эффективно и безопасно взаимодействовать с оборудованием. Однако я не совсем понимаю, как...
Я прочитал где - то , что наиболее эффективный алгоритм найден можно вычислить факторы в O ( exp( ( 64 / 9 ⋅ б )1 / 3⋅ ( журналb)2/3)O(exp((64/9⋅b)1/3⋅(logb)2/3)O(\exp((64/9 \cdot b)^{1/3} \cdot (\log b)^{2/3}) время, но код я написал это или возможно зависимости от того, насколько быстры деление...
Например, когда мы рассматриваем DFA, который позволяет строкам, не имеющим подстрок, 00или 11I, я могу создать следующие два DFA:
Существует много (и я имею в виду много) исчисляемых языков, которые разрешимы по Тьюрингу. Может ли любой бесчисленный язык быть разрешимым по
Char Code ==== ==== E 0000 i 0001 y 0010 l 0011 k 0100 . 0101 space 011 e 10 r 1100 s 1101 n 1110 a 1111 Первоначальный текст: Жуткие глаза видны возле озера Кодирование: 0000101100000110011100010101101101001111101011111100011001111110100100101 Почему не требуется разделитель в кодировке...
Из Википедии: В теоретической информатике правильность алгоритма утверждается, когда говорят, что алгоритм корректен по отношению к спецификации. Но проблема в том, что получить «подходящую» спецификацию - это не тривиальная задача, и нет 100% правильного метода (насколько я знаю), чтобы получить...
Черный ящик с f(x)f(x)f(x) означает, что я могу оценить многочлен в любой точке.f(x)f(x)f(x) Вход : черный ящик монического полинома степени .f(x)∈Z+[x]f(x)∈Z+[x]f(x) \in\mathbb{Z}^+[x]ddd Вывод: В коэффициенты многочлена .dddf(x)f(x)f(x) Мой алгоритм: пусть...
Я начинаю читать книгу о вычислительной сложности и машинах Тьюринга. Вот цитата: Алгоритм (т. Е. Машина) может быть представлен в виде битовой строки, как только мы определимся с каноническим кодированием. Это утверждение представлено как простой факт, но я не могу его понять. Например, если у...
Я читал об алгоритмах сжатия данных и теоретическом пределе для сжатия данных. Недавно я столкнулся с методом сжатия под названием «Комбинаторное энтропийное кодирование», основная идея этого метода заключается в кодировании файла в виде символов, представленных в файле, их частоты и индекса...
Как ALU в микропроцессоре различает число со знаком -7, обозначаемое 1111, и число без знака 15, обозначаемое также
Указание любой произвольной сетки 9x9 требует указания позиции и значения каждого квадрата. Наивное кодирование для этого может дать 81 (x, y, значение) триплетов, требуя 4 бита для каждого x, y и значения (1-9 = 9 значений = 4 бита) в общей сложности 81x4x3 = 972 бита. При нумерации каждого...
Детерминированный конечный автомат (DFA) - это модель конечного автомата, способная принимать все и только обычные языки. DFA могут быть (и обычно) определены таким образом, что каждое состояние должно обеспечивать некоторый переход для всех элементов входного алфавита; другими словами, функция...
Это дополнительный вопрос этого . В предыдущем вопросе об экзотических конечных автоматах Алекс тен Бринк и Рафаэль обратились к вычислительным возможностям особого вида конечного автомата: автоматов с минимальной кучей. Они смогли показать, что набор языков, принимаемых такими машинами ( HALHALHAL...