Soy un estudiante graduado en matemáticas, y la informática teórica es un dominio del que nunca entendí de qué se trata porque no pude encontrar una buena lectura sobre el tema. Quiero saber de qué se trata este dominio, qué tipo de temas le conciernen, qué requisitos previos se necesitan para...
En 2012, Lipton escribió una entrada de blog sobre un nuevo algoritmo para resolver sistemas lineales sobre campos finitos por Prasad Raghavendra. El enlace al borrador del documento de Raghavendra sobre el tema ahora está muerto , y no puedo encontrar nada sobre el tema en el sitio web de...
Desde un punto de vista puramente abstracto de razonamiento matemático / computacional, ¿cómo podría uno incluso descubrir o razonar sobre problemas como 3-SAT, Subset Sum, Travelling Salesman, etc.? Estaríamos incluso capaz de razonar sobre ellas de una manera significativa con sólo la...
Hice esta pregunta hace 10 días en cs.stackexchange aquí, pero no tenía ninguna respuesta. En un artículo muy famoso (en la comunidad de redes), Wang y Crowcroft presentan algunos resultados de -completitud del cálculo de ruta bajo varias restricciones aditivas / multiplicativas. El primer...
O con otras palabras, ¿tenemos eso para cada idioma y B , A ≤ p B o ?UNUNAsisiBA ≤pagsiUN≤pagsiA \leq_p BB ≤pagUNsi≤pagUNB \leq_p
Estoy estudiando un problema que es difícil para la clase de fórmulas booleanas cuantificadas con un número logarítmico de alternancias de los cuantificadores. Un problema en esta clase se vería así: ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(X1,X2,...Xun1)∃(Xun1+1,...Xun2),...∃(XunIniciar...
Encuentro algunos libros sobre computadoras, pero todos tratan sobre tecnología. Quiero algo más vinculado a la
En mi introducción al curso de programación, estamos aprendiendo sobre el método de inicialización-mantenimiento-terminación para probar que un algoritmo hace lo que esperamos. Pero solo hemos tenido que demostrar que un algoritmo que ya se sabe que es correcto, es correcto. Nunca se nos ha pedido...
Todos sabemos que mostrar tiene barreras. Todos hemos estudiado estas barreras porque creemos que .PAG≠ NPAGPAG≠nortePAGP\ne NPPAG≠ NPAGPAG≠nortePAGP\ne NP Sin embargo, suponga y hay personas sabias que creen que existe la posibilidad . Si este es realmente el caso, el hecho de que no hayamos...
Tengo un politopo PPP definido por {x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} . Pregunta: Dado un vértice vvv de PPP , ¿existe un algoritmo de tiempo polinómico para muestrear uniformemente de los vecinos de vvv en el gráfico de PPP ? (Polinomio en la dimensión, el número de ecuaciones y...
Deje que G sea un árbol en 2n vértices. El ancho de árbol de G, tw (G) = 1. Ahora supongamos que agregamos n aristas a G para obtener un gráfico H. Un límite superior fácil en tw (H) es n + 1. ¿Es esto esencialmente el mejor posible? Parece de alguna manera que tw (H) debería ser O (sqrt (n)),...
Robin Milner definió bigraphs como un tipo de estructura gráfica con una estructura similar a un gráfico, pero donde los nodos se pueden anidar. Generalizan cálculos de procesos como CCS y el cálculo , pero Milner parece haber tenido la intención de que se usen de manera mucho más general: las...
Considere , donde lambda_i> 0 e Y_i se distribuye como un estándar normal. ¿Qué tipo de límites de concentración se pueden probar en X, en función de los coeficientes (fijos) lambda_i?X= ∑yoλyoY2yoX=∑yoλyoYyo2X = \sum_i \lambda_i Y_i^2 Si todos los lambda_i son iguales, entonces este es un...
Si está familiarizado con la verificación del programa, es probable que prefiera leer la Pregunta antes que los Antecedentes . Si no está familiarizado con la verificación del programa, es posible que aún pueda responder esta pregunta, pero es probable que prefiera leer el Fondo...
¿Quién introdujo la idea de recursión ? ¿Alguien puede explicar de dónde vino y cómo impactó la
En respuesta a otra pregunta, Extensiones de la teoría beta del cálculo lambda , Evgenij ofreció la respuesta: beta + la regla {s = t | syt son términos cerrados sin solución} donde un término M es soluble si podemos encontrar una sucesión de términos tales que M aplicación 's para ellos es igual...
El teorema de Rice establece que cada propiedad no trivial del conjunto reconocida por alguna máquina de Turing es indecidible. Estoy buscando un teorema del tipo Rice de teoría de la complejidad que nos indique qué propiedades no triviales de los conjuntos de NP son
Soy estudiante universitario de ciencias de la computación y actualmente estoy planeando mi proyecto de graduación. Necesito algunas ideas en el campo de la computación cuántica. ¿alguna
Dos documentos que incluiría son: D. Kozen, "Indización de clases subrecursivas" , STOC, 1978. R. Ladner, "Sobre la estructura de la reducibilidad del tiempo polinomial" , JACM,
Mientras intentaba corregir un error en una biblioteca, busqué documentos para encontrar subranges en árboles rojos y negros sin éxito. Estoy considerando una solución con cremalleras y algo similar a la operación de adición habitual utilizada en algoritmos de eliminación para estructuras de datos...