Информатика

Моя цель состоит в том, чтобы решить следующую проблему, которую я описал ее вводом и выводом: Входные данные: Направленный ациклический граф с узлами, источниками и стоком ( ).граммграммGммmNNn111m > n ≥ 1м>N≥1m > n \geq 1 Выход: VC-размерность (или приближение к ней) для нейронной сети с топологией .граммграммG Больше подробностей …

19 algorithms  complexity-theory  machine-learning  neural-networks  vc-dimension 

Я постоянно сталкиваюсь со ссылками на фиксированную точку в вопросах и ответах на stackexchange и просматриваю смысл в Интернете, очевидно, находя ссылки на таких сайтах, как Wikipedia. Однако ни одна из ссылок не отвечает на мой вопрос о том, что такое фиксированная точка и что это значит в мире информатики.

19 terminology 

Во многих реализациях поиска в глубину, который я видел (например: здесь ), код различает серую вершину (обнаружена, но не все ее соседи были посещены) и черную вершину (обнаружена и все ее соседи посещены) , Какова цель этого различия? Кажется, что алгоритм DFS никогда не посещает посещенную вершину, независимо от того, …

19 algorithms  graphs  search-algorithms  graph-traversal 

У нас есть логика Хоара. Почему все еще возможно, что алгоритм верен, но нет никаких доказательств того, что он верен? Предположим, что алгоритм выражен в C. Тогда мы можем шаг за шагом утверждать, что он делает то, что должен делать. Итак, мой вопрос: Приведите мне пример алгоритма, который является правильным, …

18 correctness-proof  hoare-logic 

В статье «Бесконфликтный реплицированный тип данных JSON» я встретил эту запись для формального определения «правил»: Как называется эта запись? Как мне это прочитать? Например: DOCправило не имеет ничего в своем «числитель» - почему? то EXECи GETправила , по всей видимости, имеют два отдельных условия выше линии, что это значит? VARправило …

18 semantics  notation  formal-methods  operational-semantics 

Хотите улучшить этот пост? Предоставьте подробные ответы на этот вопрос, включая цитаты и объяснение того, почему ваш ответ правильный. Ответы без достаточной детализации могут быть отредактированы или удалены. Мы читали об алгоритмах MST, сильной связности, маршрутизации и т. Д. В ориентированных графах. Также недавно люди занимались исследованием динамических и отказоустойчивых …

18 graphs  graph-theory  fault-tolerance 

Благодаря теореме min-cut о максимальном потоке мы знаем, что мы можем использовать любой алгоритм для вычисления максимального потока в сетевом графе для вычисления -min-cut. Следовательно, сложность вычисления минимального -среза не больше, чем сложность вычисления максимального -потока.( с , т )(s,T)(s,t)( с , т )(s,T)(s,t)( с , т )(s,T)(s,t) Может ли …

18 complexity-theory  reductions  network-flow  graph-algorithms 

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

18 computability  undecidability  software-engineering  formal-methods 

Существует ли вычислимая функция такая, что:f:N→Qf:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} Для всехt∈N:0≤f(t)&lt;Xt∈N:0≤f(t)&lt;Xt\in\mathbb{N}: 0\le f(t) < X limt→∞f(t)=Xlimt→∞f(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X Где - неисчислимое действительное число.XXX Единственная ссылка на этот вопрос, который я нашел, была ответом на этот вопрос : /math//a/1052579/168764 , где, кажется, что функция будет работать, но я понятия не имею, как …

18 computability 

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

18 formal-languages  turing-machines  computability  automata 

После выпуска библиотеки AIGER для обработки и инвертирования графов где-то в 2006 году (я думаю), некоторые схемы SAT решатели были выпущены в 2006-2008 годах, и в нескольких гонках / соревнованиях SAT были треки AIG. Однако с тех пор кажется, что основное внимание было уделено либо SMT, либо улучшению клаузальных SAT …

18 satisfiability  circuits  sat-solvers 

Если существует алгоритм, работающий во времени O(f(n))O(f(n))O(f(n)) для некоторой задачи A, и кто-то придумывает алгоритм, работающий во времени, O(f(n)/g(n))O(f(n)/g(n))O(f(n)/g(n)) , где g(n)=o(f(n))g(n)=o(f(n))g(n) = o(f(n)) , считается ли это улучшением по сравнению с предыдущим алгоритмом? Имеет ли смысл в контексте теоретической информатики придумать такой алгоритм?

18 algorithms 

Может ли контекстно-свободная грамматика включать «мертвые состояния» из автомата, такие как G = ( { a , b , c } , { A , B , C} , { A → a B , B → b , B → C, C→с C} , A )?граммзнак равно({a,б,с},{A,В,С},{A→aВ,В→б,В→С,С→сС},A)?G = \big(\{a, …

18 context-free  automata  formal-grammars 

Я новичок в теории языка программирования. Я смотрел несколько онлайн-лекций, в которых преподаватель утверждал, что функция с полиморфным типом была forall t: Type, t-&gt;tбы идентичностью, но не объяснял почему. Может кто-нибудь объяснить мне, почему? Может быть, доказательство претензии из первых принципов.

18 programming-languages  type-theory 

Установка: регулярные выражения с обратными ссылками одинарный язык (1-символьный алфавит) В этом параметре разрешима следующая проблема: Если задано регулярное выражение с обратными ссылками, определяет ли оно регулярный язык? Например, (aa+)\1определяет обычный язык, а (aa+)\1+не -. Можем ли мы решить, какой из них имеет место? Для конкретности «регулярные выражения с обратными …

18 formal-languages  computability  regular-languages  undecidability  regular-expressions