Ciencias de la computación teórica

Además de la complejidad de comunicación (determinista) de una relación , otra medida básica para la cantidad de comunicación necesaria es el número de partición de protocolo . La relación entre estas dos medidas se conoce hasta un factor constante. La monografía de Kushilevitz y Nisan (1997) daRc c ( …

22 fl.formal-languages  lower-bounds  open-problem  regular-expressions  communication-complexity 

Deje ser un gráfico. Para un vértice x ∈ V , definir N ( x ) para ser el barrio (abierto) de x en G . Es decir, N ( x ) = { y ∈ VG = ( V, E)G=(V,E)G=(V,E)x ∈ Vx∈Vx\in Vnorte( x )N(x)N(x)XxxsolGG . Defina dos vértices …

22 ds.algorithms  reference-request  graph-algorithms 

Actualmente doy un pequeño curso (cuatro conferencias de dos horas a nivel de maestría) sobre Métodos lógicos en seguridad , aunque el título Métodos formales en seguridad podría ser más adecuado. Cubre brevemente los siguientes temas (con métodos lógicos asociados): Gestión de derechos digitales y aplicación de políticas (formalización general, …

22 lo.logic  cr.crypto-security  teaching  security  formal-methods 

Después de leer esta respuesta hace un tiempo, me interesé por el cifrado totalmente homomórfico. Después de leer la introducción de la tesis de Gentry, comencé a preguntarme si su esquema de cifrado podría usarse para la ejecución de código ajeno como se define en el tercer párrafo. En un …

22 cr.crypto-security  homomorphic-encryption  obfuscation 

Los últimos meses comencé a darme conferencias sobre la elección social, el teorema de la flecha y los resultados relacionados. Después de leer sobre los resultados seminales, me pregunté qué sucede con las preferencias de orden parcial, la respuesta está en el documento de Pini et al. : Agregando preferencias …

22 co.combinatorics  gt.game-theory  boolean-functions  social-sciences 

Esta pregunta es sobre la relación entre la multiplicación normal de números binarios y la multiplicación polinómica mod 2. Para concretar la pregunta, idealmente quisiera saber si hay una mejor solución para la pregunta de Knuth vol. 2, 3ª edición, página 420 que la que figura en el libro. "¿Se …

22 ds.algorithms  reductions  time-complexity 

¿Qué se sabe sobre la complejidad temporal del siguiente problema, que llamamos 3-MUL? Dado un conjunto de n enteros, ¿hay elementos a, b, c \ en S tales que ab = c ?n a , b , c ∈ S a b = cSSSnnna,b,c∈Sa,b,c∈Sa,b,c\in Sab=cab=cab=c Este problema es similar al …

22 cc.complexity-theory  ds.algorithms  time-complexity 

¿Cuáles son las referencias básicas? ¿Hay alguna buena encuesta de alto nivel de SGT y sus aplicaciones a CS en general y al aprendizaje automático más específicamente?

22 reference-request  spectral-graph-theory 

Me acabo de dar cuenta de que he estado asumiendo que la respuesta a mi pregunta es "sí", pero no tengo una buena razón. Me imagino que tal vez haya un recolector de basura que probablemente solo presente peor desaceleración. ¿Hay alguna referencia definitiva que pueda citar? En mi caso, …

22 reference-request  ds.data-structures  pl.programming-languages  functional-programming 

En 1999, Petra Schuurman y Gerhard J. Woeginger publicaron el documento "Algoritmos de aproximación del tiempo polinómico para la programación de máquinas: diez problemas abiertos" . Desde entonces, que yo sepa, no han aparecido revisiones que conciernen a la misma lista de problemas. Por lo tanto, sería genial y útil …

22 ds.algorithms  approximation-algorithms  open-problem  approximation-hardness  scheduling 

Peter Shor planteó un punto interesante en relación con un intento de responder una pregunta anterior sobre la complejidad de resolver el cubo n×n×nn×n×nn \times n \times n Rubik. Había publicado un intento bastante ingenuo de mostrar que debe estar contenido en NP. Como Peter señaló, mi enfoque falla en …

22 co.combinatorics  puzzles 

Aquí hay algunas formas de analizar el tiempo de ejecución de un algoritmo: 1) Análisis del peor de los casos: tiempo de ejecución en la peor instancia. 2) Análisis de casos promedio: tiempo de ejecución esperado en una instancia aleatoria. 3) Análisis amortizado: tiempo promedio de ejecución en la peor …

22 ds.algorithms 

El teorema original de la jerarquía del tiempo no determinista se debe a Cook (el enlace es a S. Cook, una jerarquía para la complejidad del tiempo no determinista , JCSS 7 343–353, 1973). El teorema establece que para cualquier número real y , si entonces NTIME ( ) está …

22 cc.complexity-theory  nondeterminism  time-hierarchy 

Scott Aaronson propuso un desafío interesante : ¿podemos usar supercomputadoras hoy para ayudar a resolver problemas de CS de la misma manera que los físicos usan colisionadores de partículas grandes? Más concretamente, mi propuesta es dedicar parte de la potencia informática mundial a un intento total de responder preguntas como …

22 cc.complexity-theory 

No entiendo por qué casi todos los solucionadores de SAT usan CNF en lugar de DNF. Me parece que resolver SAT es más fácil usando DNF. Después de todo, solo tiene que explorar el conjunto de implicantes y verificar si uno de ellos no contiene tanto una variable como su …

22 ds.algorithms  sat