Информатика

Некоторые процессоры имеют регистр флагов (ARM, x86, ...), другие нет (MIPS, ...). В чем преимущество наличия инструкции CMP для обновления регистра флагов, сопровождаемой инструкцией ветвления, вместо использования нулевого регистра и условных ветвей для проверки знака, переполнения и т. Д.?

15 computer-architecture 

У меня есть тетраэдр и многогранник . ограничен так, что он всегда разделяет все свои вершины с . Я хочу определить, находится ли внутри .п т п т пttt ppptttpppttt ppp Я хотел бы добавить одну деталь к проблеме в случае, если она может внести вклад в решение: - тетраэдр …

15 algorithms  computational-geometry  topology 

Меня смущает, почему разработчики MIPS включают 5 бит, предназначенных для сдвига, и имеют отдельные биты кода операции и функции. Поскольку MIPS является настолько RISC, я предполагаю, что в нескольких инструкциях будет выполнено только смещение, поэтому эти 5 бит кажутся бесполезными, когда их можно сразу же поместить. Я предполагаю, что коды …

15 computer-architecture 

Я знаю, что можно доказать, что PROLOG является полным по Тьюрингу, создав программу, которая имитирует машину Тьюринга, например: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- symbol(Rs0, Sym, RsRest), once(rule(Q0, Sym, Q1, …

15 programming-languages  turing-completeness  logic-programming  prolog 

Я пытаюсь построить все неэквивалентные матрицы (или если хотите) с элементами 0 или 1. Операция, которая дает эквивалентные матрицы, - это одновременный обмен строк i и j И столбцов i и j , например. для8×88×88\times 8n×nn×nn\times n1↔21↔21\leftrightarrow2 ⎛⎝⎜001010010⎞⎠⎟∼⎛⎝⎜100001100⎞⎠⎟(000011100)∼(101000010)\begin{equation} \left( \begin{array}{ccc} 0 & 0 & 0 \\ 0 & 1 & …

15 algorithms  combinatorics 

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

15 computer-architecture  cpu-cache  virtual-memory 

library(ggplot2) compress <- function(str) { length(memCompress(paste(rep("a", str), collapse=""), type="bzip2")) / nchar(paste(rep("a", str), collapse="")) } cr <- data.frame(i = 1:10000, r = sapply(1:10000, compress)) ggplot(cr[cr$i>=5000 & cr$i<=10000,], aes(x=i, y=r)) + geom_line() Степень сжатия начинается с 37 для «а» и достигает безубыточности при 39 «а» с (степень сжатия = 1). Диаграмма начинается …

15 data-compression 

Я хочу начать с того, что это НЕ домашний вопрос. Я читаю Введение в алгоритмы - известный текст CLRS, чтобы стать лучшим программистом. Я пытаюсь решить проблемы и упражнения, приведенные в книге, самостоятельно. Я пытаюсь решить Excercise 10.1-2 из главы 10 «Элементарные структуры данных» из второго издания CLRS. Вот что …

15 data-structures  arrays  stacks 

У нас есть DAG. У нас есть функция на узлах (грубо говоря, мы нумеруем узлы). Мы хотели бы создать новый ориентированный граф с этими правилами:F: V→ NF:V→NF\colon V\to \mathbb N Только узлы с одинаковым номером могут быть заключены в один и тот же новый узел. . (Однако .)x ′ ≠ …

15 algorithms  graphs  np-complete  reductions 

Недавно был задан интересный вопрос, который впоследствии был удален. Для обычного языка его сложность DFA - это размер минимального DFA, принимающего его, а сложность NFA - это размер минимального NFA, принимающего его. Хорошо известно, что между двумя сложностями существует экспоненциальное разделение, по крайней мере, когда размер алфавита не ограничен. Действительно, …

15 regular-languages  finite-automata 

Каковы некоторые примеры сложных проблем решения, которые могут быть решены за полиномиальное время? Я ищу проблемы, для которых оптимальный алгоритм является «медленным», или проблемы, для которых самый быстрый известный алгоритм является «медленным». Вот два примера: Распознавание совершенных графов. В своей работе FOCS'03 [1] Корнежоль, Лю и Вускович дали временной алгоритм …

15 algorithms  complexity-theory  reference-request 

В оригинальной статье о распределенных системах Парламент с частичной занятостью (протокол Paxos) Лесли Лэмпорт называет выдуманных законодателей, которые участвуют в протоколе парламента Paxon. Согласно этому письму , он отмечает, что: Я дал греческим законодателям имена компьютерных ученых, работающих в этой области, транслитерированных с помощью Гибаса в поддельный греческий диалект. Есть …

15 distributed-systems  history 

Википедия говорит : Полные решетки появляются во многих приложениях в математике и информатике Это просто ссылка на тот факт, что стандартная булева алгебра, используемая в вычислениях, является полной решеткой? Есть ли что-то, что мы приобретаем, работая на абстрактном уровне решеток, а не конкретно с булевой логикой? Поиск по Google не …

15 lattices  order-theory 

Я пытаюсь найти эффективный метод определения, имеет ли данный граф G два разных минимальных остовных дерева. Я также пытаюсь найти метод, чтобы проверить, есть ли у него 3 различных минимальных остовных дерева. Наивное решение, о котором я думаю, - запустить алгоритм Крускала один раз и найти общий вес минимального остовного …

15 algorithms  graph-theory  graphs  spanning-trees 

Таким образом, в основном L удовлетворяет условиям леммы накачки для КЛЛ, но не является КЛЛ (это возможно в соответствии с определением леммы).

15 formal-languages  context-free  pumping-lemma