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

Чи може хто-небудь пояснити мені, що таке точно забута оперативна пам'ять? Я знайшов таке пояснення, яке робить це для мене ясним, але я хотів би зрозуміти технічні аспекти: Шифрування не завжди достатньо для забезпечення конфіденційності. Якщо супротивник може спостерігати ваші шаблони доступу до зашифрованого сховища, він все одно може дізнатися …

9 terminology  computer-architecture  security  memory-hardware  memory-access 

Valiant & Vazirani довели, що SAT можна привести до УНІКАЛЬНОГО САТ при рандомізованих імовірнісних скороченнях поліноміального часу. Calabro та ін . показав, що UNIQUE k-SAT такий же важкий, як k-SAT. Тепер питання полягає в тому, якщо хтось показує, що UNIQUE k-SAT знаходиться у P, чи це означає P = NP? …

9 complexity-theory  satisfiability  p-vs-np 

Скажімо, у мене є непрямий обмежений графік, і мені потрібно мати можливість ефективно виконувати такі запити: Яs Co n n e c t e d(N1,N2)ЯсСоннеcтег(N1,N2)IsConnected(N_1, N_2) - повертає ТТTякщо є шлях між і , інакшеN1N1N_1N2N2N_2ЖЖF Сo n n e c t e dNо дe s ( N)СоннеcтегNогес(N)ConnectedNodes(N) - повертає набір …

9 algorithms  graph-theory  graphs  data-structures 

Хоча я працюю програмістом у своєму повсякденному житті та використовую всі модні мови (Python, Java, C тощо), я все ще не маю чіткого уявлення про те, що таке функціональне програмування. З того, що я читав, одна властивість функціонально мов - це те, що структури даних є незмінними . Само по …

9 data-structures  functional-programming 

Припустимо, нам колекцію з рядків, . Я хотів би знати, чи будь-який з цих рядків є підрядком будь-якого іншого рядка в колекції. Іншими словами, я хотів би створити алгоритм для наступного завдання:nnnS1,…,SnS1,…,SnS_1,\dots,S_n Введення:S1,…,SnS1,…,SnS_1,\dots,S_n Вихід: такий, що є підрядком і , або None, якщо таких існуєi,ji,ji,jSiSiS_iSjSjS_ji≠ji≠ji\ne ji,ji,ji,j Чи існує ефективний алгоритм …

9 algorithms  strings  efficiency  substrings 

Оновлюючи ваги нейронної мережі за допомогою алгоритму зворотного розповсюдження з періодом імпульсу, чи слід застосовувати швидкість навчання і до терміну імпульсу? Більшість інформації, яку я міг знайти про використання імпульсу, мають рівняння, виглядаючи приблизно так: W'i=Wi- α ΔWi+ мк ΔWi - 1Wi′=Wi−αΔWi+μΔWi−1W_{i}' = W_{i} - \alpha \Delta W_i + \mu …

9 machine-learning  neural-networks 

@ Відповідь Бабу на недавнє запитання нагадує мені, що свого часу я думаю, що я прочитав документ про еквівалентність (з точки зору обох фактів, які можна зробити висновками або довести, та складності часу виконання алгоритму висновку) аналізу потоків даних , абстрактна інтерпретація та тип висновку . У деяких підставах (як, …

9 reference-request  compilers  type-inference  program-optimization 

Мені було цікаво, чи має ця проблема назва: З огляду на простий графік, краї якого пофарбовані червоним, синім та зеленим кольором, , чи існує кольорові вершини такі, що кожен край має кінцеву точку одного кольору?G = ( V, B ∪ R ∪ G )G=(V,B∪R∪G)G=(V,B\cup R\cup G)c : V→ { B …

9 algorithms  complexity-theory  graphs  satisfiability  colorings 

Я проводжу наступні вправи з програмного забезпечення : (** **** Exercise: 2 stars (baz_num_elts) *) (** Consider the following inductive definition: *) Inductive baz : Type := | x : baz -> baz | y : baz -> bool -> baz. (** How _many_ elements does the type [baz] have? …

9 coq 

Я думав написати операційну систему хобі для деяких процесорів ARM. Існує багато популярних однопланових комп'ютерів з ARM MPU, тому я просто хотів придбати один із них (вибравши один із більш відкритою документацією). Я був здивований, коли дізнався, що навіть у плати з дійсно достатньою пам’яттю немає MPU з блоком управління …

9 operating-systems  memory-management  memory-hardware  os-kernel 

У попередньому запитанні Що таке алгоритм? , Я запитав, чи є "алгоритм", який повертає значення функції на основі масиву попередньо обчислених значень, був алгоритмом. Один з відповідей, який привернув мою увагу, був такий: Факторний приклад потрапляє в іншу модель обчислення, звану нерівномірним обчисленням. Машина Тьюрінга є прикладом єдиної моделі обчислення: …

9 turing-machines  computation-models 

Розглянемо наступну проблему: Нехай є кінцевим підмножиною натуральних чисел.S= {с1,с2, . . .сн}S={s1,s2,...sn}S = \{ s_1, s_2, ... s_n \} Нехай | s_i, s_j \ in S, s_i \ neq s_j \} де gcd (x, y) - найбільший спільний дільник x і yG = {G={G = \{ гc d(сi,сj)gcd(si,sj)gcd(s_i, s_j)сi,сj∈ …

9 algorithms  number-theory 

Це питання стосується перетину теорії ймовірностей та обчислювальної складності. Одним із ключових спостережень є те, що деякі дистрибуції легше генерувати, ніж інші. Наприклад, проблема Давши число , поверніть рівномірно розподілене число з .ннniii0 ≤ i &lt; n0≤i&lt;н0 \leq i < n легко вирішити. З іншого боку, наступна проблема є або …

9 complexity-theory  reference-request  probability-theory  probabilistic-algorithms 

Використання вектора Ерлі в якості розпізнавача є досить простим: коли досягне кінець рядка, потрібно просто перевірити, чи завершено аксіоматичне виробництво, розпочате в положенні 0. Якщо у вас є принаймні один, то рядок приймається. Використання вектора Ерлі для реконструкції дерева (ив) розбору менш очевидно. Насправді я не можу зрозуміти, як працює …

9 context-free  dynamic-programming  parsers  ambiguity  syntax-trees 

Булева функція - це функція f: { 0 , 1}н→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\}. Булева основа ( ∨ , ∧ )(∨,∧)(\vee,\wedge) Відомо, що Тьюрінг завершений, оскільки дозволяє будь-яку послідовність s ∈ { 0 , 1 }s∈{0,1}s\in\{0,1\}перевернути або залишити без змін. Те саме можна сказатиX O RXOR\mathrm{XOR} ворота. У цьому …

9 turing-machines  turing-completeness  boolean-algebra