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

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

19 algorithms  terminology  optimization  dynamic-programming 

Я застряг у наступному питанні: "Регулярні мови - це саме ті, які приймаються кінцевими автоматами. Враховуючи цей факт, покажіть, що якщо мова LLL прийнята деяким кінцевим автоматом, то LRLRL^{R} також приймається деяким кінцевим; LRLRL^{R} складається з усіх слів LLL перевернутих".

19 formal-languages  regular-languages  automata  finite-automata 

Моя мета - вирішити таку проблему, яку я описав своїм входом та виходом: Вхід: Направлений ациклічний графік з m вузлами, n джерелами та 1 раковиною ( m > n ≥ 1 ).ГГGммmннn111м > n ≥ 1м>н≥1m > n \geq 1 Вихід: VC-розмірність (або наближення до неї) для нейронної мережі з …

19 algorithms  complexity-theory  machine-learning  neural-networks  vc-dimension 

Я постійно стикаюся з посиланнями на фіксовану точку запитань та відповідей на stackexchange, і я шукаю значення в Інтернеті, очевидно, знаходячи посилання на таких сайтах, як Вікіпедія. Однак жодна з посилань насправді не відповідає на моє питання про те, що є фіксованою точкою і що це означає у світі інформатики.

19 terminology 

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

19 algorithms  graphs  search-algorithms  graph-traversal 

Хочете вдосконалити цю посаду? Надайте детальні відповіді на це запитання, включаючи цитати та пояснення, чому ваша відповідь правильна. Відповіді без достатньої кількості деталей можуть бути відредаговані або видалені. Ми читали про алгоритми для MST, сильної сполученості, маршрутизації тощо у спрямованих графіках. Також нещодавно люди проводили дослідження щодо динамічних алгоритмів, спрямованих …

18 graphs  graph-theory  fault-tolerance 

У статті "Повторюваний тип даних JSON без конфліктів" я зіткнувся з цим позначенням для формального визначення "правил": Як називається ця позначення? Як я її читаю? Наприклад: DOCправило не має нічого в своєму «чисельник» - чому б і ні? то EXECі GETправила , по всій видимості, мають два окремих умови вище …

18 semantics  notation  formal-methods  operational-semantics 

У нас є логіка Хоара. Чому все ще можливо, що алгоритм правильний, але немає доказів його правильності? Припустимо, алгоритм виражений у С. Тоді ми можемо поетапно стверджувати, що він робить те, що повинен робити. Отже, моє запитання: Наведіть мені приклад правильного алгоритму, але не має підтвердження коректності. EDIT: Я думаю, …

18 correctness-proof  hoare-logic 

Завдяки теоремі про максимальний потік min-cut ми знаємо, що ми можемо використовувати будь-який алгоритм для обчислення максимального потоку в мережевому графіку для обчислення a -min-cut. Тому складність обчислення мінімальних -різів не більше, ніж складність обчислення максимального -потоку.( s , t ) ( s , t )( s , t )(s,t)(s,t)( …

18 complexity-theory  reductions  network-flow  graph-algorithms 

Проблема зупинки не може бути вирішена в загальному випадку. Можна створити визначені правила, які обмежують дозволені введення даних, і чи можна вирішити проблему зупинки для цього особливого випадку? Наприклад, мабуть, мовою, яка, наприклад, не дозволяє циклів, було б дуже легко сказати, зупиняється чи ні програма. Проблема, яку я зараз намагаюся …

18 computability  undecidability  software-engineering  formal-methods 

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

18 formal-languages  turing-machines  computability  automata 

Чи існує обчислювальна функція f: N → Qf:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} така, що: Для всіх t∈N:0≤f(t)&lt;Xт∈N:0≤f(т)&lt;Хt\in\mathbb{N}: 0\le f(t) < X limt→∞f(t)=Xlimт→∞f(т)=Х\lim\limits_{t\rightarrow\infty} f(t) = X Де - незрівнянне дійсне число.XХX Єдине посилання на це запитання, яке я знайшов, - це відповідь на це запитання : /math//a/1052579/168764 , де функція, здається, буде виконуватись, але …

18 computability 

Якщо існує якийсь алгоритм, який працює у часі O(f(n))O(f(n))O(f(n)) для якоїсь проблеми A, а хтось придумує алгоритм, який працює в часі, O(f(n)/g(n))O(f(n)/g(n))O(f(n)/g(n)) , де g(n)=o(f(n))g(n)=o(f(n))g(n) = o(f(n)) , чи вважається це поліпшенням порівняно з попереднім алгоритмом? Чи має сенс у контексті теоретичної інформатики придумати такий алгоритм?

18 algorithms 

Я новачок у теорії мови програмування. Я дивився деякі онлайн-лекції, в яких викладач стверджував, що функція з поліморфним типом forall t: Type, t-&gt;tє тотожністю, але не пояснив, чому. Може хтось мені пояснить, чому? Може бути доказом претензії з перших принципів.

18 programming-languages  type-theory 

Чи може без контексту граматика включати "мертві стани" з автомата, такі як G = ( { a , b , c } , { A , B , C)} , { A → a B , B → b , B → C, С→ c С} , А )?Г=({а,б,c},{А,Б,С},{А→аБ,Б→б,Б→С,С→cС},А)?G = …

18 context-free  automata  formal-grammars