Ciencias de la computación teórica

¿Existe una estructura de datos de word-RAM de w-bit con tiempo O (1) por operación para el siguiente problema ?: Mantenga un conjunto de enteros no negativos de w-bit que respalde las operaciones add (x): agrega x al conjunto remove (x): elimina x del conjunto huella digital (): devuelve una …

10 ds.data-structures 

Hablando en términos generales, la coincidencia de patrones de permutación se ocupa de problemas del siguiente tipo: Dadas las permutaciones en S n y σ en S m , con m ≤ n , ¿ contiene π una subsecuencia τ de longitud m cuyos elementos están ordenados de acuerdo con …

10 permutations  string-matching 

Una fórmula monótona de CNF con m términos en n variables ( ) es una fórmula de la forma f ( x 1 , ... , x n ) = ⋀ C i , donde cada C i es un OR de algún subconjunto de las variables x 1 , …

10 cc.complexity-theory  circuit-complexity  formulas 

Aquí hay una pregunta de "pista B" si alguna vez hubo una. Resumen: lo primero en lo que pienso cuando intento dar una semántica a los programas no deterministas resulta en una semántica donde no puedo probar cosas sobre los bucles que solo terminan de manera no determinista. Seguramente alguien …

10 reference-request  denotational-semantics 

¿Hay puestos para estudiantes de licenciatura o maestría recién graduados con un historial de investigación para trabajar como investigador antes de comprometerse con su doctorado? TCS tiene una cultura de puestos post-doctorales para graduados de doctorado recientes para investigar antes de intentar postularse para un puesto de facultad. ¿Existe un …

10 soft-question  advice-request  career 

Tengo curiosidad por saber si alguien podría recomendar algún material complementario para obtener una comprensión más profunda del documento: " Algunos resultados y problemas sobre las desigualdades de tipo de campana cuántica - Tsirelson ". Específicamente, algo que puede elaborar un poco más sobre la interpretación geométrica de las desigualdades …

10 reference-request  quantum-computing  quantum-information 

Es bien sabido que para el aprendizaje PAC clásico, los ejemplos de son necesarios para lograr un límite de error de ε whp, donde d es la dimensión VC de la clase de concepto.Ω(d/ε)Ω(d/ε)\Omega(d/\varepsilon)εε\varepsilonddd ¿Se sabe que se necesitan ejemplos de en el caso agnóstico?Ω(d/ε2)Ω(d/ε2)\Omega(d/\varepsilon^2)

10 lg.learning  machine-learning 

En el documento con el mismo título que el de esta pregunta, los autores describen cómo construir una operación CAS de varias palabras linealizable sin bloqueo utilizando solo un CAS de una sola palabra. Primero presentan la operación de doble comparación, intercambio único, RDCSS, de la siguiente manera: word_t RDCSS(RDCSSDescriptor_t …

10 dc.parallel-comp  concurrency 

Se ha trabajado bastante en problemas computacionales para órdenes parciales (por ejemplo, reconocimiento, número de salto, reconocimiento de gráficos de comparabilidad, etc.). Tengo curiosidad por saber qué trabajo específico a las redes se ha realizado. He buscado alrededor y no he encontrado mucho trabajo similar para las redes. En particular, …

10 ds.algorithms  reference-request  graph-algorithms  partial-order  order-theory 

Sabemos que encontrar el casco convexo de nortenorten puntos en un plano tiene un límite inferior de Ω ( n logn )Ω(norteIniciar sesión⁡norte)\Omega(n\log n) en su tiempo de ejecución. Sin embargo, si los puntos se dan en el orden en que ocurren a lo largo de un polígono simple que …

10 cg.comp-geom 

Dado un grafo dirigido y dos vértices . Un par de rutas simples de a es un borde disjunto si no comparten un borde.s , t ∈ V p 1 , p 2 s tG = ( V, E)G=(V,E)G = (V,E)s , t ∈ Vs,t∈Vs,t \in Vpag1, p2p1,p2p_1,p_2sssttt Utilizando el …

10 cc.complexity-theory  graph-algorithms 

En el artículo seminal de Bernstein y Vazirani, "Teoría de la complejidad cuántica", muestran que una transformación unitaria dimensional puede ser aproximada eficientemente por un producto de lo que llaman "rotaciones casi triviales" y "cambios de fase casi triviales".rered Las "rotaciones casi triviales" son matrices unitarias dimensionales que actúan como …

10 quantum-computing  linear-algebra  universal-computation 

Sabemos que el registro del rango de una matriz 0-1 es el límite inferior de la complejidad de comunicación determinista, y el registro del rango aproximado es el límite inferior de la complejidad de la comunicación aleatoria. La brecha más grande entre la complejidad de comunicación determinista y la complejidad …

10 co.combinatorics  linear-algebra  matrices  communication-complexity  boolean-matrix 

Aunque las separaciones exponenciales entre la complejidad cuántica de consultas con error limitado ( ) y la complejidad de consulta determinista ( D ( f ) ) o la complejidad aleatoria de consultas con error limitado ( R ( f ) ) son conocidas, solo se aplican a ciertas funciones …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Los intentos permiten el almacenamiento eficiente de listas de elementos. Los prefijos se comparten, por lo que ahorra espacio. Estoy buscando una forma similar de almacenar árboles de manera eficiente. Me gustaría poder verificar la membresía y agregar elementos, sabiendo si un árbol dado es un subárbol de algunos árboles …

10 ds.data-structures  tree  model-checking