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...
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 ( n + poli ( 1 / ε ) ) ?solGGk ,
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...
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...
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, el problema...
Tuve dificultades para encontrar algoritmos o artículos publicados sobre triangulación de polígonos auto intersectantes (también polígonos con estructura de agujeros). ¿Alguien puede guiarme para encontrar papel / algoritmo publicado, por favor? PD: alguien etiquete esta pregunta apropiadamente,...
Me gustaría saber a dónde puedo recurrir para una buena y amable introducción a k-SAT (esto puede ser para matemáticos que pueden no tener una buena formación en informática). También me gustaría conocer documentos que tal vez examinen o expliquen los métodos actuales utilizados para resolver...
Me pregunto si el siguiente problema tiene un nombre o algún resultado relacionado con él. Sea un gráfico ponderado donde denota el peso del borde entre y , y para todos , . El problema es encontrar un subconjunto de vértices que maximice la suma de los pesos de los bordes adyacentes a ellos:...
Como es viernes, es hora de una pregunta de CW. Estoy buscando heurísticas que tengan un amplio uso en problemas de optimización. Para limitar el alcance a más heurísticas 'amigables con la teoría', aquí están las reglas (algunas arbitrarias, otras no) Debe ser un método bien definido sin...
Agradecería cualquier sugerencia o término que pudiera ayudarme a comenzar en la dirección correcta. Tenemos un gráfico dirigido y longitudes para cada borde que se puede suponer positivo. Hay un nodo inicial especial nodo final .l i j i j s tG = ( V, E)G=(V,E)G=(V,E)lyo jlijl_{ij}yo...
Me interesa aprender más sobre algoritmos y estructuras de datos ajenos a la memoria caché, pero hay tantos documentos que honestamente no sé por dónde empezar. Encontré la tesis original de Prokup sobre el tema, que parece un buen punto de partida, pero si hay una introducción simple y accesible...
Tengo una familia de problemas de programación lineal: maximizar sujeto a , . Los elementos de , , y son números enteros no negativos, estrictamente positivo. ( también debería ser integral, pero me preocuparé por eso más adelante).C′Xc′xc' xA x ≤ bAx≤bA x\le bx ≥ 0x≥0x\ge0UNAAAsibbCccCccXxx A...
En todas partes que leí sobre el problema de corte más escaso, solo dice que se sabe que el problema es NP- duro. ¿Dónde puedo encontrar una prueba de esto? ¿Qué problema NP- duro conocido se reduce al problema de corte más escaso? No pude encontrar ninguna prueba en el libro de Vazirani -...
Para una aplicación de aprendizaje de máquina, mis necesidades de grupo para calcular la distancia euclídea a la ésimo vecino más cercano en un conjunto para cada (para entre 5 y aproximadamente 100 , y algunos cientos hasta unos pocos millones). Actualmente estamos utilizando el enfoque de fuerza...
Supongamos un marco en la complejidad de la comunicación donde tenemos dos jugadores A (piojos) y B (ob) y un R (árbitro). A y B no se comunican directamente entre sí. En cada ronda de comunicación, cada uno de ellos envía un mensaje ( , ) a la R. R calcula dos funciones y y les envía los...
En el contexto de algunos trabajos recientes , hemos estado definiendo un lenguaje basado en una lógica de tres valores à la Kleene, donde significa verdadero, para falso y para error o no sabe. Para demostrar que nuestro lenguaje era expresivo, queríamos demostrar que podíamos construir un...
Mi pregunta es un poco vaga. Me he estado preguntando si (y cómo), podemos aplicar la noción de ancho de árbol a los problemas de empaque en los gráficos. Estaría contento con cualquier idea o referencia de trabajos de investigación anteriores sobre esto (suponiendo que haya alguna relación)....
Intrigado por la interesante pregunta de Chris Pressey sobre funciones recursivas elementales , estaba explorando más y no pude encontrar una respuesta a esta pregunta en la web. Las funciones recursivas elementales corresponden muy bien a la jerarquía exponencial,
Lo siguiente me parece una definición natural y me pregunto si se ha estudiado en alguna parte Considere un conjunto de idiomas. Entonces se llama " -información verificable" cuando hay stX⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1 \rbrace^*}K⊂{0,1}ωK⊂{0,1}ωK \subset \lbrace 0, 1...
Estoy interesado en compiladores verificados formalizados en la teoría de tipo Martin-Löf, es decir, Coq / Agda. Por el momento he escrito un pequeño ejemplo de juguete. Con eso puedo demostrar que mis optimizaciones son correctas. Por ejemplo, las adiciones con cero pueden eliminarse, es decir,...