Preguntas etiquetadas con reference-request

Sea un conjunto de formas rectangulares -dimensionales. Para y , describe la longitud de en la dimensión . La misma notación se utiliza para el contenedor C . El problema del empaque ortogonal dimensional D (OPP- D ) es decidir si V encaja en el contenedor C sin solaparse. Formalmente, …

9 cc.complexity-theory  reference-request  np-hardness  packing 

Como seguimiento de mi pregunta anterior , que fue resuelta por Hsien-Chih Chang, aquí hay otro intento de encontrar una generalización apropiada del teorema de Ramsey. (No es necesario que lea la pregunta anterior; esta publicación es independiente). Parámetros: se dan enteros , y luego se elige para que sea …

9 reference-request  co.combinatorics  ramsey-theory 

Me pregunto si hay algún enfoque que formule un problema de enrutamiento de vehículos con ventanas de tiempo ( VRPTW ) (como un problema de decisión) como una instancia SAT / SMT. (alternativa: TSP) Por ejemplo: "¿Existe una solución válida para visitar a todos los clientes dentro de sus ventanas …

9 ds.algorithms  reference-request  sat  reductions  tsp 

Supongamos que tenemos una gráfica y parámetros k , ϵ . ¿Hay rangos de valores para k (o es factible para todo k ) para el que es posible comprobar si G es ε -lejos de tener un conjunto independiente de tamaño al menos k en el tiempo O ( …

9 ds.algorithms  graph-theory  reference-request  property-testing 

Estoy (lentamente) escribiendo una reseña del Manual de Algoritmos de Quimioinformática para SIGACT News. Un capítulo analiza las implementaciones de software actuales, y las búsquedas en la base de datos (y otras aplicaciones) no parecen aprovechar tanta información sobre los gráficos como podrían. Por otro lado, quizás los algoritmos más …

9 reference-request 

¿Alguien ha explorado cuál es la complejidad del circuito de los problemas de decisión clásicos como Primes o Graph-Isomorphism para un tamaño de entrada pequeño ?NNN Si bien la mayoría de la gente está interesada en cómo va la escala según , creo que también sería interesante ver cómo crece …

9 cc.complexity-theory  reference-request  circuit-complexity 

Estoy tomando un curso de posgrado en teoría de la información y constantemente me sorprende la cantidad de optimización convexa que hay en esta materia. Sin embargo, las pruebas parecen eludir el uso de toda la maquinaria de la teoría de la relajación, la dualidad, etc. Esto es comprensible ya …

9 reference-request  it.information-theory  convex-optimization 

Considere un problema en el que se le proporciona una cuadrícula 2D (por ejemplo, un tablero de ajedrez) donde están ocupados ciertos cuadrados y necesita colocar el número mínimo de rectángulos no superpuestos de cualquier tamaño wxh donde w = 1 o h = 1 (es decir, "cuadrado segmentos ") …

9 reference-request  np-hardness  planar-graphs  packing  polynomial-time 

De Wikipedia : VPVP\mathsf{VP} : La clase VP es el análogo algebraico de P; es la clase de polinomiosfff de grado del polinomio que tienen circuitos de tamaño polinómicas sobre un campo fijoKKK . VNPVNP\mathsf{VNP} : La clase VNP es el análogo de NP. VNP puede considerarse como la clase …

8 cc.complexity-theory  reference-request  quantum-computing  circuit-complexity 

Esta es una confusión de referencia. A veces veo que la gente usa el término "metalenguaje computacional de Moggi" para referirse al cálculo presentado por Moggi, y a veces al "cálculo lambda computacional de Moggi". A veces usan λm lλmetrol\lambda_{ml} y a veces λCλC\lambda_c . Siempre he asumido que ambos …

8 reference-request  typed-lambda-calculus  monad 

¿Alguno de ustedes conoce una referencia para el siguiente resultado (sorprendentemente tedioso de probar)? Dado un gráfico plano conectado con vértices y aristas, tiene un separador de vértices de tamaño .GGGnnnn+tn+tn+tO(t√+1)O(t+1)O( \sqrt{t}+1)

8 reference-request  planar-graphs  separation 

Considere el problema de la intersección de conjuntos: Alice y Bob obtienen cada uno un subconjunto de {1,…,n}{1,…,n}\left\{ 1,\ldots, n\right\} , y les gustaría saber si sus conjuntos se intersecan. Este es un problema canónico de la complejidad de la comunicación, y es bien sabido que los protocolos aleatorizados para …

8 reference-request  communication-complexity 

¿Se introdujo #P por primera vez en [1] ? [1] Valiant, Leslie G. "La complejidad de calcular lo permanente". Informática teórica 8.2 (1979): 189-201.

8 cc.complexity-theory  reference-request  counting-complexity  ho.history-overview 

G=(V,E)G=(V,E)G=(V,E) iV(G)=min{|N(S)||S|:S⊆V,1≤|S|≤|V|2}iV(G)=min{|N(S)||S|:S⊆V,1≤|S|≤|V|2}i_V(G) = \min\{\frac{|N(S)|}{|S|} : S \subseteq V, 1\le |S|\le \frac{|V|}{2}\} ¿Puede dar una referencia donde el siguiente problema se muestra NP completo: dado un gráfico y un número , la pregunta es decidir si tiene un número isoperimétrico de vértice como máximo ?GGGtttGGGttt

8 reference-request  graph-theory  np-hardness 

Me he estado preguntando por un tiempo sobre el origen de los nombres "inmunes" y "simples". También le hice la misma pregunta a Andrea Sorbi, quien a su vez involucró a algunos colegas más en la discusión. Sobre "simple" tenemos algunas conjeturas. Martin Davis sugiere que el nombre deriva de …

8 reference-request  lo.logic  computability  philosophy