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

Я нещодавно читав про алгоритми перевірки подібності і читав, що проблема є P-завершеною . Крім того, наслідком цього є те, що ця проблема, або будь-яка проблема, повна P, навряд чи матиме ефективні паралельні алгоритми. У чому полягає інтуїція цього останнього твердження?

23 complexity-theory  parallel-computing 

Хтось, кого я знаю, планує впровадити текстовий редактор найближчим часом, що спонукало мене задуматися про те, які структури даних швидкі для текстового редактора. Найбільш використовувані структури - це, мабуть, канати або щілинні буфери . Дерева Van Emde Boas - це лише найшвидші черги з пріоритетними напрямками, якщо ви не заперечуєте …

23 data-structures 

EPAL, мова навіть паліндром, визначається як мова, породжена наступною однозначною без контексту граматикою: S→aaS→aaS \rightarrow a a S→bbS→bbS \rightarrow b b S→aSaS→aSaS \rightarrow a S a S→bSbS→bSbS \rightarrow b S b EPAL - це «бана» багатьох алгоритмів розбору: мені ще не доводилося стикатися з будь-яким алгоритмом розбору однозначних CFG, який …

23 formal-languages  formal-grammars  parsers 

Спочатку матроід були введені узагальнювати поняття лінійної незалежності сукупності підмножин над деякими підставами встановити I . Певні проблеми, що містять цю структуру, дозволяють жадібним алгоритмам знаходити оптимальні рішення. Пізніше було введено поняття greedoids для узагальнення цієї структури, щоб охопити більше проблем, які дозволяють знайти оптимальні рішення жадібними методами.ЕЕEЯЯI Як часто …

23 algorithms  optimization  combinatorics  greedy-algorithms  matroids 

Це питання було перенесено з Теоретичної біржі стека комп'ютерних наук, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 7 років тому . Ця проблема взята з інтерв'юstrestreet.com Нам дано масив цілих чисел Y={y1,...,yn}Y={y1,...,yn}Y=\{y_1,...,y_n\} що представляє nnn сегментів рядка таким, що кінцевими точками сегмента iii є (i,0)(i,0)(i, 0) та (i,yi)(i,yi)(i, …

23 algorithms  probability-theory 

Над тут , Дейв Кларк запропонував , що для того , щоб порівняти асимптотический зростання ви повинні побудувати функції під руку. Як теоретично схильний інформатик, я називаю (редагую) це водообіг як сюжет ніколи не є доказом. По-друге, я повинен погодитися, що це дуже корисний підхід, який навіть іноді недостатньо використовується; …

23 asymptotics  didactics 

Це питання було перенесено з Теоретичної біржі стека комп'ютерних наук, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 7 років тому . "Алан Тьюрінг довів у 1936 році, що загальний алгоритм вирішення проблеми зупинки для всіх можливих пар програм-введення не може існувати" Чи можу я знайти загальний алгоритм для …

23 computability  formal-methods  halting-problem  software-verification 

Це питання було переміщено з обміну стека математики, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 3 роки тому . Я намагався знайти алгоритм, щоб знайти обкладинку максимального вершинного циклу спрямованого графа - тобто набір непересічних циклів, які містять усі вершини в G , з якомога більше циклів (ми …

23 graph-theory  algorithms 

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

23 computer-architecture  clocks 

Це питання було перенесено з Теоретичної біржі стека комп'ютерних наук, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 7 років тому . У цій статті Вікіпедії про проблему Кліка в теорії графів на початку зазначається, що проблема пошуку кліки розміром K у графі G є NP-повною: Кліки також вивчалися …

23 complexity-theory  graph-theory  np-complete  complexity-classes 

Як видно з назви, минулих вихідних я провів пару годин, намагаючись зрозуміти клас мов, відповідний регулярним виразам, сумісним Perl, за винятком будь-якого відповідного оператора, який дозволяє виконувати довільний код всередині шаблону . Якщо ви не знаєте, що таке PCRE, прочитайте це та це . Проблема полягає в тому, що ресурси, …

23 formal-languages  regular-expressions 

Я шукаю підказки у питанні, яке задав мій інструктор. Тож я щойно зрозумів, що ця проблема рішення :N P - c o m p l e t eNП-cомpлете\sf{NP\text{-}complete} У графі , чи є в розрізненне дерево, яке містить точний набір як листя. Я зрозумів, що ми можемо довести, що це …

23 complexity-theory  graphs  np-complete 

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

23 algorithms  sorting 

Коли велике O вперше було використано в інформатиці і коли воно стало стандартним? Сторінка Вікіпедії на цій сторінці цитує Кнут, Великий Омікрон та Велику Омегу та Велику тету , ЗНАЧЕННЯ квітень-червень 1976 року, але початок цієї статті читається Більшість з нас звикли до думки використовувати позначення щоб виступати за будь-яку …

22 asymptotics  history 

Я знаю, що в імперативних мовах програмування цикл time-do є достатнім як конструкція потоку управління, щоб зробити мову Turing-повною (що стосується потоку управління - звичайно, нам також потрібна необмежена пам'ять і певні оператори ...) . Суть мого питання полягає в тому: чи цикл do-while має таку ж обчислювальну потужність, що …

22 programming-languages  turing-completeness  loops  imperative-programming