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

Читаючи це питання " Природні проблеми, які не можна визначити, але не закінчуючи Тьюрінга ", на думку мені прийшла наступна мова: Якщо - функція зайнятого бобра (максимально досяжний бал серед усіх зупинених 2-символьних машин n-стану Тюрінга вищеописаного типу при запуску на порожню стрічку), визначте функцію:Σ ( ⋅ )Σ(⋅)\Sigma(\cdot) Б Б …

9 computability  turing-machines 

Ми хочемо плитку m×mm×mm\times m-квадра з використанням двох типів плитки: 1×11×11 \times 1-квадра плитка і 2×22×22 \times 2- плитка-квадрат така, що кожен підстилаючий квадрат покритий без перекриття. Давайте визначимо функціюf(n)f(n)f(n) що дає розмір найбільшого однозначно оброблюваного квадрата з використанням nnn 1×11×11\times 1-квадрати і будь-яку кількість 2×22×22 \times 2-квадрати. Чи можна …

9 computability  combinatorics 

Чи легкий / відомий цей варіант проблеми сукупності підмножини? Враховуючи ціле і набір натуральних чисел таких, що кожен має максимум біти, встановлені на ( ); чи існує підмножина така, що сума її елементів дорівнює ?mmmA={x1,x2,...,xn}A={x1,x2,...,xn}A = \{x_1, x_2, ..., x_n\}xixix_ik=2k=2k=2111xi=2bi1+2bi2,bi1,bi2≥0xi=2bi1+2bi2,bi1,bi2≥0x_i = 2^{b_{i_1}}+2^{b_{i_2}},\;\; b_{i_1},b_{i_2}\geq 0A′⊆AA′⊆AA' \subseteq Ammm Це в ? Чи …

9 complexity-theory  reference-request  decision-problem 

Нехай бути мовою всіх -CNF формул , таким чином, що , по крайней мере з положення «и можуть бути задоволені.LϵLϵL_\epsilon222φφ\varphi(12+ ϵ )(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi Мені потрібно довести, що існує st є -твердий для будь-якого .ϵ'ϵ′\epsilon'LϵLϵL_\epsilonН ПNP\mathsf{NP}ϵ &lt;ϵ'ϵ&lt;ϵ′\epsilon<\epsilon' Ми знаємо, що може бути приблизним до переваги пунктів із скорочення . Як я повинен …

9 complexity-theory  satisfiability  approximation 

Розглянемо непрямий графік із джерелом та вершиною раковини. Ми хотіли б видалити мінімальну кількість вершин у цьому графіку, щоб відключити будь-який шлях між джерелом та раковиною. Чи можемо ми це зробити, скажімо, алгоритм максимального потоку, мінімізація?

9 algorithms  graph-theory  network-flow 

Чому обчислювальні числа (у розумінні Тюрінга) перелічуються? Це повинно бути дуже очевидно, але в даний момент я його просто не бачу.

9 computability  turing-machines  enumeration 

Мене бентежить питання про визначення ПП та БПП . Припустимо, що є характерною функцією для мови . Я повинен бути вірогідною машиною Тюрінга. Чи правильні такі визначення:χχ\chiLL\mathcal{L} Б ПП= { L : Pr [ χ ( x ) ≠ M( x ) ] ≥12+ ϵ∀ x ∈ L , ϵ …

9 complexity-theory  terminology  randomized-algorithms  complexity-classes 

Я шукаю ефективний алгоритм, щоб знайти найдовший повторюваний візерунок у рядку. Наприклад, розглянемо наступний рядок чисел: 5431428571428571428571428571427623874534. Як бачите, 142857142857це найдовший візерунок, який повторюється пару разів (принаймні двічі) у цьому рядку. Повторний рядок не повинен містити жодної ідеї, а не грубої сили?

9 algorithms  strings  subsequences 

Я застряг у цій проблемі: Дано масив AAA першої nnn натуральні числа випадковим чином перестановлені, масив BBB будується так, що B(k)B(k)B(k) - кількість елементів від A(1)A(1)A(1) до A(k−1)A(k−1)A(k-1) які менші, ніж A(k)A(k)A(k). і) Дано AAA ви можете знайти BBB в O(n)O(n)O(n)час? ii) ДаноBBB ви можете знайти AAA в O(n)O(n)O(n) час? …

9 algorithms  arrays  permutations 

У мене складний запит QQQ використовується для пошуку набору даних SSS знайти Нточний= { s ∈ S∣ де Q ( s ) істинно }Нточний={с∈S∣де Q(с) правда}H_\text{exact} = \{s \in S \mid \text{where $Q(s)$ is True}\}. Кожен запит займає в середньому часттt тому загальний час у лінійному пошуку становить t ⋅ …

9 algorithms  optimization  machine-learning  greedy-algorithms  databases 

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

9 algorithms  complexity-theory  graph-theory  weighted-graphs 

Скажімо, ми знаємо, що проблема A є важкою, тоді ми зводимо A до невідомої задачі B, щоб довести B також важко. Як приклад: ми знаємо, що триколірне забарвлення важко. Потім ми зменшуємо 3-кольорові до 4-х забарвлень. Поєднуючи один із кольорів у 3-х забарвленнях, ви маєте 4-кольорові кольори, ерго-4-розфарбовування важко. Ось …

9 complexity-theory  np-complete  reductions 

Чи я правильний у своєму спостереженні, що кардинальність максимальної відповідності двопартійного графіка завжди дорівнює ?MMMG(U,V,E)G(U,V,E)G(U, V, E)min(|U|,|V|)min(|U|,|V|)\min(|U|, |V|)

9 graph-theory  graphs  bipartite-matching 

Я взяв свою теорію обчислювальних іспитів кілька тижнів тому, і це було одне з питань: Припустимо, моваL={(anbm)r∣n,m,r≥0}L={(anbm)r∣n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} Чи регулярно L? Якщо так, введіть регулярний вираз або автоматику для нього. Після того, як я коротко попросив його відповісти після іспиту, виявляється, що це дійсно регулярно (я вважаю, що …

9 formal-languages  regular-languages  regular-expressions 

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

9 computability  turing-machines  reductions  simulation