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

Я розумію, що церковна цифра виглядає як (... n разів ...) . Це означає не що інше, як "функція застосована разів до функції ". λ s . λ z . s scнcnc_nλ s . λ z. сλs.λz.s\lambda s. \lambda z. ss n zсzszs\;zсssнnnzzz Можливе визначення функції таке: . Дивлячись на …

10 lambda-calculus  church-numerals 

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

10 algorithms  constraint-programming 

У тракторі Уітт-проміння кожен перетин об'єкта променів породжує переданий промінь (якщо об'єкт був напівпрозорим), відбитий промінь та тіньовий промінь. Тіньовий промінь сприяє компоненту прямого освітлення. Але що станеться, якщо тіньовий промінь перетинає прозорий об’єкт? Чи ігнорується компонент прямого освітлення? Як засвічуються розсіяні у воді об'єкти, занурені у воду, якщо вони …

10 graphics 

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

10 algorithms  algorithm-analysis  turing-machines  space-complexity 

У теорії кодування "наскільки хороший код" означає, скільки канальних помилок можна виправити або, що краще сказати, максимальний рівень шуму, з яким може справитися код. Для отримання кращих кодів коди розроблені за допомогою великого алфавіту (а не двійкового). І тоді, код хороший, якщо він може мати справу з великою швидкістю помилкових …

10 information-theory  coding-theory 

Мені цікаво. Я працюю над цим типом даних в 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 

Дано ціле число і набір триплетів різних цілих чисел знайдіть алгоритм, який або знаходить перестановку множини такий, що або правильно визначає, що такої перестановки немає. Менш формально ми хочемо перевпорядкувати числа від 1 до ; кожна трійка у вказує на те, що повинен з'являтися перед у новому порядку, але не …

10 algorithms  optimization  scheduling 

Гаразд, ось питання з минулого тесту в моєму класі Теорія обчислень: Непридатний стан у ТМ - це стан, який ніколи не вводиться в жодному вхідному рядку. Нехай Доведіть, що можна визначити.U S E L E S S T MUSELESSTM={⟨M,q⟩∣q is a useless state in M}.USELESSTM={⟨M,q⟩∣q is a useless state in …

10 computability  undecidability  formal-methods  turing-machines 

Я намагаюся зрозуміти, що не так, з наступним доказом наступних рецидивів T(n)≤2(c⌊nТ( n ) = 2Т( ⌊ n2⌋ ) +nT(n)=2T(⌊n2⌋)+n T(n) = 2\,T\!\left(\left\lfloor\frac{n}{2}\right\rfloor\right)+n Т( 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) У документації сказано, що це неправильно через індуктивну …

10 algorithms  landau-notation  asymptotics  recurrence-relation 

У проблемі стабільного узгодження зазначено, що можуть існувати випадки, коли список чоловіків може задовольнятися своїми рішеннями, але список f не може, коли алгоритм працює з пропозиціями чоловіків.mmmfff З того, що я прочитав, виникає нестабільна відповідність, коли і f віддають перевагу один одному перед своїми поточними партнерами.mmmfff Я трохи загублений у …

10 combinatorics 

Нехай безліч термінального та безлічі нетермінальних символів деякої контекстно-вільна граматика .N GΣΣ\SigmaNNNГGG Скажіть, у мене є рядок така, що де та , є сентенціальной формами . x a y ∈ S ( G ) x , y ∈ ( Σ ∪ N ) ∗ S ( G ) Ga ∈ …

10 algorithms  context-free  formal-grammars  compilers 

Спочатку на math.SE, але там без відповіді. Розглянемо наступний алгоритм. 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 

Дворівневе планування корисно, коли система працює з більшою кількістю процесів, ніж поміщається в оперативній пам'яті: планувальник нижчого рівня перемикається між резидентними процесами, а планувальник вищого рівня замінює групи процесів, що входять і виходять. Я не знаходжу іншої згадки про дворівневе планування в операційних системах Ендрю Таненбаума : Проектування та впровадження …

10 operating-systems  process-scheduling 

Запишіть для десяткового розширення (без провідних ). Нехай і - цілі числа, . Розглянемо мову десяткових розкладів кратних плюс константа:ˉ nn¯\bar n nnn0aaabbba>0a>0a > 0aaa M = { ¯ ax + b ∣x∈N}M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} Є регулярними? без контексту?МMM (Контраст з мовою графіка афінної функції ) …

10 formal-languages  context-free  regular-languages  integers 

Лінійна часова логіка та детерміновані автомати Büchi є незрівнянними: DBA не може виразити , а LTL не може виражати "принаймні кожен непарний лист є" a "" . Але іноді цікаво дізнатись, чи може мова DBA можна виразити в LTL.FGaFGaFGa Мені потрібен алгоритм, який вирішує, чи можна описати мову даної DBA …

10 logic  automata  linear-temporal-logic  buchi-automata