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

Ми можемо сформувати DFA, приймаючи двійкові числа, ділені на нnn. Наприклад, DFA, що приймає двійкові числа, ділені на 2, можна сформувати так: Аналогічно DFA, що приймає двійкові числа, ділені на 3, може бути сформовано так: Ми можемо дотримуватися чітко визначеної процедури для формування цих типів DFA. Однак чи може бути …

9 regular-languages  automata  finite-automata  regular-expressions 

Хочу знати, наскільки може бути корисною система типу в мові програмування. Наприклад, я знаю, що в залежності від набраної мови програмування ми можемо створити Vectorклас, що включає розмір вектора в підпис типу. Це як приклад де-факто. Ми також можемо записати функцію, appendвикористовуючи ці підписи, щоб компілятор довів, що розмір списку …

9 type-theory  functional-programming  dependent-types 

З огляду на рядок , я хотів би знайти найдовший підряд (щонайменше двічі) підряд. Тобто, я хотів би знайти рядок який є подальшим (не повинно бути суміжним) з таким, що . Тобто, - рядок, половинки якої з’являються двічі поспіль. Зауважимо, що - це підряд , але не обов'язково підрядка.ssswwwsssw=w′⋅w′w=w′⋅w′w=w' \cdot …

9 algorithms  optimization  dynamic-programming  strings  subsequences 

Ми іноді чуємо, що "Свіфт не робить класичну (трасування) GC, вона використовує ARC". Але я не впевнений, чи є щось у семантиці Свіфта, що вимагає підрахунку посилань. Здається, що можна створити власний компілятор Swift і час виконання, щоб використовувати трасування GC. Отже, що саме "рахується" про Свіфта? Реалізація Apple чи …

9 semantics  garbage-collection 

Відмова: Я - біолог, тому вибачте за (можливо) основне питання, сформульоване в таких грубих термінах. Я не впевнений, чи варто мені задавати це питання тут або на DS / SC, але CS - найбільший із трьох, тож тут йдеться. (Після того як я опублікував, мені спало на думку, що перехресне …

9 machine-learning  probability-theory 

Припустимо, у мене є дві функції і і мені цікаво визначити, чи єFFFGGG F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Припустимо, що мої функції складаються з елементарних функцій (многочленів, експоненціалів, журналів і тригонометричних функцій), але не, скажімо, з ряду Тейлора. Чи вирішується ця проблема? Якщо ні, то це напіввідкладно? (Я запитую, тому що …

9 computability  undecidability  mathematical-analysis  computer-algebra 

Нехай рядок введення задається як . Тоді якщо NFA в даний час знаходиться в стані (і прочитав вхідний алфавіт w_i ), то перед читанням наступного символу введення NFA розбивається на два NFA, один перебуває в стані r, а інший знаходиться в s , якщо є перехід тип r \ xrightarrow …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

Зараз я намагаюсь оцінити багато непотрібної (фактичної) інформації, яку містить мій файл. Деякі називають це кількістю ентропії. Звичайно, є стандартний p (x) log {p (x)}, але я думаю, що Шеннон розглядав це лише з точки зору передачі, хоча каналу. Отже, формула вимагає розміру блоку (скажімо, у бітах, 8 зазвичай). Для …

9 entropy 

В алгоритмі Welch-Berlekamp для декодування кодів Рід-Соломона надається перелік точок представляють повідомлення з помилками на у невідомих місцях (і задано алгоритму). Вихід - це поліном, що проходить через усі задані точки, за винятком тих, в яких виникли помилки.(ai,bi)(ai,bi)(a_i, b_i)eeebibib_ieee Метод передбачає розв’язання системи лінійних рівнянь виду biE(ai)=Q(ai)biE(ai)=Q(ai)b_i E(a_i) = Q(a_i) …

9 algorithms  error-correcting-codes 

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

9 algorithms  graphs  optimization  packing 

Чи є характеристика графіків, крайовий набір яких розпадається на нерозбірливий союз ідеальних відповідностей? Один тривіальний клас таких графіків - -регулярні -бітові графіки. Їх безліч ребер буде розкладатися в непересічних вчинені паросполучення. ггd( n , n )(н,н)(n,n)ггd

9 graph-theory  graphs 

У мене є набір nnnточки, визначені в метричному просторі - я можу виміряти "відстань" між точками, але нічого іншого. Я хочу знайти найбільш центральну точку в цій множині, яку я визначаю як точку з мінімальною сумою відстаней до всіх інших точок. Обчислення метрики відбувається повільно, тому потрібно уникати, де це …

9 complexity-theory  computational-geometry  lower-bounds  search-problem 

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

9 lambda-calculus  functional-programming  combinatory-logic 

На сторінці вікіпедії тут добре описується алгоритм CDCL (і, здається, знімки були зроблені зі слайдів, створених Шарадом Маліком у Принстоні). Однак, описуючи, як відкликати все, що йдеться, це "до відповідної точки". MiniSAT також використовує варіант алгоритму CDCL, тому я прочитав цей документ. Вони, як видається, говорять про те, що ви …

9 machine-learning  satisfiability  sat-solvers  backtracking 

Я думаю про одинарні мови , де встановлюється з усіх слів, довжина яких є сумою квадратів. Формально: Неважко показати, що не є регулярним (наприклад, з Pumping-Lemma). Далі ми знаємо, що кожне натуральне число - це сума чотирьох квадратів, що означає, що для всі мови є регулярними, оскільки .LкLkL_kLкLkL_kкkkLк= {ан∣ n …

9 formal-languages  regular-languages