Ciencias de la Computación

¿Se puede implementar la operación de división para árboles AVL con complejidad? O(logn)O(log⁡n)O(\log n)? Estoy interesado en enlaces a artículos o cualquier información específica sobre este tema. La operación de división divide el árbol AVL en dos árboles AVL derivados, según la clave. Uno de los árboles derivados debe contener …

9 data-structures  search-trees  balanced-search-trees 

¿Se invierte una matriz en la clase de complejidad ?PAGSPAGS\text{P} Desde el tiempo de ejecución, diría yes pero la matriz invertida puede contener entradas donde el tamaño no está limitado polinómicamente por la entrada.O (norte3)O(norte3)\mathcal{O}(n^3)

9 complexity-theory 

¿El 2 en un algoritmo de aproximación 2 significa que la solución está dentro de 2 * OPT u OPT / 2?

9 algorithms  algorithm-analysis  np  approximation  polynomial-time 

Digamos que las listas se definen como List a = Nil | Cons a (List a) Entonces, en Haskell, List x¿cuál es el mayor o menor punto de fijación? Lo pregunto porque el lfp debería excluir listas infinitas (pero puede compilarlas en Haskell), mientras que el gfp debería excluir las …

9 programming-languages  type-theory  functional-programming  semantics  category-theory 

StackOverflow me señaló aquí, por lo que la pregunta podría ser un poco simple. Wikipedia define funciones puras como En la programación de computadoras, una función puede describirse como una función pura si ambas afirmaciones sobre la función tienen: La función siempre evalúa el mismo valor de resultado dados los …

9 terminology  functional-programming  semantics 

Recientemente hablé con un amigo sobre un sitio web que propuso desafíos de expresiones regulares, principalmente haciendo coincidir un grupo de palabras con una propiedad especial. Estaba buscando una expresión regular que coincida con cadenas como ||||||||donde el número |es primo. Inmediatamente le dije que eso nunca funcionaría porque si …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Aparentemente, un byte se ha establecido en 8 bits (¿es correcto?). Normalmente se puede acceder a RAM y NOR-flash en un nivel bastante granular, pero depende de la arquitectura del sistema determinar si la unidad direccionable más pequeña es 8 bits, 16 bits o cualquier otra potencia de dos bits. …

9 terminology  computer-architecture  memory-management  memory-access 

Dado cualquier lenguaje regular infinito , ¿cómo puedo probar que puede dividirse en 2 idiomas regulares infinitos disjuntos ? Esto es: , , y y son ambos tanto infinito y regular.LLLLLLL1,L2L1,L2L_1, L_2L1∪L2=LL1∪L2=LL_1 \cup L_2 = LL1∩L2=∅L1∩L2=∅L_1 \cap L_2 = \varnothingL1L1L_1L2L2L_2 Hasta ahora, pensé en: usando el lema de bombeo de …

9 formal-languages  regular-languages  finite-automata 

Según Wikipedia, el problema del conjunto independiente es un caso especial del problema del conjunto de conjuntos . Pero, me parece que estos problemas son equivalentes. El problema de la búsqueda de conjunto independiente es: dado un gráfico y un número entero , encuentre vértices, ninguno de los cuales es …

9 algorithms  graphs  sets  packing 

Quiero crear una forma rápida de detectar si un archivo puede o no ser el mismo. Para casi el 100% de seguridad, usaría un algoritmo hash existente, por ejemplo, SHA256. Sin embargo, se espera que los archivos sean archivos de video enormes con varios GB, por lo que calcular el …

9 hash  performance 

Estoy buscando un documento fácil e introductorio sobre la prueba del Teorema de Courcelle . También estoy interesado en su conexión con la complejidad parametrizada con respecto al ancho del árbol . Solo soy un principiante en este campo. ¿Alguna sugerencia?

9 complexity-theory  graph-theory  reference-request  discrete-mathematics  parameterized-complexity 

Se sabe que las lógicas temporales LTL, CTL, CTL * se pueden traducir / incrustar en el cálculo . En otras palabras, el cálculo (modal) subsume estas lógicas (es decir, es más expresivo).μμ\muμμ\mu ¿Podría por favor explicarme / señalarme artículos / libros que detallen este asunto? En particular, ¿hay propiedades …

9 logic  simulation  linear-temporal-logic  mu-calculus  computation-tree-logic 

¿Es posible usar tipos dependientes en la implementación existente de Typed Racket ? (es decir, ¿existen en él?) ¿Es razonablemente posible implementar un sistema de tipos dependientes usando Typed Racket?

9 programming-languages  typing  type-checking  dependent-types  lisp 

He implementado una red neuronal (usando CUDA) con 2 capas. (2 neuronas por capa). Estoy tratando de hacer que aprenda 2 funciones polinómicas cuadráticas simples usando la propagación hacia atrás . Pero en lugar de converger, es divergente (la salida se está convirtiendo en infinito) Aquí hay más detalles sobre …

9 machine-learning  artificial-intelligence  neural-networks 

He estado leyendo algunos documentos de teoría del lenguaje formal y me he encontrado con un término que no entiendo. El documento a menudo se referirá a un conjunto que está "efectivamente cerrado bajo intersección" u otras operaciones. ¿Qué significa "efectivamente" aquí? ¿Cómo difiere esto del cierre normal? Como referencia, …

9 formal-languages  terminology  computability  automata  closure-properties