Информатика

Черный ящик с f(x)f(x)f(x) означает, что я могу оценить многочлен в любой точке.f(x)f(x)f(x) Вход : черный ящик монического полинома степени .f(x)∈Z+[x]f(x)∈Z+[x]f(x) \in\mathbb{Z}^+[x]ddd Вывод: В коэффициенты многочлена .dddf(x)f(x)f(x) Мой алгоритм: пусть f(x)=xd+ad−1xd−1+⋯+a1x+a0f(x)=xd+ad−1xd−1+⋯+a1x+a0f(x) = x^{d} + a_{d-1} x^{d-1} + \cdots + a_1 x + a_0 Оцените полином в многих точках, используя черный …

17 algorithms  polynomials 

Из Википедии: В теоретической информатике правильность алгоритма утверждается, когда говорят, что алгоритм корректен по отношению к спецификации. Но проблема в том, что получить «подходящую» спецификацию - это не тривиальная задача, и нет 100% правильного метода (насколько я знаю), чтобы получить правильный, это просто оценка, поэтому, если мы собираемся принять предикат …

17 formal-methods  software-verification  program-correctness 

Например, когда мы рассматриваем DFA, который позволяет строкам, не имеющим подстрок, 00или 11I, я могу создать следующие два DFA:

17 automata  finite-automata 

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

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

Я прочитал где - то , что наиболее эффективный алгоритм найден можно вычислить факторы в O ( exp( ( 64 / 9 ⋅ б )1 / 3⋅ ( журналb)2/3)O(exp⁡((64/9⋅b)1/3⋅(log⁡b)2/3)O(\exp((64/9 \cdot b)^{1/3} \cdot (\log b)^{2/3}) время, но код я написал это или возможно зависимости от того, насколько быстры деление и модуль. …

17 complexity-theory  time-complexity  factoring  primes 

Из моих чтений об операционных системах (чтение основного материала в Википедии, технических сайтах и ​​т. Д.) Я узнал, что операционная система - это программа, которая позволяет программам и приложениям эффективно и безопасно взаимодействовать с оборудованием. Однако я не совсем понимаю, как операционная система контролирует работу компьютера, когда он сам нуждается …

17 operating-systems 

В моем курсе « Алгоритмы и структуры данных» профессора, слайды и книга ( Введение в алгоритмы, 3-е издание ) использовали слово NILдля обозначения, например, дочернего элемента узла (в дереве), который не существует. Однажды, во время лекции, вместо того, чтобы сказать NIL, мой одноклассник сказал null, и профессор поправил его, и …

17 algorithms  terminology  data-structures  notation 

Я даю вам список из nnn битвекторов шириной kkk . Ваша цель - вернуть два битовых вектора из списка, у которых нет общих единиц, или сообщить, что такой пары не существует. Например, если я дам вам [00110,01100,11000][00110,01100,11000][00110, 01100, 11000] то единственным решением будет {00110,11000}{00110,11000}\{00110, 11000\} . В качестве альтернативы, вход …

17 algorithms  search-algorithms 

Согласно Википедии , Операция test-and-set может решить проблему консенсуса без ожидания для не более чем двух одновременных процессов. Почему это не может решить проблему для более чем двух процессов?

17 concurrency  consensus 

Я думаю, что знаю, что такое «жесткая» операционная система реального времени. Это операционная система с планировщиком, которая предоставляет контракт с программистом приложения. Приложение предоставляет крайний срок для каждого запроса на выделение ресурсов. Если запросы крайнего срока осуществимы , планировщик гарантирует, что каждый ресурс будет выделен запрашивающему приложению до крайнего срока. …

17 terminology  operating-systems  process-scheduling  real-time 

Кто-нибудь когда-либо писал систему (программное обеспечение или подробное объяснение на бумаге с простыми примерами), которая генерирует компьютерные программы? Я ввожу и он создает программу, которая перечисляет простые числа меньше 10. P r i m e ( x ) просто определяется как 1 < x ∧ ∄ Aпг я м е …

17 logic  type-theory  coq  proof-assistants 

Существует ли машина Тьюринга, которая останавливается на всех входах, но это свойство не доказуемо по какой-то причине? Мне интересно, если этот вопрос был изучен. Обратите внимание, что «недоказуемое» может означать «ограниченную» систему доказательств (которая в слабом смысле думает, что ответ должен быть да). Меня, конечно, интересует самый сильный ответ, т. …

17 computability  reference-request  turing-machines  halting-problem 

Я читаю книгу HoTT, и мне тяжело с индукцией пути. Когда я смотрю на тип в разделе 1.12.1 : у меня нет проблем с пониманием того, что это значит (я просто написал тип из памяти, чтобы проверить это).ind=A:∏C:∏x,y:A(x=Ay)→U((∏x:AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),ind=A:∏C:∏x,y:A(x=Ay)→U((∏x:AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),\text{ind}_{=_A}:\prod_{C:\prod\limits_{x,y:A}(x=_Ay)\to \mathcal{U}} \left( \left(\prod_{x:A}C(x,x,\text{refl}_x)\right) \to \prod_{x,y:A}\prod_{p:x=_Ay} C(x,y,p) \right), У меня возникла следующая проблема: …

17 induction  dependent-types  homotopy-type-theory 

Есть ли какой-нибудь общий метод доказательства проблемы, НЕ являющейся NP-Complete? Я получил этот вопрос на экзамене, который попросил меня показать, является ли какая-то проблема (см. Ниже) NP-Complete. Я не мог придумать никакого реального решения, и просто доказал, что это было в P. Очевидно, что это не настоящий ответ. NP-Complete определяется …

17 complexity-theory  np-complete  proof-techniques 

Я изучал книгу "C ++ Demysified" . Теперь я начал читать «Объектно-ориентированное программирование в первом выпуске Turbo C ++ (1-е издание)» Роберта Лафора. У меня нет никаких знаний о программировании, которое выходит за рамки этих книг. Эта книга может быть устаревшей, потому что ей 20 лет. У меня есть последнее …

17 programming-languages  object-oriented  programming-paradigms