Preguntas etiquetadas con counting-complexity

Supongamos que t(G)t(G)t(G) denota el número de árboles de expansión en un gráfico con vértices. Hay un algoritmo que calcula en operaciones aritméticas . Este algoritmo es para calcular , donde Q es el laplaciano de G y J es la matriz que consiste únicamente en 1 's. Para obtener …

19 graph-theory  graph-algorithms  counting-complexity  spectral-graph-theory 

¿Cómo puedo determinar la cantidad de rutas simples únicas dentro de un gráfico no dirigido? Ya sea para una determinada longitud o para un rango de longitudes aceptables. Recuerde que una ruta simple es una ruta sin ciclos, así que estoy hablando de contar el número de rutas sin ciclo.

18 graph-theory  co.combinatorics  counting-complexity 

¿Se ha trabajado en cómo la complejidad de las instancias aleatorias de # 2-SAT varía con la densidad de la cláusula? Es decir: ¿cómo varía la dificultad de contar soluciones satisfactorias para una instancia de 2-SAT generada aleatoriamente , a medida que varía la densidad de la cláusula? En particular, …

18 cc.complexity-theory  counting-complexity  random-k-sat 

Version corta. La prueba original de que # 2-SAT es # P- completo muestra, de hecho, que esas instancias de # 2-SAT son monótonas (no implican negaciones de ninguna variable) y bipartitas (el gráfico formado por las cláusulas sobre el variables es un gráfico bipartito) son #P -duro. Por lo …

17 cc.complexity-theory  sat  counting-complexity 

Me han dicho que hay algunos buenos algoritmos de tiempo polinomiales para aproximar el número de rutas simples en un gráfico dirigido desde el vértice inicial dado hasta el vértice final dado . ¿Alguien sabe de una buena referencia sobre este tema?sssttt Antecedentes: contar el número exacto de rutas en …

17 ds.algorithms  reference-request  graph-algorithms  approximation-algorithms  counting-complexity 

Sea un dígrafo (no necesariamente un DAG) y sea s , t ∈ V ( G ) . ¿Cuál es la complejidad de contar el número de rutas s - t simples en G ? GGGs,t∈V(G)s,t∈V(G)s,t \in V(G) s−ts−ts-tGGG Esperaría que el problema sea # completo pero no he podido …

16 ds.algorithms  reference-request  counting-complexity 

Una cubierta de borde es un subconjunto de bordes de un gráfico de tal manera que cada vértice del gráfico es adyacente al menos a un borde de la cubierta. Los siguientes dos artículos dicen que las cubiertas de borde de conteo, se #P -Complete: A FPTAS simples para el …

16 reference-request  graph-algorithms  counting-complexity  proofs 

Hay muy poca información que puedo encontrar sobre el problema NP-completo de resolver la ecuación lineal de diofantina en enteros no negativos. Es decir, ¿hay una solución en no negativo para la ecuación , donde todas las constantes son positivas? La única mención notable de este problema que conozco está …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity 

Es duro encontrar una aproximación de factor constante del ciclo más largo en gráficos hamiltonianos cúbicos. Los gráficos hamiltonianos cúbicos tienen al menos dos ciclos hamiltonianos.nortePAGnortePAGNP ¿Cuáles son los límites superior e inferior más conocidos en el número de ciclos hamiltonianos en gráficos hamiltonianos cúbicos? Dado un gráfico hamiltoniano cúbico, …

15 cc.complexity-theory  counting-complexity 

Supongamos que queremos encontrar o max x ∏ i j ∈ E f(xi,xj)∑x∏ij∈Ef(xi,xj)∑x∏ij∈Ef(xi,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxx∏ij∈Ef(xi,xj)maxx∏ij∈Ef(xi,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Donde Max o la suma se toma sobre todos los marcajes de VVV , el producto se toma sobre todos los bordes EEE para un gráfico G={V,E}G={V,E}G=\{V,E\} y fff …

15 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  counting-complexity 

Tengo un politopo PPP definido por {x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} . Pregunta: Dado un vértice vvv de PPP , ¿existe un algoritmo de tiempo polinómico para muestrear uniformemente de los vecinos de vvv en el gráfico de PPP ? (Polinomio en la dimensión, el número …

15 reference-request  np-hardness  counting-complexity  linear-programming  polytope 

Problema: Dado representado por un circuito booleano, genera una uniformemente aleatoria tal que (o salida si no existe tal ). ϕ : { 0 , 1 }norte→ { 0 , 1 }ϕ:{0 0,1}norte→{0 0,1}\phi : \{0,1\}^n \to \{0,1\}x ∈ { 0 , 1 }norteX∈{0 0,1}nortex \in \{0,1\}^nϕ ( x ) …

14 np-hardness  counting-complexity  reductions 

Estaba leyendo el artículo de Wikipedia sobre el problema de las ocho reinas. Se afirma que no existe una fórmula conocida para el número exacto de soluciones. Después de buscar un poco, encontré un artículo llamado "Sobre la dureza de contar problemas de mapeos completos". En este documento hay un …

14 cc.complexity-theory  counting-complexity  search-problem 

Lema: Suponiendo equivalencia eta tenemos eso (\x -> ⊥) = ⊥ :: A -> B. Prueba: ⊥ = (\x -> ⊥ x)por equivalencia eta y (\x -> ⊥ x) = (\x -> ⊥)por reducción bajo la lambda. El informe Haskell 2010, sección 6.2 especifica la seqfunción mediante dos ecuaciones: seq …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

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