Информатика

Поскольку вопрос гласит, как мы можем доказать, что ?NTIME(f(n))⊆DSPACE(f(n))NTIME(f(n))⊆DSPACE(f(n))\textbf{NTIME}(f(n)) \subseteq \textbf{DSPACE}(f(n)) Кто-нибудь может указать мне на доказательство или изложить его здесь? Спасибо!

9 complexity-theory  time-complexity  space-complexity 

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

9 terminology  traveling-salesman 

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

9 machine-learning  artificial-intelligence  neural-networks 

Фон. Я пишу некоторый код для полуавтоматической оценки, используя оценку сверстников как часть процесса оценки. Студентам дают пары эссе за один раз, и у студентов есть ползунок, чтобы выбрать, который лучше и насколько он лучше. например, слайдер может выглядеть примерно так: A---X-B На основе результатов оценки сверстников эссе ранжируются, и …

9 algorithms  graphs  modelling 

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

9 proof-techniques  correctness-proof  concurrency  threads 

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

9 data-structures  binary-trees  splay-trees 

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

9 machine-learning  artificial-intelligence  neural-networks 

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

9 algorithms  randomness  sampling  random-number-generator 

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

9 artificial-intelligence  cryptography  discrete-mathematics 

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

9 algorithms  finite-automata  randomness  pseudo-random-generators  random-graphs 

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

9 complexity-theory  interactive-proof-systems 

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

9 type-theory 

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

9 machine-learning 

Что такое вырожденные полигоны? Как проверить, является ли данная пара полигонов вырожденной или нет?

9 algorithms  computational-geometry 

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

9 algorithms  scheduling