Информатика

В конце 1990-х, когда я учился в аспирантуре, газета JH Saltzer; DP Reed; Д. Д. Кларк: Сквозные аргументы в дизайне системы . ACM Trans. Вычи. Сист. 2 (4): 277-288, 1984. DOI = 10.1145 / 357401.357402 в каждом классе операционных систем в каждом университете требовалось чтение, и это все еще кажется …

10 computer-architecture  operating-systems  distributed-systems  computer-networks 

Я только начинаю изучать теорию вычислений, которая изучает, что можно вычислить, как быстро, сколько памяти и с какой вычислительной моделью. У меня довольно простой вопрос, но я очень надеюсь, что некоторые из вас, ребята, помогут мне понять концепцию, лежащую в основе этого: Почему все сосредоточено вокруг понятия и определения ЯЗЫКОВ …

10 complexity-theory  formal-languages 

Текущая плавающая точка (ANSI C float, double) позволяет представить аппроксимацию действительного числа. Есть ли способ представить реальные цифры без ошибок ? Вот идея, которая у меня была, но она не идеальна. Например, 1/3 - это 0,33333333 ... (основание 10) или o.01010101 ... (основание 2), но также 0,1 (основание 3). Это …

10 binary-arithmetic  arithmetic  floating-point  real-numbers  number-formats 

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

10 formal-languages  regular-languages  finite-automata  pumping-lemma 

У нас было несколько вопросов о связи сокращений Кука и Карпа . Понятно, что сокращения Кука (сокращения Тьюринга за полиномиальное время) не определяют то же понятие NP-полноты, что и сокращения Карпа (сокращения многозначного за полиномиальное время), которые обычно используются. В частности, уменьшение Кука не может отделить NP от co-NP, даже …

10 complexity-theory  reference-request  np-complete  reductions 

Из доказательства Миллера-Рабина , если число проходит тест на примарность по Ферму , оно также должно пройти тест Миллера-Рабина с тем же основанием (переменная в доказательстве). И сложность вычислений такая же.aaa Следующее из теста примитивности Ферма : В то время как числа Кармайкла существенно реже, чем простые числа 1, их …

10 algorithms  primes 

Рассмотрим линейные программы D u a l : → c ≤ → y T Aпг я м а л :х⃗ ≤ б⃗ макс с⃗ TИкс⃗ прямaL:AИкс→≤б→Максимумс→TИкс→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} D u a l :с⃗ ≤ у⃗ TAмин у⃗ Tб⃗ DUaL:с→≤Y→TAминY→Tб→\begin{array}{|ccc|} …

10 algorithms  reference-request  linear-programming  linear-algebra  duality 

Я работаю над небольшим компилятором лямбда-исчисления, который имеет работающую систему логического вывода типа Хиндли-Милнера, а теперь также поддерживает рекурсивный метод давайте (не в связанном коде), который, как я понимаю, должно быть достаточно для завершения Тьюринга . Проблема сейчас в том, что я понятия не имею, как создать списки поддержки или …

10 lambda-calculus  type-theory  type-inference 

Введение и обозначения: Вот новая и простая версия моего алгоритма, которая, кажется, заканчивается (согласно моим экспериментам), и теперь я хотел бы доказать это. Пусть обозначение относится к p- мерной точке данных (вектору). У меня есть три набора A, B и C, так что | A | = n , | …

10 algorithms  complexity-theory  algorithm-analysis  optimization 

Какая нотация используется для обсуждения коэффициентов функций в нотации big-O? У меня есть две функции: f(x)=7x2+4x+2f(x)=7x2+4x+2f(x) = 7x^2 + 4x +2 g(x)=3x2+5x+4g(x)=3x2+5x+4g(x) = 3x^2 + 5x +4 Очевидно, что обе функции , на самом деле , но это не позволяет сравнивать дальше. Как мне обсудить коэффициенты 7 и 3. Уменьшение …

10 terminology  asymptotics  landau-notation 

Моя проблема такова: У меня есть физическая раскладка, представленная в виде графика. Узлы представляют собой крюки / воздуховоды, где провод может быть закреплен, а края - это возможное соединение между двумя узлами, откуда может идти провод. Есть несколько специальных узлов, называемых разделителями, из которых один провод может быть разделен до …

10 algorithms  graph-theory  optimization 

Обозначение Big-O скрывает постоянные коэффициенты, поэтому существуют некоторые алгоритмы , которые недопустимы для любого разумного размера входных данных, потому что коэффициент по члену очень велик.nO ( n )O(n)O(n)Nnn Существуют ли какие-либо известные алгоритмы, для которых время выполнения равно но с некоторым членом младшего разряда, который настолько велик, что для разумных …

10 algorithms  asymptotics 

Я видел веб-сайты, которые якобы «доказывают», что HTML5 + CSS является Turing Complete. Я видел сайты, которые якобы «доказывают», что SQL завершен по Тьюрингу. Я видел множество веб-сайтов, которые якобы «объясняют», что значит быть завершенным по Тьюрингу. Достаточно! Где я могу найти книгу (написанную экспертом в области теории вычислимости) или …

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

Для функций или вычислений у нас есть такие термины, как: Детерминизм - Детерминизм Чистый - Чистота Теперь, каково правильное существительное, соответствующее без побочных эффектов ? "Побочный эффект свободы"? "Побочный эффект свободы"? «Небоковая эффективная»?

10 terminology  programming-languages 

Эта проблема возникла в результате тестирования программного обеспечения. Проблему немного сложно объяснить. Сначала я приведу пример, а затем постараюсь обобщить проблему. Есть 10 предметов для тестирования, скажем, от A до J, и инструмент для тестирования, который может проверять 3 предмета одновременно. Порядок пунктов в инструменте тестирования не имеет значения. Конечно, …

10 algorithms  combinatorics  software-testing