Вопросы с тегом «boolean-matrix»

Недавнее и невероятно приятное доказательство гипотезы о чувствительности основано на явном * построении матрицы An∈{−1,0,1}2n×2nAn∈{−1,0,1}2n×2nA_n\in\{-1,0,1\}^{2^n\times 2^n} , определенной рекурсивно следующим образом: A1=(0110)A1=(0110)A_1 = \begin{pmatrix} 0&1\\1&0\end{pmatrix} и, для, В частности, легко видеть, чтодля всех.n≥2n≥2n\geq 2An=(An−1In−1In−1−An−1)An=(An−1In−1In−1−An−1)A_{n} = \begin{pmatrix} A_{n-1}&I_{n-1}\\I_{n-1}&-A_{n-1}\end{pmatrix}A2n=nInAn2=nInA_n^2 = n I_nn≥1n≥1n\geq 1 Теперь, может быть, я читаю слишком много в этом, …

23 boolean-functions  matrices  boolean-matrix 

Каковы наиболее практически эффективные алгоритмы умножения двух очень разреженных логических матриц (скажем, N = 200 и всего 100-200 ненулевых элементов)? На самом деле, у меня есть преимущество в том, что когда я умножаю A на B, B заранее определены, и я могу выполнять произвольную сложную предварительную обработку на них. Я …

12 ds.algorithms  matrix-product  sparse-matrix  boolean-matrix  implementation 

Во время моей работы я столкнулся со следующей проблемой: Я пытаюсь найти -матрицу , для любого , со следующими свойствами:n×nn×nn \times n (0,1)(0,1)(0,1)MMMn>3n>3n > 3 Определитель четен.MMM Для любых непустых подмножеств с, Подматрица имеет нечетный детерминанту тогда и только тогда , когда . I,J⊆{1,2,3}I,J⊆{1,2,3}I,J\subseteq\{1,2,3\}|I|=|J||I|=|J||I| = |J|MIJMJIM^I_JI=JI=JI=J Здесь обозначает подматрица создается …

10 graph-theory  co.combinatorics  linear-algebra  matrices  boolean-matrix 

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

10 co.combinatorics  linear-algebra  matrices  communication-complexity  boolean-matrix