Ciencias de la computación teórica

Aquí hay un problema vecino más cercano. Dados los reales (¡muy grande !), Más el objetivo real , encuentre y cuyo SUM sea más cercano a . Permitimos un preprocesamiento / indexación razonable de (hastauna1, ... , unnortea1,…,ana_1, \ldots, a_np a i a j p a 1 , … , …

9 ds.algorithms  cg.comp-geom  ds.data-structures 

Dado que ambas pruebas hacen uso del argumento diagonal, me pregunto si existe un vínculo oscuro entre la existencia de incontables conjuntos infinitos y la indecidibilidad del problema de detención. ¿El problema de detención sería decidible si todos los conjuntos fueran contables?

9 halting-problem 

¿Cuántos ciclos hay en un gráfico de vértices de modo que el gráfico no tenga ningún ciclo ? ( k ≥ 3 ) n C m ( m > k )CkCkC_k (k≥3)(k≥3)(k \geq 3)nnn CmCmC_m (m>k)(m>k)(m>k) Por ejemplo, , , entonces el gráfico tendrá como máximo dos para que no …

9 graph-theory  graph-algorithms 

Supongamos que tengo puntos en R d . Estos inducen un diagrama de Voronoi. Si asigno a cada uno de los k puntos una etiqueta ± , estos inducen una función binaria en R d . Pregunta: ¿cuál es la dimensión VC de todas esas funciones binarias posibles inducidas por …

9 cg.comp-geom  machine-learning  lg.learning  convex-geometry  high-dimensional-geometry 

Estoy resolviendo un problema de "mezclar" conjuntos de imágenes superpuestas. Estos conjuntos se pueden representar mediante un gráfico ponderado no dirigido como este: Cada nodo representa una imagen. Las imágenes superpuestas están conectadas por un borde. El peso del borde representa el tamaño del área de superposición (la combinación de …

9 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph  parallel 

¿ Las pruebas naturales , la relativización y la algebrización también afectan la separación de otras clases de complejidad como etc.?L ≠ NL ≠ NPAGS≠ c o NPAGS≠ PH≠ PSPAGSA CmiL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE Por ejemplo, la barrera de pruebas naturales debería afectar cualquier prueba de ya …

9 cc.complexity-theory  barriers 

Estoy tratando de encontrar un gráfico con esas propiedades para mis estudios, pero desafortunadamente no puedo encontrar ese gráfico. ¿Alguien sabe si existe ese gráfico, o por qué es imposible existir?

9 graph-theory  graph-classes 

Hay problemas que son decidibles, hay algunos que son indecidibles, hay semidecidabilidad, etc. En este caso, me pregunto si un problema puede ser metadecidible. Esto significa (al menos en mi cabeza) que no podemos decir si es decidible o no. Tal vez se sabe que la capacidad de decisión es …

9 computability  decidability  undecidability 

Sé del trabajo de Shannon con la entropía, pero últimamente he trabajado en estructuras de datos sucintas en las que la entropía empírica se usa a menudo como parte del análisis de almacenamiento. Shannon definió la entropía de la información producida por una fuente de información discreta como , donde …

9 reference-request  shannon-entropy  succinct 

Los equilibrios de Nash son indiscutibles en general. Un equilibrio -Nash es un conjunto de estrategias donde, dadas las estrategias de los oponentes, cada jugador obtiene dentro de el máximo beneficio esperado posible. Encontrar un equilibrio -Nash, dado y un juego, es -complete.ϵϵ\epsilonϵϵ\epsilonϵϵ\epsilonϵϵ\epsilonPPADPPAD\mathsf{PPAD} Siguiendo estrictamente las definiciones, parece que no …

9 reference-request  gt.game-theory  ppad 

Supongamos que P! = NP. Sabemos que podemos hacer instancias fáciles de 3-SAT en cualquier momento. También podemos generar lo que creemos que son instancias difíciles (porque nuestros algoritmos no pueden resolverlas rápidamente). ¿Hay algo que impida que el conjunto de instancias difíciles sea arbitrariamente pequeño, siempre que para cualquier …

9 np-hardness  p-vs-np 

El algoritmo de Berkowitz proporciona un circuito de tamaño polinómico con profundidad logarítmica para determinar una matriz cuadrada utilizando potencias matriciales. El algoritmo utiliza implícitamente la cancelación. ¿Es esencial la cancelación para lograr un circuito de tamaño polinómico con profundidad logarítmica o lineal para calcular el determinante (y cualquier mejor …

9 circuit-complexity  algebraic-complexity  permanent  arithmetic-circuits  determinant 

Es bien sabido que la existencia de funciones unidireccionales es necesaria y suficiente para gran parte de la criptografía (firmas digitales, generadores pseudoaleatorios, cifrado de clave privada, etc.). Mi pregunta es: ¿Cuáles son las consecuencias teóricas de la complejidad de la existencia de funciones unidireccionales? Por ejemplo, las OWF implican …

9 cc.complexity-theory  reference-request  complexity-classes  cr.crypto-security  one-way-function 

ECUACIONES LINEALES DE DIOPHANTINE (dados los números naturales , ¿hay números naturales e tales que ?) Se puedan resolver en tiempo polinómico.a , b , cuna,si,Ca, b, cXXxyyya x + b y+ c = 0unaX+siy+C=0 0ax + by + c = 0 Las ECUACIONES DE DIOFANTINA CUADRÁTICA ( ) son …

9 reference-request 

Perdone la brevedad del título, es posible que haya sacrificado la claridad en el altar de la concisión. Se puede ver que insertar elementos de una matriz en un árbol de búsqueda binario y volver a leerlos requiere (al insertar) las mismas comparaciones que ejecutar Quicksort en esa matriz. La …

9 ds.algorithms  ds.data-structures  sorting