Para funciones o cálculos tenemos términos como: Determinista - determinismo Puro - Pureza Ahora, ¿cuál es el nombre correspondiente correcto para sin efectos secundarios ? ¿"Libre de efectos secundarios"? ¿"Libertad de efectos secundarios"? ¿"No tiene efectos
Mi problema es así: Tengo un diseño físico representado como un gráfico. Los nodos representan ganchos / conductos donde un cable puede anclarse y los bordes son la posible conexión entre 2 nodos desde donde puede ir el cable. Hay algunos nodos especiales, llamados divisores, desde donde un solo...
Considere los programas lineales. Primal:Ax⃗ ≤b⃗ maxc⃗ Tx⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} Dual:c⃗ ≤y⃗ TAminy⃗ Tb⃗ Dual:c→≤y→TAminy→Tb→\begin{array}{|ccc|} \hline Dual: & \vec{c} \leq...
Introducción y anotaciones: Aquí hay una versión nueva y simple de mi algoritmo que parece terminar (según mis experimentos), y ahora me gustaría probarlo. Deje que la notación refiera a un punto de datos dimensional (un vector). Tengo tres conjuntos A, B y C, de modo que , , : p | A | = n | B |...
Antecedentes Estoy aprendiendo asistencia, Coq, por mi cuenta. Hasta ahora, he terminado de leer Coq de Yves Bertot a toda prisa . Ahora, mi objetivo es probar algunos resultados básicos con respecto a los números naturales, que culminan con el llamado algoritmo de división. Sin embargo, he...
Estoy buscando un algoritmo para convertir un dígrafo (gráfico dirigido) en un gráfico no dirigido de manera reversible, es decir, el dígrafo debe ser reconstruible si se nos da el gráfico no dirigido. Entiendo que esto vendrá a expensas del gráfico no dirigido que tiene más vértices, pero no me...
Hemos tenido varias preguntas sobre la relación de las reducciones de Cook y Karp . Está claro que las reducciones de Cook (reducciones de Turing de tiempo polinómico) no definen la misma noción de integridad de NP que las reducciones de Karp (reducciones de tiempo múltiple polinomiales), que...
Estoy trabajando en un pequeño compilador de cálculo lambda que tiene un sistema de inferencia de tipo Hindley-Milner y ahora también admite recursivos Let's (no en el código vinculado), que entiendo que debería ser suficiente para completar Turing . El problema ahora es que no tengo idea de cómo...
A partir de la prueba de Miller-Rabin , si un número pasa la prueba de primalidad de Fermat , también debe pasar la prueba de Miller-Rabin con la misma base (una variable en la prueba). Y la complejidad del cálculo es la misma.aaa Lo siguiente es de la prueba de primalidad de Fermat : Si bien...
Mi libro de texto dice: "Definimos la función de la siguiente forma: f ( 1 ) = 2 y f ( i + 1 ) = 2 f ( i ) 1.2 . Tenga en cuenta que dado n , podemos encontrar fácilmente en O ( n 1.5 ) tiempo, el número i de tal manera que n se intercala entre f ( i ) y f ( i + 1f:N→Nf:N→Nf\colon...
Describa un idioma normal que no pueda ser aceptado por ningún DFA que tenga solo tres estados. No estoy realmente seguro de por dónde empezar con esto y me preguntaba si alguien podría darme algunos consejos o sugerencias. Entiendo que el lema de bombeo se puede usar para probar que un idioma...
En el análisis de algoritmos, asumimos una máquina de acceso aleatorio (RAM) genérica de un procesador. Hasta donde yo sé, la máquina RAM no es más eficiente que la máquina Turing. Todos los algoritmos se pueden implementar en la máquina Turing. Entonces mis preguntas son: Si la máquina de Turing...
Estoy empezando a entrar en la teoría de la computación, que estudia qué se puede calcular, qué tan rápido, usando cuánta memoria y con qué modelo computacional. Tengo una pregunta bastante básica, pero realmente espero que algunos de ustedes puedan ayudarme a comprender el concepto detrás de...
La pregunta está más o menos en el título. ¿Hay algún momento en que un lenguaje puede ser aceptado por un DFA mínimo con estados, pero , la reversión de , puede ser aceptado por un DFA con estados,
En Chaitin's Meta Math! The Quest For Omega , habla brevemente del décimo problema de Hilbert. Luego dice que cualquier ecuación de diofantina se puede cambiar en dos polinomios iguales con coeficientes enteros positivos: .p = 0p = 0p=0p=0p = 0⟺pags1= p2p=0⟺p1=p2p=0 \iff p_1 = p_2 Luego dice que...
A fines de la década de 1990, cuando estaba en la escuela de posgrado, el periódico JH Saltzer; DP Reed; DD Clark: argumentos de extremo a extremo en el diseño del sistema . ACM Trans. Comput Syst. 2 (4): 277-288, 1984. DOI = 10.1145 / 357401.357402 era bastante necesario leer en todas las...
Para razonar sobre cosas como la completitud de NP, generalmente usamos muchas reducciones (es decir, reducciones de Karp). Esto lleva a imágenes como esta: (bajo conjeturas estándar). Estoy seguro de que todos estamos familiarizados con este tipo de cosas. ¿Qué imagen obtenemos si trabajamos...
Si entonces la jerarquía colapsa a su segundo nivel (por el teorema de Karp-Lipton). Pero, ¿qué pasa con y ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Traté de demostrar que está contenido en (la otra dirección es trivial si ) pero fue en vano, y ni siquiera estoy seguro de que sea...
Una relación de equivalencia en un conjunto de vértices finitos puede representarse mediante un gráfico no dirigido que es una unión disjunta de camarillas. El conjunto de vértices representa los elementos y un borde representa que dos elementos son equivalentes. Si tengo un gráfico y gráficos G 1...
Dados dos enteros y en representación binaria, ¿cuál es la complejidad de calcular el tamaño de bit de ?n x nxXxnnortenxnxnortex^n Una forma de hacerlo es calcular calculando una aproximación de con suficiente precisión. Parece que calcular con bits de precisiones se puede hacer en donde es el...