Ciencias de la Computación

DFA, NFA y epsilon NFA los tres nos permiten representar un lenguaje regular particular. Con cualquiera de esas representaciones podemos llegar a la misma expresión regular, entonces ¿por qué necesitamos estudiar las tres formas de representación de autómatas finitos? Puede haber alguna explicación sobre lo que NFA puede hacer que …

9 automata  finite-automata  education 

Hoy en el almuerzo, mencioné este problema con mis colegas, y para mi sorpresa, el argumento de Jeff E. de que el problema es decidible no los convenció ( aquí hay una publicación estrechamente relacionada sobre el desbordamiento matemático). Un enunciado del problema que es más fácil de explicar ("¿es …

9 computability  undecidability 

Estoy aprendiendo árboles de puntos de vista, y lo supe mientras leía el documento Estructuras de datos y algoritmos para la búsqueda de vecinos más cercanos en espacios métricos generales por Peter Yianilos ( Actas de SODA 1993 , SIAM, páginas 311–321; PDF ). El siguiente pseudocódigo aparece en el …

9 notation 

Para demostrar que 3 colores es decidible, ¿es suficiente decir: Cada nodo en el gráfico tiene 3 colores posibles. Por lo tanto, podemos enumerar las posibilidades y luego verificar que no haya dos bordes conectando nodos con el mismo color3norte3norte3^n ¿Eso prueba que 3 colores es decidible? ¿O necesito construir …

9 computability  turing-machines  colorings 

Quiero saber hasta qué punto un sistema de tipos en un lenguaje de programación puede ser beneficioso. Por ejemplo, sé que en un lenguaje de programación de tipo dependiente, podemos crear una Vectorclase que incorpore el tamaño del vector en la firma de tipo. Es como un ejemplo de facto. …

9 type-theory  functional-programming  dependent-types 

A veces escuchamos "Swift no hace GC (rastreo) clásico, usa ARC". Pero no estoy seguro de si hay algo en la semántica de Swift que requiera un recuento de referencias. Parece que uno podría construir su propio compilador Swift y tiempo de ejecución para usar GC de rastreo. Entonces, ¿qué …

9 semantics  garbage-collection 

Podemos formar DFA aceptando números binarios divisibles por .nnn Por ejemplo, DFA que acepta números binarios divisibles por 2 se puede formar de la siguiente manera: Del mismo modo, DFA que acepta números binarios divisibles por 3 se puede formar de la siguiente manera: Podemos seguir un procedimiento bien definido …

9 regular-languages  automata  finite-automata  regular-expressions 

Descargo de responsabilidad: soy biólogo, siento mucho (tal vez) la pregunta básica formulada en términos tan crudos. No estoy seguro de si debería hacer esta pregunta aquí o en DS / SC, pero CS es el más grande de los tres, así que aquí va. (Después de publicar, se me …

9 machine-learning  probability-theory 

Supongamos que tengo dos funciones y y estoy interesado en determinar siFFFGGG F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Supongamos que mis funciones están compuestas de funciones elementales (polinomios, exponenciales, registros y funciones trigonométricas), pero no, digamos, series de Taylor. ¿Es este problema decidible? Si no, ¿es semidecidable? (Lo pregunto porque estoy enseñando …

9 computability  undecidability  mathematical-analysis  computer-algebra 

Dada una cadena sss , me gustaría encontrar la subsecuencia de repetición más larga (al menos dos veces). Es decir, me gustaría encontrar una cadena que sea una subsecuencia (no tiene que ser contigua) de tal que . Es decir, es una cadena cuyas mitades aparecen dos veces seguidas. Tenga …

9 algorithms  optimization  dynamic-programming  strings  subsequences 

Deje una cadena de entrada como . Luego, si un NFA se encuentra actualmente en el estado r (y ha leído la entrada hasta el alfabeto w i ), antes de leer el siguiente símbolo de entrada, el NFA se divide en dos NFA, uno en el estado r y …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

¡Buena noches! Realmente estoy haciendo una pasantía en los Archivos Nacionales de Francia y me encontré con una situación que quería resolver usando gráficos ... I. La situación polvorienta Queremos optimizar la disposición de los libros de mi biblioteca de acuerdo con su altura para minimizar su costo de archivo. …

9 algorithms  graphs  optimization  packing 

Estoy tratando de medir ahora mucha información no redundante (real) que contiene mi archivo. Algunos llaman a esto la cantidad de entropía. Por supuesto, existe el estándar p (x) log {p (x)}, pero creo que Shannon solo lo estaba considerando desde el punto de vista de transmitir a través de …

9 entropy 

¿Existe una caracterización de gráficos cuyo conjunto de bordes se descomponga en una unión disjunta de combinaciones perfectas? Una clase trivial de tales gráficos son los gráficos -regulares ( n , n ) -bipartitos. Su conjunto de bordes se descompondrá en d combinaciones perfectas disjuntas. rered( n , n )(norte,norte)(n,n)rered

9 graph-theory  graphs 

Tengo un conjunto de puntos que se definen en un espacio métrico, por lo que puedo medir una 'distancia' entre puntos, pero nada más. Quiero encontrar el punto más central dentro de este conjunto, que defino como el punto con la suma mínima de distancias a todos los demás puntos. …

9 complexity-theory  computational-geometry  lower-bounds  search-problem