Почему мы используем другие базы, которые не являются ни двоичными (для компьютеров), ни десятичными (для людей)? Компьютеры в конечном итоге представляют их в двоичном формате, и люди настоятельно предпочитают получать их десятичное представление. Почему бы не придерживаться этих двух...
Правда ли, что последовательная согласованность является более сильным свойством, чем когерентность кэша? В соответствии с Сорин, Даниэль Дж; Hill, Mark D; Вуд, Дэвид А. Учебник по последовательности памяти и согласованности кэша , Morgan & Claypool, 2011 последовательная согласованность может...
Этот вопрос касается подхода к компьютерным оппонентам, который я создал и который в настоящее время используется или планируется использовать в нескольких компьютерных играх. Фон В прошлом году, когда я пытался улучшить компьютерного противника для игры под названием «Флаги Сапер» (краткое...
При разработке алгоритмов квантовых вычислений я заметил, что есть две основные модели, в которых это делается. Некоторые алгоритмы - например, для задачи с гамильтоновым деревом NAND (Фархи, Голдстоун, Гутман) - работают, создавая гамильтониан и некоторое начальное состояние, а затем позволяя...
Y комбинатор имеет тип . Согласно соответствию Карри-Говарда, поскольку тип является обитаемым, он должен соответствовать истинной теореме. Однако всегда истинно, поэтому кажется, что тип Y-комбинатора соответствует теореме , что не всегда верно. Как это может быть?( a → a ) → a(a→a)→a(a...
Мы знаем, что вычисление максимального потока соотв. минимальный срез сети с емкостями эквивалентен; ср теорема о максимальном потоке . У нас есть (более или менее эффективные) алгоритмы для вычисления максимальных потоков, и вычисление минимального сокращения при максимальном потоке также не...
Вы и друг потеряли друг друга в очереди на концерт, и никто не уверен, кто из вас еще впереди. Формально каждый из них имеет некоторую целочисленную координату и может идти только к более высокой координате или оставаться на месте. Предполагая, что вы и ваш друг придерживаетесь одного и того же...
Теорема Галуа эффективно говорит, что нельзя выразить корни многочлена степени> = 5, используя рациональные функции коэффициентов и радикалов - разве нельзя считать, что это говорит о том, что для данного многочлена нет детерминированного алгоритма для нахождения корней? Теперь рассмотрим...
Проблема, распознают ли два нажимных автомата один и тот же язык, неразрешима. Проблема того, распознает ли автомат с нажатием кнопки пустой язык, разрешима, следовательно, также решаемо, распознает ли он данный конечный язык. Неразрешимо, является ли язык, принятый автоматом нажатия, регулярным....
Не существует общего аналитического решения задачи о n-теле, которое может дать аналитическую функцию, которую можно использовать для определения состояния системы из n-тела в произвольный момент времени t с точной точностью. Однако существуют некоторые частные случаи систем с n телами, для которых...
Указанные языки и , скажем , что их конкатенация является однозначной , если для всех слов , существует ровно один разложение с и , и неоднозначном иначе. (Я не знаю, есть ли установленный термин для этого свойства - трудная вещь для поиска!) В качестве тривиального примера, конкатенация с самим...
По-видимому, атаки ReDos используют характеристики некоторых (в противном случае полезных) регулярных выражений ... по сути, вызывая взрыв возможных путей через граф, определенный NFA. Можно ли избежать таких проблем, написав эквивалентное «не злое» регулярное выражение? Если нет (таким образом,...
Я задал этот вопрос на StackOverflow , но я думаю, что это более подходящее место. Это проблема из курса Введение в алгоритмы : У вас есть массив с положительными целыми числами (массив не нужно сортировать или элементы уникальны). Предложите алгоритм , чтобы найти наибольшую сумму элементов,...
Это мягкий вопрос. Я не знаю много о криптографии или ее истории, но кажется, что обычное использование RSA - это обмен ключами путем шифрования симметричного ключа для отправки более длинного сообщения (например, описание iMessage здесь ). Разве это не то, для чего нужен обмен ключами...
Согласно этой статье следующая строка кода на Лиспе выводит «Hello world» на стандартный вывод. (format t "hello, world") Lisp, который является гомоиконическим языком , может обрабатывать код как данные следующим образом: Теперь представьте, что мы написали следующий макрос: (defmacro backwards...
Согласно странице Википедии о статическом одиночном назначении (SSA) , SSA используется крупными и известными проектами, такими как LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey и V8, в то время как страница с проектами использует стиль прохождения продолжения. (CPS) немного не хватает в сравнении. У...
Алгоритм быстрой сортировки можно разделить на следующие шаги Определить опору. Разделите связанный список на основе сводки. Разделите связанный список рекурсивно на 2 части. Теперь, если я всегда выбираю последний элемент как сводный, то для идентификации сводного элемента (1-й шаг) требуется...
Размещая геометрические объекты в квадри (или октодереве), вы можете разместить объекты, размер которых превышает один узел, несколькими способами: Размещение ссылки на объект в каждом листе, для которого он содержится Размещение ссылки на объект в самом глубоком узле, для которого он полностью...
Есть ли доказательства того, что время, потраченное на написание или размышления о требованиях, повлияет на время разработки? Исследование, проведенное Standish (1995), показывает, что неполные требования частично (13,1%) способствовали провалу проектов. Проводятся ли какие-либо исследования,...
Для языка LLL определите множество длин как множество длин слов в : L L S ( L ) = { | ты | | U ∈ L }LLLLLLL S (L)={ | ты | |U∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Какие наборы целых чисел могут быть набором длины обычного...