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

Я переглядаю таку проблему: Дано nnn-вимірні вектори натуральних чисел v1,…,vmv1,…,vmv_1, \ldots, v_m і деякий вхідний вектор uuu, є uuu лінійна комбінація viviv_iз натуральними коефіцієнтами чисел? тобто є якісь t1,…,tm∈Nt1,…,tm∈Nt_1, \ldots, t_m \in \mathbb{N} де u=t1v1+⋯+tmvmu=t1v1+⋯+tmvmu = t_1 v_1 + \dots + t_m v_m? Очевидно, що реальну версію цієї проблеми можна …

9 algorithms  reference-request  linear-algebra  integers  knapsack-problems 

У рамках домашнього завдання, що стосується впровадження інтросортату, мене запитують, чому для цього використовується гипсорт, а не об'єднання (або інші алгоритми ). O ( n журнал( n ) )О(нжурнал⁡(н))O(n\log(n)) Introsort - це гібридний алгоритм сортування, який забезпечує як швидку середню продуктивність, так і (асимптотично) оптимальну найгіршу ефективність. Він починається з …

9 algorithms  algorithm-analysis  sorting 

Більшість діалектів Smalltalk в даний час реалізують наївний неточний плаваючий модуль (fmod / залишок). Я щойно змінив це, щоб покращити Squeak / Pharo та врешті-решт інші дотримання Smalltalk стандартів (IEEE 754, ISO / IEC 10967), як я вже робив для інших сучасних операцій з плаваючою точкою. Однак для прийняття цих …

9 arithmetic  floating-point 

Симулюючи алгоритм заміни годинника, коли посилання, яке вже є в пам’яті, чи збільшується рука годинника? Ось приклад: З 4 слотами, використовуючи алгоритм заміни годинника Список довідок: 1 2 3 4 1 2 5 1 3 2 4 5 Початковий список виглядатиме так: -> [1][1] [2][1] [3][1] [4][1] Наступним посиланням на …

9 algorithms  paging  virtual-memory 

Формальна мова над алфавітом є підмножиною , тобто, набір слів в цьому алфавіті. Дві формальні мови і є рівними, якщо відповідні множини дорівнюють як підмножини . Можна використовувати мови в теорії складності для формалізації поняття "проблема". Можна поскаржитися, що «взагалі» рівність розширення не можна визначити, але я вважаю, що це …

9 complexity-theory  formal-languages  reference-request 

Я шукаю алгоритм виводу типу для мови, яку я розробляю, але не зміг знайти той, який відповідає моїм потребам, оскільки вони зазвичай є: à la Haskell, з поліморфізмом, але без особливих перевантажень à la C ++ (автоматичний), в якому у вас є спеціальне перевантаження, але функції є мономорфними Зокрема, моя …

9 type-theory  type-inference 

У графі є підмножина простих шляхів. Довжина доріжок обмежена знакомddd. Який найбільш компактний спосіб (на пам'ять), який я можу представити таким чином, щоб жоден інший шлях, крім вибраних, не був представлений? Зауважте, що я хочу використовувати це представлення в алгоритмі, який буде повторювати цей підмножина шляхів знову і знову, і …

9 graphs  data-structures 

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

9 computability  reversible-computing 

Я намагаюся розпізнати водні шляхи по аерофотознімкам (скажімо з Google Maps). Органи місцевого самоврядування часто мають дані ГІС, які говорять про те, де знаходяться водні шляхи (і дороги, будівлі тощо), але дані про води в них часто є дещо неточними, і ми могли б вдосконалити їх за допомогою аерофотознімання. Отже, …

9 image-processing 

З приводу помилки із сердечкою, Брюс Шнайер написав у своїй крипто-грамі від 15 квітня: "Катастрофічний" - це правильне слово. За шкалою від 1 до 10 це 11. ' Я прочитав кілька років тому, що ядро ​​певної операційної системи було суворо перевірено сучасною системою перевірки програм. Чи можуть, таким чином, запобігти …

9 cryptography  correctness-proof  security  software-verification  program-correctness 

Знаючи частоти кожного символу, чи можна визначити максимальну висоту дерева, не застосовуючи алгоритм Хаффмана? Чи є формула, яка дає цьому дереву висоту?

9 trees  coding-theory 

Для багатьох проектів машинного навчання, які ми виконуємо, ми починаємо з класифікатора k Найближчий сусід. Це ідеальний стартовий класифікатор, оскільки ми зазвичай маємо достатньо часу для обчислення всіх відстаней, а кількість параметрів обмежена (k, метрика відстані та зважування) Однак це часто призводить до того, що ми дотримуємось класифікатора knn, оскільки …

9 neural-networks  classification 

Враховуючи зважений диграф та вагову функцію, , можна нормально використовувати алгоритм Діккстра для отримання найкоротшого шляху. Мене цікавить, як отримати шлях найкоротший, -коротший і так далі.G=V,EG=V,EG=V,Ed(u,v)d(u,v)d(u,v)2nd2nd2^{nd}3rd3rd3^{rd} Запитання: Чи існує ефективний алгоритм для отримання i-го найкоротшого шляху між двома вузлами у зваженому графі? Чи є ефективний алгоритм для отримання k-самого короткого …

9 algorithms  graphs  shortest-path  graph-traversal 

Як можна вибрати належну кількість параметрів генетичного алгоритму для моделювання заданої системи? Наприклад, скажіть, що ви хочете оптимізувати виробництво автомобілів, і у вас є 1000 вимірювань погодинної ефективності при різних завданнях для кожного з 1000 різних співробітників. Отже, у вас є 1 000 000 точок даних. Більшість із них, ймовірно, …

9 genetic-algorithms 

Я шукаю реалізацію заданого типу даних. Тобто ми повинні підтримувати динамічну підмножину (розміром ) з Всесвіту U = \ {0, 1, 2, 3, \ крапки, u - 1 \} розміром u зSSSnnnU={0,1,2,3,…,u–1}U={0,1,2,3,…,u–1}U = \{0, 1, 2, 3, \dots , u – 1\}uuu операції insert(x)(додавання елемента xдо SSS ) та find(x)(перевірка, …

9 data-structures  efficiency  space-complexity  sets  dictionaries