Estoy especialmente interesado en su uso en aplicaciones de verificación de modelos. Tengo redes de colas abiertas, cerradas y mixtas con diferentes clases de clientes por Baskett et al. ¿Alguna otra sugerencia para leer material?
En un gráfico dirigido, , F ⊂ E , si G ∖ F es un DAG (gráfico acíclico dirigido), F se llama un conjunto de arco de retroalimentación. G = ( V, E)G=(V,E)G=(V,E)F⊂ EF⊂EF\subset EG ∖ FG∖FG\setminus FFFF Si cada borde está asociado con un peso , el problema del conjunto de arco de retroalimentación...
Cuando pienso en un software inseguro, creo que es "demasiado útil" y que un atacante puede abusar de él. Entonces, en cierto sentido, asegurar el software es el proceso de hacer que el software sea menos útil. En informática teórica no estás trabajando con el mundo real. Entonces, ¿hay problemas...
Dado cualquier gráfico G no dirigido simple, no es trivial determinar si G tiene automorfismos no triviales (no identitarios). Pero, ¿cuáles son los resultados en los límites superior / inferior de este problema de
Barry Jay en su libro hace algunas afirmaciones audaces, básicamente al decir que, en el centro de un programa, todo es atómico o compuesto. Luego, las cosas se pueden iterar, filtrar y actualizar fácilmente, simplemente navegando por esta relación de composición. ¿Es esta una nueva frontera en...
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(logn/ϵ2)k = O(\log n/\epsilon^2) tal que para todos x,y∈Sx,y∈Sx, y \in S :...
Me pregunto si las clases de NPC definidas por muchas reducciones y las reducciones de Turing son iguales. Editar: Otra pregunta, ¿las reducciones de Turing solo están colapsando las clases C y co-C para algunos C o hay una clase , ya que existe un problema que no está en bajo la reducción de Karp...
Es fácil ver en muchos libros de texto las pruebas de reducción de materia y fuerte normalización para el Sistema F, también, a veces hay definiciones de Sistema F con pares, donde (t, r) es un término, no solo una codificación. La pregunta es, ¿cuál sería la referencia para este...
En un gráfico, un conjunto independiente es un subconjunto de vértices que no contiene un borde como un subgráfico inducido. El problema de encontrar conjuntos independientes más grandes en un gráfico es una pregunta algorítmica fundamental, y difícil de resolver. Consideremos la cuestión más...
¿Cuál es la complejidad de tiempo exacta del algoritmo de espacio de registro de conectividad st no dirigida por Omer
Acabo de comenzar (independientemente) a aprender sobre computación cuántica en general del libro de Nielsen-Chuang. Quería preguntar si alguien podría tratar de encontrar tiempo para ayudarme con lo que está sucediendo con el postulado de medición de la mecánica cuántica. Quiero decir, no estoy...
Consideremos dos espacios métricos y ( Y , f ) , y una incrustación μ : X → Y . Las incrustaciones tradicionales de espacio métrico miden la calidad de μ como la peor relación de la distancia original a la final: ρ = max p , q ∈ X { d ( x , y )( X, d)(X,d)(X, d)( Y, f)(Y,f)(Y, f)μ:X→Yμ:X→Y\mu : X...
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...
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....
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...
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...
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...
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...
Esto puede parecer más una pregunta de ciencias sociales que una pregunta de TCS, pero no lo es. Al leer " Algoritmos aleatorios " que describe el problema del matrimonio estable, se puede leer lo siguiente (p54) "Se puede demostrar que para cada elección de listas de preferencias existe al menos...
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...