Ciencias de la computación teórica

Las lógicas condicionales son lógicas que aumentan la implicación lógica tradicional con operadores modales correspondientes a otras nociones de condición (por ejemplo, la condicional causal lee " A causa" B ", o condicionamiento probabilístico" A | B ", que dice" A dado B ").A□→BA◻→BA\; \square\!\!\!\!\to BAAAA|BA|BA|BAAABBB Por lo general, estas …

11 reference-request  lo.logic  pl.programming-languages  type-theory  proof-theory 

Tengo un problema que está en NEXP NP y también se puede resolver con una TM alterna usando tiempo exponencial y solo una alternancia (comenzando en un estado existencial).notario públicoNP^{\text{NP}} ¿Se sabe algo sobre NEXP NP ? ¿Es igual a NEXP o alguna otra clase? ¿Hay problemas completos además del …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

Estoy tratando de encontrar problemas cuya complejidad de espacio de casos promedio ha sido analizada. Más específicamente, estoy interesado en saber si hay algún problema con un límite inferior de complejidad espacial comprobada que sea superlineal, y especialmente si hay alguno con un análisis de caso promedio (por ejemplo, el …

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

Nurikabe es un rompecabezas de relleno de cuadrícula basado en restricciones, más o menos similar al Buscaminas / Nonogramas; los números se colocan en una cuadrícula que se debe llenar con valores de activación / desactivación para cada celda, con cada número que indica una región de celdas conectadas 'encendidas' …

11 cc.complexity-theory  np-hardness  puzzles 

La seguridad SHA-1 se ha discutido desde que se publicó por primera vez un algoritmo para encontrar colisiones en CRYPTO 2004 y posteriormente se ha mejorado. Wikipedia enumera un par de referencias , sin embargo, parece que la última investigación publicada (y luego retirada) sobre este tema fue en 2009 …

11 cr.crypto-security  hash-function  cryptographic-attack 

Merlín, que tiene recursos computacionales ilimitados, quiere convencer a Arthur de que m|∑p≤N, p primepkm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ prime}}p^k para (N,m,k)(N,m,k)(N,m,k) con k=O(logN)k=O(log⁡N)k=O(\log N) y m=O(N).m=O(N).m=O(N). Calcular esta suma de forma directa (exponenciación modular y suma) lleva tiempo N(loglogN)2+o(1)N(log⁡log⁡N)2+o(1)N(\log\log N)^{2+o(1)} con multiplicación basada en FFT. * Pero Arthur solo …

11 cc.complexity-theory  ds.algorithms  time-complexity  interactive-proofs  nt.number-theory 

En su trabajo de taller de 1999 "Un modelo métrico de PCF" , Martín Escardó demostró que es posible dar una interpretación simple de PCF en la categoría de espacios ultramétricos completos y mapas no costosos. Mostró que este modelo era adecuado, y que podría modelar la adición de una …

11 pl.programming-languages  denotational-semantics  metric-spaces 

Esta pregunta fue motivada por una pregunta hecha en stackoverflow . Supongamos que se le da un árbol enraizado (es decir, hay una raíz y los nodos tienen hijos, etc.) en n nodos (etiquetados 1 , 2 , ... , n ).TTTnortenn1 , 2 , ... , n1,2,…,n1, 2, \dots, …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory 

Soy un estudiante de CS. Hicimos teoría de grafos en un curso. Lo encontre interesante. ¿Cuáles son las aplicaciones reales de la teoría de grafos en el campo de la informática? Por ejemplo, descubrí que algunos conceptos en la teoría de grafos se pueden usar para diseñar redes. ¿Cuáles son …

11 graph-theory  co.combinatorics  big-list  application-of-theory 

Angluin y Laird ('88) formalizaron el aprendizaje con datos corruptos al azar en el modelo "PAC con ruido de clasificación aleatoria" (o PAC ruidoso). Este modelo es similar al PAC aprendizaje , a excepción de las etiquetas de los ejemplos dados para el alumno están dañados (volteado), de forma independiente …

11 lg.learning 

¿Existe una clase de algoritmos hash, ya sean teóricos o prácticos, de modo que un algoritmo en la clase pueda considerarse 'reflexivo' de acuerdo con una definición dada a continuación? hash1 = algo1 ("texto de entrada 1") hash1 = algo1 ("texto de entrada 1" + hash1) El operador + podría …

11 ds.algorithms  hash-function 

¿Cuáles son los obstáculos para hacer que los solucionadores SAT sean competitivos con algoritmos gráficos especializados? En otras palabras, ¿es factible esperar solucionadores de SAT que puedan reemplazar el rol de diseñador de algoritmos, es decir, poder reconocer automáticamente la estructura del problema y luego resolverlo tan rápido como un …

11 ds.algorithms  graph-theory  sat 

Sea un gráfico dirigido acíclico, de modo que el grado de salida de cualquier vértice sea O ( log | V | ) . Para cada vértice de G podemos contar el número de vértices alcanzables, simplemente ejecutando dfs desde cada vértice y esto llevará tiempo O ( | V …

11 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph 

Dado que 2 problemas completos de NP son, por definición, reducibles entre sí, por lo que se puede obtener una solución a uno de ellos mediante el uso de una caja negra que resuelve el otro, ¿por qué no tienen relaciones de aproximación similares (refiriéndose a sus contrapartes de optimización …

11 cc.complexity-theory  approximation-algorithms  reductions 

Estaba leyendo un artículo titulado Random Oracles with (out) Programmability . El último párrafo de la sección 2.3 dice: [Utilizando nuestro enfoque novedoso] no hay necesidad de aplicar técnicas de desrandomización asintóticas clásicas (y uniformes) bien conocidas basadas en el lema de Borel-Cantelli . Hasta donde sabemos, este enfoque es …

11 cc.complexity-theory  derandomization  pr.probability  measure-theory