Ciencias de la computación teórica

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 

Sea una clase de gráficos con ancho de camarilla acotado. En cada gráfico en G se contraen algunos bordes (por ejemplo, al azar). ¿Ahora el ancho de la camarilla sigue limitado?solsolGsolsolG En caso de que (en general) ya no esté acotado, estaría muy interesado en un contraejemplo.

13 graph-theory  co.combinatorics  cliquewidth 

El problema del ciclo hamiltoniano (HC) consiste en encontrar un ciclo que atraviese todos los vértices en un gráfico no dirigido dado. El problema del vendedor ambulante (TSP) consiste en encontrar un ciclo que atraviese todos los vértices en un gráfico ponderado de borde dado y minimice la distancia total …

13 cc.complexity-theory  np-hardness  hamiltonian-paths  tsp  graph-classes 

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 

Muchas clases de complejidad definidas con máquinas de Turing tienen definiciones en términos de circuitos uniformes. Por ejemplo, P también se puede definir usando circuitos de tamaño polinómico uniforme, y de manera similar BPP, NP, BQP, etc. se pueden definir con circuitos uniformes. Entonces, ¿hay una definición de L basada …

13 cc.complexity-theory  complexity-classes  circuit-complexity 

Estaba buscando la multiplicación de matrices, así que primero visito los algoritmos de multiplicación de matrices wiki . En las referencias encontré un artículo que afirma que usa el algoritmo , leería el artículo pero es complicado y lo haré toma demasiado tiempo leerlo, pero si hay alguien que lee …

13 ds.algorithms  linear-algebra  matrix-product 

DLogTimeDLogTime\mathsf{DLogTime} yNLogTimeNLogTime\mathsf{NLogTime} son dos de las clases de complejidad más pequeñas que tenemos. (Tenga en cuenta que la jerarquía de tiempo logarítmicoLHLH\mathsf{LH} es igual aAC0AC0\mathsf{AC}^0 y estos son los dos primeros niveles deLHLH\mathsf{LH} ). Después de leer esta pregunta , me convierto interesado en ver si se conoce la separación …

13 cc.complexity-theory  circuit-complexity 

Aquí está el problema: Tenemos un cuadrado con algunos números de 1..N en algunas celdas. Es necesario para determinar si se puede completar en un cuadrado mágico. Ejemplos: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ _ …

13 cc.complexity-theory  np-hardness  np  puzzles 

Hice esta pregunta en preguntas y respuestas validadas cruzadas, pero parece que está relacionada con CS mucho más que las estadísticas. ¿Me puede dar ejemplos de algoritmos de aprendizaje automático que aprendan de las propiedades estadísticas del conjunto de datos, no de las observaciones individuales, es decir, empleen el modelo …

13 lg.learning  machine-learning 

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 

Deje que un polinomio multivariable con coeficientes más de un campo F . El multilinearization de p , denotada por p , es el resultado de sustituir repetidamente cada x d i con d > 1 por x i . El resultado es obviamente un polinomio multilineal.p(x1,…,xn)p(x1,…,xn)p(x_1,\ldots,x_n)FFFpppp^p^\hat{p}xdixidx_i^dd>1d>1d > 1xixix_i Considere …

13 cc.complexity-theory  polynomials 

Mi experiencia es en teoría / lógica de complejidad (donde solo hay un proceso la mayor parte del tiempo), y en computación distribuida (donde hay procesos y uno o más pueden fallar con el tiempo). Sin embargo, ahora quiero poder decir algo sobre un proceso que genera / crea / …

13 dc.parallel-comp  process-algebra 

Digamos que tenemos una red neuronal de alimentación de una sola capa con k entradas y una salida. Calcula una función a partir de , es bastante fácil ver que tiene al menos la misma potencia de cálculo que A C 0 . Solo por diversión, llamaremos al conjunto de …

13 cc.complexity-theory  circuit-complexity  machine-learning  ne.neural-evol 

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