Вопросы с тегом «linear-algebra»

Вопрос. В своей работе « Улучшенное моделирование цепей стабилизатора» Ааронсон и Готтесман утверждают, что имитация схемы CNOT является ⊕L-полной (при сокращении пространства журнала). Ясно, что оно содержится в ⊕L ; как держится результат твердости? Эквивалентно: есть ли сокращение лог-пространства от итерированных матричных произведений по модулю 2 до итерированных произведений элементарных …

14 cc.complexity-theory  counting-complexity  linear-algebra  logspace 

Насколько сложно найти самое редкое решение системы линейных уравнений? Более формально рассмотрим следующую проблему решения: Экземпляр: система линейных уравнений с целыми коэффициентами и числом ccc . Вопрос: существует ли решение для системы с хотя бы ccc переменными, присвоенными нулю? Я также пытаюсь определить, какая зависимость от ccc . То есть, …

13 np-hardness  linear-algebra  linear-programming  matrices  sparse-matrix 

Дана матрица A с рациональными элементами. В чем сложность проверки А диагонализируемой?n × nN×Nn\times nAAAAAA Я подозреваю, что это может быть сделано в P, но я не знаю никаких ссылок. Однако, более интересный вопрос, есть ли лучший класс сложности для решения этой проблемы? Любое руководство / комментарий приветствуется! Благодарю.

13 cc.complexity-theory  linear-algebra  matrices 

У меня есть алгебраическая задача, связанная с векторами в поле GF (2). Пусть v1,v2,…,vmv1,v2,…,vmv_1, v_2, \ldots, v_m - (0,1) -векторы размерности nnn и m=nO(1)m=nO(1)m=n^{O(1)} . Найти алгоритм полиномиального времени, который находит (0,1) -вектор uuu такой же размерности, чтобы uuu не было суммой любых (logn)O(1)(log⁡n)O(1)(\log n)^{O(1)} векторов среди v1,v2,…,vmv1,v2,…,vmv_1,v_2, \ldots, v_m …

13 ds.algorithms  linear-algebra 

Пусть квадрат n × nN×Nn\times n вещественной матрицы AA{\bf A} и два вектора ИксИкс{\bf x} и бб{\bf b} длины NNn такие, что A x = b .AИксзнак равноб,{\bf A}{\bf x}={\bf b}. Решение для ИксИкс{\bf x} помощью стандартного исключения Гаусса дает совокупную сложность почти O ( n3)О(N3)O(n^3) . Однако существуют случаи, …

13 cc.complexity-theory  linear-algebra  matrices 

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

13 ds.algorithms  linear-algebra  matrix-product 

Предположим, мы хотим умножить матриц. Алгоритм медленного умножения матриц выполняется за время O ( n 3 ) и использует O ( n 2 ) памяти. Самое быстрое умножение матриц выполняется за время n ω + o ( 1 ) , где ω - постоянная линейной алгебры, но что известно о …

12 ds.algorithms  linear-algebra 

Мы знаем, например, из Koutis-Miller-Peng (на основе работы Spielman & Teng), что мы можем очень быстро решить линейные системы Ax=bAx=bA x = b для матриц AAA которые представляют собой матрицу Лапласа графа для некоторого разреженного графа с неотрицательными весами ребер , Теперь (первый вопрос) рассмотрим использование одной из этих графов …

12 ds.algorithms  graph-theory  linear-algebra  pr.probability  spectral-graph-theory 

В целом решение о том, имеет ли диофантово уравнение какое-либо целочисленное решение, эквивалентно проблеме остановки. Я считаю, что решение о том, имеет ли какое-либо решение квадратное диофантово уравнение, является NP-полным. Существует ли дополнительное ограничение на используемые уравнения, которое приводит к P-полной задаче?

11 cc.complexity-theory  linear-algebra  polynomials 

У меня есть набор из nnn двоичных векторов S={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k \setminus \{1^k\} и целевой вектор t=1kt=1kt = 1^k который является вектором «все единицы». Гипотеза: если ttt можно записать как линейную комбинацию элементов SSS над Z/qZZ/qZ\mathbb{Z}/q\mathbb{Z} для всех простых степеней qqq , то ttt можно …

11 reference-request  linear-algebra  finite-fields 

На cs.stackexchange я спросил о scala-библиотеке algebird на github, размышляя о том, почему им может понадобиться пакет абстрактной алгебры. Страница GitHub имеет несколько подсказок: Реализации Monoids для интересных алгоритмов аппроксимации, таких как фильтр Блума, HyperLogLog и CountMinSketch. Они позволяют вам думать об этих изощренных операциях, как о числах, которые вы …

11 soft-question  machine-learning  linear-algebra  db.databases 

Пусть вещественная матрица ( ) обладает тем свойством, что любой набор из столбцов имеет полный ранг.k × nК×Nk\times nk ≤ nК≤Nk\le nAA{\bf A}ККk В: Существует ли эффективный способ детерминированного поиска вектора такой, что расширенная матрица сохраняет то же свойство, что и : любые столбцов имеют полный ранг.aa{\bf a}A'= [ Aа …

11 ds.algorithms  linear-algebra  matrices  coding-theory 

РЕДАКТИРОВАТЬ (Тара B): Я все еще был бы заинтересован в ссылке на доказательство этого, так как я должен был доказать это сам для моей собственной статьи. Я ищу доказательство теоремы 4, которое появляется в этой статье: Бесконечная иерархия пересечений контекстно-свободных языков Лю и Вейнера. Теорема 4: - мерное аффинное многообразие …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

Пусть AAA - матрица над конечным полем F2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\} а xxx , yyy - векторы пространства Fn2F2n\mathbb{F}_2^n . Меня интересует вычислительная сложность определения того, существует ли t∈Nt∈Nt \in \mathbb{N} , для которого Atx=yAtx=yA^t x = y , т. Е. Проблема достижимости для линейных динамических систем над конечными полями. Проблема …

10 cc.complexity-theory  reference-request  linear-algebra 

В сложности связи гипотеза лог-ранга утверждает, что с с ( М) = ( журналr k ( М) )O ( 1 )cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Где - сложность связи а - ранг (в виде матрицы) над реалами.M ( x , y ) r k ( M ) Mс с ( М)cc(M)cc(M)M( …

10 cc.complexity-theory  big-picture  linear-algebra  open-problem  communication-complexity