Preguntas etiquetadas con reference-request

El siguiente problema interesante surgió en mi investigación recientemente: INSTANCIA: Gráfico .G ( V, E)G(V,E)G(V, E) SOLUCIÓN: Una finalización de ciclo impar sin acordes, definida como un superconjunto del conjunto de bordes E, de modo que el gráfico completado G ' ( V , E ' ) tiene la propiedad …

20 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Estoy buscando material tutorial que cubra las pruebas de corrección del compilador, preferiblemente utilizando métodos de denotación, al nivel de un estudiante graduado principiante. Alternativamente, ¿conoce algunos ejemplos simples de compiladores que pueda usar para ilustrar los problemas? (El primer ejemplo que se me ocurrió fue un traductor de infix …

20 reference-request  pl.programming-languages  semantics  compilers 

¿Cuáles son algunos resultados conocidos para encontrar una submatriz n-dimensional exacta dentro de una matriz n-dimensional? En 1D, es solo un problema de coincidencia de cadenas, KMP lo hace en tiempo lineal. En 2D, este documento muestra que se puede hacer en tiempo lineal con poco espacio extra. ¿Se puede …

20 ds.algorithms  reference-request  string-matching 

Suponga que un gráfico con vértices se presenta como un flujo de bordes, pero se permiten múltiples pases sobre el flujo.n msolGGnortennmetromm Monika Rauch Henzinger, Prabhakar Raghavan y Sridar Rajagopalan observaron que el espacio es necesario para determinar si hay un camino entre dos vértices dados en , si se …

20 reference-request  graph-algorithms  ds.data-structures  lower-bounds  data-streams 

¿Ha habido investigaciones sobre la implementación de construcciones de extractor de aleatoriedad? Parece que las pruebas de extractor utilizan Big-Oh, dejando la posibilidad de grandes constantes ocultas, lo que hace que las implementaciones programáticas sean potencialmente poco realistas. Algún contexto: estoy interesado en usar extractores de aleatoriedad como una fuente …

20 reference-request  cr.crypto-security  randomness  implementation  application-of-theory 

Estoy buscando una buena encuesta sobre algoritmos y complejidad del álgebra lineal (operaciones como rango, inverso, valores propios, ... para matrices booleanas, y enteros / racionales) con énfasis en paralelo ( jerarquía ) y algoritmos polytime. No pude encontrar uno reciente. NCFpFp\mathbb{F}_pNCNCNC ¿Conoces una buena encuesta reciente o libro sobre …

20 cc.complexity-theory  ds.algorithms  reference-request  dc.parallel-comp  linear-algebra 

En la clase de complejidad , se conjetura que algunos problemas NO están en la clase N C , es decir, problemas con algoritmos deterministas paralelos. El problema del flujo máximo es un ejemplo. Y se cree que hay problemas en N C , pero todavía no se encuentra una …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp 

Un problema clásico en la teoría de la probabilidad es expresar la probabilidad de un evento en términos de eventos más específicos. En el caso más simple, se puede decir P[A∪B]=P[A]+P[B]−P[A∩B]P[A∪B]=P[A]+P[B]−P[A∩B]P[A \cup B] = P[A] + P[B] - P[A \cap B] . Escritura Vamos ABABAB para el evento A∩BA∩BA \cap …

20 reference-request  pr.probability 

La clase de complejidad PPAD (por ejemplo, el cálculo de varios equilibrios de Nash) se puede definir como el conjunto de problemas de búsqueda total polytime reducible a FIN DE LA LÍNEA : FIN DE LA LÍNEA : Dados los circuitos S y P con n bits de entrada y …

20 reference-request  combinatory-logic  graph-theory  ppad 

Una cadena de suma es una secuencia de enteros positivos donde y cada índice , tenemos para algunos índices . La longitud de la cadena de adición es ; El objetivo de la cadena de suma es .x 1 = 1 i ≥ 2 x i = x j + …

20 reference-request  np-hardness 

Existe una gran literatura sobre "pruebas de propiedad": el problema de realizar una pequeña cantidad de consultas de recuadro negro a una función para distinguir entre dos casos:F: { 0 , 1 }norte→ RF:{0 0,1}norte→Rf\colon\{0,1\}^n \to R es miembro de alguna clase de funciones CFFfCC\mathcal{C} es ε -lejos de cada …

20 reference-request  lg.learning  metrics  property-testing  black-box 

Esta pregunta es similar a una pregunta más general sobre cuál es el modelo teórico correcto de una computadora para diseñar algoritmos y estructuras de datos. Aquí, pregunto específicamente sobre las computadoras actuales de alto rendimiento (como las que figuran como las 500 principales ) o incluso sobre próximas supercomputadoras. …

20 reference-request  soft-question  machine-models 

Pregunta principal / general Deja que LLL sea ​​un idioma. Defina los idiomas LiLiL_i con L0=LL0=LL_0 = L y Li={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\} para i≥1i≥1i \geq 1 . Considere L = ⋃ L i . Por lo tanto, hacemos repetidamente "Insertar" L sobre sí …

19 reference-request  fl.formal-languages 

En la computación cuántica adiabática (AQC), uno codifica la solución a un problema de optimización en el estado fundamental de un [problema] Hamiltoniano . Para llegar a este estado fundamental, comienza en un estado inicial (fundamental) fácilmente refrigerable con Hamiltoniano H i y "recocido" (perturbación adiabática) hacia H p , …

19 reference-request  quantum-computing  physics  topology 

¿Cuál es la complejidad del tiempo (no la complejidad de la consulta) del algoritmo de Grover? Me parece claro que es ya que hayΩ( √Ω ( log( N) N--√)Ω(log⁡(N)N)\Omega(\log(N) \sqrt{N})iteraciones y cada iteración requiere el uso de la operación de reflexión que a su vez lleva tiempoΩ(log(N))usando cualquier conjunto estándar …

19 reference-request  quantum-computing  time-complexity