Me dan un gráfico con un ancho de árbol k y un grado arbitrario, y me gustaría encontrar un subgrafo H de G (no necesariamente un subgrafo inducido) de modo que H tenga un grado constante y su ancho de árbol sea lo más alto posible. Formalmente, mi problema es el siguiente: habiendo elegido un...
Los solucionadores SMT como Z3 o Boolector utilizan un conjunto complejo de heurísticas para resolver problemas. Sin embargo, esto también hace que sea muy difícil predecir el rendimiento de un solucionador de este tipo para un problema dado. Mi pregunta es así: Pregunta ¿Hay alguna manera de...
Dado el coprimo , ¿puede calcular rápidamentea,ba,ba, bminx,y>0|ax−by|minx,y>0|ax−by| \min_{x, y > 0} |a^x - b^y| Aquí x,yx,yx, y son enteros. Obviamente, tomar x=y=0x=y=0x = y = 0 da una respuesta poco interesante; en general, ¿qué tan cerca pueden llegar estos poderes? Además, ¿cómo...
Después de los éxitos cada vez más nuevos de las redes neuronales en los juegos de mesa, uno siente que el próximo objetivo que establecimos podría ser algo más útil que vencer a los humanos en Starcraft. Más precisamente, me preguntaba si ¿Pueden las redes neuronales ser entrenadas para...
Dada una función booleana , tenemos el grupo de automorfismo .A u t ( f ) = { σ ∈ S n ∣ ∀ x , f ( σ ( x ) ) = f ( x ) }FffA u t ( f) = { σ∈ Snorte ∣ ∀ x , f( σ( x ) ) = f( x ) }Aut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Aut(f) = \{\sigma \in S_n\ \mid \forall x, f(\sigma(x)) = f(x) \} ¿Hay algún conocido en ?...
El teorema de Cantor establece que Para cualquier conjunto A, el conjunto de todos los subconjuntos de A tiene una cardinalidad estrictamente mayor que A en sí. ¿Es posible codificar algo como esto usando solo tipos / proposiciones sin hacer referencia a conjuntos ZFC? Se agradecería el...
Soy un investigador que trabaja en Algoritmos y teoría de la Complejidad, uso la complejidad parametrizada hasta cierto punto. Para mí, parece que los investigadores en complejidad parametrizada son muy activos (no quiero decir que otros no lo sean) en términos de número de trabajos de...
¿Alguien sabe de dónde vienen los nombres Sistema "F" y Sistema "T"? No estoy preguntando quién introdujo esos nombres (Girard System F y Gödel System T), sino qué significan la "F" y la
Se sabe que Ford-Fulkerson o Edmonds-Karp con la heurística del tubo de grasa (dos algoritmos para flujo máximo) no necesitan detenerse si algunos de los pesos son irracionales. De hecho, ¡incluso pueden converger en el valor incorrecto ! Sin embargo, todos los ejemplos que pude encontrar en la...
Tengo curiosidad acerca de las formas en que ha visto que la falta de uniformidad es útil en el cálculo. Una forma es la aleatoriedad, como en , y otra son las tablas de búsqueda que se utilizan para mostrar que todos los idiomas tienen circuitos no uniformes.B PPAGS⊆ P/ polysiPAGSPAGS⊆PAGS/...
Braverman demostró que las distribuciones que son independienteϵ-profundidad totaldAC0circuitos de tamañom"pegando" la aproximación de Smolensky y la aproximación de Fourier delas funciones booleanas computablesdeAC0. El autor y aquellos que habían conjeturado esto originalmente conjeturan que el...
Estoy buscando problemas que son difíciles de resolver en tiempo FPT pero que tiene un algoritmo de aproximación. Es decir, problemas que son: R1. W [1] -duro. R2. Admita un algoritmo de aproximación (preferiblemente constante) en tiempo FPT. El problema con el que estoy familiarizado es contar...
Deje ser un alfabeto finito. Para un lenguaje dado el monoide sintáctico es una noción bien conocida en la teoría del lenguaje formal. Además, un monoide reconoce un lenguaje si existe un morfismo tal que .AAAL⊆A∗L⊆A∗L \subseteq A^{\ast} M(L)M(L)M(L)MMMLLLφ:A∗→Mφ:A∗→M\varphi : A^{\ast} \to...
Somos capaces de demostrar teoremas un parametricity gratis sobre funciones como ? Se supone que indica que f toma una lista y siempre devuelve una permutación de la misma.f:∀A.[A]⊸[A]f:∀A.[A]⊸[A]f : \forall A . [A] ⊸ [A]fff Otro ejemplo: probar que la función siempre devolverá una lista permutada...
En una teoría intuitiva de tipos: parte predictiva de Martin-Löf, se demuestra que la comprobación de tipo es decidible sujeto a ser escribible en primer lugar, demostrando un teorema de normalización para términos de tipo cerrado. Por otro lado, lo he visto escrito en varios lugares (Wikipedia,...
¿Cuáles son los límites superiores asintóticos más conocidos en tamaños de pruebas probabilísticamente comprobables? Idealmente, estoy buscando una encuesta contemporánea sobre esta amplia pregunta, pero si no hay ninguna, estoy especialmente interesado en la inaccesibilidad de 3-SAT. Deje que 7/8...
El teorema de Robertson-Seymour dice que cualquier familia GG\mathcal G de gráficas menores cerradas puede caracterizarse por un número finito de menores prohibidos. ¿Existe algún algoritmo que para una entrada GG\mathcal G dé salida a los menores prohibidos o es indecidible? Obviamente, la...
Tengo dificultades para comprender la prueba de una fuerte normalización para el cálculo de las construcciones. Trato de seguir la prueba en el documento de Herman Geuvers "Una prueba corta y flexible de Normalización Fuerte para el Cálculo de Construcciones". Puedo seguir bien la línea principal...
Existen varios modelos diferentes para definir transformaciones entre idiomas. Los transductores de estado finito y las transformaciones de gráficos definibles por MSO sobre gráficos de cadenas son los dos que mejor conozco. Sabemos que los transductores de estado finito de 2 vías (que son más...
Si hay algunos resultados en la resolución de problemas de idiomas formales utilizando análisis matemáticos, matemáticas continuas. Por ejemplo, resolver el problema de la intersección del no vacío para un lenguaje libre de contexto y un lenguaje