Ciencias de la Computación

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 …

10 computer-architecture  operating-systems  distributed-systems  computer-networks 

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 podemos …

10 logic  halting-problem 

El punto flotante actual (flotante ANSI C, doble) permite representar una aproximación de un número real. ¿Hay alguna forma de representar números reales sin errores ? Aquí hay una idea que tuve, que es todo menos perfecta. Por ejemplo, 1/3 es 0.33333333 ... (base 10) u o.01010101 ... (base 2), …

10 binary-arithmetic  arithmetic  floating-point  real-numbers  number-formats 

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 esto: ¿Por qué …

10 complexity-theory  formal-languages 

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 …

10 formal-languages  regular-languages  finite-automata  pumping-lemma 

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 generalmente se …

10 complexity-theory  reference-request  np-complete  reductions 

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 …

10 algorithms  primes 

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 \vec{y}^TA \hspace{.5cm} & \min \vec{y}^T\vec{b} \\ \hline \end{array} El teorema de la dualidad débil establece que si x⃗ …

10 algorithms  reference-request  linear-programming  linear-algebra  duality 

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 hacer …

10 lambda-calculus  type-theory  type-inference 

¿Qué notación se usa para discutir los coeficientes de las funciones en notación big-O? Tengo dos funciones: f(x)=7x2+4x+2f(x)=7x2+4x+2f(x) = 7x^2 + 4x +2 g(x)=3x2+5x+4g(x)=3x2+5x+4g(x) = 3x^2 + 5x +4 Obviamente, ambas funciones son , de hecho , pero eso no permite una comparación más allá de eso. ¿Cómo discuto los …

10 terminology  asymptotics  landau-notation 

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 cable …

10 algorithms  graph-theory  optimization 

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 , , : …

10 algorithms  complexity-theory  algorithm-analysis  optimization 

Supongamos que un algoritmo tiene una relación de recurrencia en tiempo de ejecución: T(n)={g(n)+T(n−1)+T(⌊δn⌋)f(n):n≥n0:n&lt;n0T(n)={g(n)+T(n−1)+T(⌊δn⌋):n≥n0f(n):n&lt;n0 T(n) = \left\{ \begin{array}{lr} g(n)+T(n-1) + T(\lfloor\delta n\rfloor ) & : n \ge n_0\\ f(n) & : n < n_0 \end{array} \right. para alguna constante . Suponga que es polinomial en , quizás cuadrático. Lo más …

10 asymptotics  recurrence-relation 

He visto sitios web que pretenden "probar" que HTML5 + CSS es Turing Complete. He visto sitios web que pretenden "probar" que SQL está Turing completo. He visto un montón de sitios web que pretenden "explicar" lo que significa ser Turing completo. ¡Suficiente! ¿Dónde puedo encontrar un libro? como una …

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

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 secundarios"?

10 terminology  programming-languages