Информатика

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

9 complexity-theory  sorting  computation-models  lower-bounds 

Рассмотрим следующую проблему. Дано: Полный граф с действительными неотрицательными весами по ребрам. Задача: Найти планарный подграф максимального веса. («Максимум» среди всех возможных плоских подграфов.) Примечание: подграф максимального веса будет триангуляцией; если полный граф находится на вершинах, он будет иметь m = 3 n - 6 ребер.NNnм = 3 н - …

9 algorithms  graph-theory  optimization  combinatorics 

Поскольку я готовлюсь к курсу обучения в колледже формальных языков, я наткнулся на эти увлекательные посты ( Один Два ), в которых описывается, как найти простое число с помощью регулярного выражения . Как я уже сказал, регулярное выражение , а не регулярное выражение . Поскольку регулярное выражение может совпадать со …

9 regular-expressions 

В « Концепциях языков программирования» Джон Митчелл пишет, что статическая проверка типов обязательно является консервативной (чрезмерно строгой) из-за проблемы остановки. Он приводит в качестве примера: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) Может ли кто-то дать не надуманный ответ, который действительно будет иметь практическое значение? Я понимаю, что Java позволяет динамически …

9 programming-languages  compilers  type-checking 

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

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

Это продолжение другого вопроса здесь , и я надеюсь, что он не слишком философский. Как отметил Рафаэль в комментарии к моему предыдущему вопросу, на самом деле я не получил определения «вычислимый», но согласно некоторым прочитанным мною работам определение также не совсем понятно, когда речь идет о моделях вычислений, более слабых, …

9 computability  computation-models 

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

9 algorithms  satisfiability 

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

9 algorithms  efficiency  selection-problem 

Рассмотрим следующую проблему: Входные данные : списки X,YX,YX,Y целых чисел Цель : определить, существует ли целое число в обоих списках.xxx Предположим, что оба списка имеют размер . Существует ли детерминистический алгоритм с линейным временем для этой задачи? Другими словами, можете ли вы решить эту проблему за времени детерминистически, без использования …

9 algorithms  complexity-theory  lower-bounds 

Существуют ли какие-либо известные субквадратичные алгоритмы для вычисления минимального значения квадратного корня из 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 

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

9 computer-architecture  operating-systems  user-interface 

Я хотел бы привести цитату из Nielsen & Chuang, Quantum Computing and Quantum Information, издание, посвященное 10-й годовщине, стр. 5 (выделено мной): Один класс вызовов для сильного тезиса Черча-Тьюринга исходит из области аналоговых вычислений. За годы, прошедшие после Тьюринга, многие команды исследователей заметили, что некоторые типы аналоговых компьютеров могут эффективно …

9 computation-models  church-turing-thesis 

Как мы можем гарантировать, что мы продолжаем делать правильные и обоснованные заявления о классах сложности при использовании машин оракула Тьюринга? В соответствии с моим пониманием (на основе определений, данных во вводных учебниках по этой теме), машины оракула Тьюринга могут определить статус принадлежности строки по отношению к языку оракула за один …

9 complexity-theory  oracle-machines 

Скажем, у меня есть неориентированный конечный разреженный граф, и мне нужно эффективно выполнять следующие запросы: IsConnected(N1,N2)IsConnected(N1,N2)IsConnected(N_1, N_2) - возвращает если есть путь между и N_2 , в противном случае FН 1 Н 2 FTTTN1N1N_1N2N2N_2FFF ConnectedNodes(N)ConnectedNodes(N)ConnectedNodes(N) - возвращает набор узлов, которые доступны из NNN Это легко сделать, предварительно вычислив подключенные компоненты …

9 algorithms  graph-theory  graphs  data-structures 

Valiant & Vazirani доказал, что SAT сводится к UNIQUE SAT при рандомизированных вероятностных сокращениях за полиномиальное время. Calabro et al . показал, что УНИКАЛЬНЫЙ k-SAT такой же жесткий, как и k-SAT. Теперь возникает вопрос: если кто-то показывает, что UNIQUE k-SAT находится в P, означает ли это P = NP? Ссылки …

9 complexity-theory  satisfiability  p-vs-np