Ciencias de la Computación

Esta es una pregunta del libro Dragon (pido disculpas por los errores de traducción, no tengo la versión en inglés a la mano): ¿Qué idioma genera esta gramática? S→aSbS∣bSaS∣ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon No sé qué se supone que debo hacer aquí. …

11 formal-languages  context-free  formal-grammars 

Deje que ¿Hay una máquina de Turing R que decida (no quiero decir que reconozca) el idioma ?L ∅L∅= { ⟨ M⟩ ∣ M es una máquina de Turing y L ( M) = ∅ } .L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is …

11 turing-machines  computability  undecidability 

Dados dos vectores de enteros de longitudes posiblemente desiguales, ¿cómo puedo determinar el resultado máximo posible al acumular la elección del máximo entre los pares de números correspondientes entre los dos vectores con ceros adicionales insertados en el vector más corto para compensar la diferencia de tamaño? Por ejemplo, considere …

11 algorithms  optimization 

En un comentario a Learning F #: ¿Qué libros que usan otros lenguajes de programación se pueden traducir a F # para aprender conceptos funcionales? Makarius declaró: Tenga en cuenta que el enfoque "CPS" ha hecho un gran daño al rendimiento en SML / NJ. Su modelo de evaluación física …

11 compilers  functional-programming  proof-assistants  continuations 

Tengo un problema simple de hacer un DFA que acepte todas las entradas que comienzan con letras dobles (aa, bb) o terminan con letras dobles (aa, bb), dado que es el conjunto alfabético del lenguaje dadoΣ={a,b}Σ={a,b}\Sigma =\{a, b\} Traté de resolverlo de una manera indirecta: Generando una expresión regular Haciendo …

11 automata  finite-automata 

Sé que el conjunto independiente máximo en gráficos sin triángulos cúbicos es NP-completo. ¿Sigue siendo NP completo en caso de que necesitemos que el conjunto independiente sea de tamaño exactamente ?|V|/2|V|/2|V|/2 Básicamente, la instancia SÍ de un problema de conjunto independiente en un gráfico de gráficas libres de triángulos cúbicos …

11 complexity-theory  np-complete 

Por ejemplo, sé que el lenguaje no regular anbnanbna^nb^n está en AC0AC0AC^0 . Me gustaría saber más ejemplos como este.

11 complexity-theory  regular-languages  circuits 

¿Existe un algoritmo para el siguiente problema: Dada una máquina de Turing que decide un lenguaje L , ¿hay una máquina de Turing M 2 que decide L de modo que t 2 ( n ) = o ( t 1 ( n ) ) ?METRO1M1M_1LLLMETRO2M2M_2LLLt2( n ) = o …

11 complexity-theory  computability  undecidability  decision-problem 

Tengo un algoritmo recursivo con una complejidad temporal equivalente a elegir k elementos de n con repetición, y me preguntaba si podría obtener una expresión big-O más simplificada. En mi caso, puede ser mayor que crecen independientemente.kkknnn Específicamente, esperaría alguna expresión exponencial explícita. Lo mejor que pude encontrar hasta ahora …

11 asymptotics  combinatorics  runtime-analysis 

¿Quieres mejorar esta publicación? Proporcione respuestas detalladas a esta pregunta, incluidas citas y una explicación de por qué su respuesta es correcta. Las respuestas sin suficiente detalle pueden ser editadas o eliminadas. Me encargaron construir una biblioteca de libros sobre algoritmos para nuestra pequeña empresa (unas 15 personas). El presupuesto …

11 algorithms  reference-request  data-structures  books 

El desplazamiento cíclico (también llamado rotación o conjugación ) de un lenguaje se define como . Según Wikipedia (y aquí ), los lenguajes libres de contexto se cierran bajo esta operación, con referencias a documentos de Oshiba y de Maslov. ¿Hay una prueba fácil de este hecho?{ y x ∣ …

11 formal-languages  context-free  closure-properties 

¿Cómo se define el análisis asintótico (big o, little o, big theta, big theta, etc.) para funciones con múltiples variables? Sé que el artículo de Wikipedia tiene una sección, pero usa mucha notación matemática con la que no estoy familiarizado. También encontré el siguiente documento: http://people.cis.ksu.edu/~rhowell/asymptotic.pdf Sin embargo, el documento …

11 asymptotics  landau-notation 

Digamos que tenemos 10 personas, cada una con una lista de libros favoritos. Para una persona determinada, X, me gustaría encontrar un subconjunto especial de libros de X que le guste solo a X, es decir, no hay otra persona a la que le gusten todos los libros del subconjunto …

11 algorithms  sets 

Considere un gráfico dirigido en el que se pueden agregar bordes dinámicamente y hacer algunas consultas específicas.GGG Ejemplo: bosque disjunto Considere el siguiente conjunto de consultas: arrow(u, v) equiv(u, v) find(u) el primero agrega una flecha al gráfico, el segundo decide si , el último encuentra un representante canónico de …

11 algorithms  graphs  search-algorithms  union-find 

De Wikipedia La recuperación de información es la actividad de obtener recursos de información relevantes para una necesidad de información de una colección de recursos de información. Las búsquedas pueden basarse en metadatos o en indización de texto completo. De Wikipedia La extracción de información (IE) es la tarea de …

11 data-mining  natural-language-processing