Me preguntaba qué documentos debería leer para entender esta pregunta Una conexión inesperada con otras áreas de las matemáticas, como la geometría algebraica o la cohomología superior. Quizás incluso un área de matemáticas aún no desarrollada. Quizás alguien desarrolle una dirección...
Al leer una respuesta de Peter Shor y una pregunta anterior de Adam Crume, me di cuenta de que tengo algunas ideas erróneas sobre lo que significa ser PP\mathsf{P} -hard. Un problema es PP\mathsf{P} -hard si cualquier problema en PP\mathsf{P} es reducible con LL\mathsf{L} (o si prefiere...
Esto se trata de cuán efectivamente podemos expresar un algoritmo a mano. Necesito esto para mi enseñanza de pregrado. Entiendo que no existe una forma estándar de escribir un pseudocódigo. Diferentes autores siguen diferentes convenciones. Sería útil si las personas aquí señalan la forma en que...
El estado de nuestro conocimiento sobre los circuitos aritméticos generales parece ser similar al estado de nuestro conocimiento sobre los circuitos booleanos, es decir, no tenemos buenos límites inferiores. Por otro lado, tenemos límites inferiores de tamaño exponencial para circuitos booleanos...
Dado que no permite el cómputo no determinante, Coq no es necesariamente completo de Turing. ¿Cuál es la clase de funciones que Coq puede calcular? (¿hay una caracterización interesante de los
PPPXX\mathcal{X}AA\mathcal{A}PPPDD\mathcal{D}RR\mathcal{R}AA\mathcal{A}minA∈AEcost(A,D)≤maxx∈XEcost(R,x)for all D and R.minA∈AEcost(A,D)≤maxx∈XEcost(R,x)for all D and R.\min_{A\in\mathcal{A}}\quad\mathbb{E} cost(A,\mathcal{D}) \leq \max_{x\in\mathcal{X}}\quad\mathbb{E} cost(\mathcal{R},x)...
Estaba leyendo " ¿Es P versus NP formalmente independiente? ", Pero me desconcertó. Se cree ampliamente en la teoría de la complejidad que . Mi pregunta es sobre qué pasa si esto no es demostrable (digamos en ). (Supongamos que solo descubrimos que es independiente de pero no hay más información...
Al jugar con el análisis LR no canónico, pensé en un método de análisis (con tablas de tamaño infinito, lo que lo hace poco práctico ) capaz de analizar exactamente las gramáticas inequívocas en el tiempo , y me preguntaba si es posible hacerlo mejor :O ( n2)O(norte2)O(n^2) ¿Se pueden analizar...
En un juego de defensa de la torre, tienes una grilla NxM con un inicio, un final y una serie de paredes. Los enemigos toman el camino más corto de principio a fin sin atravesar ninguna pared (generalmente no están limitados a la cuadrícula, pero por simplicidad, digamos que lo están. En...
Estoy interesado en la complejidad de decidir si un polígono no simple dado es casi simple, en cualquiera de los dos sentidos formales diferentes: débilmente simple o no autocruzamiento . Dado que estos términos no son ampliamente conocidos, permítanme comenzar con algunas definiciones. Un...
Hay muchos resultados de inaplicabilidad que se basan en la conjetura de los juegos únicos. Por ejemplo, Suponiendo la conjetura de los juegos únicos, es NP-difícil aproximar el problema de corte máximo dentro de un factor R para cualquier constante R > R GW . (Aquí R GW = 0.878 ... es la...
¿Alguien sabe de referencias que explican con precisión la conexión entre el algoritmo de unificación y la eliminación gaussiana? Estoy particularmente interesado en la relación entre las sustituciones triangulares y las descomposiciones LU. Wayne Snyder y Jean Gallier mencionan esta analogía de...
En las pruebas de propiedades de gráficos, un algoritmo consulta un gráfico de destino para detectar la presencia o ausencia de aristas y necesita determinar si el objetivo tiene una determinada propiedad o está ϵϵ\epsilon lejos de tener la propiedad. (Se puede pedir que un algoritmo tenga éxito...
El tiempo de conmutación en un gráfico conectado se define como el número esperado de pasos en una caminata aleatoria que comienza en , antes de que se visite el nodo y luego se vuelva a alcanzar el nodo . Básicamente es la suma de los dos tiempos de golpeo y .i j i H ( i , j ) H ( j , i )G = ( V,...
¿Existe una descripción útil de futuros o promesas en términos de teoría de categorías? En particular, ¿cuál podría ser el dual categórico del
Los gráficos cúbicos son gráficos en los que cada vértice tiene grado 3. Se han estudiado ampliamente y soy consciente de que varios problemas NP-hard siguen siendo NP-hard incluso restringidos a subclases de gráficos cúbicos, pero otros se vuelven más fáciles. Una superclase de gráficos cúbicos es...
Estoy buscando gráficos conectados, no ponderados y no direccionados , en los que para cada par , hay una ruta única que se da cuenta de la distancia .G=(V,E)G=(V,E)G=(V,E)u,v∈Vu,v∈Vu,v \in Vu→vu→vu \rightarrow vd(u,v)d(u,v)d(u,v) ¿Es esta clase de gráficos bien conocida? ¿Qué otras propiedades...
Considere una red eléctrica modelada como un gráfico plano G, donde cada borde representa una resistencia de 1Ω. ¿Qué tan rápido podemos calcular la resistencia efectiva exacta entre dos vértices en G? De manera equivalente, ¿qué tan rápido podemos calcular la corriente exacta que fluye a lo largo...
A la luz del reciente abismo en el resultado de profundidad-3 (que entre otras cosas produce un circuito aritmético de profundidad -3 para el determinante sobre ), Tengo las siguientes preguntas: Grigoriev y Karpinski demostraron un límite inferior para cualquier circuito aritmético de...
Estoy buscando un texto introductorio conciso sobre algoritmos con una alta relaciónDebería comenzar desde el principio, pero luego progresar rápidamente sin perder demasiado tiempo en ejemplos del mundo real, técnicas de prueba elemental, etc. Como matemático de investigación, tengo una sólida...