Скажем, у меня есть взвешенный граф такой, что является весовой функцией - обратите внимание, что допустимы отрицательные веса.w : E → [ - 1 , 1 ]G = ( V, E, ш )гзнак равно(В,Е,вес)G = (V,E,w)W : E→ [ - 1 , 1 ]вес:Е→[-1,1]w:E\rightarrow [-1,1] Скажем , что определяет свойство любого подмножества...
График автоморфизм является перестановкой узлов графа , который индуцирует биекцию на множество ребер . Формально, это - перестановка узлов, таких тогда и только тогда, когдаf ( u , v ) ∈ E ( f ( u ) , f ( v ) ) ∈ EЕЕEееf( u , v ) ∈ E(U,v)∈Е(u,v)\in E( ф( и ) , е( v ) ) ∈...
Мотивация: в стандартных алгоритмах увеличения потока по траектории внутренний цикл требует поиска путей от источника к стоку в ориентированном взвешенном графике. Теоретически, общеизвестно, что для того, чтобы алгоритм даже завершился, когда существуют иррациональные ребристые емкости, нам нужно...
Этот вопрос возник у меня в голове после прочтения вклада Андраса Саламона и Колина Маккуиллана в мой предыдущий вопрос « Подсчет решений формул Monotone-2CNF» . РЕДАКТИРОВАТЬ 30- го марта 2011 г. Добавлен вопрос № 2. РЕДАКТИРОВАТЬ 29- го октября 2010 г. Вопрос перефразирован после предложения...
Учитывая сильно связанный орграф G со взвешенными ребрами, я хотел бы идентифицировать ребра, которые доказуемо не являются частью какого-либо минимального сильно связного подграфа (MSCS) группы G. Одним из способов нахождения таких ребер является модифицированный алгоритм Флойда-Варшалла....
Есть ли какой-нибудь инструмент, где можно выяснить, соавторы двух человек? Как инструмент, где можно выяснить чей-то Erdos
Упрощенная классическая транзакция базы данных может рассматриваться как: чтение М предметов выполняя некоторые расчеты на основе этих чтений написание некоторых N результатов, основанных на этих расчетах, которые могут включать элементы, которые изначально были прочитаны. При выполнении этих...
У меня есть следующий LP: / * Объективная функция * / мин: 1 ш + 2 х + 0,5 у + z; / * Переменные границы * / w + x <= T1; w + y = U1; х + z = U2; Т1 = 50; U1 = 70; U2 = 25; В этом случае U1 + U2> T1 и оптимальное решение - y = 70 и z = 25. Я хочу обеспечить условие, чтобы переменным w и x...
У меня есть вопрос о целесообразности, который можно сформулировать следующим образом. Мне дана точка в d- мерном векторном пространстве, и я хочу найти ближайшую точку q к p, которая удовлетворяет набору « ℓ 0 ограничений» видаpppdddqqqpppℓ0ℓ0\ell_0 Для данного множества не более одного из { q j ,...
Hiroimono является популярной головоломкой Complete. Я заинтересован в вычислительной сложности связанной головоломки.NпNPNP Проблема в: Входные данные : заданный набор точек на квадратной сетке x n и целое число kNnnNnnКkk Вопрос : существует ли прямолинейный многоугольник (его стороны параллельны...
Пусть - перестановка. Обратите внимание, что хотя действует на бесконечной области, его описание может быть конечным. Под описанием я имею в виду программу, которая описывает функциональность . (Как и в колмогоровской сложности.) См. Пояснения ниже. π ππ:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon...
В универсальных слепых квантовых вычислениях авторы описывают протокол, основанный на измерениях, который позволяет почти классическому пользователю выполнять произвольные вычисления на квантовом сервере, не раскрывая почти ничего о содержании вычислений. В описании протокола авторы упоминают...
Кто-нибудь знает о наборе проблем, которые единообразно варьируются и охватывают одну из «интересных» иерархий сложности и вычислимости? Под интересным я имею в виду, например, полиномиальную иерархию, арифметическую иерархию или аналитическую иерархию. Или, может быть (N) P, (N) EXP, 2 (N)...
Вопрос : Является ли прогнозирование (как определено ниже) вычислимых последовательностей столь же сложным, как проблема остановки? Разработка : «Предсказать» означает успешное прогнозирование, что означает делать только конечное число ошибок при попытке прогнозирования n-го бита последовательности...
Во-первых, я до сих пор не уверен, хорошо ли подходит этот вопрос для этого вопроса, поэтому я не буду обижаться, если толпа думает, что это не так ... В поисковом маркетинге несколько проблем интересны. Разработка справедливых (и прибыльных) аукционных механизмов и расчет оптимальных стратегий...
Харви Фридман показал, что есть точный результат с фиксированной точкой, который нельзя доказать в ZFC (обычная теория множеств Цермело-Франкеля с Аксиомой Выбора). Многие современные логики построены на операторах с фиксированной запятой, поэтому мне было интересно: известны ли какие-либо...
Резолюция - это схема, доказывающая неудовлетворенность CNF. Доказательством в резолюции является логический вывод пустого предложения для начальных предложений в CNF. В частности, любой начальный пункт может быть выведен, и из двух пунктов и B ∨ ¬ x также может быть выведен пункт A ∨ B....
Имея дело с теоретико-областными категориями (скажем, CPO и CPO), я часто хотел бы найти словарь для языка теории категорий в теории областей.ωω\omega То есть, учитывая концепцию, скажем, моническую стрелку, я мог бы найти ее в словаре и посмотреть, каковы ее известные характеристики в разных...
Я пытаюсь составить таксономию алгоритмов для преобразования регулярных выражений в автоматы, чтобы выполнить некоторые эмпирические тесты их свойств сложности в определенных областях. Я знаю несколько «больших» имен, например: Томпсон «Алгоритм поиска регулярных выражений», Томпсон, 1968 Глушков...
Глава Смита в руководстве по логике в области компьютерных наук и другие ссылки описывают, как метрические пространства могут использоваться в качестве областей. Я понимаю, что полные метрические пространства дают уникальные неподвижные точки, но я не понимаю, почему метрические пространства важны....