Ciencias de la Computación

Estoy tratando de entender los sistemas de prueba interactivos y probé el siguiente problema como ejercicio. Sabemos que e I P = P S P A C E , entonces, ¿ tenemos sistemas de prueba interactivos (fáciles de entender) para P H ?PAGSH⊆ PSPAGSA CmiPH⊆PSPACEPH \subseteq PSPACEyoPAGS= PSPAGSA CmiIP=PSPACEIP=PSPACEPAGSHPHPH Un …

9 complexity-theory  interactive-proof-systems 

Para mi título de CS, he tenido la mayoría de los antecedentes matemáticos "estándar": Cálculo: diferencial, integral, números complejos Álgebra: más o menos los conceptos hasta los campos. Teoría de números: XGCD y cosas relacionadas, principalmente para criptografía. Álgebra lineal: hasta vectores propios / valores propios Estadísticas: probabilidades, pruebas Lógica: …

9 artificial-intelligence  cryptography  discrete-mathematics 

Estoy generando DFA aleatorios para probar un algoritmo de reducción de DFA en ellos. El algoritmo que estoy usando en este momento es el siguiente: para cada estado , para cada símbolo en el alfabeto , agregue a algún estado aleatorio. Cada estado tiene la misma probabilidad de convertirse en …

9 algorithms  finite-automata  randomness  pseudo-random-generators  random-graphs 

Un equipo ha decidido que cada mañana alguien debería traer cruasanes para todos. No debería ser la misma persona cada vez, por lo que debería haber un sistema para determinar a quién le toca el turno. El propósito de esta pregunta es determinar un algoritmo para decidir a quién le …

9 algorithms  scheduling 

¿Qué son los polígonos degenerados? ¿Cómo se comprueba si un par de polígonos dado está degenerado o no?

9 algorithms  computational-geometry 

Estoy buscando una gramática sensible al contexto que describa el siguiente lenguaje: .L = { w w ∣ w ∈ { a , b }∗, | w | ≥ 1 }L={ww∣w∈{una,si}∗,El |wEl |≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} Tengo problemas con el hecho de que …

9 formal-languages  formal-grammars  context-sensitive 

Estoy investigando el aprendizaje PAC (teoría del aprendizaje computacional) como un principiante sin conocimientos previos de aprendizaje automático / IA. Estoy investigando el modelo principalmente desde un punto de vista histórico. Para esto, lo más importante son, por supuesto, los resultados basados ​​en el modelo. Hay suficientes documentos por ahí …

9 machine-learning 

Estoy tratando de entender por qué el ordenamiento rápido usando la partición Lomuto y un pivote fijo funciona de manera errática, pero en general deficiente, en entradas generadas aleatoriamente. Estoy pensando que aunque las entradas se generan aleatoriamente, puede haber mucho orden en las secuencias, pero no estoy seguro de …

9 algorithms  sorting 

¿Existe algún conjunto de reglas o métodos para convertir cualquier gramática libre de contexto en un autómata push down? Ya encontré algunas diapositivas en línea, pero no pude entenderlas. En la diapositiva 10 habla sobre algunas reglas, ¿alguien podría explicar eso?

9 context-free  formal-grammars  pushdown-automata  simulation 

Sé que un chico inteligente de 15 años está interesado en la informática y la genética. Le dije que estos campos son una excelente combinación. Me gustaría darle un libro sobre bioinformática o genómica computacional. Estoy buscando un libro divertido, no un libro de texto. Específicamente, debería inspirar a las …

9 education  books  bioinformatics 

En el Capítulo 1 de Fundamentos prácticos para lenguajes de programación , el autor menciona que los árboles de sintaxis abstractos están asociados con géneros . Intuitivamente, los tipos son como los tipos, pero me gustaría saber si tienen una definición precisa. Me alegraría si también se proporcionan algunas referencias.

9 terminology  programming-languages  semantics 

En la universidad hemos estado aprendiendo sobre la teoría de la computación en general y las máquinas de Turing más específicamente. Uno de los grandes resultados teóricos es que, a costa de un alfabeto (símbolos) potencialmente grande, puede reducir el número de estados a solo 2. Estaba buscando ejemplos de …

9 turing-machines  context-free  parsers 

Inspirado por esta pregunta en la que el autor de la pregunta quiere saber si el tiempo de ejecución cambia cuando el comparador utilizado en un algoritmo de búsqueda estándar se reemplaza por un lanzamiento de moneda justo, y también por la falla prominente de Microsoft al escribir un generador …

9 sorting  randomized-algorithms  permutations 

Recientemente, hice una pregunta sobre Math SE. Ninguna respuesta todavia. Esta pregunta está relacionada con esa pregunta, pero más detalles técnicos hacia la informática. Dados dos DFA y donde el conjunto de estados, el alfabeto de entrada y la función de transición de y son iguales, los estados iniciales y …

9 formal-languages  reference-request  finite-automata 

Encontré este problema que implica manipular un lenguaje sin contexto. Deje que sea ​​un lenguaje sin contexto. Defina para cada . ¿ siempre está libre de contexto? Mi conjetura es que preservará la libertad de contexto. ¿Alguien puede proporcionar una prueba elemental de esto?L # = { x : x …

9 formal-languages  context-free