Preguntas etiquetadas con permanent

Contar el número de coincidencias perfectas en un gráfico bipartito se puede reducir de inmediato a calcular el permanente. Dado que encontrar una coincidencia perfecta en un gráfico no bipartito está en NP, existe una reducción de los gráficos no bipartitos al permanente, pero puede implicar una explosión polinómica desagradable …

24 graph-theory  counting-complexity  reductions  permanent 

A la luz del reciente abismo en el resultado de profundidad-3 (que entre otras cosas produce un circuito aritmético de profundidad -3 para el determinante sobre ), Tengo las siguientes preguntas: Grigoriev y Karpinski demostraron un límite inferior para cualquier circuito aritmético de profundidad-3 que calcule el determinante de matrices …

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

1- ¿Hay alguna propiedad específica para la matriz de adyacencia cuando un gráfico es plano? 2- ¿Hay algo especial para calcular el permanente de la matriz de adyacencia cuando un gráfico es plano?

21 graph-theory  co.combinatorics  permanent 

Wikipedia proporciona ejemplos de problemas donde la versión de conteo es difícil, mientras que la versión de decisión es fácil. Algunos de estos están contando combinaciones perfectas, contando el número de soluciones para 222 -SAT y el número de clasificaciones topológicas. ¿Hay otras clases importantes (por ejemplo, ejemplos en celosías, …

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

¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el hecho de que no es posible …

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 

Supongamos que se nos da una matriz n por n, M, con entradas enteras. ¿Podemos decidir en P si hay una permutación tal que para todas las permutaciones tenemos ?σσ\sigmaπ≠ σπ≠σ\pi\ne\sigmaΠ Mi σ( i )≠ Π Mi π( i )ΠMETROyoσ(yo)≠ΠMETROyoπ(yo)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} Observaciones Por supuesto, se puede reemplazar el …

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

Este es un seguimiento de esta pregunta y está relacionado con esta pregunta de Shiva Kinali. Parece que las pruebas en estos documentos ( Allender , Caussinus-McKenzie-Therien-Vollmer , Koiran-Perifel ) usan teoremas de jerarquía. Quiero saber si las pruebas son teoremas de diagonalización " pura ", o si usan algo …

15 cc.complexity-theory  lower-bounds  relativization  permanent 

En el documento de Ben-Dor / Halevi [1] se da otra prueba de que el permanente es -completo. En la parte posterior del documento, muestran la cadena de reducción mientras el valor permanente se conserva a lo largo de la cadena. Como el número de asignaciones satisfactorias de una fórmula …

14 cc.complexity-theory  counting-complexity  permanent 

Un problema importante en TCS es el problema de expresar un permanente como determinante. Estaba leyendo el artículo de Agrawal Determinante versus Permanente y en un párrafo afirma que el problema inverso es fácil. Es fácil ver que el determinante de una matriz se puede expresar como la permanente de …

12 cc.complexity-theory  algebraic-complexity  permanent  determinant 

Considere el siguiente problema: dada una matriz , índices i , j ∈ { 1 , ... , n } y un número entero a . Reemplazar M [ i , j ] por una y llame nueva matriz M . Es p e r ( M ) > pMETRO∈ …

11 permanent 

El algoritmo de Berkowitz proporciona un circuito de tamaño polinómico con profundidad logarítmica para determinar una matriz cuadrada utilizando potencias matriciales. El algoritmo utiliza implícitamente la cancelación. ¿Es esencial la cancelación para lograr un circuito de tamaño polinómico con profundidad logarítmica o lineal para calcular el determinante (y cualquier mejor …

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

Sea una matriz o con entradas . ¿Alguien puede proporcionarme una matriz para que ? ¿Cuál es la B explícita más pequeña que se conoce de modo que \ operatorname {per} (A) = \ det (B) ? ¿Alguna referencia sobre esto con ejemplos explícitos?UNAUNAA3 × 33×33 \times 34×44 4×4 44 …

9 cc.complexity-theory  algebraic-complexity  permanent 

En [1] se afirma que "Sigue siendo una pregunta abierta si cada función en tiene circuitos (aunque al menos se sabe que no todas las funciones tienen circuitos uniformes DLogTime )".T C 0 # P T C 0#P#P\#PTC0TC0TC^0#P#P\#PTC0TC0TC^0 TC0TC0TC^0 circuitos generados por las funciones DLogTime no contienen . No sabemos …

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

Deje ser una matriz cuadrada dada. ¿Hay alguna evidencia de que superar los límites inferiores cuadráticos para B de modo que det ( B ) = per ( A ) pueda ser difícil?AAABBBdet(B)=per(A)det(B)=per(A)\text{det}(B) = \text{per}(A) ¿Hay alguna conjetura plausible que implique que probar límites más bajos es difícil? ¿Hay alguna …

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