Ciencias de la Computación

Escriba para la expansión decimal de (sin encabezado ). Deje y ser enteros, con . Considere el lenguaje de las expansiones decimales de los múltiplos de más una constante:n¯n¯\bar nnnn0aaabbba>0a>0a > 0aaa M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M={ax+b¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} ¿ M es MMMregular? sin contexto? (Contraste con el lenguaje de …

10 formal-languages  context-free  regular-languages  integers 

La lógica temporal lineal y los autómatas deterministas de Büchi son incomparables: DBA no puede expresar y LTL no puede expresar "al menos cada letra impar es 'a'" . Pero a veces es interesante saber si el lenguaje de un DBA se puede expresar en LTL.FGaFGaFGa Necesito un algoritmo que …

10 logic  automata  linear-temporal-logic  buchi-automata 

Mi libro dice esto Si un problema de decisión B está en P y A se reduce a B, entonces el problema de decisión A está en P. Un problema de decisión B es NP completo si B está en NP y para cada problema en A en NP, A …

10 complexity-theory  np-complete  decision-problem 

Necesito crear un algoritmo recursivo para ver si un árbol binario es un árbol de búsqueda binario, así como contar cuántas ramas completas hay (un nodo primario con nodos secundarios izquierdo y derecho) con una variable de conteo global asumida. Esta es una tarea para mi clase de estructuras de …

10 algorithms  recursion  trees 

Actualmente estoy trabajando para comprender el uso del límite de Cheeger y la desigualdad de Cheeger, y su uso para la partición espectral, la conductancia, la expansión, etc., pero todavía me cuesta comenzar una intuición con respecto al segundo valor propio de la matriz de adyacencia. Por lo general, en …

10 graph-theory  adjacency-matrix 

La definición de P es un lenguaje que puede decidirse mediante un algoritmo de tiempo polinómico. La definición de P / poly puede tomarse como un lenguaje que puede decidirse por un circuito de tamaño polinómico (ver http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Ahora, ¿por qué no se puede simular un circuito de tamaño …

10 complexity-theory  time-complexity  circuits 

En realidad, descubrí que el conjunto de lenguajes sensibles al contexto, ( \ mathbf {= NSPACE (O (n)) = LBA} idiomas aceptados) no se discuten tan ampliamente como \ mathbf {REG} (idiomas regulares) o \ mathbf {CFL} (lenguajes sin contexto). Y también el problema abierto \ mathbf {DSPACE (O (n))} …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

¿Es "verdadero el teorema de Rice para los reales computables"? ¿Corresponde esto de alguna manera directa a la conexión de los reales?

10 computability  real-numbers  computable-analysis 

Según mi lectura, parece que la mayoría de las gramáticas se preocupan por generar un número infinito de cadenas. ¿Qué pasa si trabajas al revés? Si se le dan n cadenas de m longitud, debería ser posible hacer una gramática que genere esas cadenas y solo esas cadenas. ¿Existe un …

10 formal-languages  regular-languages  formal-grammars  finite-sets 

Wikipedia dice que la unión por rango sin compresión de ruta da una complejidad de tiempo amortizada de , y que tanto la unión por rango como la compresión de ruta da una complejidad de tiempo amortizada de O ( α ( n ) ) (donde α es el inverso …

10 complexity-theory  time-complexity  union-find 

Sé que los lenguajes que se pueden definir usando expresiones regulares y aquellos reconocibles por DFA / NFA (autómatas finitos) son equivalentes. Tampoco existe DFA para el idioma { 0norte1norteEl | n≥0}{0 0norte1norteEl |norte≥0 0}\{0^n1^n|n \ge 0\} . Pero aún así puede escribirse usando expresiones regulares (para el caso, cualquier …

10 formal-languages  regular-languages  regular-expressions 

Estoy tratando de entender cómo funciona la asignación de losas y por qué es diferente o mejor que la paginación normal. Me encontré con este diagrama que creo que sería de gran ayuda si tenía más explicación. Algunas preguntas: ¿Qué representan los elementos de 3 KB y 7 KB? ¿Deben …

10 operating-systems  paging  memory-allocation 

Los números naturales se definen inductivamente como (usando la sintaxis de Coq como ejemplo) Inductive nat: Set := | O: nat | S: nat -> nat. ¿Existe una forma estándar de definir enteros (y tal vez otros conjuntos como racionales y reales) de manera constructiva?

10 arithmetic  dependent-types  coq 

Mientras intentaba mejorar el rendimiento de mi clase de detección de colisión, descubrí que ~ 80% del tiempo que pasaba en la gpu, lo dedicaba a las condiciones de si / de lo contrario solo intentaba descubrir los límites de los cubos por los que debería pasar. Más precisamente: cada …

10 computer-architecture  parallel-computing 

Yo entiendo que los árboles de segmentos se pueden utilizar para encontrar la suma de sub conjunto de . Y que esto se puede hacer en tiempo O ( log n ) de acuerdo con el tutorial aquí .AAAO(logn)O(log⁡n)\mathcal{O}(\log n) Sin embargo, no puedo demostrar que el tiempo de consulta …

10 data-structures  runtime-analysis  search-trees  intervals