Hoy en el almuerzo, mencioné este problema con mis colegas, y para mi sorpresa, el argumento de Jeff E. de que el problema es decidible no los convenció ( aquí hay una publicación estrechamente relacionada sobre el desbordamiento matemático). Un enunciado del problema que es más fácil de explicar...
Se me ocurrió esta pregunta sobre el problema de detención y no pude encontrar una buena respuesta en línea, preguntándome si alguien puede ayudar. ¿Es posible que el problema de detención sea decidible para cualquier TM en cualquier entrada, siempre que la entrada no sea la propia TM?...
Estaba aprendiendo sobre las rutas más largas y encontré el hecho de que las rutas más largas en los gráficos generales no se pueden resolver mediante programación dinámica porque el problema carecía de una subestructura óptima (que creo que la afirmación debe corregirse a las rutas simples más...
Estaba resolviendo relaciones de recurrencia. La primera relación de recurrencia fue T(n)=2T(n/2)+nT(n)=2T(n/2)+nT(n)=2T(n/2)+n La solución de este puede ser encontrada por Master Theorem o el método del árbol de recurrencia. El árbol de recurrencia sería algo como esto: La solución sería:...
Estoy buscando técnicas de implementación para lenguajes de programación, y recientemente encontré pilas de espagueti, que supuestamente son una buena opción para un modelo de estilo de paso de continuación (dado su uso, por ejemplo, en Scheme y SML / NJ ). En aras de la simplicidad, consideremos...
En este sitio hay muchas variantes sobre la cuestión de si las TM pueden decidir el problema de detención, ya sea para todas las otras TM o ciertos subconjuntos. Esta pregunta es algo diferente. Pregunta si el problema de detención se aplica a todas las TM puede ser decidido por una TM. Creo que...
Quiero producir ruta más corta ( k sería menos de 10) entre todos los pares en un gráfico. El gráfico es (en realidad un mapa del metro):kkkkkk ponderado positivamente no dirigido escaso con unos 100 nodos Mi plan actual es aplicar ruta de ruta más cortakkk a cada par; Ahora estoy buscando una...
Dada una triangulación (sin puntos Steiner) de un polígono simple , uno puede considerar el doble de esta triangulación, que se define de la siguiente manera. Creamos un vértice para cada triángulo en nuestra triangulación, y conectamos dos vértices si los triángulos correspondientes comparten un...
Hay una reducción famosa y elegante del problema de coincidencia bipartita máxima al problema de flujo máximo: creamos una red con un nodo fuente , un nodo terminal t y un nodo para cada elemento que se va a combinar, luego agregamos los bordes apropiados.sssttt Ciertamente, hay una manera de...
Por lo general, veo que en la representación semántica operacional estructural para el ciclo while, el estado del programa no cambia: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while...
Las respuestas a esta pregunta en Crypto Stack Exchange básicamente dicen que, para medir la complejidad del problema del logaritmo, debemos tener en cuenta la longitud del número que representa el tamaño del grupo. Parece arbitrario, ¿por qué no elegimos el tamaño del grupo como argumento? ¿Existe...
Un gráfico bipartito es plano si no tiene o menores. K 5K3,3K3,3K_{3, 3}K5K5K_5 Estoy buscando las condiciones necesarias y / o suficientes para permitir dibujos planos sin bordes que "rodeen" conjuntos de vértices. Estos son dibujos satisfactorios: Todos los vértices de una parte se dibujan en...
Publiqué esto en MathUnderflow pero no obtuve respuestas, así que pensé en probarlo aquí, Estoy leyendo el viejo artículo de Rabin y Fischer [publicará un enlace cuando sea posible] donde, entre otras cosas, se prueba la doble complejidad exponencial de la aritmética de Presburger. La prueba se...
Hace poco me preguntaba qué pasaría si permitiéramos que las gramáticas sin contexto tengan un número infinito de reglas. Claramente, si permitiéramos arbitrariamente tales conjuntos infinitos de reglas, cada lenguaje sobre algún alfabeto Σ podría describirse mediante un CFG G = ( { S } , Σ , R , S...
En el artículo de Chris Okasaki " Combinadores de aplanamiento: sobrevivir sin paréntesis ", muestra que dos combinadores son suficientes y necesarios como base para codificar expresiones completas de Turing sin la necesidad de un operador de aplicación o paréntesis. En comparación con las...
Estoy tratando de encontrar una prueba de lo siguiente: Para cualquier idioma , existe un lenguaje de B tal que A ≤ T B pero B ≰ T A .AUNAABsiBA≤TBUNA≤TsiA \le_{\mathrm{T}} B≰TA≰TUNA\nleq_{\mathrm{T}} A Estaba pensando en dejar que sea A T M , pero me doy cuenta de que no todos los idiomas son...
Suponga que extiende el cálculo de construcciones con "agujeros", es decir, piezas de código incompletas que aún no completó. Me pregunto si hay un algoritmo para llenar esos roles automáticamente. Por ejemplo (usando la sintaxis de Morte ): Caso A: λ (pred : ?) -> λ (Nat : *) -> λ (Succ...
Según esta fuente, la constante Chaitin es normal.ΩΩ\Omega Cada probabilidad de detención es un número real normal y trascendental que no es computable, lo que significa que no hay un algoritmo para calcular sus dígitos. De hecho, cada probabilidad de detención es aleatoria de Martin-Löf, lo que...
Estoy buscando una definición formal de archivo que no solo incluya almacenamiento, sino también abstracciones como procfs o / dev / null (o cualquier archivo basado en fusibles) que no se relacionen con el almacenamiento. Hasta ahora sé que todos los archivos son abstracciones que puede ser...
Para abordar este problema, primero observé que ϕ(pe11 pe22⋯ pekk)=(e1+1)(e2+1)⋯(ek+1)ϕ(p1e1 p2e2⋯ pkek)=(e1+1)(e2+1)⋯(ek+1)\phi(p_1^{e_1} \space p_2^{e_2} \cdots \space p_k^{e_k}) = (e_1 + 1)(e_2 + 1)\cdots(e_k +1) Donde es el número de divisores (no necesariamente primos) de m . Si m es el...