¿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...
¿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 ser...
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...
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, n Cada vértice tiene un peso entero no...
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...
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...
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(logN)k=O(\log N) y m=O(N).m=O(N).m=O(N). Calcular esta suma de forma directa (exponenciación...
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...
¿Ha habido algún trabajo para recuperar la pendiente de un segmento de línea desde su digitalización? Uno no puede hacer esto con perfecta precisión, por supuesto; lo que uno quiere es un método para derivar de una línea digitalizada un intervalo de posibles pendientes. (El concepto de una línea...
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...
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...
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\;...
Sé que la pregunta "si una fórmula de primer orden tiene un modelo" es indecidible en general.ϕϕ\phi ¿Alguien podría darme un enlace o un libro que dé la respuesta para modelos finitos? Si tengo una fórmula de primer orden , ¿es decidible si ϕ tiene un modelo finito? Estoy bastante seguro de que...
Me gustaría preguntar si hay un resultado ya publicado sobre eso: Tomamos todos los caminos diferentes posibles entre cada par de nodos de dos gráficos regulares conectados (con el grado , digamos, y el número de nodos n ) y escribimos sus longitudes. Por supuesto, este número de caminos distintos...
¿Es correcto llamar al framework mapReduce un tipo de framework de programación paralela síncrona masiva sin retención de memoria local dentro de los procesadores entre sincronizaciones? Si no, ¿qué modelo de programación paralela encapsula con mayor precisión el marco
La matriz tiene dimensión n × n ( n - 1 ) . Queremos llenar A utilizando números enteros entre 1 y n , ambos inclusive.UNAAAn × n ( n - 1 )n×n(n−1)n \times n(n-1)UNAAA111nortenn Requisitos: Cada columna de es una permutación de 1 , ... , n .UNAAA1 , ... , n1,…,n1, \dots, n Cualquier submatriz...
Todos los museos y exposiciones relacionados con la informática que conozco parecen abarcar solo la historia de la maquinaria informática, pero nada sobre temas de informática. Usted está involucrado en la creación de un nuevo Museo de Computación, creado para educar, entretener e inspirar al...
Estoy buscando una estructura de datos altamente eficiente para el almacenamiento de datos similar a la siguiente. Etiquetas de identificación Order1 Order2 -------------------------- 1 1,2 1 1 2 2,5 2 3 3 1,7 4 7 4 6 3 0 Tengo que ser capaz de consultar esta estructura de tal manera que me...
La integridad y solidez en los sistemas de prueba interactivos se definen informalmente como: Integridad: si una afirmación es verdadera, el probador honesto puede convencer al verificador honesto de este hecho whp . Solidez: si una declaración es falsa, el probador de trampa no puede convencer...
No recuerdo haber visto una separación de clases no basada en resultados de diagonalización y relativización. La diagonalización aún podría usarse para separar las clases conocidas restantes, porque los argumentos no relativizantes aún podrían usarse en la conclusión de diagonalización, o en la...