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

Чи є якась загальна методика доказування проблеми, яка НЕ ​​є NP-Complete? Я отримав це питання на іспиті, який попросив мене показати, чи є якась проблема (див. Нижче) NP-Complete. Я не міг придумати жодного реального рішення, і просто довів, що це було в П. Очевидно, це не реальна відповідь. NP-Complete визначається …

17 complexity-theory  np-complete  proof-techniques 

У багатьох обговореннях бінарної купи зазвичай використовується лише клавіша зменшення, яка підтримується операцією для міні-купи. Наприклад, розділ 6.1 CLR та ця сторінка вікіпедії . Чому клавіша збільшення зазвичай не вказана для min-heap? Я думаю, що можна зробити це в O (висота) шляхом ітеративного заміщення збільшеного елемента (x) мінімумом своїх дітей, …

17 algorithms  data-structures  heaps  priority-queues 

Які відмінності між комп’ютерним зором та обробкою зображень? Наприклад, у розпізнаванні об'єктів, які ролі комп’ютерного зору та обробки зображень?

17 terminology  computer-vision  image-processing  education 

Я намагаюся зрозуміти взаємозв'язок між NP-Intermediate та NP-Complete. Я знаю, що якщо P! = NP, заснований на теоремі Ладнера, існує клас мов в NP, але не в P або NP-Complete. Кожна проблема в NP може бути зведена до проблеми NP-Complete, однак я не бачив прикладів для зменшення підозрюваної проблеми NPI …

17 np-complete  reductions  factoring 

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

17 data-structures  abstract-data-types 

Які операції потрібно виконати, щоб зробити будь-які довільні аналогові обчислення ? Чи вистачить складання, віднімання, множення та ділення? Також хтось точно знає, які проблеми можна відстежити за допомогою аналогових обчислень, а не з цифровими?

17 computability  computation-models  turing-completeness 

Згідно з Вікіпедією , для будь-якої звичайної мови існують константи та поліноми , щоб на кожне число слів довжиною в задовольняє рівнянняLLLλ1,…,λkλ1,…,λk\lambda_1,\ldots,\lambda_kp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x)nnnsL(n)sL(n)s_L(n)nnnLLL sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkn\qquad \displaystyle s_L(n)=p_1(n)\lambda_1^n+\dots+p_k(n)\lambda_k^n . Мова є регулярною ( відповідає їй). iff n є парним, а іншому випадку.L={02n∣n∈N}L={02n∣n∈N}L =\{ 0^{2n} \mid n \in\mathbb{N} \}(00)∗(00)∗(00)^*sL(n)=1sL(n)=1s_L(n) = 1sL(n)=0sL(n)=0s_L(n) = 0 Однак …

17 formal-languages  regular-languages  combinatorics  word-combinatorics 

Я чув , девіз взаємодії є більш потужним , ніж алгоритми з Пітера Вегнер . В основі ідеї лежить те, що (класична) машина Тьюрінга не може здійснювати взаємодію, тобто зв'язок (вхід / вихід) із зовнішнім світом / середовищем. Як це може бути так? Як щось може бути більш потужним, ніж …

17 computability  computation-models 

Хочеться знати, чи можна вирішити наступну проблему і як це з'ясувати. Кожна проблема, яку я бачу, можу сказати "так" чи "ні", тому чи можна вирішити більшість проблем та алгоритмів, за винятком декількох (що надано тут )? Введення: Направлений і кінцевий графік , з і як вершини Питання: Чи існує шлях …

17 algorithms  computability  graph-theory  undecidability 

Розв'язувачі SAT стають все більш ефективними у вирішенні великих примірників і використовуються як допоміжні в різних контекстах. Кожен раз, коли хтось хоче використовувати їх для вирішення проблеми в певній галузі, він / вона мусить придумати спеціальне кодування, яке не тільки має правильний набір рішень, але і ставить обмеження (навіть зайві) …

17 reference-request  satisfiability  sat-solvers 

Я самостійно навчаюсь автоматизованому доказуванню теореми / розв'язкам SMT / кореспондентам і розміщую низку питань про цей процес, починаючи тут . Я продовжую читати про Алгоритм Об’єднання . Що це таке і чому так важливо для Inference Engine ? Чому це так важливо для інформатики?

17 logic  proof-assistants  automated-theorem-proving  smt-solvers  unification 

xorворота, тепер мені потрібно побудувати цю браму, використовуючи лише 4 nandворота a b out 0 0 0 0 1 1 1 0 1 1 1 0 то xor = (a and not b) or (not a and b), що A¯¯¯¯B+AB¯¯¯¯A¯B+AB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} Я знаю відповідь, але як отримати схему воріт із формули? …

17 logic  boolean-algebra 

Чи правда, що послідовна послідовність є сильнішою властивістю, ніж кеш-когерентність? Згідно з Сорін, Даніель Дж; Хілл, Марк Д; Вуд, Девід А: Буквар про послідовність пам’яті та узгодженість кешу , Morgan & Claypool, 2011 послідовну послідовність можна описати як (не формально): Модель пам'яті послідовності узгодженості вказує, що система повинна з'являтися, щоб …

17 computer-architecture  cpu-cache  shared-memory 

Алгоритм швидкого сортування можна розділити на наступні етапи Визначте стрижень. Розділіть зв'язаний список на основі стрижня. Рекурсивно розділіть пов'язаний список на 2 частини. Тепер, якщо я завжди вибираю останній елемент як стрижневий, то для виявлення зведеного елемента (1-й крок) потрібно час.O(n)O(n)\mathcal O(n) Після ідентифікації зведеного елемента ми можемо зберігати його …

16 algorithms  algorithm-analysis  sorting  quicksort 

Це м'яке питання. Я не знаю багато про криптографію або її історію, але здається, що для RSA загальним використанням є обмін ключами, шифруючи симетричний ключ для надсилання більш тривалого повідомлення (наприклад, опис iMessage тут ). Хіба це не те, для чого потрібен обмін ключами Діффі-Гелмана, який є старшим (і мені …

16 cryptography  history