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

Нехай - деякий кінцевий набір символів фіксованого розміру. Нехай - деякий рядок над . Будеш говорити , що непорожня подстрока з є повторенням , якщо для деякого рядка .α Σ β α β = γ γ γΣΣ\Sigmaαα\alphaΣΣ\Sigmaββ\betaαα\alphaβ=γγβ=γγ\beta = \gamma \gammaγγ\gamma Тепер моє питання полягає в тому, чи справедливо таке: Для …

20 combinatorics  strings  word-combinatorics 

Нещодавно я знайшов у статті [1] спеціальну симетричну версію SAT під назвою 2/2/4-SAT . Але є багато варіантів комплектуючих, наприклад: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...НПNP\text{NP} Деякі інші варіанти простежуються: - SAT , Planar-NAE- SAT , ...222СБSAT\text{SAT}СБSAT\text{SAT} Чи існують документи (або веб-сторінки), які класифікують усі (дивні) варіанти , які …

20 complexity-theory  reference-request  satisfiability 

Припустимо, у нас є спрямований графік та два вузлиG=(V,E)G=(V,E)G=(V,E)AAA and BBB. I would like to know if there are already algorithms for calculating the following decision problem: Are there at least two paths between AAA and BBB of the same length? How about the complexity? Can I solve it in …

20 complexity-theory  graph-theory  time-complexity  graphs 

У мене виникли наступні сумніви щодо складності башти Ханої , щодо яких я хотів би отримати ваші коментарі. Це в НП? Спроба відповіді: Припустимо, Пеггі (доказ) вирішує проблему і передає її Віктору (верифікатору). Віктор легко помітить, що остаточний стан рішення є правильним (за лінійним часом), але у нього не буде …

20 complexity-theory  time-complexity 

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

20 computer-networks  protocols  distributed-systems 

Я шукаю структуру даних, яка виштовхне його найстаріший / останній елемент, якщо вставити новий елемент. Наприклад, нехай Dпредставляє структуру. Dмістить 3 елементи Number Dтипових значень типу буде ініціалізовано до 1, 2та 3. D = [ 1 , 2 , 3 ]D=[1,2,3]D = [1, 2, 3] Якщо Numberщо містить значення 5вставляється …

20 data-structures  arrays  queues 

Якщо система типів може призначити тип λ x . x xабо не закінчується (λx . x x) (λ x . x x), то ця система є наслідком непослідовної? Чи заселений кожен тип у цій системі? Чи можете ви довести хибність?

20 lambda-calculus  dependent-types 

Стаття під назвою «Похідне від регулярного типу» - це тип «Одного отвору», показує, що «блискавка» типу - його контексти з одним отвором - відповідають правилам диференціації в алгебрі типів. Ми маємо: ∂хх∂х0∂х1∂х( S+ Т)∂х( S× Т)↦ 1↦ 0↦ 0↦ ∂хS+ ∂хТ↦ ∂хS× Т+ S× ∂хТ∂xx↦1∂x0↦0∂x1↦0∂x(S+T)↦∂xS+∂xT∂x(S×T)↦∂xS×T+S×∂xT\begin{align} \partial_x x &\mapsto 1 \\ …

20 type-theory  algebra 

У книзі Ендрю У. Аппеля " Сучасне впровадження компілятора в ML" він говорить, що в розділі 17 теорія обчислюваності показує, що завжди можна буде винайти нові оптимізуючі перетворення і перейти до доказу, що повністю оптимізуючий компілятор вирішить проблему зупинки: Програма Q, який не дає виходу і ніколи не зупиняється, може …

20 computability  compilers  program-optimization 

Безконтекстні мови не закриваються доповненням, ми це знаємо. Наскільки я розумію, безконтекстні мови, які є підмножиною для деяких букв , закриваються під доповненням (!?) a , ba∗b∗a∗b∗a^*b^*a,ba,ba,b Ось мій аргумент. Кожна мова CF має напів-лінійний Parikh зображення . Напівлінійні набори закриті доповненням. Сукупність векторів, які представляють напівлінійний набір, легко перетворити …

20 formal-languages  reference-request  context-free  closure-properties 

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

20 reference-request  human-computing 

Якщо порівнювати впорядковану пару (x, y) з не упорядкованою парою {x, y} (безліч), то теоретично інформація є різницею лише в одному біті, тому що, якщо x приходить першим, або y потрібен рівно один біт для представлення. Отже, якщо нам задають набір {x, y}, де x, y - це два різних …

20 information-theory  data-compression 

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

20 reference-request  algorithm-analysis  time-complexity  runtime-analysis 

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

20 terminology  computability 

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

20 complexity-theory  reductions  np-hard