Perguntas com a marcação «permanent»

Contar o número de combinações perfeitas em um gráfico bipartido é imediatamente reduzido para calcular o permanente. Como encontrar uma correspondência perfeita em um gráfico não bipartido está no NP, existe alguma redução de gráficos não bipartidos para o permanente, mas isso pode envolver uma explosão polinomial desagradável usando a …

24 graph-theory  counting-complexity  reductions  permanent 

À luz do resultado recente do abismo na profundidade 3 (que, entre outras coisas, produz profundidade-3 circuito aritmético para onxndeterminante sobreC), que têm as seguintes questões: Grigoriev e Karpinskirevelouum2Ω(n)um limite inferior para qualquer profundidade-3 circuito aritmético de computação o determinante denxnmatrizes sobre campos finitos (o que eu acho, também vale …

22 circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant 

1- Existem propriedades específicas para a matriz de adjacência quando um gráfico é plano? 2- Existe algo especial para calcular a matriz de adjacência permanente quando um gráfico é plano?

21 graph-theory  co.combinatorics  permanent 

A Wikipedia fornece exemplos de problemas em que a versão de contagem é difícil, enquanto a versão de decisão é fácil. Algumas delas estão contando combinações perfeitas, contando o número de soluções para 222 SAT e o número de classificações topológicas. Existem outras classes importantes (digamos exemplos em treliças, árvores, …

20 reference-request  counting-complexity  nt.number-theory  permanent  decision-trees 

É 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 

Suponha que recebamos uma matriz n por n, M, com entradas inteiras. Podemos decidir em P se existe uma permutação tal que, para todas as permutações , tenhamos ?σσ\sigmaπ≠ σπ≠σ\pi\ne\sigmaΠ Meu σ( I )≠ ¸ Meu π( I )ΠMEuσ(Eu)≠ΠMEuπ(Eu)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} Observações É claro que se pode substituir o …

16 cc.complexity-theory  ds.algorithms  matrices  matching  permanent 

Este é um acompanhamento para esta questão e está relacionado a esta questão de Shiva Kinali. Parece que as provas desses artigos ( Allender , Caussinus-McKenzie-Therien-Vollmer , Koiran-Perifel ) usam teoremas de hierarquia. Quero saber se as provas são teoremas de diagonalização " puros " ou se usam algo mais …

15 cc.complexity-theory  lower-bounds  relativization  permanent 

No artigo de Ben-Dor / Halevi [1], é apresentada outra prova de que a permanente é -completa. Na parte posterior do documento, eles mostram a cadeia de redução enquanto o valor permanente é preservado ao longo da cadeia. Como o número de atribuições satiesfying de uma fórmula 3SAT pode ser …

14 cc.complexity-theory  counting-complexity  permanent 

Um grande problema no TCS é o problema de expressar uma permanente como determinante. Eu estava lendo o artigo de Agrawal, Determinant Versus Permanent, e em um parágrafo ele afirma que o problema inverso é fácil. É fácil de ver que o determinante de uma matriz pode ser expresso como …

12 cc.complexity-theory  algebraic-complexity  permanent  determinant 

Considere o seguinte problema: dada uma matriz , índices e um número inteiro . Substituir por e chamar nova matriz . É ?M∈{−m,…,0,…,m}n×nM∈{−m,…,0,…,m}n×nM\in\{-m,\dots,0,\dots,m\}^{n\times n}i,j∈{1,…,n}i,j∈{1,…,n}i,j\in\{1,\dots,n\}aaaM[i,j]M[i,j]M[i,j]aaaM^M^\hat Mper(M)>per(M^)per(M)>per(M^)per(M)>per(\hat M) Esse problema está na hierarquia polinomial?

11 permanent 

O algoritmo de Berkowitz fornece um circuito de tamanho polinomial com profundidade logarítmica para determinar uma matriz quadrada usando potências matriciais. O algoritmo usa implicitamente o cancelamento. O cancelamento é essencial para a obtenção de um circuito de tamanho polinomial com profundidade logarítmica ou linear para calcular o determinante (e …

9 circuit-complexity  algebraic-complexity  permanent  arithmetic-circuits  determinant 

Seja uma matriz ou com entradas . Alguém pode me fornecer uma matriz para que ? Qual é o menor B explícito conhecido como \ nome do operador {por} (A) = \ det (B) ? Alguma referência nisso com exemplos explícitos?3 × 3 4 × 4 a i j B …

9 cc.complexity-theory  algebraic-complexity  permanent 

Em [1] afirma-se que "Continua sendo uma questão em aberto se todas as funções em possuem circuitos T C 0 (embora seja pelo menos sabido que nem todas as funções # P possuem circuitos T C 0 uniformes para DLogTime )."#P#P\#PTC0TC0TC^0#P#P\#PTC0TC0TC^0 circuitos gerados por funções dlogtime não contém # P …

8 cc.complexity-theory  complexity-classes  circuit-complexity  counting-complexity  permanent 

Seja uma dada matriz quadrada. Existe alguma evidência de que ultrapassar limites inferiores quadráticos para modo que possa ser difícil?B det ( B ) = por ( A )UMAAABBBdet ( B ) = por ( A )det(B)=per(A)\text{det}(B) = \text{per}(A) Existe alguma conjectura plausível que implique que provar limites mais baixos …

8 cc.complexity-theory  lower-bounds  counting-complexity  algebraic-complexity  permanent