Ciencias de la computación teórica

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 

En resumen: suponiendo que existan permutaciones unidireccionales , ¿podemos construir una que no tenga trampilla? Más información: Una permutación unidireccional es una permutación ππ\pi que es fácil de calcular, pero difícil de invertir (consulte el wiki de etiqueta de función unidireccional para obtener una definición más formal). Generalmente consideramos familias …

9 cr.crypto-security  one-way-function 

Primero preguntado en matemáticas . SE sin respuestas. Supongamos que tengo un gráfico plano, con una incrustación plana, ¿cómo encuentro la descomposición del árbol? ¿Cuál es la descomposición óptima del árbol de una rejilla cuadrada -by- d ? No estoy completamente seguro de cómo definir "óptimo", pero debe distinguir entre …

9 ds.algorithms  graph-theory  graph-algorithms  treewidth  integer-lattice 

¿Es el siguiente problema de decisión NP-completo: Sea un gráfico no dirigido y dos enteros. ¿Es posible seleccionar para cada vértice de exactamente vecinos diferentes de modo que no se elija ningún nodo más de veces?b ≤ c G b csolGGb ≤ cb≤cb \le csolGGsibbCcc El caso se puede resolver …

9 cc.complexity-theory  np-hardness  graph-algorithms 

Alice y Bob están dividiendo el patrimonio de su difunto tío Charlie (una colección finita de artículos discretos) de acuerdo con sus deseos. Primero A elige un elemento, luego B, luego A, y así sucesivamente.XXX Alice y Bob tienen funciones de utilidad aditivas , de modo que si Alice termina …

9 gt.game-theory 

Cuando revisé " Un enfoque de programación dinámica para problemas de secuencia " de Michael Held y Richard M. Karp, se me ocurrió la siguiente pregunta: ¿por qué la complejidad de su algoritmo para TSP es (∑n−1k=2k(k−1)(n−1k))+(n−1)(∑k=2n−1k(k−1)(n−1k))+(n−1)(\sum_{k=2}^{n-1}k(k-1)\binom{n-1}{k})+(n-1) (p. 199), quiero decir, ¿de dónde sacan el factor kkk ? Si entendí …

9 ds.algorithms  tsp  exp-time-algorithms 

Estoy buscando una estructura de datos, que es básicamente un árbol de mapas, donde el mapa en cada nodo contiene algunos elementos nuevos, así como los elementos en el mapa de su nodo padre. Por mapa aquí me refiero a un mapa de programación con claves y valores, como mapa …

9 ds.data-structures  tree  hash-function 

Esta es una versión especializada de una pregunta anterior: Complejidad de encontrar la descomposición propia de una matriz . Para las matrices simétricas NxN, se sabe que el tiempo O (N ^ 3) es suficiente para calcular la descomposición propia. La pregunta es: ¿podemos lograr una complejidad subcúbica? Gracias.

9 ds.algorithms  time-complexity  matrices  linear-algebra  na.numerical-analysis 

¿Cómo puede obligar a una parte a ser honesta (obedecer las reglas del protocolo)? He visto algunos mecanismos como compromisos, pruebas, etc., pero simplemente no parecen resolver todo el problema. Me parece que la estructura del diseño del protocolo y tales mecanismos deben hacer el trabajo. ¿Alguien tiene una buena …

9 cr.crypto-security  gt.game-theory 

La teoría de la complejidad computacional clasifica los problemas de acuerdo con su dificultad inherente. La teoría de sistemas complejos aborda sistemas que exhiben comportamientos que obviamente no surgen de las propiedades de las partes individuales del sistema. Los ejemplos incluyen sistemas caóticos, sistemas adaptativos complejos o sistemas no lineales. …

9 cc.complexity-theory  soft-question  big-picture 

Recientemente he pensado en "importar" alguna pregunta relacionada con la física en CS cuántico: La noción del fenómeno de ley de área en los sistemas hamiltonianos generalmente representa a un hamiltoniano local en alguna red, cuyo estado base exhibe una propiedad en la que el enredo de cualquier región cerrada …

9 quantum-computing  big-picture 

Generalmente llamamos a un algoritmo "buen algoritmo" si su tiempo de ejecución es polinómico en el peor de los casos. Pero en algunos casos (por ejemplo, el algoritmo Simplex), aunque el peor de los casos del algoritmo es exponencial, podría funcionar muy bien en la práctica. ¿Hay algún ejemplo (determinista) …

9 ds.algorithms 

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 

Es bien sabido que el problema NP-Complete llamado Subset Sum tiene un FPTAS. Me preguntaba si existía un problema PSPACE Complete que también tiene un FPTAS. Gracias por adelantado.

9 ds.algorithms  space-bounded  big-picture 

Cerrado. Esta pregunta está fuera de tema . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que sea sobre el tema para el intercambio teórico de pila de informática. Cerrado hace 3 años . ¿Existe una breve construcción explícita de una función recursiva universal ? …

9 lo.logic  computability  pl.programming-languages