Ciencias de la computación teórica

Sea { 0 , . . . , N - 1 } y ∘ : S × S → S . Quiero calcular la complejidad de la comunicación al decidir si ∘ es asociativo.S=S=S=0 , . . . , n - 10,...,n−10,...,n-1∘ : S× S→ S∘:S×S→S\circ : S \times S …

12 cc.complexity-theory  communication-complexity 

Este es un seguimiento de la reciente pregunta de David Eppstein y está motivado por los mismos problemas. Supongamos que tengo un dag con pesos de números reales en sus vértices. Inicialmente, todos los vértices no están marcados. Puedo cambiar el conjunto de vértices marcados marcando (1) un vértice sin …

12 ds.algorithms  directed-acyclic-graph  partial-order 

¿Qué algoritmos útiles existen que funcionan en grandes flujos de datos y también sus resultados son bastante pequeños y uno puede calcular el resultado para una mezcla de dos flujos fusionando de alguna manera sus resultados? Puedo nombrar algunos: Las cosas obvias como sum, min, max, count, top-K, etc. Aproximadamente …

12 ds.algorithms  big-list  data-streams 

El concepto de un esquema de intercambio secreto a menudo se atribuye a Shamir (A. Shamir, Cómo compartir un secreto , Comm. ACM, 22 (1979), pp. 612-613.) Y Blakey (GR Blakey, Salvaguarda de claves criptográficas , en Proc. NCC, vol. 48, 1979, pp. 313-317.). La idea general es que algunos …

12 cr.crypto-security  application-of-theory 

Los problemas de coloración de gráficos ya son bastante difíciles para la mayoría de las personas . Aun así, voy a tener que ser difícil y preguntar un problema sobre el color de la hipergrafía. Pregunta. ¿Qué algoritmos eficientes existen para encontrar una coloración de borde aproximadamente óptima para las …

12 co.combinatorics  hypergraphs  graph-colouring 

Los algoritmos de flujo requieren aleatorización en su mayor parte para hacer algo no trivial, y debido a la restricción de espacio pequeño, necesitan PRG que usen poco espacio. Sé de dos métodos que se han citado para su uso en algoritmos de flujo hasta ahora: -wise PRGs independientes como …

12 ds.algorithms  derandomization  streaming  pseudorandom-generators 

Se sabe que para el aprendizaje PAC, existen clases de conceptos naturales (p. Ej., Subconjuntos de listas de decisiones) para las cuales hay brechas polinómicas entre la complejidad de la muestra necesaria para el aprendizaje teórico de la información por parte de un alumno computacionalmente ilimitado, y la complejidad de …

12 machine-learning  lg.learning  sample-complexity 

¿Qué otros problemas de idiomas diferentes al isomorfismo de gráficos hay en ? ¿Puedes dar algunas referencias?nortePAG∩ c o A MNP∩coAMNP\cap coAM Actualización: Olvidé mencionar que estoy interesado en idiomas que no se sabe que están en .c o NPAGcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

Deje puntos distintos 1...n1...n1 ... n sentarse en R2R2\mathbb{R}^2 . Decimos que los puntos iii y jjj son vecinos si , lo que significa que cada punto es vecino con puntos con índices dentro de 2 , envolviendo.|i−j|&lt;3(modn−2)|i−j|&lt;3(modn−2)|i-j| < 3 \pmod{n-2}222 El problema es: Para cada par de vecinos se …

12 cg.comp-geom 

En el peor de los casos, puramente funcional , listas ordenadas de tiempo constante , Brodal et al. presentar árboles balanceados puramente funcionales con O (1) concatenar y O (lg n) insertar, eliminar y buscar. La estructura de datos es algo complicada. ¿Existe un árbol de búsqueda equilibrado más simple …

12 functional-programming  ds.data-structures 

Estoy leyendo la prueba desde aquí y me topé con un problema técnico (pero crucial). Sé que esto es bastante específico y el contexto es problemático, pero no pude resolverlo yo mismo. En las páginas 51 y 55, después de presentar los verificadores "estándar", se vuelven a modificar los verificadores …

12 cc.complexity-theory  pcp 

Además de la academia, que es claramente el hogar de los teóricos, me pregunto acerca de los trabajos industriales relacionados con la informática teórica, los que exigen una base matemática pura. Salud !

12 career  computational-mathematics 

Disculpas de antemano por esta una pregunta suave que no tiene una respuesta cerrada y correcta. Este es probablemente el mejor foro para hacer mi pregunta. Soy un estudiante graduado de tercer año en el grupo de teoría de una de las 15 escuelas más importantes de EE. UU. Hasta …

12 soft-question  advice-request 

Una observación fácil es que si un problema es decidible por un programa de no determinista en tiempo polinómico utilizando O ( log n ) bits de no deterministas (es decir, todos los testigos son logarítmicas de longitud), entonces A ∈ P .UNAAAO ( logn )O(log⁡n)O(\log n)A∈PA∈PA \in \mathsf{P} Si …

12 cc.complexity-theory 

Deje que los términos sizesizesize de λλ\lambda se definan de la siguiente manera: size(x)=1size(x)=1size(x) = 1 , size(λx.t)=size(t)+1size(λx.t)=size(t)+1size(λx.t) = size(t) + 1 , size(ts)=size(t)+size(s)+1size(ts)=size(t)+size(s)+1size(t s) = size(t) + size(s) + 1 . Deje que la complejidad de un λλ\lambda -term ttt se defina como el número de reducciones beta paralelas …

12 lo.logic  computability  pl.programming-languages  lambda-calculus