Запитання з тегом «reference-request»

Я працюю з алгоритмом відповідності шаблону, який генерує ациклічний автоматичний кінцевий стан, який приймає заданий текстовий рядок та всі його підрядки. Алгоритм FSA запускається на символічному поданні музичного потоку (наприклад, MIDI-дані). Музичний потік був попередньо оброблений, щоб розділити кожну пісню на марковані "сегменти". FSA генерується для кожного сегмента в кожній …

10 formal-languages  reference-request  finite-automata 

У нас було кілька питань щодо співвідношення скорочень Кука та Карпа . Зрозуміло, що скорочення Кука (скорочення Тюрінга в поліномічному часі) не визначають таке ж поняття NP-повноти, як скорочення Карпа (скорочення багаточленного часу багато-один), яке зазвичай використовується. Зокрема, скорочення Кука не можуть відокремити NP від ​​ко-NP, навіть якщо P NP. …

10 complexity-theory  reference-request  np-complete  reductions 

Розглянемо лінійні програми Пr я m a l :А х⃗ ≤ b⃗ макс. c⃗ Тх⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} D u a l :c⃗ ≤ y⃗ ТАхв у⃗ Тб⃗ Dual:c→≤y→TAminy→Tb→\begin{array}{|ccc|} \hline Dual: & \vec{c} \leq \vec{y}^TA \hspace{.5cm} & \min \vec{y}^T\vec{b} …

10 algorithms  reference-request  linear-programming  linear-algebra  duality 

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

10 algorithms  graph-theory  reference-request 

Мене цікавлять процедури справедливого поділу землі (тобто поділ без заздрості, або принаймні пропорційний поділ). На відміну від добре вивченої проблеми розподілу тортів, розподіл землі є двовимірним, тобто переваги користувачів можуть змінюватися як по горизонталі, так і по вертикалі. Тому обмежувати алгоритм паралельними розрізами не практично. Єдине посилання, яке я знайшов …

10 reference-request  game-theory 

Я шукаю ресурси для початку роботи з програмним аналізом . Єдина книга, яку я знайшов у цій темі, - це книга Nielson & Nielson . Крім цього, здається, що є лише "компіляторні" книги, де "аналіз програм" був би главою, або щось подібне. Чи знають люди про якісь інші ресурси?

10 reference-request  compilers  semantics 

Чи існують мови програмування (або логіка), які можуть реалізовувати (або виражати) функцію якщо і лише якщо - обчислювані біективні функції?f:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

Походить з POV того, хто думає про здобуття наукового ступеня доктора інформатики. У мене виникають проблеми з вирішенням питання, на якому я б зосередив свої дослідження, коли я йду на ступінь доктора. Дивіться також це питання на Academia.SE . Тож я думаю, що читання / постійне вивчення того, які дослідження …

10 reference-request 

Я шукаю швидкий алгоритм відповідності рядків k-невідповідності. З огляду на рядок шаблону P довжиною m та текстовий рядок T довжиною n, мені потрібен швидкий (лінійний час) алгоритм, щоб знайти всі позиції, де P відповідає підрядку T з не більше k невідповідностей. Це відрізняється від проблеми k-відмінності (відстань редагування). Невідповідність має …

10 algorithms  reference-request  strings  string-metrics  substrings 

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

10 algorithms  reference-request  string-metrics 

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

10 reference-request  cryptography  quantum-computing 

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

10 reference-request  machine-learning  combinatorics  optimization  search-problem 

Питання досить багато в назві. Чи є колись час, коли якась моваLLL може прийняти мінімальний DFA з nnn держави, але LRLRL^R, обернення LLL, може бути прийнято DFA з mmm штати, де m&lt;nm&lt;nm<n?

10 formal-languages  reference-request  automata  finite-automata 

Існує запаморочливий набір символів, які використовуються в математичних та CS-документах. Однак багато хто припускає базового знайомства, яке, здається, рідко викладається в одному місці. Я шукаю словник на кшталт наступного, особливо з точки зору CS. Тут було б перераховано всі основні математичні символи та наведено їх значення та приклади. Це б …

10 terminology  reference-request  education 

Я працюю над проблемою, пов’язаною з латинськими квадратами, і я хочу метод, який по суті зводиться до проблеми вирішення: Введення : Кінцевий, простий графік G. Вихід : YESякщо G має нетривіальний автоматифізм, NOінакше. Звідси ... Питання : Чи існує ефективний алгоритм визначення того, чи має графік нетривіальний автоматифізм? Ми могли …

9 algorithms  graphs  graph-theory  reference-request