Вопросы с тегом «program-optimization»

4
Автоматическая оптимизация умножения 0-1 матричного вектора
Вопрос: Существует ли установленная процедура или теория для генерации кода, который эффективно применяет умножение матрицы на вектор, когда матрица плотна и заполнена только нулями и единицами? В идеале оптимизированный код должен систематически использовать ранее вычисленную информацию для сокращения дублируемой работы. Другими словами, у меня есть матрица MMM и я хочу …

1
Существуют ли полностью оптимизирующие компиляторы для завершающих программ?
В книге Эндрю У. Аппеля « Реализация современного компилятора в ML» он говорит в главе 17, что теория вычислимости показывает, что всегда можно изобрести новые оптимизирующие преобразования, и продолжает доказывать, что полностью оптимизирующий компилятор решит проблему остановки: Программа Q, который не производит никакого вывода и никогда не останавливается, может быть …

12
Структура данных или алгоритм для быстрого поиска различий между строками
У меня есть массив из 100 000 строк, все длиной kkk . Я хочу сравнить каждую строку с любой другой строкой, чтобы увидеть, отличаются ли любые две строки на 1 символ. Прямо сейчас, когда я добавляю каждую строку в массив, я проверяю ее по каждой строке, уже находящейся в массиве, …

2
Почему статическое одиночное назначение предпочтительнее стиля передачи продолжения во многих используемых в отрасли компиляторах?
Согласно странице Википедии о статическом одиночном назначении (SSA) , SSA используется крупными и известными проектами, такими как LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey и V8, в то время как страница с проектами использует стиль прохождения продолжения. (CPS) немного не хватает в сравнении. У меня есть представление, что CPS предпочитают компиляторы …

2
Какое свойство минусов позволяет устранить хвостовую рекурсию по модулю минусов?
Я знаком с идеей базового исключения хвостовой рекурсии, когда функции, которые возвращают прямой результат вызова для себя, могут быть переписаны как итерационные циклы. foo(...): # ... return foo(...) Я также понимаю, что в особом случае функция все еще может быть переписана, если рекурсивный вызов обернут в вызов cons. foo(...): # …

5
Почему дизайн ОС позволяет снизить энергопотребление?
Я читал, что операционные системы, такие как Android и iOS, каким-то образом оптимизированы для увеличения времени автономной работы. Насколько я понимаю, процессор выполняет определенное количество операций за определенное время, поэтому я думаю, что вы можете ускорить приложения, сократив количество требуемых операций, но поскольку процессор все равно будет выполнять x операций …

1
Микрооптимизация для вычисления расстояния редактирования: это правильно?
В Википедии дается реализация восходящей схемы динамического программирования для расстояния редактирования. Это не следует определению полностью; внутренние ячейки вычисляются следующим образом: if s[i] = t[j] then d[i, j] := d[i-1, j-1] // no operation required else d[i, j] := minimum ( d[i-1, j] + 1, // a deletion d[i, j-1] …

3
Эквивалентность анализа потока данных, абстрактной интерпретации и вывода типа?
Ответ Бабу на недавний вопрос напоминает мне о том, что когда-то я читал статью об эквивалентности (с точки зрения как фактов, которые можно вывести или доказать, так и сложности времени выполнения алгоритма вывода) анализа потока данных , абстрактная интерпретация , и тип логического вывода . В некоторых случаях (например, между …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.