Комп'ютерна наука

Деякі процесори мають регістр прапорів (ARM, x86, ...), інші - (MIPS, ...). Яка перевага в тому, щоб мати інструкцію CMP для оновлення реєстру прапорів, а потім інструкцію гілки замість того, щоб використовувати нульовий регістр та умовні гілки для перевірки ознак, переповнення тощо?

15 computer-architecture 

Мене бентежить питання, чому дизайнери MIPS включатимуть 5 біт, призначених для зсуву, і мають окремі біти коду і функції. Оскільки MIPS є настільки РИСК, я припускаю, що лише кілька зрушень було б виконано за допомогою декількох інструкцій, тому ці 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, …

15 programming-languages  turing-completeness  logic-programming  prolog 

У мене є тетраедр і багатогранник p . t обмежений таким чином, що він завжди ділить усі свої вершини з p . Я хочу визначити, чи лежить t всередині p .ттt ppptтtpppttt ppp Я хотів би додати одну деталь до проблеми, якщо вона може сприяти вирішенню: - тетраедр Делоне, а …

15 algorithms  computational-geometry  topology 

Я намагаюся побудувати всі нееквівалентні матриць (або якщо хочете) з елементами 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 для "a" і досягає беззбитковості при 39 "a" s (коефіцієнт стиснення = 1). Діаграма починається …

15 data-compression 

Хочу почати з того, що це НЕ є питанням домашнього завдання. Я читаю Вступ до алгоритмів - відомого тексту CLRS, щоб стати кращим програмістом. Я намагаюся самостійно вирішити проблеми та вправи, подані в книзі. Я намагаюся вирішити вправу 10.1-2 з розділу 10 Елементарні структури даних з CLRS Second Edition. Ось …

15 data-structures  arrays  stacks 

Нещодавно було задано цікаве запитання та згодом його видалили. Для звичайної мови LLL її складність DFA - це розмір мінімальної DFA, що приймає її, а її складність NFA - це розмір мінімальної NFA, що приймає її. Загальновідомо, що між двома складностями існує експоненціальне розділення, принаймні, коли розмір алфавіту не обмежений. …

15 regular-languages  finite-automata 

Наведіть декілька прикладів складних задач вирішення, які можна вирішити за багаточлен? Я шукаю проблеми, для яких оптимальний алгоритм "повільний", або проблеми, для яких найшвидший відомий алгоритм "повільний". Ось два приклади: Розпізнавання досконалих графіків. У своїй FOCS'03 роботи [1] Cornuéjols, Ль і Vuskovic дали Час алгоритм для задачі, де п є …

15 algorithms  complexity-theory  reference-request 

У нас є DAG. Ми маємо функцію на вузлах F:V→NF:V→NF\colon V\to \mathbb N (вільно кажучи, нумеруємо вузли). Ми хотіли б створити новий спрямований графік із цими правилами: F(x)≠F(y)⇒x′≠y′F(x)≠F(y)⇒x′≠y′F(x) \neq F(y) \Rightarrow x' \neq y'x′≠y′⇏F(x)≠F(y)x′≠y′⇏F(x)≠F(y)x' \neq y'\nRightarrow F(x) \neq F(y) Додамо всі старі ребра між новими вузлами: .(x,y)∈E∧x′≠y′⟺(x′,y′)∈E'(x,y)∈Е∧х'≠у'⟺(х',у')∈Е'(x,y) \in E \land …

15 algorithms  graphs  np-complete  reductions 

У документі " Навчальний розподіл систем " "Парламент за сумісництвом" (протокол Паксоса) Леслі Лампорт називає вигаданих законодавців, які причетні до протоколу парламенту Паксона. Згідно з цим твором , він зазначає, що: Я дав грецьким законодавцям імена комп’ютерних вчених, які працюють у цій галузі, транслітеровані за допомогою Гібаса на фальшивий грецький …

15 distributed-systems  history 

У Вікіпедії сказано : Повні решітки з'являються у багатьох програмах з математики та інформатики Це лише посилання на той факт, що стандартна булева алгебра, що використовується для обчислення, є повною решіткою? Чи є щось, що ми отримуємо, працюючи на абстрактному рівні грат, а не конкретно з булевою логікою? Пошук у …

15 lattices  order-theory 

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

15 algorithms  graph-theory  graphs  spanning-trees 

Таким чином, L в основному задовольняє умовам накачувальної леми для CFL, але не є CFL (що можливо відповідно до визначення леми).

15 formal-languages  context-free  pumping-lemma