Ciencias de la computación teórica

¿Existe alguna herramienta en la que uno pueda determinar si dos personas son coautoras o no? Como la herramienta en la que uno puede descubrir el número de Erdos de alguien.

10 soft-question 

Graph automorphism es una permutación de nodos de gráfico que induce una biyección en el conjunto de aristas EEE . Formalmente, es una permutación fff de nodos como (u,v)∈E(u,v)∈E(u,v)\in E iff (f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Defina un borde violado para alguna permutación como un borde que se asigna a no borde o …

10 cc.complexity-theory  graph-theory  automorphism  symmetry 

Motivación: en los algoritmos de flujo máximo de ruta de aumento estándar, el bucle interno requiere encontrar rutas desde la fuente para hundirse en un gráfico ponderado dirigido. Teóricamente, es bien sabido que para que el algoritmo termine incluso cuando hay capacidades de borde irracionales, necesitamos establecer restricciones en los …

10 ds.algorithms  graph-theory  graph-algorithms 

En SODA 2006, Martin Grohe y D niel papel de Marx "resolución de restricciones a través de cubiertas de borde fraccional" ( cita ACM ) mostraron que para la clase de hypergraphs H con anchura Hypertree fraccional acotada, CSP ( H ) ∈ P T I M E .una´a´\acute{\rm a}HHHHHH∈ …

10 cc.complexity-theory  graph-theory  hypergraphs  treewidth  csp 

Esta pregunta ha surgido en mi mente después de leer las contribuciones de András Salamon y Colin McQuillan a mi pregunta anterior Soluciones de conteo de fórmulas Monotone-2CNF . EDITAR 30 ª Mar 2011 pregunta Agregado n ° 2. EDITAR 29 º Oct 2010 Pregunta reformuló después de la propuesta …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Busqué en el foro para ver si esto se ha preguntado antes, y aunque se discute la teoría algorítmica de juegos, no pude encontrar este problema en particular. Estoy tratando de descubrir cuál es el algoritmo más conocido para calcular equilibrios de Nash aproximados (de estrategia mixta) en un juego …

10 ds.algorithms  gt.game-theory 

Digamos que tengo un gráfico ponderado tal que es la función de ponderación; tenga en cuenta que se permiten pesos negativos.w : E → [ - 1 , 1 ]G = ( V, E, W )G=(V,E,w)G = (V,E,w)w : E→ [ - 1 , 1 ]w:E→[−1,1]w:E\rightarrow [-1,1] Supongamos que define …

10 ds.algorithms  graph-theory  co.combinatorics 

Me pregunto si hay lenguaje escaso (incluso construido por diagolanización retrasada) en NPI bajo el supuesto de que .P≠NPP≠NPP \neq NP

10 cc.complexity-theory  complexity-classes 

Me gustaría saber el estado actual de la transición de fase para k-sat aleatorio, dadas n variables y m cláusulas, cuál es la c = m / n más conocida para los límites superior e inferior.

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition 

Estoy buscando una función hash sobre los conjuntos H (.) Y una relación R (.,.) Tal que si A está incluida en B, entonces R (H (A), H (B)). Por supuesto, R (.,.) Debe ser fácil de verificar (tiempo constante) y H (A) debe calcularse en tiempo lineal. Un ejemplo …

10 ds.algorithms  hash-function 

¿Qué documentos sobre el manejo de errores en sistemas distribuidos me recomiendan?

10 reference-request  dc.distributed-comp 

Los generadores invulnerables se definen de la siguiente manera: Sea una relación NP y M una máquina que acepte L ( R ) . Informalmente, un programa es un generador invulnerable si, en la entrada 1 n , produce pares de instancia-testigo ( x , w ) ∈ R , …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

¿Se conoce alguna clase de complejidad que contenga homólogos en línea de problemas de optimización? Si no, ¿cómo se puede definir esa clase? Sabemos que muchos problemas tienen su versión en línea: por ejemplo, la versión en línea del problema de empaquetado de contenedores. Los problemas en línea son más …

10 cc.complexity-theory  complexity-classes 

Muchos aquí probablemente estén al tanto de los límites inferiores súper lineales recientes de Alon para redes en un entorno geométrico natural [PDF] . Me gustaría saber qué implica, en todo caso, un límite inferior acerca de la aproximación de los problemas asociados de Set Cover / Hitting Set. ϵϵ\epsilon …

10 cg.comp-geom  set-cover  hypergraphs  approximation-hardness  epsilon-nets 

Suponga que P≠NPP≠NPP \neq NP Deje usar la siguiente notación para la tetración (es decir.iaia{}^ia ).ia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | es el tamaño de la instancia x. Deje L ser una lengua, L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x …

10 cc.complexity-theory  np-hardness  complexity-classes