Preguntas etiquetadas con reference-request

A lo que me refiero como contar es el problema que consiste en encontrar el número de soluciones para una función. Más precisamente, dada una función F: N→ { 0 , 1 }F:norte→{0 0,1}f:N\to \{0,1\} (no necesariamente caja negra), aproximada # { x ∈ N∣ f( x ) = 1 …

13 ds.algorithms  reference-request  counting-complexity  time-complexity 

Los parámetros fijos y la aproximación son enfoques totalmente diferentes para resolver problemas difíciles. Tienen motivaciones diferentes. La aproximación busca un resultado más rápido con una solución aproximada. El parámetro fijo busca una solución exacta con complejidad de tiempo en términos de la función exponencial o alguna de k y …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

Mientras intentaba resolver un problema, terminé expresando parte de él como el siguiente programa lineal entero. Aquí son todos enteros positivos dados como parte de la entrada. Un subconjunto especificado de las variables se establece en cero, y el resto puede tomar valores integrales positivos:x i jℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,wℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,w\ell,m,n_{1},n_{2},\ldots,n_{\ell},c_{1},c_{2},\ldots,c_{m},wxijxijx_{ij} Minimizar ∑mj=1cj∑ℓi=1xij∑j=1mcj∑i=1ℓxij\sum_{j=1}^{m}c_{j}\sum_{i=1}^{\ell}x_{ij} Sujeto …

13 reference-request  linear-programming  polynomial-time  integer-programming  integrality-gap 

Recientemente, estaba revisando una introducción a los algoritmos holográficos. Encontré algunos objetos combinatorios llamados Pfaffians. No sé mucho sobre eso en este momento y encontré algunos usos sorprendentes a los que se les puede dar. Por ejemplo, llegué a saber que se pueden usar para contar eficientemente la cantidad de …

13 reference-request  co.combinatorics  counting-complexity 

Mientras exploraba diferentes técnicas para probar límites más bajos para algoritmos distribuidos, se me ocurrió que la siguiente variante del teorema de Ramsey podría tener aplicaciones, si resulta ser cierto. Parámetros: se dan , , , y luego se elige para que sea lo suficientemente grande. Terminología: un subconjunto m …

13 reference-request  co.combinatorics  ramsey-theory 

Hay dos tipos principales de fallas del procesador en los modelos de computación distribuida: (1) Fallos de bloqueo: un procesador se detiene y nunca más se inicia. (2) Fallos bizantinos: los procesadores se comportan de manera adversa, maliciosa. Mi pregunta es: ¿Cuáles son algunos otros tipos de fallas del procesador …

13 reference-request  dc.distributed-comp 

El problema del chisme en los sistemas distribuidos es el siguiente. Tenemos un gráfico con n vértices. Cada vértice v tiene un mensaje m v que debe enviarse a todos los nodos.GGGnnnvvvmvmvm_v Ahora, mi pregunta está en el contexto del modelo de red ad-hoc (suponemos que un nodo no tiene …

13 reference-request  dc.distributed-comp 

La pregunta ¿Qué hay de nuevo en estructuras de datos puramente funcionales desde Okasaki? , y la respuesta épica de jbapple, mencionó el uso de listas de diferencias en la programación funcional (en oposición a la programación lógica), que es algo que me ha interesado recientemente. Esto me llevó a …

13 reference-request  ds.data-structures  pl.programming-languages  functional-programming  logic-programming 

Se sabe que determinar si una variedad múltiple triangulada de 3 es una esfera 3 está en NP, a través del trabajo de Saul Schleimer en 2004: "El reconocimiento de la esfera se encuentra en NP" arXiv: math / 0407047v1 [math.GT] . Me pregunto si esto se ha establecido para …

13 cc.complexity-theory  reference-request  open-problem  topology 

Antecedentes: en el aprendizaje automático, a menudo trabajamos con modelos gráficos para representar funciones de densidad de probabilidad de alta dimensión. Si descartamos la restricción de que una densidad se integra (sumas) a 1, obtenemos una función de energía estructurada en gráficos no normalizada . Supongamos que tenemos una función …

13 reference-request  machine-learning  lg.learning  boolean-functions 

Se dice que dos árboles de búsqueda binarios son linealmente equivalentes cuando están de acuerdo en sus recorridos en orden. El siguiente teorema explica por qué las rotaciones de árboles son tan fundamentales: Deje que A y B sean árboles binarios de búsqueda. Entonces A y B son linealmente equivalentes …

13 reference-request  ds.data-structures 

Es fácil verificar que, dada la cuadrícula d dimensional de los puntos enteros , con la adyacencia regular, se puede encontrar un separador de tamaño n d - 1 (simplemente elija cualquier hiperplano medio y elimine todos sus vértices). Tampoco es demasiado difícil (pero definitivamente no es inmediato) verificar que …

13 reference-request  cg.comp-geom  lower-bounds 

Gracias a Immerman y Szelepcsényi, se sabe que if (incluso para funciones construibles que no son espaciales).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) En el mismo documento, Immerman declara que la jerarquía alterna del espacio de registro se colapsa, esto significa que (la definición de la máquina de turing alterna delimitada y de qué …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

El ancho de árbol y el ancho de ruta son parámetros populares, que miden la cercanía de un gráfico a un árbol o una ruta, respectivamente. De hecho, parece que el ancho de árbol es tan popular que aparece en muchos documentos, libros y notas de conferencias que ofrecen (incluso …

13 reference-request  graph-algorithms  parameterized-complexity 

¿Se sabe si el problema del conjunto de vértices de retroalimentación en gráficos planos no dirigidos de grado acotado es -hard?NPNP\mathsf{NP}

13 cc.complexity-theory  reference-request  graph-algorithms  np-hardness