Ciencias de la computación teórica

La pregunta ¿Qué hay de nuevo en estructuras de datos puramente funcionales desde Okasaki? , y la respuesta épica de jbapple, mencionó el uso de listas de diferencias en la programación funcional (en oposición a la programación lógica), que es algo que me ha interesado recientemente. Esto me llevó a …

13 reference-request  ds.data-structures  pl.programming-languages  functional-programming  logic-programming 

Se sabe que determinar si una variedad múltiple triangulada de 3 es una esfera 3 está en NP, a través del trabajo de Saul Schleimer en 2004: "El reconocimiento de la esfera se encuentra en NP" arXiv: math / 0407047v1 [math.GT] . Me pregunto si esto se ha establecido para …

13 cc.complexity-theory  reference-request  open-problem  topology 

Antecedentes: en el aprendizaje automático, a menudo trabajamos con modelos gráficos para representar funciones de densidad de probabilidad de alta dimensión. Si descartamos la restricción de que una densidad se integra (sumas) a 1, obtenemos una función de energía estructurada en gráficos no normalizada . Supongamos que tenemos una función …

13 reference-request  machine-learning  lg.learning  boolean-functions 

En una aplicación que estoy considerando, necesito saber la complejidad de comunicación del siguiente problema: Dado , sea S el conjunto de enteros de 1 a n . Alice, Bob y Carol reciben cada uno un subconjunto de S , denotado por A , B y C , respectivamente. Ellos …

13 cc.complexity-theory  communication-complexity 

La pregunta se me ocurrió cuando recibí la respuesta de Dana Moshkovitz a otro tema . Sea LLL un lenguaje NP , y sea RLRLR_L la relación NP respectiva . Sabemos que existe algún polinomio pagpagp tal que: ∀ x ∈ L ,, ∃ w ∈0 , 1p ( | …

13 cc.complexity-theory  np 

Hay varias pruebas del límite inferior loglineal para el problema de unicidad / distinción del elemento (basado en árboles de cálculo algebraico o argumentos adversos), pero estoy buscando uno que sea lo suficientemente simple como para usar en un primer curso en el análisis y diseño de algoritmos. El mismo …

13 cc.complexity-theory  lower-bounds  proofs 

Una fórmula Monotone-2CNF es una fórmula CNF donde cada cláusula está compuesta por exactamente 2 literales positivos. Ahora, tengo una fórmula Monótono-2CNF . Sea S el conjunto de las tareas satisfactorias de F. También tengo un oráculo O que puede dar la siguiente información:FFFSSSFFFOOO La cardinalidad del conjunto (es decir, …

13 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Supongamos que tenemos un conjunto S de gráficos (gráficos finitos, pero un número infinito de ellos) y un grupo P de permutaciones que actúa sobre S. Instancia: una permutación p en P. Pregunta: ¿Existe un gráfico g en S que admite el automorfismo p? ¿Es este problema NP completo para …

13 cc.complexity-theory  graph-theory  np-hardness  automorphism 

Se dice que dos árboles de búsqueda binarios son linealmente equivalentes cuando están de acuerdo en sus recorridos en orden. El siguiente teorema explica por qué las rotaciones de árboles son tan fundamentales: Deje que A y B sean árboles binarios de búsqueda. Entonces A y B son linealmente equivalentes …

13 reference-request  ds.data-structures 

Suponga que tiene un conjunto de n puntos en el plano y desea verificar si forman un polígono convexo n, es decir, si todos se encuentran en el casco convexo. Me preguntaba si alguien sabe cómo hacer esto en o (nlogn) tiempo, es decir, sin calcular el CH.

13 cg.comp-geom 

Como dice el título, ¿cuál es la definición correcta de -tree? Hay varios documentos que hablan de k -Los árboles y parcial k -Árboles como definiciones alternativas para gráficos con treewidth acotada, y he visto muchas definiciones aparentemente incorrectas. Por ejemplo, al menos un lugar define k- árboles de la …

13 graph-theory  treewidth 

Chong, Han y Lam mostraron que la conectividad st no dirigida se puede resolver en la EREW PRAM en tiempo con procesadores . ¿Cuál es el algoritmo paralelo más conocido para la conectividad st dirigida ? Indique el tiempo de ejecución, el algoritmo determinista / aleatorio y el modelo PRAM …

13 dc.parallel-comp 

En un artículo titulado "Sobre la negabilidad en la cadena de referencia común y el modelo aleatorio de Oracle", Rafael Pass escribe: Observamos que al probar la seguridad de acuerdo con la definición estándar de conocimiento cero en el modelo RO [Random Oracle], el simulador tiene dos ventajas sobre un …

13 cc.complexity-theory  cr.crypto-security  oracles  black-box 

Entonces, tengo alrededor de 100-200 matrices booleanas cuadradas muy dispersas con longitud lateral ~ varias docenas, y necesito calcular su producto. Sé que si los multiplico en serie, el producto generalmente se mantendrá escaso en cada paso. ¿Hay algún algoritmo de producto de cadena de matriz que funcione particularmente rápido …

13 ds.algorithms  automata-theory  matrix-product  sparse-matrix 

Las desigualdades de tipo Chernoff se usan para mostrar que la probabilidad de que una suma de variables aleatorias independientes se desvíe significativamente de su valor esperado es exponencialmente pequeña en el valor esperado y la desviación. ¿Existe una desigualdad de tipo Chernoff para cualquier suma de variables aleatorias independientes …

13 derandomization  pr.probability  chernoff-bound