Ciencias de la Computación

Tengo un problema de tarea que me deja perplejo porque las matemáticas están más allá de lo que he hecho, aunque nos dijeron que no era necesario resolver esto matemáticamente. Solo proporcione un límite superior cercano y justifíquelo. Sea Proporcione un límite superior asintótico en como .F(n)=|{w∈{a,b}n:aa∉w}|.f(n)=|{w∈{a,b}n:aa∉w}|.f(n) = |\{w ∈ …

8 asymptotics  combinatorics  upper-bound 

[Nota: este problema fue inspirado por Pokemon Go. Primero explicaré el problema en términos matemáticos, luego explicaré la conexión con Pokemon Go. Mi objetivo no es hacer trampa en el juego. Si quisiera hacer trampa, mejor información estaría disponible más fácilmente.] Supongamos que hay puntos (los "puntos desconocidos") en un …

8 algorithms  computational-geometry  constraint-satisfaction 

Mi libro de texto ofrece la siguiente definición de una clave primaria en una base de datos relacional, que no entiendo completamente. La ayuda sería muy apreciada. Deje ser una relación. Entonces, la clave principal para es un subconjunto del conjunto de atributos de , digamos , que satisface las …

8 database-theory 

El análisis de flujo de datos funciona sobre un gráfico de flujo de control. Cuando un idioma considerado admite excepciones, el gráfico de flujo de control puede explotar. ¿Cuáles son las técnicas estándar para lidiar con esta explosión? ¿Podemos ignorar los bordes inducidos por la excepción? Los análisis de flujo …

8 programming-languages  program-optimization  software-verification 

Estaba leyendo el artículo Conceptos fundamentales en lenguajes de programación de C. Strachey el otro día, en el que leía algo que me resultaba bastante extraño. Citando directamente (con la parte extraña resaltada por mí): Frente a la situación tal como existe hoy, donde existe un método generalmente conocido para …

8 formal-grammars  programming-languages  syntax 

Definición. Dado un gráficoG=(V,E)sol=(V,mi)G=(V,E) y dos vértices sss y ttt, la kkk-shortest-caminos problema es encontrar el kkk caminos sencillos más cortos entre sss y ttt en solsolG. Tenga en cuenta que la longitud de estos caminos no es necesariamente igual, y los vértices sss y ttt son necesariamente kkk-conectado. Me …

8 algorithms  graphs  optimization  shortest-path  enumeration 

Karlheinz Brandenburg representa un codificador de MP3 como este: Fuente: MP3 y AAC explicados Marqué el FFT ya que no estoy seguro de por qué es realmente necesario realizar uno. ¿Por qué no puede aplicarse el modelo psicoacústico a las llamadas líneas después de la transformada discreta de coseno modificada …

8 algorithms  data-compression  fourier-transform 

Cuando leí sobre la tesis de la Iglesia-Turing, parece ser una afirmación común de que "la realidad física es computable por Turing". ¿Cuál es la base de este reclamo? ¿Hay algún resultado teórico en este sentido? Por contexto, soy un investigador que trabaja en simulaciones físicas, así que, por supuesto, …

8 computability  simulation  church-turing-thesis  hypercomputation 

L:={w∈{0,1}∗|L:={w∈{0,1}∗|L := \{w \in \{0,1\}^* | la longitud de es impar 1 está en el medio dewww∧∧ \wedge w}w}w\} Entonces el alfabeto es . Mi problema es que no puedo hacer un seguimiento de la igualdad de caracteres antes y después de . Un DFA limitado para la longitud inferior …

8 formal-languages  finite-automata  formal-grammars 

Tengo un conjunto de números y quiero calcular el subconjunto máximo de modo que la suma de cualquiera de sus dos elementos no sea divisible por un entero KKK. Traté de resolver este problema, pero encontré la solución cuadrática, que no es una respuesta eficiente. K< 100 , N< 10000K<100,N<10000K …

8 algorithms  efficiency 

Sobre el estado del arte que estoy adelantando a la teoría de tipos, tengo todas estas preguntas relacionadas con la historia de los tipos. ¿De dónde vino la idea de tipo ? (Parece que todo comienza cuando Russell y Whitehead proponen una forma de evitar la contradicción que hoy conocemos …

8 type-theory  history 

Digamos que quería crear mi propio lenguaje de programación. Suponiendo que he tomado todas las decisiones sobre cómo quiero que se vea y actúe, ¿solo necesito escribir un compilador para ello? Por ejemplo, ¿el código Java de alto nivel no es solo texto y este texto está en el formato …

8 programming-languages  compilers 

Acabamos de terminar nuestra clase de "Construcibilidad de tiempo" en clase la semana pasada y, por el bien de nosotros, mostramos que nk,2nnk,2nn^k, 2^n son completamente construibles en el tiempo, es decir, existe una máquina de Turing (determinista de múltiples cintas) que para nnn dado, se detiene después de exactamente …

8 complexity-theory  turing-machines  time-complexity 

Necesito una estructura de datos para almacenar un número de elementos, cada uno de los cuales está asociado con un tiempo diferente . varía y, aunque tiene un límite superior teórico, este es muchos órdenes de magnitud más grande de lo que se usa típicamente.nnntitit_innn A través de mi aplicación …

8 data-structures  search-trees  algorithm-design 

En la teoría de tipos podcast ep. 3 , Dan Licata afirma que el hecho de que para cada entrada, insertortort y mergesort den el mismo resultado no implica que el resultado sea igual cuando se usa como funciones de orden superior como argumentos para una tercera función, es decir …

8 type-theory  functional-programming  equality  homotopy-type-theory