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

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

9 turing-machines  finite-automata 

Розглянемо наступну проблему. Дано: Повний графік з реальними негативними вагами на краях. Завдання: Знайти плоский підграф максимальної ваги. ("Максимум" серед усіх можливих плоских підграфів.) Примітка: підграф з максимальною вагою буде триангуляцією; якщо повний графік знаходиться на вершинах, він буде мати ребер.nnnm=3n−6m=3n−6m=3n-6 Питання: Який найкращий доступний алгоритм для цієї проблеми? Яка …

9 algorithms  graph-theory  optimization  combinatorics 

Я почув кілька можливих пояснень, тому мені хотілося б довіряти посилання. Оновлення 05.19: Мене цікавить питання, оскільки один із моїх студентів написав у своїй дисертації, що назва походить із нижченаведеного пояснення (1). До цього часу я думав / чув, що це походить від пояснення (2). Мені було б погано як …

9 terminology  reference-request  history 

Наскільки мені відомо, не існує а O ( n )O(n)O(n) найгірший алгоритм, який вирішує наступну проблему: Дана послідовність довжини нnn складаючись з кінцевих цілих чисел, знайдіть перестановку, де кожен елемент менший або рівний його наступнику. Але чи є докази того, що його немає в трансдихотомічній моделі обчислення ? Зауважте, що …

9 complexity-theory  sorting  computation-models  lower-bounds 

В даний час я читаю деякі статті про грудку Маркова і мені не вдається побачити різницю між ланцюгом Маркова та звичайним спрямованим зваженим графіком. Наприклад, у статті Оптимальне згущення простору стану в ланцюгах Маркова вони дають таке визначення CTMC (ланцюг Маркова безперервного часу): Ми вважаємо кінцевим CTMC з простором стану …

9 probability-theory  weighted-graphs  mathematical-foundations  markov-chains 

У поняттях з мов програмування Джон Мітчелл пише, що перевірка статичного типу обов'язково консервативна (надто сувора) через проблему зупинки. Він наводить як приклад: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) Чи може хтось надати неспростову відповідь, яка б насправді була проблемою? Я розумію, що Java дозволяє динамічно перевіряти касти для таких …

9 programming-languages  compilers  type-checking 

Це продовження іншого питання тут , і я сподіваюся, що воно не надто філософське. Як зазначав Рафаель у коментарі до мого попереднього запитання, я не дуже розумію поняття "обчислювальний", але згідно з деякими прочитаними статтями, це визначення також не зовсім зрозуміло, якщо мова йде про моделі обчислень, слабкіші за тюрінг …

9 computability  computation-models 

Оскільки я навчаюсь на моєму курсі офіційного мовного коледжу, я натрапив на ці захоплюючі пости ( One Two ), в яких описано, як знайти просте число за допомогою regexp . Як я вже сказав, регулярний вираз , а не регулярний вираз . Так як регулярний вираз може відповідати рядкам , …

9 regular-expressions 

Я використовую варіацію 5-хрестоподібного серединного фільтра для даних зображень на невеликій вбудованій системі, тобто x x x x x Алгоритм дійсно простий: прочитайте 5 безпідписаних цілих значень, отримайте найвищі 2, зробіть кілька обчислень на них і запишіть результат непідписаного цілого числа. Приємно, що 5 цілих вхідних значень знаходяться в межах …

9 algorithms  efficiency  selection-problem 

Я гімназист, який цікавиться інформатикою. Я розробив класний алгоритм для #SAT, і я реалізую і роблю проект на науковій ярмарці. Мій радник, який є найкращим вчителем науки в моїй школі, а також викладач AP Comp Sci, сказав мені, що вона абсолютно не має уявлення, про що йдеться у моєму проекті, …

9 algorithms  satisfiability 

Розглянемо наступну проблему: Введення : списки цілих чиселХ, YX,YX,Y Мета : визначити, чи існує ціле число яке є в обох списках.хxx Припустимо, обидва списки мають розмір . Чи існує детермінований алгоритм лінійного часу для цієї проблеми? Іншими словами, чи можете ви вирішити цю проблему за час детерміновано, не використовуючи випадковості?Х, …

9 algorithms  complexity-theory  lower-bounds 

В даний час я навчаюсь на іспиті з інформатики, і я натрапив на концепцію, яка мене дещо застукала. Коли ви вводите клавішу на клавіатурі, символ ASCII передається CPU. Після отримання цього символу ЦП видає той же символ на екран. Цей процес називається відлунням. Замість того, щоб брати участь у процесорі, …

9 computer-architecture  operating-systems  user-interface 

Чи є відомі підквадратичні алгоритми для обчислення підлоги квадратного кореня з nбілого цілого числа? Наївний алгоритм був би чимось подібним def sqrt(x): r = 0 i = x.bit_length() // 2 while i >= 0: inc = (r << (i+1)) + (1 << (i*2)) if inc <= x: x -= inc …

9 algorithms  numerical-algorithms 

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

9 complexity-theory  oracle-machines 

Я хотів би процитувати з Nielsen & Chuang, Квантове обчислення та квантова інформація, 10-річчя видання, сторінка 5 (акцент мій): Один клас викликів сильній тезі Церкви – Тьюрінга походить з області аналогових обчислень. За роки з часу Тьюрінга багато різних дослідників помітили, що певні типи аналогових комп'ютерів можуть ефективно вирішувати проблеми, …

9 computation-models  church-turing-thesis