Perguntas com a marcação «matrices»

3
A prova de que a multiplicação de matrizes não está em hora
Acredita-se que, para todo , é possível multiplicar duas matrizes em . Alguma discussão está aqui .ϵ>0ϵ>0\epsilon > 0n×nn×nn \times nO(n2+ϵ)O(n2+ϵ)O(n^{2 + \epsilon}) Perguntei a algumas pessoas que estão mais familiarizadas com a pesquisa se elas pensam que existe um independente de modo que exista um algoritmo para multiplicação de …
1
Complexidade da alimentação da matriz
Seja uma matriz inteira quadrada e seja um número inteiro positivo. Estou interessado na complexidade do seguinte problema de decisão:MMMnnn A entrada no canto superior direito de MnMnM^n positiva? Observe que a abordagem óbvia do quadrado iterado (ou qualquer outro cálculo explícito) exige que lidemos potencialmente com números inteiros de …
2
Pergunta sobre duas matrizes: Hadamard v. “A mágica” na prova da conjectura de sensibilidade
A prova recente e incrivelmente clara da conjectura de sensibilidade se baseia na construção explícita * de uma matriz , definida recursivamente da seguinte forma: e, para , Em particular, é fácil ver que para todos os .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 …
2
Matriz balanceada explícita
É possível construir uma explícita 0 / 1 -matrix com N 1,5 queridos tal que cada N 0,499 × N 0,499 submatrix contém menos de N 0,501 queridos?N× NN×NN \times N 0 / 10/10/1N1.5N1.5N^{1.5}N0,499× N0,499N0.499×N0.499N^{0.499} \times N^{0.499}N0.501N0.501N^{0.501} Ou provavelmente é possível criar um conjunto de batidas explícito para essa propriedade. …
4
Ordenação topológica positiva, leve 3
Suponha que temos uma matriz n por n. É possível reordenar suas linhas e colunas para obter uma matriz triangular superior? Esta questão é motivada por este problema: Ordenação topológica positiva O problema de decisão original é pelo menos tão difícil quanto este, então um resultado de completude do NP …
5
É possível testar se um número computável é racional ou inteiro?
É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis ​​fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado ao fato de que não é possível …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
2
Limites inferiores na complexidade gaussiana
Defina a complexidade gaussiana de uma matriz para ser o número mínimo de operações elementares de linha e coluna necessárias para trazer a matriz para a forma triangular superior. Essa é uma quantidade entre e (via eliminação gaussiana). A noção faz sentido sobre qualquer campo.n×nn×nn \times n000n2n2n^2 Esse problema certamente …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.