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

Я хочу ефективно фільтрувати список цілих чисел для дублікатів таким чином, що потрібно зберігати лише отриманий набір. Один із способів цього можна побачити: ми маємо діапазон цілих чисел S={1,…,N}S={1,…,N}S = \{1, \dots{}, N\} з NNN великий (скажімо 2402402^{40}) у нас є функція f:S→Sf:S→Sf : S \to S нібито з багатьма …

9 algorithms  data-structures  sorting 

Мені дали домашнє завдання з Big O. Я застряг з вкладеними петлями, які залежать від попереднього циклу. Ось змінена версія мого домашнього запитання, оскільки я дуже хочу його зрозуміти: sum = 0; for (i = 0; i < n; i++ for (j = 0; j < i; j++) sum++; Частина, …

9 algorithms  algorithm-analysis  runtime-analysis  landau-notation 

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

9 algorithms  time-complexity  algorithm-analysis  runtime-analysis  sorting 

Вимога кодування, що не має префікса, призводить до великих дерев через те, що дерево має бути повним. Чи є поріг, коли некодированное зберігання даних фіксованої довжини було б ефективніше, ніж кодування даних?

9 information-theory  data-compression 

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

9 terminology  intuition  graphics  computer-vision 

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

9 reference-request  logic  formal-methods  sat-solvers  software-verification 

У статті Розбиття виразів за допомогою рекурсивного походження Теодора Норвелла (1999) автор починає з наступної граматики для арифметичних виразів: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | v що …

9 formal-languages  context-free  formal-grammars  left-recursion 

Зазвичай університети викладають дискретні математичні / дискретні структури. Моє запитання: скільки математики потрібно знати, щоб зрозуміти цю область? Чи потрібне обчислення чи буде попередній розрахунок справний? Чи потрібно робити докази раніше, щоб зрозуміти цю область? Дякую всім за відповіді. Примітка: Мої вибачення, якщо про це вже просили. після мого розслідування …

9 discrete-mathematics 

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

9 parallel-computing  artificial-intelligence  neural-networks 

Чи є якісь дискретні знання з веб-ресурсів з математики з наборами проблем?

9 reference-request  education  discrete-mathematics 

Ми хочемо вирішити проблему з мінімальними витратами та потоком за допомогою загального алгоритму скасування негативного циклу. Тобто ми починаємо з випадкового дійсного потоку, і тоді ми не вибираємо жодних «хороших» негативних циклів, таких як цикли мінімальної середньої вартості, але використовуємо Bellman-Ford для виявлення мінімального циклу та збільшення за відкритим циклом. …

9 algorithms  graph-theory  algorithm-analysis  runtime-analysis  network-flow 

Припустимо, ми хочемо з'єднати два стосунки за присудком. Це в NC? Я усвідомлюю, що доказ того, що його немає в NC, буде означати доказ того, що , тому я б прийняв докази, що це відкрита проблема як відповідь.П≠ NСP≠NCP\not=NC Мене цікавлять загальний випадок, а також конкретні випадки (наприклад, можливо, з …

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity 

Дано два набори АAA і БBB кожен з яких містить нnn розрізнені точки в площині, обчисліть найменшу відстань між точкою в АAA і крапка в БBB, тобто хв { dist ( p , q ) | p ∈ A ∧ q ∈ B } min { dist(p,q) | p∈A∧q∈B }\min …

9 algorithms  computational-geometry 

Добре відомо, що кожна булева функція може бути реалізована за допомогою булевої схеми глибини 2 (над змінними, їх запереченням і постійними значеннями) містять ворота І на першому рівні та один єдиний АБО затвор у верхньому рівні; це просто уявлення DNF з .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\}fff Ще одним типом воріт, який представляє великий …

9 complexity-theory  logic  circuits 

З огляду на мову , як я можу сказати безпосередньо, не дивлячись на правила виробництва, що ця мова не є регулярною?L = {анбнcн}L={anbncn} L= \{a^n b^n c^n\} Я міг би використовувати насосну лему, але деякі хлопці говорять, просто дивлячись на граматику, що це не є звичайною. Як це можливо?

9 formal-languages  regular-languages  pumping-lemma  intuition