Теоретическая информатика

Q & A для теоретических компьютерных ученых и исследователей в смежных областях

2
Сохраняется ли ширина клики при сжатии краев?
Пусть класс графов с ограниченной шириной клика. В каждом графе в некоторые ребра сжимаются (например, случайно). Теперь ширина клики все еще ограничена?GGGGGG Если это (вообще) больше не ограничено, я был бы очень заинтересован в контрпримере.

3
Какие целочисленные линейные программы просты?
Пытаясь решить проблему, я выразил ее часть в виде следующей целочисленной линейной программы. Здесь - все натуральные числа, заданные как часть входных данных. Указанное подмножество переменных x i j устанавливается в ноль, а остальные могут принимать положительные целые значения:ℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,wℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,w\ell,m,n_{1},n_{2},\ldots,n_{\ell},c_{1},c_{2},\ldots,c_{m},wxijxijx_{ij} Свести к минимуму ∑mj=1cj∑ℓi=1xij∑j=1mcj∑i=1ℓxij\sum_{j=1}^{m}c_{j}\sum_{i=1}^{\ell}x_{ij} При условии: ∑mj=1xij=ni∀i∑j=1mxij=ni∀i\sum_{j=1}^{m}x_{ij}=n_{i}\,\,\forall i ∑ℓi=1xij≥w∀j∑i=1ℓxij≥w∀j\sum_{i=1}^{\ell}x_{ij}\ge w\,\,\forall j …

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

2
Является ли задача о половинном магическом квадрате NP-полной?
Вот проблема: У нас есть квадрат с несколькими числами от 1..N в некоторых ячейках. Нужно определить, можно ли его завершить до магического квадрата. Примеры: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ _ 9 _ _ >>> …

3
Классы графов с легким гамильтоновым циклом, но NP-сложным TSP
Задача о гамильтоновом цикле (HC) состоит в том, чтобы найти цикл, который проходит через все вершины в данном неориентированном графе. Задача коммивояжера (TSP) состоит в том, чтобы найти цикл, который проходит через все вершины в данном графе, взвешенном по ребрам, и минимизирует общее расстояние, измеренное суммой весов ребер в цикле. …

2
У L есть определение в терминах цепей?
Многие классы сложности, определенные с помощью машин Тьюринга, имеют определения в терминах однородных цепей. Например, P также может быть определен с использованием схем с однородным полиномиальным размером, и аналогично BPP, NP, BQP и т. Д. Могут быть определены с помощью однородных схем. Так есть ли основанное на схеме определение L? …

1
Матричное умножение в
Я искал о матричном умножении, поэтому я впервые посещал вики- алгоритмы умножения матриц, в ссылках я нашел статью, в которой утверждается, что используется алгоритм O ( n2л о г( н ) )О(N2Lограмм(N))O(n^2 log(n)) , я собираюсь прочитать статью, но она сложная и Уилл читает слишком много времени, но если кто-то …

1
Теорема Рамсея для коллекций множеств
При изучении различных методов доказательства нижних границ для распределенных алгоритмов мне пришло в голову, что следующий вариант теоремы Рэмси может найти применение - если это окажется правдой. Параметры: , K , n заданы, а затем N выбирается достаточно большим. Терминология: m- подмножество - это подмножество размера m .kkkKKKnnnNNNmmmmmm Пусть = …

1
Характеристика сложности цепей для DLogTime и NLogTime
и N L o g T i m e - два самых маленьких класса сложности, которые мы имеем. (Обратите внимание, что логарифмическая иерархия времени L H равна A C 0, и это первые два уровня L H ).DLogTimeDLogTime\mathsf{DLogTime}NLogTimeNLogTime\mathsf{NLogTime}LHLH\mathsf{LH}AC0AC0\mathsf{AC}^0LHLH\mathsf{LH} После прочтения этого вопроса , я стану интересно посмотреть , если разделение …

3
Статистические алгоритмы модели запросов?
Я задал этот вопрос в перекрестной проверке вопросов и ответов, но, похоже, он связан с CS гораздо больше, чем со статистикой. Можете ли вы привести примеры алгоритмов машинного обучения, которые изучают статистические свойства набора данных, а не отдельные наблюдения, то есть используют статистическую модель запросов ?

2
Оценивая мультилинеаризацию арифметической схемы?
Пусть быть мульти-мерный полином с коэффициентами над полем . Мультилинеаризация , обозначаемая , является результатом многократной замены каждого с на . Результат, очевидно, является полилинейным полиномом.р ( х 1 , ... , х п ) F р р х д я д > 1 х Ip(x1,…,xn)p(x_1,\ldots,x_n)FFppp^\hat{p}xdix_i^dd>1d > 1xix_i Рассмотрим следующую …

1
Вычислительная мощность нейронных сетей?
Допустим, у нас есть однослойная прямая нейронная сеть с k входами и одним выходом. Он вычисляет функцию из , довольно легко увидеть, что она имеет по крайней мере ту же вычислительную мощность, что и A C 0 . Просто для удовольствия мы назовем набор функций, вычислимых однослойной нейронной сетью, « …

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

2
сложность рандомизированных сплетен
Проблема сплетен в распределенных системах заключается в следующем. У нас есть граф с n вершинами. Каждая вершина v имеет сообщение m v, которое необходимо отправить всем узлам.GGGnnnvvvmvmvm_v Теперь мой вопрос в контексте специальной сетевой модели (мы предполагаем, что узел не имеет каких-либо предварительных знаний о топологии сети, степенях входа и …

5
Сбои процессора в распределенных вычислениях, которые не являются сбоями или византийскими
Существует два основных типа сбоев процессора в моделях распределенных вычислений: (1) Сбои: процессор останавливается и больше не запускается. (2) Византийские сбои: процессоры ведут себя соперничающе, злонамеренно. Мой вопрос: Каковы некоторые другие типы отказов процессора, которые были изучены, которые не сводятся к сбоям или византийским сбоям? Также более конкретный вопрос: Была …

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.