Preguntas etiquetadas con reference-request

Primero, disculpas si esta pregunta es apropiada o trivial para este sitio. Soy un físico que busca ayuda fuera de su zona de confort. En PRL 87 167902 (2001) se afirma que "... para un arbitrariamente pequeño existe un código de corrección de errores con (para alguna constante ) tal …

8 reference-request  lower-bounds  quantum-information 

Un resultado fundamental en la complejidad parametrizada de los problemas gráficos es que la CUBIERTA VERTEX parametrizada por el tamaño de la solución es manejable con parámetros fijos (FPT). Por otro lado, cuando se parametriza mediante el "parámetro dual" , se convierte en equivalente a SET INDEPENDIENTE parametrizado por tamaño …

8 reference-request  graph-algorithms  fixed-parameter-tractable 

Deje que Alice y Bob calculen la función booleana .f(x1,…,x2n)f(x1,…,x2n)f(x_1,\dots,x_{2n}) Seleccionar un subconjunto aleatorio de cardinalidad y dejar que .n J = { 1 , ... , 2 n } ∖ II⊆{1,…,2n}I⊆{1,…,2n}\mathcal I\subseteq\{1,\dots,2n\}nnnJ={1,…,2n}∖IJ={1,…,2n}∖I\mathcal J=\{1,\dots,2n\}\backslash\mathcal I Deje que Alice obtener las variables , donde y Bob obtener donde . i ∈ …

8 reference-request  communication-complexity 

¿Cuál es la primera publicación del concepto de optimización de fusión ordenar por identificar secuencias de posiciones consecutivas en órdenes crecientes (también conocidas como carreras) en tiempo lineal; entonces fusionar repetidamente las dos secuencias más cortas y agregar el resultado de esta fusión a la lista de fragmentos ordenados. En …

8 reference-request  sorting  huffman 

Anteriormente hice esta pregunta en Programmers.SE , sin éxito. Estoy buscando recursos de aprendizaje por escrito sobre cómo diseñar estructuras de datos concurrentes. Estoy más interesado en el proceso de diseño (por ejemplo, identificar los invariantes correctos) que en el producto final (una lista completa de códigos). Para un ejemplo …

8 ds.algorithms  reference-request  ds.data-structures  concurrency 

¿Hay alguna complejidad de comunicación aleatorizada (no trivial) conocida con límites inferiores para problemas de brecha natural en los que las entradas 1 están linealmente lejos de las entradas 0? Es decir, funciones parciales tal que la distancia de Hamming entre cada ( x , y ) ∈ f - …

8 reference-request  communication-complexity 

Encontré una presentación de Ryan O'Donnell sobre los principios de invariancia. Después de probar el teorema de Berry-Esseen, hay una diapositiva que analiza las extensiones del teorema y una que se menciona que hay una llamada "versión desaleatorizada": Si -nice (es decir, tiene un tercer momento delimitado), independiente en tres …

8 reference-request  pr.probability  limited-independence  k-wise-independence 

En la película Inception, Cobb le pide a Ariadne que le pida que diseñe un laberinto que le tome el doble de tiempo. Esto se presta a un problema generalizado en el que tenemos una situación en la que los recursos están limitados por una cierta cantidad y quien verifique …

8 cc.complexity-theory  reference-request  time-complexity  space-complexity 

Un gráfico es localmente bipartito si la vecindad abierta de cada vértice induce un gráfico bipartito. (Según las búsquedas, el mismo nombre podría usarse para otra cosa relacionada con las superficies). ¿Qué problemas de NP-hard para gráficos generales se convierten en polinomios para gráficos localmente bipartitos y cuáles permanecen NP-hard? …

8 reference-request  graph-theory 

Para , deje que sea ​​el conjunto de vértices del cubo dimensional escalado en la dirección de la coordenada por , es decir, .d⃗ ∈Nnd→∈Nn\vec{d} \in \mathbb{N}^nQ(d⃗ )⊂NnQ(d→)⊂NnQ(\vec{d}) \subset \mathbb{N}^nnnniiididid_iQ(d⃗ ={⟨±d1,…,±dn⟩}Q(d→={⟨±d1,…,±dn⟩}Q(\vec{d} = \{\langle \pm d_1, \ldots, \pm d_n\rangle\} Considere el siguiente problema: Dado un conjunto de puntos en número , …

8 cc.complexity-theory  reference-request  co.combinatorics  cg.comp-geom  time-complexity 

Leí aquí que hay familias de funciones que necesitan nodos en la red neuronal con como máximo capas para representar la función, mientras que solo necesitan si el neural la red tiene al menos capas. Se refería a un artículo de Hastad. No lo encontré. ¿Alguien podría decirme el título …

8 cc.complexity-theory  reference-request 

Existen varios algoritmos de aproximación de 2 para el problema de conjunto de vértices de retroalimentación SIN PESAR (FVS), que se resumen en [4]. Tenga en cuenta que la reducción de la cubierta de vértices a FVS es la preservación de aproximación. Suponiendo una conjetura de juego única, no podemos …

8 reference-request  graph-algorithms  approximation-algorithms 

El problema del subgrafo conectado de peso máximo es el siguiente: Entrada: un gráfico y un peso (posiblemente negativo) para cada vértice .G=(V,E)G=(V,E)G=(V,E)wiwiw_ii∈Vi∈Vi \in V Salida: un subconjunto de pesos máximos de vértices tal que está conectado.SSSG[S]G[S]G[S] Este problema es NP-hard. David S. Johnson menciona en la pág. 149 de …

8 reference-request  np-hardness  reductions  planar-graphs 

Recientemente ha habido algunos resultados nuevos en el estudio experimental basado en computadora del Problema de Discrepancia de Erdos (EDP) (a través de solucionadores SAT, citados a continuación). Este problema ha sido citado y estudiado por varios investigadores de (T) CS. Sin embargo, los enlaces (¿posiblemente profundos?) A (T) CS …

8 reference-request  co.combinatorics  soft-question  big-picture 

¿Alguien ha pensado en la posibilidad de un lenguaje de programación y un compilador, de modo que el compilador pueda hacer automáticamente el análisis asintótico del peor de los casos? El caso de uso que tengo en mente es un lenguaje de programación donde escribo código y compilo. El compilador …

8 reference-request  pl.programming-languages  time-complexity  compilers  program-analysis