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

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

10 computability  turing-machines  formal-grammars 

максимізувати f( х )за умови A x = bmaximize f(x)subject to Ax=b\text{maximize } f(\mathbf{x}) \quad\text{subject to } \mathbf{Ax} = \mathbf{b} де f( x ) = ∑i = 1N1 + х4i( ∑Ni = 1х2i)2-------------⎷,f(x)=∑i=1N1+xi4(∑i=1Nxi2)2,f(\mathbf{x}) = \sum_{i=1}^N\sqrt{1+\frac{x_i^4}{\left(\sum_{i=1}^{N}x_i^2\right)^2}}, і ∈ R M × N .x=[x1,x2,...,xN]T∈RN×1x=[x1,x2,...,xN]T∈RN×1\mathbf{x} = [x_1,x_2,...,x_N]^T \in \mathbb{R}^{N\times 1}A∈RM×NA∈RM×N\mathbf{A} \in \mathbb{R}^{M\times N} …

10 optimization 

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

10 data-structures  runtime-analysis  heaps  amortized-analysis 

Розглянемо наступну проблему, вхідним екземпляром якої є простий графік та натуральне ціле число k .ГГGккk Чи є такий набір такий, що G - S двосторонній і | S | ≤ k ?S⊆V( G )S⊆V(Г)S \subseteq V(G)G - SГ-SG - S|S| ≤k|S|≤к|S| \leq k Я хотів би показати, що ця проблема …

10 complexity-theory  np-complete  reductions 

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

10 algorithms  formal-grammars  context-free  parsing 

Що таке анонімні (лямбда) функції? Яке формальне визначення анонімної функції у функціональній мові програмування? Простіше кажучи, коли я програмую схему / lisp, я б сказав, що анонімна (лямбда) функція - це функція, яка не пов'язана з ідентифікатором. Це все, що можна формально сказати про функцію лямбда? Я думаю, є більше …

10 logic  programming-languages  lambda-calculus  functional-programming 

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

10 compilers  computer-architecture 

Це проблема, пов’язана з практичним заняттям конкурсу польського колегіального програмування 2012 року . Хоча я міг знайти рішення для основного конкурсу, я, здається, ніде не можу знайти рішення цієї проблеми. Проблема полягає в тому, що: Враховуючи набір чітких додатних цілих чисел не більше , знайдіть розмір m найменшого підмножини, що …

10 algorithms  number-theory 

Чи існують мови програмування (або логіка), які можуть реалізовувати (або виражати) функцію якщо і лише якщо - обчислювані біективні функції?f:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

Припустимо, у мене є спрямований графік з вагами ребра, виведеними з діапазону [1,…,K][1,…,K][1,\dots, K] де KKK є постійним. Якщо я намагаюся знайти найкоротший шлях за допомогою алгоритму Дейкстри , як я можу змінити структуру алгоритму / даних та покращити часову складність до O(|V|+|E|)O(|V|+|E|)O(|V|+|E|) ?

10 algorithms  data-structures  shortest-path  weighted-graphs 

Я дуже хотів би, щоб ваша допомога була в доказуванні наступного. Якщо то .NTime(n100)⊆DTime(n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P=NPP=NP\mathrm{P}=\mathrm{NP} Тут - клас усіх мов, який може визначити недетермінований апарат Тьюрінга в поліноміальний час та - клас усіх мов, який може бути визначений детермінованою машиною Тюрінга в поліномічний час .NTime(n100)NTime(n100)\mathrm{NTime}(n^{100})O(n100)O(n100)O(n^{100})DTime(n1000)DTime(n1000)\mathrm{DTime}(n^{1000})O(n1000)O(n1000)O(n^{1000}) Будь-яка допомога / пропозиції?

10 time-complexity  complexity-classes  p-vs-np 

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

10 complexity-theory  np-complete  complexity-classes  relativization  np 

Як довести, що очікувана висота випадково побудованого двійкового дерева пошуку з вузлами дорівнює ? Є доказ у CLRS Введення в алгоритми (глава 12.4), але я цього не розумію.nnnO(logn)O(log⁡n)O(\log n)

10 data-structures  algorithm-analysis  binary-trees  search-trees  average-case 

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

10 reference-request 

У мене є проблема, яку можна звести до проблеми призначення. (У попередньому запитанні я дізнався, як це зробити.) Що означає, що у нас є набір агентів і набір завдань, а також функція витрат . Нам потрібно знайти завдання, щоб загальна вартість була мінімальною.AAATTTc(i,j)c(i,j)c(i,j) Угорський алгоритм може знайти оптимальне рішення по …

10 algorithms  graph-theory  assignment-problem