Preguntas etiquetadas con reference-request

Estoy tratando de encontrar problemas cuya complejidad de espacio de casos promedio ha sido analizada. Más específicamente, estoy interesado en saber si hay algún problema con un límite inferior de complejidad espacial comprobada que sea superlineal, y especialmente si hay alguno con un análisis de caso promedio (por ejemplo, el …

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

Esta pregunta fue motivada por una pregunta hecha en stackoverflow . Supongamos que se le da un árbol enraizado (es decir, hay una raíz y los nodos tienen hijos, etc.) en n nodos (etiquetados 1 , 2 , ... , n ).TTTnortenn1 , 2 , ... , n1,2,…,n1, 2, \dots, …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory 

Esta es una continuación de mi pregunta anterior sobre límites inferiores de comunicación para funciones booleanas parciales . ¿Alguien puede sugerir alguna referencia en los límites inferiores para la comunicación multipartidista no determinista? He estado examinando los documentos en el campo, pero todo el mundo parece mostrar separaciones del siguiente …

11 cc.complexity-theory  reference-request  lower-bounds  communication-complexity  norms 

DDD{0,1}d×{0,1}{0,1}d×{0,1}\{0,1\}^d\times \{0,1\}CCCf:{0,1}d→{0,1}f:{0,1}d→{0,1}f:\{0,1\}^d\rightarrow\{0,1\}f∈Cf∈Cf \in Cerr(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D) = \Pr_{(x,y) \sim D}[f(x) \neq y]OPT(C,D)=minf∈C err(f,D)OPT(C,D)=minf∈C err(f,D)OPT(C,D) = \min_{f \in C}\ err(f,D) Digamos que un algoritmo AAA aprende agnósticamente CCC sobre cualquier distribución, si para cualquier DDD puede con una probabilidad 2/32/32/3 encontrar una función fff tal que err(f,D)≤OPT(C,D)+ϵerr(f,D)≤OPT(C,D)+ϵerr(f,D) \leq OPT(C,D) + \epsilon , dado …

11 reference-request  machine-learning  lg.learning 

Mientras era estudiante de EE asistí a algunas conferencias que presentaban una buena caracterización de los circuitos booleanos en términos de cuántos bucles anidados tienen. En complejidad, los circuitos booleanos a menudo se consideran dags, pero en los ciclos reales de hardware son comunes. Ahora, modulo algunos tecnicismos con respecto …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

En un gráfico, un conjunto independiente es un subconjunto de vértices que no contiene un borde como un subgráfico inducido. El problema de encontrar conjuntos independientes más grandes en un gráfico es una pregunta algorítmica fundamental, y difícil de resolver. Consideremos la cuestión más general de encontrar (el tamaño de) …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

Es fácil ver en muchos libros de texto las pruebas de reducción de materia y fuerte normalización para el Sistema F, también, a veces hay definiciones de Sistema F con pares, donde (t, r) es un término, no solo una codificación. La pregunta es, ¿cuál sería la referencia para este …

11 reference-request  lo.logic  type-theory  lambda-calculus  polymorphism 

Estoy especialmente interesado en su uso en aplicaciones de verificación de modelos. Tengo redes de colas abiertas, cerradas y mixtas con diferentes clases de clientes por Baskett et al. ¿Alguna otra sugerencia para leer material? Gracias.

11 reference-request  markov-chains  queueing-theory  model-checking 

Denote por el grado mínimo de salida en G , y por δ - ( G ) el grado mínimo de entrada.δ+(G)δ+(G)\delta^+(G)GGGδ−(G)δ−(G)\delta^-(G) En una pregunta relacionada , mencioné la extensión de Ghouila-Houri del teorema de Dirac sobre los ciclos hamiltonianos , que sugiere que si entonces G es hamiltoniano.δ+(G),δ−(G)≥n2δ+(G),δ−(G)≥n2\delta^+(G),\delta^-(G) \geq …

11 reference-request  graph-theory 

De acuerdo con el libro Topological Graph Theory de Gross y Tucker, dada una incrustación celular de un gráfico en una superficie (por 'superficie' me refiero aquí a una esfera con algunos asas, y debajo de refiere a la esfera con exactamente tiradores), se puede definir un multigrafo dual tratando …

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

¿Ha habido algún trabajo para recuperar la pendiente de un segmento de línea desde su digitalización? Uno no puede hacer esto con perfecta precisión, por supuesto; lo que uno quiere es un método para derivar de una línea digitalizada un intervalo de posibles pendientes. (El concepto de una línea digitalizada …

11 reference-request  cg.comp-geom  cv.computer-vision  image-processing 

Me interesarían mucho las referencias a la teoría de las funciones submodulares (desde lo básico hasta lo avanzado). En particular, estoy estudiando aproximaciones a problemas de optimización difíciles y quiero desarrollar mis fundamentos en funciones submodulares, ya que son relevantes para los problemas de optimización que he estado estudiando. Gracias …

11 ds.algorithms  reference-request  approximation-algorithms  optimization 

Una de las consecuencias más prácticas de la correspondencia "Curry-Howard-Lambek" es que la sintaxis de muchas lambda-calucli / lógicas puede usarse para realizar construcciones en una categoría suficientemente estructurada. Por ejemplo, la Geometría diferencial sintética tiene modelos en topoi que contienen e incrustan la categoría de múltiples suaves, por lo …

11 reference-request  pl.programming-languages  type-theory  ct.category-theory  constructive-mathematics 

Me pregunto si alguien puede darme la intuición detrás de por qué la estricta positividad de los tipos de datos inductivos garantiza una fuerte normalización. Para ser claros, veo cómo tener ocurrencias negativas conduce a la divergencia, es decir, al definir: data X where Intro : (X->X) -> X Podemos …

10 reference-request  pl.programming-languages  type-theory  type-systems  dependent-type 

Estoy en una situación en la que necesito demostrar que la verificación de tipos es decidible para un cálculo de tipo dependiente en el que estoy trabajando. Hasta ahora, he podido demostrar que el sistema se está normalizando fuertemente y, por lo tanto, que la igualdad de definición es decidible. …

10 reference-request  pl.programming-languages  type-theory  dependent-type  typed-lambda-calculus