Информатика

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

12 formal-languages  regular-languages  closure-properties 

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

12 binary-arithmetic  numerical-analysis  numeral-representations 

С точки зрения асимптотического времени выполнения в наихудшем случае, какая NP-полная задача имеет самый известный (точный) алгоритм и что это за алгоритм? Известно ли что-то, что быстрее, чем ?O(n2∗2n)O(n2∗2n)O(n^2*2^n)

12 algorithms  reference-request  np-complete 

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

12 graph-theory  graphs 

Я знаю, что это может звучать немного нестандартно, на самом деле я всегда думал внутри коробки, но в последнее время я думал, возможно, потому, что информатика предоставляет высокую степень свободы, о способах разработки других программ, кроме те, которые преподавали в университете. Рассмотрим факториальную функцию. Обычно мы определяем эту функцию как …

12 algorithms 

-ограничен охватывающая проблема дерева, где вы едите неориентированный граф G ( V , E ) , и вы должны решить , имеет ли он или нет связующего дерево таким образом, что каждая вершина имеет степень не выше к .kkkG(V,E)G(V,E)G(V,E)kkk Я понимаю, что для случая это проблема гамильтоновых путей. Однако у …

12 spanning-trees 

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

12 quantum-computing 

У меня есть набор точек , и у меня есть расстояние между каждой точкой . Эти расстояния евклидовы, но точки на самом деле находятся в пространстве признаков.CCCD(Pi,Pj)D(Pi,Pj)D(P_i,P_j) Из точек я хочу выбрать подмножество из точек. Назовите это подмножество . Я хочу выбрать это подмножество, чтобы максимизировать минимальное расстояние между всеми …

12 optimization 

Во-первых, я хотел бы сказать, что мой текст ниже может содержать ошибки, поэтому не стесняйтесь указывать на любые ошибки в моей формулировке вопроса. Рассмотрим нетипизированное лямбда-исчисление с логическими значениями и операторами if, термины которых задаются этим синтаксисом: t ::= v | t t | if t t t | x …

12 programming-languages  lambda-calculus 

Комментарий к tex.SE заставил меня задуматься. Утверждение по существу: Если я могу написать компилятор для языка X на языке X, то X полон по Тьюрингу. В терминах вычислимости и формальных языков это: Если решает , L ⊆ L T M и ⟨ M ⟩ ∈ L , то F L …

12 computability  turing-completeness 

Сборщики мусора должны посещать все живые объекты, чтобы найти память, которую можно восстановить. (Наличие многих поколений просто задерживает это) При прочих равных, лучше сначала посетить объект, который уже выгружен в ОЗУ, прежде чем вставить другой блок в пейджинговый блок и, следовательно, выгрузить какой-либо объект. Другая возможность состоит в том, что, …

12 memory-management  paging  garbage-collection 

Я пытаюсь решить проблему SAT переменных 25k пунктов 5k переменных. Так как он работал в течение часа (precosat), и я хотел бы потом решить более крупные, я ищу многоядерный SAT-Solver. Кажется, что есть много SAT-Solvers, я совершенно потерян. Кто-нибудь может указать мне лучший вариант для моего случая? Я также был …

12 algorithms  reference-request  parallel-computing  sat-solvers 

Вот проблема: Докажите, что одноленточные машины Тьюринга, которые не могут писать на той части ленты, которая содержит входную строку, распознают только обычные языки. Моя идея состоит в том, чтобы доказать, что этот конкретный TM эквивалентен DFA. Использовать эту ТМ для симуляции DFA очень просто. Однако, когда я хочу использовать этот …

12 formal-languages  computability  regular-languages  turing-machines  automata 

Я использую нейронные сети для прогнозирования временных рядов. Вопрос, с которым я сейчас сталкиваюсь, заключается в том, как кодировать дату / время / серийный номер. каждого входа, установленного в качестве входа в нейронную сеть? Должен ли я использовать кодирование 1 из C (используется для категорий кодирования), как описано здесь ? …

12 machine-learning  artificial-intelligence  neural-networks 

Означает ли coNP-полнота NP-твердость? В частности, у меня есть проблема, которую я показал как coNP-полная. Могу ли я утверждать, что это NP-жесткий? Я понимаю, что могу требовать твердости coNP, но я не уверен, является ли эта терминология стандартной. Я согласен с утверждением, что если NP-полная проблема принадлежит coNP, то NP …

12 complexity-theory  np-hard