Ciencias de la computación teórica

Preguntas y respuestas para científicos informáticos teóricos e investigadores en campos relacionados.

1
Listas de salto deterministas fuertemente equilibradas en peso
En la sección 2.2 de Cache-Ajeno B-Trees , Fuertemente Peso equilibrado de la búsqueda árboles se definen como: Para alguna constante , cada nodo en altura tiene descendientes .dddvvvhhhΘ(dh)Θ(dh)\Theta(d^h) Ellos reclaman: Los árboles de búsqueda que satisfacen las Propiedades 1 y 2 incluyen árboles B con equilibrio de peso, listas …
2
Dureza de los separadores de vértices
Para un gráfico dado , el Problema del separador pregunta si existe un conjunto de vértices o bordes de pequeña cardinalidad (o peso) cuya eliminación separa G en dos gráficos disjuntos de tamaños aproximadamente iguales. Esto se llama el Problema del separador de vértices cuando el conjunto eliminado es un …
3
Algoritmos aleatorizados usando una pila
He desarrollado una nueva técnica de desrandomización que está dirigida a algoritmos aleatorios recursivos (o) algoritmos aleatorios más generales que usan una pila. Desafortunadamente, no pude encontrar algoritmos aleatorios naturales para aplicar mis técnicas. Las cadenas recursivas de Markov y las gramáticas estocásticas están muy cerca de lo que estoy …
3
¿Qué algoritmos se pueden expresar usando un lenguaje funcional total con operadores paralelos de datos?
Imagine un lenguaje de programación funcional cuyos únicos tipos de datos son escalares numéricos y anidaciones arbitrarias de matrices. El lenguaje carece de cualquier medio de iteración ilimitada, por lo que no se permite lo siguiente: bucles explícitos (de todos modos, sin mucho uso sin efectos secundarios) recursividad funciones arbitrarias …
1
¿Observan las personas el nido de bucles en los circuitos booleanos?
Mientras era estudiante de EE asistí a algunas conferencias que presentaban una buena caracterización de los circuitos booleanos en términos de cuántos bucles anidados tienen. En complejidad, los circuitos booleanos a menudo se consideran dags, pero en los ciclos reales de hardware son comunes. Ahora, modulo algunos tecnicismos con respecto …
2
¿La norma de traza de la diferencia de dos matrices de densidad siendo una implica que estas dos matrices de densidad pueden ser diagonalizables simultáneamente?
Creo que la respuesta a esta pregunta es bien conocida; pero, desafortunadamente, no lo sé. En computación cuántica, sabemos que los estados mixtos están representados por matrices de densidad. Y la norma de traza de la diferencia de dos matrices de densidad caracteriza la distinción de los dos estados mixtos …
1
¿Usa la complejidad de Kolmogorov para establecer límites inferiores de la complejidad de la prueba?
La motivación para esta pregunta es el hecho de que la mayoría de las cadenas de n bits son incompresibles. Intuitivamente, podemos proponer por analogía que la mayoría de las pruebas para tautologías son incompresibles para el tamaño polinómico. Básicamente, mi intuición es que algunas pruebas son inherentemente aleatorias y …
4
Reducción de dimensionalidad con holgura?
El lema de Johnson-Lindenstrauss dice aproximadamente que para cualquier colección SSS de nnn puntos en RdRd\mathbb{R}^d , existe un mapa f:Rd→Rkf:Rd→Rkf:\mathbb{R}^d \rightarrow \mathbb{R}^k donde k=O(logn/ϵ2)k=O(log⁡n/ϵ2)k = O(\log n/\epsilon^2) tal que para todos x,y∈Sx,y∈Sx, y \in S : (1−ϵ)||f(x)−f(y)||2≤||x−y||2≤(1+ϵ)||f(x)−f(y)||2(1−ϵ)||f(x)−f(y)||2≤||x−y||2≤(1+ϵ)||f(x)−f(y)||2(1-\epsilon)||f(x)-f(y)||_2 \leq ||x-y||_2 \leq (1+\epsilon)||f(x)-f(y)||_2 Se sabe que declaraciones similares no son posibles …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.