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

11
Существует ли P-полная задача о диофантовых уравнениях?

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

11
Двоичный вектор

У меня есть набор из 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...

11
Как агрегации баз данных образуют моноид?

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

10
Почему гипотеза лог-ранга использует ранг над реалами?

В сложности связи гипотеза лог-ранга утверждает, что с с ( М) = ( журнал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( х , у)M(x,y)M(x,y)r k ( М)rk(M)rk(M)MMM Однако, когда вы...

10
Может ли такая матрица существовать?

Во время моей работы я столкнулся со следующей проблемой: Я пытаюсь найти -матрицу , для любого , со следующими свойствами:n×nn×nn \times n (0,1)(0,1)(0,1)MMMn>3n>3n > 3 Определитель четен.MMM Для любых непустых подмножеств с, Подматрица имеет нечетный детерминанту тогда и только тогда ,...

10
Какой самый большой разрыв между рангом и приблизительным рангом?

Мы знаем, что log ранга матрицы 0-1 является нижней границей детерминированной сложности связи, а log приблизительного ранга является нижней границей рандомизированной сложности связи. Наибольший разрыв между детерминированной коммуникационной сложностью и рандомизированной коммуникационной...

10
Ограничение записей унитарных операторов действительными числами и универсальными наборами ворот

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

10
Нахождение плоскости разреза, равномерно разделяющей многогранник

Скажем, у нас есть многогранник в стандартной форме: A x = bх ≥0Ax=bx≥0\begin{equation*} \begin{array}{rl} \mathbf{A}\mathbf{x} = \mathbf{b} \\\\ \mathbf{x} \ge 0 \end{array} \end{equation*} Существуют ли какие-либо известные способы нахождения гиперплоскости которая разбивает многогранник таким...

10
Логический код, исправляющий ошибки над

Существует ли известная конструкция линейного кода с исправлением ошибок (с приемлемыми параметрами), такая, что при задании булева вектора v ∈ { 0 , 1 } n он также возвращает булев вектор WHP? (хотя это более F q )E C C : FNQ→ FмQECC:Fqn→Fqm\mathsf{ECC}:\mathbb{F}_q^n \to \mathbb{F}_q^mv ∈ { 0 , 1...

9
Эффективно решить систему строгих линейных неравенств со всеми коэффициентами, равными 1, без использования общего решения ЛП?

Согласно названию, кроме использования универсального LP-решателя, существует ли подход для решения систем неравенств по переменным xi,…,xkxi,…,xkx_i, \ldots, x_k где неравенства имеют вид ∑i∈Ixi<∑j∈Jxj∑i∈Ixi<∑j∈Jxj\sum_{i \in I} x_i < \sum_{j \in J} x_j? А как насчет особого случая...

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

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

9
Полиномиальные алгоритмы для UPB (неопределяемые базы продуктов)

Рассмотрим гильбертово пространство ЧАСзнак равноЧАС1⊗ ⋯ ⊗ЧАСNH=H1⊗⋯⊗HnH = H_1 \otimes \dots \otimes H_n, Неописуемая основа продукта (UPB) - это набор векторов продукта|vя⟩ = |v1я⟩ ⊗ ⋯ ⊗ |vNя⟩|vi⟩=|vi1⟩⊗⋯⊗|vin⟩\vert v_i \rangle = \vert v_i^1 \rangle \otimes \dots \otimes \vert v_i^n \rangle такой...

9
Срединные решения линейных программ

Существует линейная программа, для которой я хочу не просто решение, а решение, которое является как можно более центральным по отношению к многограннику, которое принимает минимальное значение. Априори мы ожидаем, что минимизирующая грань должна быть высокой размерности по разным причинам, включая...