Информатика

Большинство диалектов Smalltalk в настоящее время реализуют наивный неточный плавающий модуль (fmod / remainder). Я просто изменил это, чтобы улучшить Squeak / Pharo и, в конечном итоге, соблюдение стандартов Smalltalk (IEEE 754, ISO / IEC 10967), как я уже делал для других современных операций с плавающей запятой. Однако для принятия …

9 arithmetic  floating-point 

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

9 computability  reversible-computing 

Формальный язык над алфавитом является подмножеством , то есть, набор слов в этом алфавите. Два формальных языка и равны, если соответствующие множества экстенсивно равны как подмножества . Можно использовать языки в теории сложности, чтобы формализовать понятие «проблемы». Можно было бы пожаловаться на то, что «в общем» равенство экстенсионально неразрешимо, но …

9 complexity-theory  formal-languages  reference-request 

При моделировании алгоритма замены страницы часов, когда появляется ссылка, которая уже находится в памяти, стрелка часов все еще увеличивается? Вот пример: С 4 слотами, используя алгоритм замены страницы часов Список литературы: 1 2 3 4 1 2 5 1 3 2 4 5 Начальный список будет выглядеть так: -> [1][1] …

9 algorithms  paging  virtual-memory 

Я пытаюсь распознать водные пути по аэрофотоснимкам (скажем, из Google Maps). Местные органы власти часто располагают данными ГИС, в которых указано, где находятся водные пути (и дороги, здания и т. Д.), Но данные о них в воде часто несколько неточны, и мы могли бы улучшить их, используя аэрофотоснимки. Итак, у …

9 image-processing 

У меня есть подмножество простых путей в графе. Длина путей ограничена .ddd Каким самым компактным способом (с точки зрения памяти) я могу представить пути так, чтобы не были представлены никакие другие пути, кроме выбранных? Обратите внимание, что я хочу использовать это представление в алгоритме, который будет перебирать этот набор путей …

9 graphs  data-structures 

Я ищу алгоритм вывода типов для разрабатываемого языка, но я не смог найти тот, который удовлетворял бы моим потребностям, потому что они обычно таковы: à la Haskell, с полиморфизмом, но без специальной перегрузки C ++ (авто), в котором у вас есть временная перегрузка, но функции мономорфны В частности, моя система …

9 type-theory  type-inference 

На вопрос об ошибке Heartbleed Брюс Шнайер написал в своей «Крипто-грамме» от 15 апреля: «Катастрофический» - правильное слово. По шкале от 1 до 10 это 11 '. Несколько лет назад я читал, что ядро ​​определенной операционной системы строго проверено современной системой проверки программ. Следовательно, можно ли предотвратить появление ошибок в …

9 cryptography  correctness-proof  security  software-verification  program-correctness 

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

9 trees  coding-theory 

Для многих проектов машинного обучения мы начинаем с классификатора k Nearest Neighbor. Это идеальный начальный классификатор, поскольку у нас обычно достаточно времени для расчета всех расстояний, а количество параметров ограничено (k, метрика расстояния и весовые коэффициенты). Однако это часто приводит к тому, что мы придерживаемся классификатора knn, поскольку в дальнейшем …

9 neural-networks  classification 

Как можно выбрать правильное количество параметров для генетического алгоритма для моделирования данной системы? Например, скажем, вы хотите оптимизировать производство автомобилей, и у вас есть 1000 измерений почасовой эффективности для различных задач для каждого из 1000 различных сотрудников. Итак, у вас есть 1 000 000 точек данных. Большинство из них, вероятно, …

9 genetic-algorithms 

Учитывая взвешенный орграф и весовую функцию , обычно можно использовать алгоритм Дейкстры для получения кратчайшего пути. Что меня интересует, так это как получить -короткий путь, -короткий путь и так далее.G = V, Eгзнак равноВ,ЕG=V,Ed( U , V )d(U,v)d(u,v)2н д2Nd2^{nd}3г д3рd3^{rd} Вопросов: Существует ли эффективный алгоритм для получения i-го самого короткого …

9 algorithms  graphs  shortest-path  graph-traversal 

Я ищу реализацию заданного типа данных. То есть мы должны поддерживать динамическое подмножество SSS (размера nnn ) из юниверса U={0,1,2,3,…,u–1}U={0,1,2,3,…,u–1}U = \{0, 1, 2, 3, \dots , u – 1\} размера uuu с операции insert(x)(добавить элемент xв SSS ) и find(x)(проверяет, xявляется ли элемент членом SSS ). Я не забочусь …

9 data-structures  efficiency  space-complexity  sets  dictionaries 

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

9 terminology  dynamic-programming 

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

9 algorithms