Информатика

Я понимаю, что церковная цифра выглядит как λ s . λ z . s (... n раз ...) . Это означает не что иное, как «функция примененная раз к функции ».сNcnc_nλ s . λ z, sλs.λz.s\lambda s. \lambda z. ss n zsZszs\;zsssNnnZzz Возможное определение функции следующее: . Глядя на тело, …

10 lambda-calculus  church-numerals 

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

10 algorithms  constraint-programming 

У меня есть следующая алгоритмическая проблема: Определить сложность пространства Тьюринга распознавания цепочек ДНК, которые являются палиндромами Уотсона-Крика. Палиндромы Уотсона-Крика - это строки, обратным дополнением которых является исходная строка. Дополнением определяется буква-накрест, вдохновленный ДНК: А является дополнением Т и С является дополнением Г. Простой пример для WC-палиндром ACGT. Я придумал два …

10 algorithms  algorithm-analysis  turing-machines  space-complexity 

В трассировщике Whited ray каждое пересечение луч-объект порождает проходящий луч (если объект был полупрозрачным), отраженный луч и теневой луч. Теневой луч вносит вклад в компонент прямого освещения. Но что произойдет, если теневой луч пересекает прозрачный объект? Компонент прямого освещения игнорируется? Как рассеянные объекты, погруженные в воду, будут освещены, если они …

10 graphics 

Мне любопытно. Я работал над этим типом данных в OCaml : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Которым можно манипулировать, используя явно типизированные рекурсивные функции (функция, которая была добавлена ​​совсем недавно). Пример: …

10 logic  programming-languages  coq  inductive-datatypes 

В теории кодирования «насколько хорош код» означает, сколько ошибок канала можно исправить, или, лучше сказать, максимальный уровень шума, с которым может справиться код. Чтобы получить лучшие коды, коды разработаны с использованием большого алфавита (а не двоичного). И потом, код хорош, если он может обрабатывать большое количество ошибочных «символов». Почему это …

10 information-theory  coding-theory 

Итак, вот вопрос из прошлого теста в моем классе теории вычислений: Бесполезное состояние в ТМ - это состояние, которое никогда не вводится ни в какую строку ввода. Пусть Докажите, что неразрешима.USELESSTM={⟨M,q⟩∣q is a useless state in M}.USЕLЕSSTMзнак равно{⟨M,Q⟩|Q бесполезное состояние в M},\mathrm{USELESS}_{\mathrm{TM}} = \{\langle M, q \rangle \mid q \text{ …

10 computability  undecidability  formal-methods  turing-machines 

Пусть множество терминального и N множества нетерминальных символов некоторой контекстно-свободная грамматика G .ΣΣ\SigmaNNNGGG Скажем , у меня есть строка такое , что х у ∈ S ( G ) , где х , у ∈ ( Е ∪ N ) * и S ( G ) являются сентенциальные формы G …

10 algorithms  context-free  formal-grammars  compilers 

Я пытаюсь понять, что не так со следующим доказательством следующего повторения T(n)=2T(⌊n2⌋)+nT(n)=2T(⌊n2⌋)+n T(n) = 2\,T\!\left(\left\lfloor\frac{n}{2}\right\rfloor\right)+n T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n)T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n) T(n) \leq 2\left(c\left\lfloor\frac{n}{2}\right\rfloor\right)+n \leq cn+n = n(c+1) =O(n) Документация говорит, что это неправильно из-за индуктивной гипотезы, что Чего мне не хватает?T(n)≤cnT(n)≤cn T(n) \leq cn

10 algorithms  landau-notation  asymptotics  recurrence-relation 

Первоначально по математике. Но там без ответа. Рассмотрим следующий алгоритм. u := 0 v := n+1; while ( (u + 1) is not equal to v) do x := (u + v) / 2; if ( x * x <= n) u := x; else v := x; end_if end_while …

10 algorithms  loop-invariants  correctness-proof 

Напишите для десятичного расширения (без начального ). Пусть и целые числа с . Рассмотрим язык десятичных разложений кратных плюс константа:n¯n¯\bar nnnn0aaabbba>0a>0a > 0aaa M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M={ax+b¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} Является регулярными? контекстно-свободной?MMM (Контраст с языком графа аффинной функции ) Я думаю, что это хороший вопрос для домашней работы, поэтому …

10 formal-languages  context-free  regular-languages  integers 

Двухуровневое планирование полезно, когда в системе выполняется больше процессов, чем умещается в ОЗУ: планировщик более низкого уровня переключается между резидентными процессами, а планировщик более высокого уровня меняет группы процессов на вход и выход. Я не нахожу никаких других упоминаний о двухуровневом планировании в операционных системах Эндрю Таненбаума : проектирование и …

10 operating-systems  process-scheduling 

В проблеме устойчивого сопоставления утверждается, что могут существовать случаи, когда список людей может быть доволен своими решениями, но список не может быть, когда алгоритм запускается с предложениями мужчин.ммmееf Из того, что я прочитал, нестабильное совпадение происходит, когда и предпочитают друг друга своим текущим партнерам.ммmееf Я немного растерялся в определении стабильного …

10 combinatorics 

Линейная временная логика и детерминированные автоматы несопоставимы: администратор баз данных не может выражать , а LTL не может выражать «по крайней мере, каждая нечетная буква - это« а »» . Но иногда интересно узнать, можно ли выразить язык DBA в литах.FGaFGaFGa Мне нужен алгоритм, который решает, является ли язык данного …

10 logic  automata  linear-temporal-logic  buchi-automata 

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

10 computer-networks  network-topology