Информатика

У меня есть файл, содержащий упорядоченные двоичные числа от до 2 n - 1 :0002n−12n−12^n - 1 0000000000 0000000001 0000000010 0000000011 0000000100 ... 1111111111 7z не сжимал этот файл очень эффективно (при n = 20 22 МБ были сжаты до 300 кБ). Существуют ли алгоритмы, которые могут распознать очень простую …

27 information-theory  data-compression 

Учитывая временных интервалов, которые хотят купить k человек. Человек i имеет значение h ( i , j ) ≥ 0 для каждого временного интервала j . Каждый человек может купить только один последовательный блок временных интервалов, который может быть пустым.NnnКkkяiih ( i , j ) ≥ 0h(i,j)≥0h(i,j)\geq 0Jjj Существует ли …

27 algorithms  optimization  np-hard  scheduling 

Я делаю презентацию о машинах Тьюринга, и я хотел бы рассказать о FSM, прежде чем представлять машины Тьюринга. Проблема в том, что я действительно не знаю, что ОЧЕНЬ отличается друг от друга. Вот что я знаю, это другое: FSM имеет последовательные состояния в зависимости от соответствующего условия, в то время …

27 terminology  turing-machines  finite-automata  machine-models 

Многим пришло в голову, что во всех NPNP\textbf{NP} полных доказательствах, которые я читал (которые я помню), всегда тривиально показать, что проблема в NPNP\textbf{NP} , и показать, что это NPNP\textbf{NP} жесткая, является ... трудной частью , Какие NPNP\textbf{NP} полные проблемы это те, чьи верификаторы за полиномиальное время весьма нетривиальны?

27 complexity-theory  np-complete  np 

Недавно в классе CS я познакомился с машиной Тьюринга. После урока я потратил более 2 часов, пытаясь выяснить, какова связь между лентой и машиной. Я не знал о существовании компьютерных лент или о том, как ленты и машины взаимодействовали до сегодняшнего дня. Я до сих пор не понимаю, почему машина …

27 turing-machines  computation-models 

Скажем, у вас есть два полинома: и .3+x3+x3 + x2x2+22x2+22x^2 + 2 Я пытаюсь понять, как БПФ помогает нам умножить эти два полинома. Однако я не могу найти какие-либо разработанные примеры. Может кто-нибудь показать мне, как алгоритм FFT умножит эти два полинома. (Примечание: в этих многочленах нет ничего особенного, но …

27 algorithms  fourier-transform  divide-and-conquer 

Какова временная сложность нахождения диаметра графа ?G = ( V, E)G=(V,E)G=(V,E) O ( | V|2)O(|V|2){O}(|V|^2) O ( | V|2+ | В| ⋅ | Е| )O(|V|2+|V|⋅|E|){O}(|V|^2+|V| \cdot |E|) O ( | V|2⋅ | Е| )O(|V|2⋅|E|){O}(|V|^2\cdot |E|) O ( | V| ⋅ | Е|2)O(|V|⋅|E|2){O}(|V|\cdot |E|^2) Диаметр графа является максимумом множества кратчайших расстояний …

27 algorithms  time-complexity  graph-theory 

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

27 machine-learning  statistics 

Я инженер-электрик, и у меня был только один курс CS в колледже 26 лет назад. Тем не менее, я также преданный пользователь Mathematica. У меня есть ощущение, что машины Тьюринга очень важны в информатике. Разве важна только теория информатики? Если есть практические последствия / применения, каковы некоторые из них?

27 turing-machines 

Этот вопрос был перенесен из Биржи стека разработки программного обеспечения, поскольку на него можно ответить в Бирже стеков информатики. Мигрировал 6 лет назад . Можем ли мы изучать языки программирования в контексте лингвистики? Языки программирования развиваются естественным образом аналогично естественным языкам? Хотя полная рациональность и математическая согласованность важны для языков …

27 programming-languages  natural-language-processing 

Я читаю книгу: « Код: скрытый язык компьютерного оборудования и программного обеспечения » и в главе 2 автор говорит: Говорят, что азбука Морзе является двоичным (буквально означающим два на два) кодом, потому что компоненты кода состоят только из двух вещей - точки и тире. Википедия с другой стороны говорит: Строго …

27 information-theory  coding-theory  encoding-scheme 

Как видно в этой недавней полосе XKCD и в этом недавнем сообщении в блогеПо словам Питера Норвига (история Слэшдота, в которой рассказывается о последнем), «регулярное выражение в гольфе» (которое лучше назвать проблемой разделения регулярных выражений) - это задача определения кратчайшего из возможных регулярных выражений, которое принимает каждое слово в множестве …

27 complexity-theory  np-complete  regular-expressions 

В основном мы пишем программы на языке высокого уровня. Так что во время учебы я наткнулся на ассемблер. Таким образом, ассемблер преобразует язык ассемблера в машинный язык, а компилятор делает то же самое с языком высокого уровня. Я обнаружил, что на ассемблере есть инструкции, такие как move r1 r3, move …

27 programming-languages  education  history 

Ищите понимание решений, связанных с языковым дизайном, собираемым мусором. Возможно, специалист по языку мог бы просветить меня? Я родом из C ++, так что эта область сбивает меня с толку. Кажется, что почти все современные языки со сборкой мусора с поддержкой объектов OOPy, такие как Ruby, Javascript / ES6 / …

27 programming-languages  memory-management  garbage-collection  language-design 

Обратите внимание, хотя я знаю, как программировать, я довольно новичок в теории CS. Согласно этому ответу Полнота по Тьюрингу - это абстрактное понятие вычислимости. Если язык является полным по Тьюрингу, то он способен выполнять любые вычисления, которые может выполнять любой другой полный по Тьюрингу язык. И любая программа, написанная на …

26 computability  programming-languages  turing-completeness