Ciencias de la computación teórica

Encontré el libro Pairwise Independence and Derandomization sobre el tema, pero está más orientado a la investigación que al tutorial. Soy nuevo en el tema de "Desrandomización" y, como tal, quería saber de qué referencia comenzar. Prefiero uno que discuta literatura e historia, así como los detalles técnicos.

17 cc.complexity-theory  derandomization  randomized-algorithms 

Deje que CCC sea ​​un CCC . Vamos a (×)(×)(\times) sea un producto en bifuntor CCC . Como Cat es CCC, podemos curry (×)(×)(\times) : curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B La categoría de functor C⇒CC⇒CC \Rightarrow C tiene una …

17 functional-programming  pl.programming-languages  ct.category-theory 

Deje 0≤p≤10≤p≤10\le p\le 1 y considere el problema de decisión CLIQUE p de entrada: número entero s , gráfico G con t vértices y bordes Pregunta: no contiene un clique sobre al menos vértices?pp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Una instancia de CLIQUE contiene una proporción de todos los bordes posibles. …

17 cc.complexity-theory  np  parameterized-complexity  clique 

Es bien sabido que el conjunto de lenguajes que tienen sistemas de prueba interactivos de dos probadores, en los que el verificador se ejecuta en tiempo polinómico (MIP), es NEXP. ¿Pero hay límites conocidos en el poder de tales pruebas interactivas cuando los probadores tienen un poder restringido? Por ejemplo, …

17 cc.complexity-theory  interactive-proofs 

La computación cuántica es un área activa de investigación que tiene como objetivo aprovechar la física cuántica (por ejemplo, entrelazamiento cuántico) para avanzar en las capacidades de eficiencia de las computadoras (no altera la tesis de Church-Turing ). ¿Cuáles son los experimentos más significativos que se han llevado a cabo …

17 reference-request  quantum-computing 

Por lo general, los algoritmos eficientes tienen un tiempo de ejecución polinómico y un espacio de solución exponencialmente grande. Esto significa que el problema debe ser fácil en dos sentidos: primero, el problema puede resolverse en un número polinómico de pasos y, en segundo lugar, el espacio de la solución …

17 cc.complexity-theory 

Suponga que se le da un gráfico H, simple, conectado y no dirigido. El problema del corte sin H se define de la siguiente manera: Dado un gráfico simple, no dirigido G, ¿hay un corte (partición de vértices en dos conjuntos no vacíos, L, R) de tal manera que los …

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

Conozco al menos dos enfoques teóricos diferentes para comprender las bases de datos relacionales: álgebra / cálculo relacional de Codd y teoría de categorías. ¿Hay alguna relación entre estos dos enfoques? ¿Son en algún sentido equivalentes? ¿Existe algún trabajo introductorio que explique cómo ambos marcos explican las bases de datos …

17 reference-request  ct.category-theory  db.databases  relational-structures 

Antecedentes . Soy un estudiante de licenciatura que está interesado en investigaciones relacionadas con la teoría de categorías, mónadas y Haskell, y quiero encontrar un tema para mi tesis de licenciatura en esa área. He mirado el papel Eugenio Moggi , " Nociones de computaciones y mónadas ", 1991, y …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

Parte del trabajo sobre la sensibilidad frente a la sensibilidad del bloque se ha dirigido a examinar funciones con un espacio lo más amplio posible entre y para resolver la conjetura de que solo es polinomialmente más grande que . ¿Qué pasa con la dirección opuesta? ¿Qué se sabe sobre …

17 circuit-complexity  boolean-functions 

Recientemente me topé con una construcción teórica bastante interesante. Una llamada máquina Gödel Es un solucionador de problemas general que es capaz de auto-optimización. Es adecuado para entornos reactivos. Según tengo entendido, se puede implementar como un programa para la máquina universal de Turing, aunque sus requisitos van mucho más …

17 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

Tengo dos particiones de [1…n][1…n][1 \ldots n] y estoy buscando la distancia de edición entre ellas. Con esto, quiero encontrar el número mínimo de transiciones individuales de un nodo en un grupo diferente que son necesarias para pasar de la partición A a la partición B. Por ejemplo, la distancia …

17 ds.algorithms  edit-distance  lattice 

En el "último párrafo" de la "primera página" del siguiente documento: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "Si NP tiene circuitos de tamaño polinómico, entonces MA = AM", Ciencias de la computación teóricas, 1995. Encontré una afirmación algo contraintuitiva: (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 …

17 cc.complexity-theory  complexity-classes 

Los algoritmos de hashing de contraseñas de uso común funcionan de esta manera hoy en día: agregue la contraseña y alimente a un KDF. Por ejemplo, usando PBKDF2-HMAC-SHA1, el proceso de hash de contraseña es DK = PBKDF2(HMAC, Password, Salt, ...). Debido a que HMAC es un hashing de 2 …

16 np-hardness  cr.crypto-security  np-complete  security 

Dado un gráfico no dirigido simple GGG, encuentre un subconjunto A≠∅A≠∅A\neq \emptyset de vértices, de modo que para cualquier vértice al menos la mitad de los vecinos de x también están en A , yx∈Ax∈Ax\in AxxxAAA El tamaño de es mínimo.AAA Es decir, estamos buscando un grupo, en el que …

16 graph-theory  graph-algorithms  np-hardness