Информатика

Когда мы сравниваем сложность двух алгоритмов, обычно бывает, что либо либо (возможно, оба), где и время выполнения (например) двух алгоритмов.g ( n ) = O ( f ( n ) ) f gе( n ) = O ( г( н ) )f(n)=O(g(n))f(n) = O(g(n))грамм( n ) = O ( f( …

15 asymptotics  mathematical-analysis 

Я пытаюсь найти ΘΘ\Theta ; направляющийся следующего рекуррентного уравнения: T(n)=2T(n/2)+T(n/3)+2n2+ 5 н + 42T(n)=2T(n/2)+T(n/3)+2n2+5n+42 T(n) = 2 T(n/2) + T(n/3) + 2n^2+ 5n + 42 Я считаю, что основная теорема неуместна из-за разного количества подзадач и разделов. Также рекурсивные деревья не работают, так как нет T( 1 )T(1)T(1) или, вернее, …

15 asymptotics  recurrence-relation  master-theorem 

Когда я был студентом, я увидел проблему в учебнике по цифровым системам / логическому проектированию, когда N солдат стоят в ряду и хотят одновременно стрелять. Более сложной версией проблемы было то, что солдаты стоят в общей сети, а не в ряду. Я уверен, что это классическая проблема, но я не …

15 algorithms  distributed-systems  clocks 

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

15 computability  automata  undecidability 

Что касается функций в таких языках, как ruby ​​(и javascript), которые позволяют программисту расширять / переопределять классы в любое время после его определения (включая классы, такие как String), теоретически выполнимо разработать язык, который позволит программам впоследствии расширяться его семантика. Пример: Ruby не допускает множественное наследование, но я могу расширить / …

15 programming-languages  semantics 

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

15 algorithms  data-structures  graphs 

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

15 algorithms  graphs 

К сожалению, я все еще не настолько силен в понимании алгоритма Sweep Line . Все статьи и учебники по этой теме уже прочитаны, однако до понимания еще далеко. Просто чтобы прояснить ситуацию, я стараюсь выполнять как можно больше упражнений. Но действительно интересные и важные задачи все еще остаются для меня …

15 algorithms  computational-geometry 

Логические вентили - это абстрактное устройство, которое может быть реализовано с помощью электромагнитных реле, вакуумных ламп или транзисторов. Эти реализации были успешными в вычислениях отчасти из-за различных свойств цепочки, долговечности и размера, выходящих за рамки их базовой двоичной стабильности. Они также хорошо работают, потому что электричество является источником энергии, который …

15 computer-architecture  didactics 

Это дополнительный вопрос этого . В предыдущем вопросе об экзотических конечных автоматах Алекс тен Бринк и Рафаэль обратились к вычислительным возможностям особого вида конечного автомата: автоматов с минимальной кучей. Они смогли показать, что множество языков, принятых на таких машинах ( ), не является ни подмножеством, ни надмножеством набора языков без …

15 formal-languages  automata  nondeterminism 

Есть ли доказательства того, что время, потраченное на написание или размышления о требованиях, повлияет на время разработки? Исследование, проведенное Standish (1995), показывает, что неполные требования частично (13,1%) способствовали провалу проектов. Проводятся ли какие-либо исследования, которые показывают, что время, потраченное на анализ требований, окажет какое-либо влияние на время разработки проекта, или …

15 software-engineering 

Размещая геометрические объекты в квадри (или октодереве), вы можете разместить объекты, размер которых превышает один узел, несколькими способами: Размещение ссылки на объект в каждом листе, для которого он содержится Размещение ссылки на объект в самом глубоком узле, для которого он полностью содержится И № 1, и № 2 Например: На …

15 graphics  data-structures  computational-geometry 

Существует ли алгебраическая характеристика числа слов заданной длины в обычном языке? Википедия приводит результат несколько неточно: Для любого регулярного языка существуют константы и многочлены таким образом, что для каждого п числа s_L (п) из слова длины n в L удовлетворяют уравнению s_L (n) = p_1 (n) \ lambda_1 ^ n …

15 formal-languages  regular-languages  word-combinatorics 

Множество является счетным, если оно имеет биекцию с натуральными числами, и вычислимо перечислимо (ce), если существует алгоритм, который перечисляет его членов. Любое не конечное вычислимо перечислимое множество должно быть счетным, поскольку мы можем построить биекцию из перечисления. Есть ли примеры счетных множеств, которые не являются вычислимо перечислимыми? Таким образом, существует …

15 computability  semi-decidability 

Я пытаюсь обернуть голову вокруг доказательства полноты NP, которое, кажется, вращается вокруг SAT / 3CNF-SAT. Возможно, это поздний час, но я боюсь, что не могу придумать формулу 3CNF, которая не может быть удовлетворена (возможно, я упускаю что-то очевидное). Можете ли вы привести пример такой формулы?

15 logic  satisfiability  3-sat