A menudo escuché decir que no se puede escribir un programa para detectar errores en un navegador web, procesador de texto o sistema operativo, debido al Teorema de Rice: cualquier propiedad semántica para un lenguaje completo de Turing es indecidible. Sin embargo, no estoy seguro de hasta qué...
Contexto: consideramos solo los dígrafos. Deje que CYCLE sea el lenguaje de gráficos con un ciclo; Es un problema de NL completo. Deje que HASEDGE sea el lenguaje de gráficos con al menos un borde. Entonces, trivialmente, CICLO ∪ HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE} ya no es...
Estoy buscando notas de conferencias disponibles en línea u otros recursos que brinden una buena introducción a la programación paralela, al igual que el análogo paralelo de las clases básicas de informática. Mi enfoque es el siguiente: si bien puedo hablar sobre divide y vencerás, algoritmos...
¿Existe un algoritmo de tiempo polinómico para encontrar, si existe, una araña de expansión de un gráfico dado ? Una araña es un árbol con a lo sumo un nodo con un grado mayor que 2: sé que varias condiciones de grado en G (esencialmente, grados de nodo suficientemente grandes) garantizan la...
En el libro de Arora-Barak, en la definición de funciones construibles en el tiempo, se dice que el uso de funciones que no son construibles en el tiempo puede conducir a "resultados anómalos". ¿Alguien tiene un ejemplo de tal "resultado anómalo"? He escuchado en particular que pueden existir...
Dado un conjunto de puntos en un espacio cartesiano 3D, estoy buscando un algoritmo que clasifique estos puntos, de modo que se maximice la distancia euclidiana mínima entre dos puntos consecutivos. También sería beneficioso si el algoritmo tuviera una tendencia hacia una distancia euclidiana...
No estoy seguro si el área correcta, pero aquí va. Comenzar un doctorado en Gestión de confianza y reputación en redes de comunicaciones (mucha teoría de gráficos, análisis probabilístico, etc.) y tener mucha lectura por delante. ¿Alguien puede aconsejar las mejores formas de gestionar la...
Tengo 400 bolas, en las cuales 100 son rojas, 40 son amarillas, 50 son verdes, 60 son azules, 70 son moradas, 80 son negras. (las bolas del mismo color son idénticas) Necesito un algoritmo de barajado eficiente, para que después de barajar, las bolas estén en una lista, y Cualquier 3 bolas...
Estoy buscando ejemplos de problemas difíciles (en NP o más difíciles) de la informática que pueden reducirse a modelos de procesos físicos. Por ejemplo, max-2-sat se puede reducir a minimización de energía en un modelo Ising. Me gustaría encontrar más ejemplos de este tipo de...
El algoritmo de Deutsch es una computación cuántica bien conocida f(0)+f(1)mod2f(0)+f(1)mod2f(0) + f(1)\mod{2} con solo una evaluación de fff . Si reemplazamos +++ con ⋅⋅\cdot el problema parece ser bastante diferente. Mi pregunta es: ¿existe un algoritmo cuántico que calcule el valor de...
¿Es difícil apx aproximar el número cromático fraccionario en gráficos de grados
Supongamos que tengo un polígono simple y un entero . ¿Cuáles son algunos enfoques existentes para encontrar el radio más pequeño de modo que pueda cubrir con círculos de radio ? ¿Qué tal si es fijo y quiero minimizar ?k r S k r r
Durante mi trabajo se me ocurrió el siguiente problema: Estoy tratando de encontrar una matriz ( 0 , 1 ) M , para cualquier n > 3 , con las siguientes propiedades:n×nn×nn \times n (0,1)(0,1)(0,1)MMMn>3n>3n > 3 El determinante de es par.MMM Para cualquier subconjunto no vacío con | Yo |...
En mi búsqueda de trabajos de investigación sobre sistemas de tipos para lenguajes imperativos, solo encuentro soluciones para un lenguaje con referencias mutables pero sin estructuras de control imperativo genuinas como operadores compuestos, bucles o condicionales. Por lo tanto, no está claro...
Definiciones Sea y sea que d , r y g sean enteros positivos (con g > 2 r + 1 ).ϵ>0ϵ>0\epsilon > 0dddrrrgggg>2r+1g>2r+1g > 2r+1 Sea un gráfico finito simple, d- regular, no dirigido, con circunferencia de al menos g .G=(V,E)G=(V,E)G = (V,E)dddggg Deje ser un orden total en V...
Me gustaría saber si el siguiente problema simple se ha estudiado antes y si se conoce alguna solución. Sea G una cuadrícula finita (MxN), S un subconjunto de celdas de G (las "migajas"). Se dice que dos migajas están conectadas (localmente) si sus coordenadas difieren en un máximo (es decir, si...
Estoy bastante familiarizado con la teoría detrás de VC-Dimension, pero ahora estoy mirando los avances recientes (últimos 10 años) en la teoría del aprendizaje estadístico: promedios (locales) Rademacher, Lema de clase finita de Massart, Números de cobertura, Encadenamiento, Dudley Teorema,...
Dado un gráfico plano no ponderado y una colección de pares de vértices ( es una constante), encuentre caminos de vértice-disjuntos (excepto fuente) de a tales que la longitud del camino más largo se minimiza.( s , t1) , … , ( S , tk)(s,t1),…,(s,tk)(s,t_1),\dots,(s,t_k)k s t ik ≥...
Algunos de nosotros hemos estado leyendo el artículo de Michael Nielsen sobre un enfoque geométrico para usar límites cuánticos inferiores (en resumen, la construcción de una métrica de Finsler en modo que la distancia geodésica de I a un elemento U sea un límite inferior en el número de puertas...
Deje que sea un gráfico con aristas ponderadas (positivamente). Quiero definir el diagrama de Voronoi para un conjunto de nodos / sitios , para asociar con un nodo el subgrafo de inducido por todos los nodos estrictamente más cercanos a que a cualquier otro nodo en , midiendo la longitud de un...