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

На це надихає питання інтерв'ю . Нам дається масив цілих чисел і ми повинні визначити, чи є чіткі такі, що i < j < ka1,…,ana1,…,ana_1, \dots, a_ni<j<ki<j<ki \lt j \lt k ak−aj=aj−aiak−aj=aj−aia_k - a_j = a_j - a_i k−j=j−ik−j=j−ik - j = j - i тобто послідовності і обидва знаходяться …

20 algorithms  complexity-theory  lower-bounds 

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

20 formal-grammars  compilers  left-recursion 

Уточнення розділів - це техніка, в якій ви починаєте з кінцевого набору об'єктів і поступово розділяєте набір. Деякі проблеми, як мінімізація DFA, можна вирішити за допомогою доопрацювання розділів досить ефективно. Я не знаю жодних інших проблем, які зазвичай вирішуються за допомогою уточнення розділів, окрім перелічених на сторінці Вікіпедії. З усіх …

20 algorithms  reference-request  data-structures  partitions  sets 

Теорема Майстра - прекрасний інструмент для вирішення певних видів рецидивів . Однак ми часто замальовуємо невід'ємну частину під час її нанесення. Наприклад, під час аналізу Мергесорта ми із задоволенням їдемо T(n)=T(⌊n2⌋)+T(⌈n2⌉)+f(n)T(n)=T(⌊n2⌋)+T(⌈n2⌉)+f(n)\qquad T(n) = T\left(\left\lfloor \frac{n}{2} \right\rfloor\right) + T\left(\left\lceil \frac{n}{2} \right\rceil\right) + f(n) до T′(n)=2T′(n2)+f(n)T′(n)=2T′(n2)+f(n)\qquad T'(n) = 2 T'\left(\frac{n}{2}\right) + f(n) …

20 asymptotics  proof-techniques  recurrence-relation  master-theorem 

Чи можливо, що і кардинальність збігаються з кардинальністю ? Або означає, що і мають різні кардинальності?P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}

20 complexity-classes  p-vs-np 

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

20 randomness  random-number-generator 

В даний час я самостійно вивчаю «Вступ до алгоритмів» (CLRS), і є один конкретний метод, який вони окреслюють у книзі, щоб вирішити відносини рецидивів. Наступний спосіб можна проілюструвати цим прикладом. Припустимо, у нас є рецидив T(n)=2T(n−−√)+lognT(n)=2T(n)+log⁡nT(n) = 2T(\sqrt n) + \log n Спочатку вони роблять заміну m = lg (n), …

20 asymptotics  recurrence-relation  mathematical-analysis  landau-notation 

Чи існує загальний метод вирішення повторення форми: T(n)=T(n−nc)+T(nc)+f(n)T(n)=T(n−nc)+T(nc)+f(n)T(n) = T(n-n^c) + T(n^c) + f(n) для , або загальнішеc&lt;1c&lt;1c < 1 T(n)=T(n−g(n))+T(r(n))+f(n)T(n)=T(n−g(n))+T(r(n))+f(n)T(n) = T(n-g(n)) + T(r(n)) + f(n) де є деякими підлінійними функціями .g(n),r(n)g(n),r(n)g(n),r(n)nnn Оновлення : Я пройшов посилання, подані нижче, а також проніс усі рецидивні відносини в замітках Джеффа Еріксона …

20 proof-techniques  recurrence-relation 

Дискретний логарифм такого ж , як знаходження в , дан , і .bbbab=cmodNab=cmodNa^b=c \bmod Nc NaaacccNNN Мені цікаво, у яких групах складності (наприклад, для класичних та квантових комп’ютерів) це і які підходи (тобто алгоритми) найкращі для виконання цього завдання. Наведене вище посилання на вікіпедію насправді не дає дуже конкретних умов …

20 algorithms  complexity-theory  time-complexity  discrete-mathematics 

Яка різниця між мовою програмування та мовою сценаріїв? Наприклад, розглянемо C проти Perl. Єдина різниця в тому, що мови сценаріїв вимагають лише перекладача і не потребують компіляції та зв’язування?

20 programming-languages 

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

20 automata  finite-automata  nondeterminism 

У Вікіпедії є таке визначення накачаної леми для звичайних мов ... Нехай - звичайна мова. Тоді існує ціле число ≥ 1 , що залежить тільки від таким чином, що кожен рядок в довжини щонайменше ( називається «накачування довжиною») може бути записана в вигляді = (тобто, можна розділити на три підрядки), …

20 formal-languages  regular-languages  pumping-lemma  finite-sets 

Вам дано n цілих чисел всі від до . Під кожним цілим числом слід записати ціле число між і з вимогою, щоб утворював не спадаючу послідовність. Визначте відхилення такої послідовності як . Створіть алгоритм, який знаходить значення b_i з мінімальним відхиленням у процесі виконання O (n \ sqrt [4] {l}) …

20 algorithms  optimization  greedy-algorithms  subsequences 

Чи є в якісь проблеми, які мають рандомізовані алгоритми, що долають нижчі межі детермінованих алгоритмів? Більш конкретно, чи ми знаємо будь-який для якого ? Тут \ mathsf {PTIME} (f (n)) означає набір мов, які можна визначити рандомізованою TM з постійною обмеженою (одно- або двосторонньою) помилкою на f (n) кроках.ПP\mathsf{P}кkkP T …

20 algorithms  complexity-theory  randomized-algorithms 

Припустимо, у нас є чорна скринька fff яку ми можемо запитувати та скидати. Коли ми скинути fff , стан fSfSf_S з fff встановлюється на елемент обраної рівномірно випадковим чином з безлічі { 0 , 1 , . . . , n - 1 }{0,1,...,n−1}\{0, 1, ..., n - 1\} де …

20 algorithms  probability-theory  randomized-algorithms