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

Мені цікаво, чи існує метод автоматичного аналізу часу виконання, який працює принаймні на відповідній підмножині алгоритмів (алгоритми, які можна проаналізувати)? Я гуглив "Автоматичний аналіз алгоритму", який дав мені це, але це занадто математично. Я просто хочу простий приклад psuedocode, який я можу зрозуміти. Можливо, це занадто конкретно, але я вважав, …

10 algorithms  algorithm-analysis  reference-request  runtime-analysis 

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

10 formal-languages  context-free  closure-properties  regular-expressions 

Чи може хтось просвітити мене, чому рекурсивний аналізатор спуску з відстеженням, який намагається виробляти та (у тому порядку), не розпізнає мову, сформовану граматикою .S→ a SаS→аSаS \rightarrow aSaS→S→ааS \rightarrow aaS→ a Sа | a a S→аSа | ааS \rightarrow aSa\ |\ aa Здається, лише розбирають слова з мови .{ a2н …

10 context-free  formal-grammars  compilers  parsers 

У вас паличок довільної довжини, не обов'язково цілісних.nnn Вирізавши кілька паличок (один зріз ріже одну паличку, але ми можемо різати так часто, як хочемо), ви хочете отримати палички таким чином:k&lt;nk&lt;nk<n Всі ці палички мають однакову довжину;kkk Усі палички принаймні довші, ніж усі інші палички.kkk Зауважте, що ми отримуємо палички після …

10 algorithms  optimization 

Я працюю з алгоритмом відповідності шаблону, який генерує ациклічний автоматичний кінцевий стан, який приймає заданий текстовий рядок та всі його підрядки. Алгоритм FSA запускається на символічному поданні музичного потоку (наприклад, MIDI-дані). Музичний потік був попередньо оброблений, щоб розділити кожну пісню на марковані "сегменти". FSA генерується для кожного сегмента в кожній …

10 formal-languages  reference-request  finite-automata 

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

10 computer-architecture  performance  threads 

Давши два символи і b , давайте визначимо k - ту рядок Фібоначчі так:аa\text{a}бb\text{b}кkk Ж( k ) = ⎧⎩⎨баЖ( k - 1 ) ⋆ F( k - 2 )якщо k=0якщо k=1щеF(k)={bif k=0aif k=1F(k−1)⋆F(k−2)else F(k) = \begin{cases} \text{b} &\mbox{if } k = 0 \\ \text{a} &\mbox{if } k = 1 \\ …

10 algorithms  algorithm-analysis  runtime-analysis  strings  substrings 

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

10 complexity-theory  np-complete  board-games 

Враховуючи два цілих числа і у двійковому поданні, яка складність обчислення бітового розміру ?n x nxхxnнnxnхнx^n Один із способів зробити це - обчислити шляхом обчислення апроксимації з достатньою точністю. Виявляється, обчислення з бітами точок може бути виконано в де - час, необхідний для обчислення добутку двох цілих чисел довжини . …

10 complexity-theory  time-complexity  binary-arithmetic 

За словами Пітера Селінджера , обчислення лямбди є алгебраїчним (PDF). На початку цієї статті він говорить: Як відомо, комбінаторне тлумачення лямбда-числення є недосконалим, оскільки воно не задовольняє ξξξ -правило: під інтерпретацією M=NM=NM = N не означає λx.M=λx.Nλx.M=λx.N\lambda x.M = \lambda x.N (Barendregt, 1984). Запитання: Яка рівнозначність тут мається на увазі? …

10 terminology  lambda-calculus  combinatory-logic 

У проблемі зупинки нас цікавить, чи є машина Тьюрінга яка може визначити, чи зупиняється дана машина Тьюрінга M на даному вході i . Зазвичай доказ починається з того, що такий Т існує. Потім ми розглянемо випадок , коли ми обмежуємо I до М самим, а потім отримати протиріччя, використовуючи екземпляр …

10 computability  undecidability  halting-problem 

Якщо то ієрархія руйнується до другого рівня (за теоремою Карпа-Ліптона). А як щодо та ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Я намагався довести, що міститься в (інший напрямок тривіальний, якщо ), але безрезультатно, і я навіть не впевнений, що це правда.BPPBPP\sf BPPNPNP\sf NPRP=NPRP=NP\sf RP = NP Як ти гадаєш?

10 complexity-theory  complexity-classes  probabilistic-algorithms 

Припустимо, я надам вам непрямий графік із зваженими ребрами та скажу, що кожному вузлу відповідає точка в 3d-просторі. Щоразу, коли між двома вузлами є ребро, вага краю - це відстань між точками. Ваша мета - реконструювати відносні положення точок, враховуючи лише наявні відстані (представлені ребрами ваг). Наприклад, якщо я дав …

10 complexity-theory  graph-theory  computational-geometry  euclidean-distance 

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

10 complexity-theory  reductions  complexity-classes 

Відношення еквівалентності на множині кінцевих вершин може бути представлене ненаправленим графіком, який є неперервним об'єднанням кліків. Набір вершин представляє елементи, а ребро означає, що два елементи є рівнозначними. Якщо у мене є графік і графіки G 1 , … , G k , ми говоримо, що G охоплено G 1 …

10 algorithms  graph-theory  clique