Информатика

9
Ищу научно-популярную книгу по биоинформатике или вычислительной геномике

Умный 15-летний парень, которого я знаю, интересуется как информатикой, так и генетикой. Я сказал ей, что эти поля составляют отличную комбинацию. Я хотел бы дать ей книгу по биоинформатике или вычислительной геномике. Я ищу забавную книгу, а не учебник. В частности, это должно вдохновлять людей...

9
Конвертировать CFG в КПК

Существует ли какой-либо набор правил или методов для преобразования любой контекстно-свободной грамматики в автомат для сжатия? В Интернете я уже нашел несколько слайдов, но не смог их понять. На слайде 10 он говорит о некоторых правилах, кто-нибудь может это...

9
Что такое семантика языка программирования?

В главе 1 « Практических основ языков программирования» автор упоминает, что абстрактные синтаксические деревья связаны с сортировками . Интуитивно, сортировки похожи на типы, но я хотел бы знать, есть ли у них точное определение. Я был бы рад, если бы некоторые ссылки были также...

9
Какую меру расстройства использовать при анализе быстрой сортировки

Я пытаюсь понять, почему быстрая сортировка с использованием раздела Lomuto и фиксированной точки вращения работает хаотично, но в целом плохо, на случайно сгенерированных входах. Я думаю, что, хотя входы генерируются случайным образом, последовательности могут иметь много порядка, но я не уверен,...

9
Что происходило до изучения PAC

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

9
Пример ложного предложения при допущении Тип: Тип

В теории типов, если кто-то позволяет типу быть членом самого себя, это делает теорию несостоятельной. Я понимаю это по аналогии с парадоксом Рассела в теории множеств, но предпочел бы, чтобы это было сделано в теории типов. Есть короткий пример аналога в теории...

9
Что такое хороший алгоритм для генерации случайных DFA?

Я генерирую случайные DFA для проверки алгоритма сокращения DFA на них. Алгоритм, который я сейчас использую, таков: для каждого состояния , для каждого символа в алфавите c добавьте δ ( q , c ) к некоторому случайному состоянию. Каждое состояние имеет одинаковую вероятность стать конечным...

9
Какая математика может быть интересна для этих областей CS?

Для моей степени CS у меня была большая часть «стандартного» математического фона: Исчисление: дифференциальные, целые, комплексные числа Алгебра: в значительной степени понятия вплоть до полей. Теория чисел: XGCD и связанные вещи, в основном для крипто. Линейная алгебра: вплоть до собственных...

9
Интерактивные доказательства для coNP

Я пытаюсь понять интерактивные системы доказательства и попробовал следующую задачу в качестве упражнения. Мы знаем, что и , поэтому придумали (легко понять) интерактивные системы доказательства для ?PH⊆PSPACEPH⊆PSпAСЕPH \subseteq PSPACEяпзнак равноPSпACЕяпзнак равнопSпAСЕIP=PSPACEпЧАСпЧАСPH...

9
Контекстно-зависимая грамматика для языка слов, соединенных между собой

Я ищу контекстно-зависимую грамматику, которая описывает следующий язык: .L = { w w ∣ w ∈ { a , b }*, | ш |≥ 1 }Lзнак равно{весвес|вес∈{a,б}*,|вес|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} У меня проблемы с тем, что никакие правила, такие как не разрешены, и поэтому я не могу поместить...

9
Узнайте, чья очередь покупать круассаны

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

9
Почему веса нейронных сетей инициализируются случайными числами?

Почему начальные веса нейронных сетей инициализируются как случайные числа? Я где-то читал, что это делается для того, чтобы «нарушить симметрию», и это ускоряет обучение нейронной сети. Как нарушение симметрии делает обучение быстрее? Разве инициализация весов в 0 не будет лучшей идеей? Таким...

9
Случайная выборка в многоугольнике

Я хотел бы выбрать равномерно случайную точку в многоугольнике ... Если выбрать большое количество, они с равной вероятностью могут попасть в два региона, если они имеют одинаковую площадь. Это было бы довольно просто, если бы это был квадрат, поскольку я бы взял два случайных числа в [0,1] в...

9
Splay дерево с нечетным числом поворотов

При вставке элемента в дерево сопряжения повороты выполняются парами на основе зигзагообразного или зигзагообразного рисунка. Когда нужно выполнить нечетное количество поворотов, можно либо сделать дополнительное вращение, начиная с листа, либо сохранить дополнительное вращение и сделать это в...

9
Можно ли доказать безопасность потока?

Имея программу, состоящую из переменных и инструкций, которые модифицируют эти переменные, и примитива синхронизации (монитор, мьютекс, синхронизированный java или блокировка C #), можно ли доказать, что такая программа является поточно-ориентированной? Есть ли даже формальная модель для описания...

9
если я хочу только один элемент обратной матрицы, существует ли быстрый алгоритм?

Я использую Mathematica для решения проблем. У меня вопрос по поводу обратной матрицы. если мне нужен только один элемент обратной матрицы, существует ли более быстрый алгоритм, чем использование Inverseдля вычисления всей обратной матрицы и извлечения нужного мне...

9
Трюк с ядром, для нейронных сетей

Я изучал нейронные сети и SVM. Учебники, которые я прочитал, подчеркнули, насколько важна ядро ​​для SVM. Без функции ядра SVM - это просто линейный классификатор. С помощью ядра, SVM также может включать нелинейные функции, что делает их более мощным классификатором. Мне кажется, что можно также...

9
Почему TSP не требует повторения городов?

Мне кажется странным, что TSP отрицает возможность повторных городов. Цель этого коммивояжера - поехать как можно быстрее и посетить все города, верно? Так что, если быстрее путешествовать по городу, в котором вы уже...