Вопросы с тегом «complexity»

10
Классы случайности и сложности малых схем

Пусть некоторый класс сложности и BP- C быть рандомизированное аналог C определяется как БПП по отношению к P . Более формально мы предоставляем полиномиально много случайных битов и принимаем входные данные, если вероятность принять больше...

10
Является ли SAT ограниченной ширины разрешимым в пространстве журналов?

Elberfeld, Jakoby и Tantau 2010 ( ECCC TR10-062 ) доказали неэффективную версию теоремы Бодлендера. Они показали, что для графов с шириной дерева не более разложение дерева шириной можно найти с помощью логарифмического пространства. Постоянный множитель в границе пространства зависит от k ....

10
Название для «равномерно полиномиального» подкласса XP?

Предположим, что - параметризованный язык относительно некоторого алфавита Σ . К -slice из L является L K = L ∩ { ( х , к ) | х ∈ Е * } , множество экземпляров в L , которые имеют параметр K . Класс сложности X P содержит параметризованные языки L такие, что L k ∈ P для каждого...

10
Сравнивая два произведения списков целых чисел?

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

10
Выбор наиболее значимого бинарного умножения

Я заинтересован в определении сложности следующей задачи решения: учитывая два целых числа и l 2 (каждое из которых содержит не более m бит), решить, является ли старший значащий бит умножения l 1 ⋅ l 2 равным 1 (где результат печатается в 2м битах с возможно ведущими 0)?L1L1l_1L2L2l_2L1⋅...

10
Классы сложности линейных цепей

Класс NCiNCi\textrm{NC}^i является классом функций, вычисляемых семействами схем ограниченного вкручивания, размера nO(1)nO(1)n^{O(1)} и глубины O(logi(n))O(logi⁡(n))O(\log^i(n)) . NCNC\textrm{NC} -hierarchy является объединением этих классов. Есть ли какое-либо исследование линейного размера этой...

10
П и Описательная Сложность

В зоопарке сложности говорится [ 1 ], что в описательной сложности может быть определен тремя различными типами формул: который также является , а также как .ппPFO ( L Fп)FО(LFп)FO(LFP)FO ( nO ( 1 ))FО(NО(1))FO(n^{O(1)})SO ( HO R N)SО(ЧАСОрN)SO(HORN) Однако есть некоторые исключения, например, не...

9
True Bit Сложность умножения матриц

Умножение матриц с использованием обычной техники (ряд - столбец) занимает O (N3)O(n3)O(n^{3}) умножение и O (N3)O(n3)O(n^{3})дополнения. Однако при условии, что записи равного размера (количество битов в каждой записи обеих матриц умножается) размерамmm биты, операция сложения на самом деле...

9
Сложность нахождения собственного разложения * симметричной * матрицы

Это специализированная версия предыдущего вопроса: сложность нахождения собственного разложения матрицы . Для симметричных матриц NxN известно, что времени O (N ^ 3) достаточно для вычисления собственного разложения. Вопрос в том, можем ли мы достичь субкубической сложности?...

9
Пороговые полностью гомоморфные криптосистемы

недавно Крэйг Джентри опубликовал первую схему шифрования с открытым ключом (через открытый текст {0,1}), которая полностью гомоморфна, что означает, что можно эффективно и компактно оценивать AND и XOR на зашифрованных открытых текстах без знания секретного ключа дешифрования. Мне интересно, есть...

9
Нижние оценки пороговой функции

В сложности дерева решений для булевой функции очень хорошо известный метод нижней границы состоит в том, чтобы найти (приблизительный) многочлен, который представляет функцию. Патури дал характеристику для симметричных булевых (частичных и полных) функций в терминах величины, обозначаемой...

9
Неравные против единообразных противников

Этот вопрос возник в контексте криптографии, но ниже я представлю его с точки зрения теории сложности, поскольку здесь люди больше знакомы с последним. Этот вопрос связан с проблемами в NP, но не в Average-P / poly и неоднородности биения по Oracle Access . Неформальное утверждение: когда...

9
Какова надлежащая роль верификации в квантовой выборке, моделировании и тестировании расширенной Церковью-Тьюринга (ECT)?

Поскольку ответа не было дано, был установлен флаг с просьбой преобразовать этот вопрос в вики сообщества. Комментарии Аарона Стерлинга, Сашо Николова и Вора были объединены в следующую резолюцию, которая открыта для обсуждения в вики сообщества: Решено:    Что касается классических алгоритмов,...

9
Перманент матрицы и из определителей

Пусть будет матрица или с элементами . Может ли кто-нибудь предоставить мне матрицу чтобы ? Что такое наименьший явный B, который известен таким образом, что \ operatorname {per} (A) = \ det (B) ? Любые ссылки на это с явными примерами?AAA3 × 33×33 \times 34 × 44×44 \times 4aя жaija_{ij}ВBBв( A ) =...

9
Ожидаемые значения колмогоровской сложности в случайной выборке

Колмогоровская сложность строки не вычислима. Тем не менее, в случайном подмножестве размераMMM двоичных строк длины nNnсколько ожидается, что сложность будет меньше целого числа n0N0n_{0} меньше, чем nNn (как функция MMM, nNn а также...

9
Сложность общения с судьей

Предположим структуру в сложности коммуникации, где у нас есть два игрока A (вши) и B (ob) и R (eferee). А и Б не общаются напрямую друг с другом. В каждом раунде общения каждый из них отправляет сообщение (mAmAm_A, mBmBm_B) в R.R вычисляет две функции fA(mA,mB)fA(mA,mB)f_A(m_A,m_B) а также...

9
Параметризованная сложность подсчета бикликов

В предыдущем вопросе « Параметризованный алгоритм поиска бикликов» я поинтересовался, существуют ли быстрые параметризованные алгоритмы для нахождения -биклика в графе вершин, и узнал, что он открыт, если он равен FPT относительно . То же самое верно и для подсчета в -bicliques, или известно , что...

9
FO-форма AC0 с некоторым предикатом

Мой вопрос касается теории конечных моделей / описательной сложности, поэтому будет означать «первый порядок по конечным двоичным словам с использованием предикатов Rs и унарного предиката P true в позиции 1 в слове».FO ( R )FО(р)FO(R) Я хотел бы знать, есть ли какая-либо характеристика с R любым...

9
Нечетная проблема ДЕЛЬТА

Позволять G=(V,E)гзнак равно(В,Е)G = ( V, E )быть графом Позволятьk≤|V|К≤|В|k \leq |V|быть целым числом ПозволятьOkОКO_k быть количеством краевых индуцированных подграфов GгG имеющий kКkвершины и нечетное количество ребер. ПозволятьEkЕКE_k быть количеством краевых индуцированных подграфов GгG...