Ciencias de la computación teórica

¿Cuáles son los resultados más conocidos para una estructura de datos que ofrece las siguientes operaciones en conjuntos de puntos en el espacio euclidiano bidimensional: insert(x)insert(x)insert(x) delete(x)delete(x)delete(x) (donde k es un número entero mayor que 0) devuelve los k puntos más cercanos a x que están en el conjunto.nearest(k,x)nearest(k,x)nearest(k,x)kkkkkkxxx En …

8 ds.data-structures  cg.comp-geom  near-neighbors 

Deje ser una matriz cuadrada dada. ¿Hay alguna evidencia de que superar los límites inferiores cuadráticos para B de modo que det ( B ) = per ( A ) pueda ser difícil?AAABBBdet(B)=per(A)det(B)=per(A)\text{det}(B) = \text{per}(A) ¿Hay alguna conjetura plausible que implique que probar límites más bajos es difícil? ¿Hay alguna …

8 cc.complexity-theory  lower-bounds  counting-complexity  algebraic-complexity  permanent 

Dado un grupo actúa sobre un conjunto X con un orden total ≤ y una x ∈ X , ¿cuál es el algoritmo más eficiente para decidir si x es el elemento mínimo en su órbita? En otras palabras, decidir si m i n ( G x ) = x …

8 ds.algorithms  gr.group-theory 

Existe un método trivial para simular una caminata aleatoria a través de un gráfico exponiendo una matriz de adyacencia estocástica, pero el problema se vuelve más difícil si solicita que la caminata aleatoria se evite por sí misma. En otras palabras, el proceso debe atravesar el gráfico utilizando rutas, como …

8 ds.algorithms  graph-algorithms  randomized-algorithms  random-walks 

Tengo curiosidad por saber si existen documentos sobre la capacidad de los datos de imagen alterados esteganográficamente para mantener su integridad después de que se haya vuelto a codificar en un formato diferente (por ejemplo, de PNG a JPEG). ¿Es este un rasgo inherente a las buenas implementaciones de esteganografía, …

8 cr.crypto-security 

¿Hay alguna forma de conocer las nuevas posiciones de doctorado en TCS que no sea simplemente buscar en sitios web de grupos universitarios / de investigación? Quizás personas de diferentes ramas (teoría de tipos, verificación, complejidad, etc.) pueden nombrar algunas listas de correo especializadas donde los anuncios de posiciones de …

8 soft-question  career 

Teniendo en cuenta los números enteros positivos y correo , lo que se sabe sobre el espacio y el tiempo complejidad de encontrar el peso de Hamming (número de 1 binarios) de b correo ?sibbeeebebeb^e Si bits son disponibles, el número simplemente se puede calcular mediante técnicas estándar y los …

8 ds.algorithms  co.combinatorics  space-bounded  space-time-tradeoff 

Sea , B i una secuencia de matrices circulantes de tamaño n × n .UNAyoAiA_{i}siyoBiB_{i}n × nn×nn \times n Sabemos que se puede calcular en el tiempo cuadrática (uso FFT diagonalizar y añadir las matrices diagonales y aplicar IFFT).∑ni=1AiBi∑i=1nAiBi\sum_{i=1}^{n}A_{i}B_{i} Suponiendo es una matriz diagonal arbitraria (por simplicidad, deje que r …

8 ds.algorithms  matrix-product 

En el documento "Firmas cortas del emparejamiento de Weil" de Boneh, Lynn y Shacham, estaba revisando la prueba de seguridad como cualquier otra firma. Pero la técnica utilizada en este artículo es bastante única. En lugar de utilizar la interacción normal de retador y adversario, han dividido la prueba en …

8 reference-request  cr.crypto-security 

Wikipedia afirma que las ventajas de smoothsort sobre heapsort es que a veces se acerca más al tiempo O (n). Ahora me preguntaba ¿qué ventaja tiene la ordenación dinámica sobre la ordenación suave? O para reformular esta pregunta, ¿la ordenación suave siempre es una mejor opción que la ordenación dinámica …

8 ds.algorithms  sorting 

Considere el siguiente algoritmo, donde es una constante fija.ccc void partition(A[1..m], B[1..n]) { if m=1 or n=1 return k = random(min(c,m,n)); partition A into k sublists Asub[1..k] at k-1 distinct random indices partition B into k sublists Bsub[1..k] at k-1 distinct random indices for i = 1 to k for …

8 cc.complexity-theory  ds.algorithms  randomness  randomized-algorithms  recursive 

Supongamos que tenemos un cuadrado y un alfabeto . Ponemos un elemento de en cada ubicación del cuadrado. Un elemento puede aparecer en más de una ubicación. La restricción es que un par de vecinos (este-oeste uno del otro o norte-sur uno del otro) solo puede aparecer en esa configuración …

8 co.combinatorics 

Hace poco asistí a un taller sobre pseudoaleatoriedad en el Instituto de Matemática de Chennai sobre pseudoaleatoriedad. Venkat Guruswami hizo la siguiente declaración hermosa de pasada durante su charla (sobre la teoría de la codificación): Es notable cuánto se puede probar utilizando el simple hecho de que un polinomio de …

8 reference-request  polynomials 

Estoy buscando vincular un problema en el que estoy trabajando con un problema NP-hard conocido. Creo que puedo modelar mi problema como un problema de ruta más corta con recursos limitados. Sin embargo, la estructura de mi gráfico no es completamente arbitraria. Por lo tanto, será útil saber cuándo RCSP …

8 cc.complexity-theory  graph-algorithms  np-hardness  optimization 

Dado un gráfico solGG, define el gráfico de árbol T( G )T(G)T(G) como un gráfico cuyos vértices son los árboles de expansión de solGG, y hay un borde entre dos árboles si se puede obtener uno del otro reemplazando un solo borde. Es que hay un borde(T1,T2)(T1,T2)(T_1, T_2) si existe …

8 graph-theory  tree