Ciencias de la Computación

Recientemente me di cuenta de que hay algún tipo de relación entre la teoría de los tipos de Russell y los sistemas de tipos, como se encuentra, por ejemplo, en Haskell. En realidad, parte de la notación de tipos en Haskell parece tener precursores en la teoría de tipos. Pero, …

12 programming-languages  type-theory 

No sé si fue una broma, pero una vez que leí lo que se conoce como una definición formal de un archivo en un sistema de versiones como git, hg o svn. Era algo así como un objeto matemático como un homeomorfismo. ¿Fue una broma o hay realmente una teoría …

12 terminology  reference-request 

Estoy tratando de resolver este problema y realmente estoy luchando. Una fórmula booleana monótona es una fórmula en lógica proposicional donde todos los literales son positivos. Por ejemplo, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) es una función booleana monótona. Por otro lado, …

12 complexity-theory  np-complete  satisfiability 

¿Por qué la transformación de Laplace no es popular para la convolución de procesamiento de imágenes? La mayoría de los libros de texto solo convergen las transformadas de Fourier.

12 history  image-processing 

Tengo un árbol no dirigido cuyos vértices quiero etiquetar. Los nodos de la hoja deben etiquetarse como uno. Luego, suponga que las hojas fueron removidas. En el árbol que queda, las hojas deben etiquetarse como dos. Este proceso continúa de la manera obvia hasta que todos los vértices tengan una …

12 algorithms  trees 

¿La dificultad de un problema NP-hard o NP-complete (como se define aquí ) cambia cuando su entrada es unaria en lugar de codificada en binario? ¿Qué diferencia hay si la entrada de un problema fuertemente NP-hard está codificada de forma unaria? Quiero decir, si tomo, por ejemplo, el problema de …

12 complexity-theory  time-complexity  np-complete 

Dado un polígono ortogonal (un polígono cuyos lados son paralelos a los ejes), quiero encontrar el conjunto más pequeño de cuadrados disjuntos interiores, cuya unión es igual al polígono. Encontré varias referencias a problemas ligeramente diferentes, como: Cubrir un polígono ortogonal con cuadrados, similar a mi problema, pero los cuadrados …

12 algorithms  computational-geometry  tiling 

Entiendo que las gramáticas libres de contexto pueden usarse para representar lenguajes libres de contexto. Puede tener ambigüedades. También tenemos formas normales como Chomsky y Greibach . No pude entender la necesidad de eso. ¿Por qué son importantes en la teoría de los idiomas? Todos los libros de texto a …

12 formal-languages  context-free  formal-grammars  normal-forms 

Tengo esta "prueba" muy simple para NP = CoNP y creo que hice algo mal en alguna parte, pero no puedo encontrar lo que está mal. ¿Alguien me puede ayudar? Sea A un problema en NP, y sea M el decisivo para A. Sea B el complemento, es decir, B …

12 complexity-theory  p-vs-np  check-my-proof  np 

¿Alguien podría explicarme las diferencias y similitudes entre el aprendizaje automático y las identificaciones del sistema? ¿Son estos solo dos nombres de la misma cosa? En esta página , dicen: El aprendizaje automático y las comunidades de identificación del sistema se enfrentan a problemas similares en los que uno necesita …

12 machine-learning 

Creo que entiendo cómo la deforestación consume y produce una lista al mismo tiempo (desde una función de plegado y desplegado; vea esta buena respuesta en CodeReview aquí ), pero cuando comparé eso con la entrada de wikipedia sobre la técnica que habló sobre 'eliminar árboles 'de un programa. Entiendo …

12 terminology  compilers  functional-programming 

Digamos, L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^* . Entonces, ¿cómo podemos demostrar que L∗L∗L^* es regular? Si LLL es regular, entonces, por supuesto, L∗L∗L^* también es regular. Si LLL es finito, entonces es regular y nuevamente L∗L∗L^* es regular. También he notado que, para L={0p∣p is a prime}L={0p∣p is a prime}L = \{0^p …

12 formal-languages  regular-languages 

Entonces, sé que probar si un lenguaje regular es un subconjunto del lenguaje regular S es decidible, ya que podemos convertirlos a ambos en DFA, calcular R ∩ ˉ S y luego probar si este idioma está vacío.RRRSSSR∩S¯R∩S¯R \cap \bar{S} Sin embargo, dado que esto requiere la conversión a DFA, …

12 algorithms  regular-languages  automata  np-complete  decision-problem 

Se dice que la teoría de la computabilidad también se llama teoría de la recursividad. ¿Por qué se llama así? ¿Por qué la recursión tiene tanta importancia?

12 computability  terminology  history 

Primero, déjame escribir la definición de grande OOOsolo para hacer las cosas explícitas. f(n)∈O(g(n))⟺∃c,n0>0f(n)∈O(g(n))⟺∃c,n0>0f(n)\in O(g(n))\iff \exists c, n_0\gt 0 tal que0≤f(n)≤cg(n),∀n≥n00≤f(n)≤cg(n),∀n≥n00\le f(n)\le cg(n), \forall n\ge n_0 Digamos que tenemos un número finito de funciones: satisfactoria:f1,f2,…fnf1,f2,…fnf_1,f_2,\dots f_n O(f1)⊆O(f2)⋯⊆O(fn)O(f1)⊆O(f2)⋯⊆O(fn)O(f_1)\subseteq O(f_2)\dots \subseteq O(f_n) Por transitividad de , tenemos que:OOOO(f1)⊆O(fn)O(f1)⊆O(fn)O(f_1)\subseteq O(f_n) ¿Esto se cumple …

12 asymptotics  landau-notation