Preguntas etiquetadas con reference-request

El siguiente lema no es difícil de probar. Lema : Sea y k ∈ [ n ] . Si m 1 , m 2 , ... , m r son enteros (algunos de ellos pueden ser negativos) de modo que m 1 c 1 + m 2 c 2 + …

8 reference-request  nt.number-theory 

La dimensión VC es una medida de la complejidad de las clases de funciones que está estrechamente vinculada a la complejidad de la muestra. La dimensión de rotura de grasa es una generalización adecuada para dominios ordenados más ricos: es decir, . ¿Existe una generalización estándar de la dimensión VC …

8 reference-request  lg.learning  vc-dimension 

Me imagino que esta debe ser una pregunta introductoria de geometría computacional, pero no estoy seguro de las mejores frases de búsqueda, y también estoy interesado en las variaciones de la pregunta, por lo que espero punteros a referencias útiles. Estoy interesado en algoritmos factibles para el siguiente problema. Entrada: …

8 reference-request  cg.comp-geom 

Estoy buscando una referencia para la complejidad de la comunicación aleatoria unidireccional (clásica) cuando el universo puede ser grande. Digamos que Alice y Bob tienen conjuntos de tamaño elegidos de un universo de tamaño y Bob quiere determinar si la intersección de sus conjuntos está vacía o no. Me gustaría …

8 cc.complexity-theory  reference-request  lower-bounds  communication-complexity 

¿Existe una base de datos de problemas conocidos con información sobre su complejidad y algoritmos, problemas relacionados, referencias, etc. que está disponible para nosotros? [Si no, ¿podemos hacer uno? Sé que esto está fuera de tema, pero sería TAN útil]

8 cc.complexity-theory  reference-request  survey 

Espero haber llegado al lugar correcto ... es (probablemente) una pregunta de programación lógica bastante sencilla. Si tengo dos cláusulas de la forma: B:-A C:-A puedo transformarlas en: B,C:-A ( Editar: dónde B,Ces una conjunción. Estoy haciendo una evaluación de abajo hacia arriba y me es útil representar múltiples cláusulas …

8 reference-request  pl.programming-languages  terminology  logic-programming 

¿Podría recomendar un artículo de encuesta o un capítulo de libro de texto que presente la teoría de las funciones recursivas? Gracias

8 reference-request  computability 

Se necesita una referencia a las técnicas para demostrar que el tamaño de una brecha de integralidad está limitado por alguna expresión para un LP particular (o SDP, pero menos importante). También sería bueno tener una referencia a un lugar donde se describan técnicas para minimizar las brechas de integralidad. …

8 ds.algorithms  reference-request  linear-programming  semidefinite-programming  integrality-gap 

Comencé a buscar estructuras de incidencia y diseños combinatorios (posible motivación: para enlazar algunas estructuras en el autoensamblaje generalizado), y el artículo de Wikipedia hace la siguiente declaración interesante pero inexplicable: los diseños de bloques tienen aplicación en las pruebas de software. (La página de Wikipedia con el reclamo está …

8 reference-request