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

Я читав у Вікіпедії, що об’єднання - це процес вирішення проблеми задоволення. У той же час я знаю, що такі розв'язувачі називаються "SAT solvers" або "SMT solvers". Отже, чи вони різні назви для однієї речі? Якщо ви говорите, що вони різні, будь ласка, вкажіть на ваду мого звернення.

10 terminology  sat-solvers  unification 

Чи означає прийняття означає, що TM буде читати та розпізнавати знак із клітини, з якої він зараз читає? І чи трапляється так, що TM зупиняє iff вхідний сигнал?

10 terminology  turing-machines  undecidability 

Я шукаю спеціальність з теоретичних комп'ютерних наук; конкретно, мене цікавлять теорія складності та теорія ймовірнісних автоматів. Коли я закінчую рік, які курси з математики (наприклад, теорія Галуа чи аналіз гармонійних), на вашу думку, було б корисно перейняти наступні два семестри? Чому?

10 complexity-theory  automata  education 

Я розгубився, вирішуючи наступну проблему (питання 1-3). Питання Д -ічние куп, як виконавчі купи, але (з одним можливим винятком) вузли без листя мають d дітей замість 2 -х дітей. Як би ви представляли d -ary купу в масиві? Яка висота d -аричної маси n елементів у перерахунку на n та …

10 data-structures  time-complexity  runtime-analysis 

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

10 logic  automated-theorem-proving 

Яка складність обчислення ?nn2,n∈Nnn2,n∈Nn^{n^2},\;n \in \mathbb{N}

10 complexity-theory  integers  number-theory 

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

10 algorithms  reference-request  strings  string-metrics  substrings 

У Вікіпедії подано реалізацію для динамічної схеми програмування знизу вгору для відстані редагування. Це не повністю відповідає визначенню; внутрішні клітини обчислюються таким чином: if s[i] = t[j] then d[i, j] := d[i-1, j-1] // no operation required else d[i, j] := minimum ( d[i-1, j] + 1, // a deletion …

10 algorithms  dynamic-programming  string-metrics  correctness-proof  program-optimization 

Припустимо, LLL є звичайною мовою над упорядкованим алфавітом. Чи побудована мовою, беручи кожне слово в LLL і сортуючи його, завжди є звичайною мовою?

10 formal-languages  regular-languages 

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

10 algorithms  reference-request  string-metrics 

Адреси IPv6 у вигляді 862A:7373:3386:BF1F:8D77:D3D2:220F:D7E0набагато складніше запам'ятовувати або навіть переписувати, ніж 4 октети IPv4. Там уже була спроба пом'якшити це, роблячи IPv6 - адреса як - то більш запам'ятовується. Чи є навмисно слабка хеш-функція, яку можна змінити, щоб виявити, що фраза, скажімо, "Це порівняно доброякісно і легко помітити, якщо фраза …

10 cryptography  computer-networks  hash  user-interface 

\newcommand\ldotd{\mathinner{..}} Враховуючи, що A[1..n]A[1..n]A[1\ldotd n] - цілі числа, такі, що 0≤A[k]≤m0≤A[k]≤m0\le A[k]\le m для всіх 1≤k≤n1≤k≤n1\le k\le n , і виникнення кожного число, крім конкретного числа в A[1..n]A[1..n]A[1\ldotd n] є непарним числом. Спробуйте знайти число, виникнення якого - парне число. Існує алгоритм : ми сортуємо на , і розбиваємо на …

10 algorithms  search-algorithms 

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

10 computability  neural-networks 

Чи існує якесь формальне визначення середньої висоти двійкового дерева? У мене є підручник щодо пошуку середньої висоти двійкового дерева за допомогою наступних двох методів: Природним рішенням може бути середня довжина всіх можливих шляхів від кореня до листя, тобто сер1( Т) = 1# листя в Т⋅ ∑v лист Тглибина( v )сер1⁡(Т)=1# …

10 graph-theory  terminology  combinatorics  binary-trees 

Питання - вправа 1.9 з книги "Арора-Барак" Обчислювальна складність - сучасний підхід : Визначте машину ОЗУ Тьюрінга як машину Тьюрінга, яка має пам'ять з випадковим доступом. Ми формалізуємо це так: Машина має нескінченний масив A, який ініціалізується на всі заготовки. Доступ до цього масиву здійснюється наступним чином. Одна з робочих …

10 complexity-theory  turing-machines  machine-models  simulation