Ciencias de la Computación

Esta pregunta explica bastante bien que pueden, pero no muestra ningún ejemplo de que haya dos árboles diferentes con el mismo recorrido de preorden. También se menciona que el recorrido en orden de dos árboles diferentes puede ser el mismo, aunque son estructuralmente diferentes. ¿Hay un ejemplo de esto?

11 trees  binary-trees  graph-traversal  search-trees 

Estaba aprendiendo sobre la primera búsqueda de amplitud y se me ocurrió una pregunta de por qué BFS se llama así. En el libro Introducción a los algoritmos de CLRS , leí la siguiente razón para esto: La búsqueda de amplitud primero se llama así porque expande la frontera entre …

11 graphs  graph-theory  shortest-path  graph-traversal 

Me dieron el siguiente problema durante una entrevista: Da una cadena que contiene alguna mezcla de parens (no corchetes o llaves, solo parens) con otros caracteres alfanuméricos, identifica a todos los parens que no tienen pares coincidentes. Por ejemplo, en la cadena ") (ab))", los índices 0 y 5 contienen …

11 algorithms 

Entonces, dados dos DFA, ¿es el problema de encontrar si generan el mismo idioma un problema decidible? Ya sé que la igualdad de dos CFL no es decidible pero ¿qué pasa con la igualdad de dos DFA? Teniendo en cuenta que la mayoría de los problemas con los DFA son …

11 computability  automata  finite-automata  decision-problem 

Así que actualmente estoy revisando el libro de HoTT con algunas personas. Afirmé que la mayoría de los tipos inductivos que veremos se pueden reducir a tipos que contienen solo tipos de función dependientes y universos tomando el tipo del recurrente como inspiración para el tipo equivalente. Comencé a esbozar …

11 type-theory  type-checking  dependent-types  homotopy-type-theory 

Tenía la impresión de que nuestras computadoras, siendo finitas, en última instancia no son más poderosas que las máquinas de estado finito (extraordinariamente grandes). Sin embargo, las máquinas de Turing con límites lineales también son finitas, pero parece que los lenguajes regulares son estrictamente un subconjunto incorrecto de lenguajes sensibles …

11 finite-automata  computation-models  linear-bounded-automata 

Una baraja de cartas es 52. Una mano está a 5 cartas de las 52 (no puede tener un duplicado). ¿Cuál es la menor cantidad de bits para representar una mano de 5 cartas y cómo? Una mano NO depende del orden (KQ = QK). 64329 = 96432 Sí, puede …

11 combinatorics 

La pregunta general, como sugiere el título, es: ¿Cuál es la diferencia entre DS y OR / optimización? A nivel conceptual, entiendo que DS intenta extraer conocimiento de los datos disponibles y utiliza principalmente técnicas estadísticas de aprendizaje automático. Por otro lado, OR utiliza los datos para tomar decisiones basadas …

11 optimization  data-mining 

Supongamos que leemos una secuencia de números, uno por uno. Cómo encontrar el elemento más pequeño de 'con solo usar la memoria de celda y en tiempo lineal ( ). Creo que deberíamos guardar los primeros términos de secuencia y, cuando obtengamos el término ', eliminemos un término que estamos …

11 data-structures  search-algorithms  quicksort 

Wikipedia enumera la complejidad temporal de la suma como , donde es el número de bits.nnnnnn ¿Es este un límite inferior teórico rígido? ¿O es solo la complejidad del algoritmo actual más rápido conocido? Quiero saber, porque la complejidad de la suma, subraya todas las demás operaciones aritméticas y todos …

11 algorithms  algorithm-analysis  arithmetic 

Supongamos que uno quiere razonar sobre las propiedades del código más allá de cosas como la totalidad y la pureza funcional; también se preocupa por el consumo de memoria o la complejidad algorítmica de una función. ¿Se puede hacer esto a través de sistemas de mecanografía y efectos dependientes?

11 type-theory  functional-programming  dependent-types  inductive-datatypes 

Esta pregunta es sobre si cada teorema matemático puede reducirse a la pregunta de si una sola máquina de Turing se detiene. En particular, estoy interesado en conjeturas que actualmente no están probadas. Por ejemplo: Wikipedia dice que actualmente se desconoce si hay números perfectos impares. Como es decidible si …

11 formal-languages  computability  mathematical-foundations 

Al crear un cliente para una API web en C #, me encontré con un problema relacionado nullcon un valor en el que representaría dos cosas diferentes: nada , por ejemplo, un foopuede o no tener unbar desconocido : por defecto, la respuesta API solo incluye un subconjunto de propiedades, …

11 programming-languages  language-design 

Tengo dos conjuntos de puntos en el plano bidimensional. Quiero encontrar el par de puntos más cercano s , t tal que s ∈ S , t ∈ T , y la distancia euclidiana entre s , t sea ​​lo más pequeña posible. ¿Cuán eficientemente se puede hacer esto? ¿Se …

11 algorithms  computational-geometry 

¿Existe alguna herramienta para la creación de prototipos de una semántica de lenguaje de programación y un sistema de tipos y que también permita algún tipo de verificación de modelo de propiedades estándar, como la solidez de tipo? Pregunto esto, porque estoy leyendo un libro sobre Alloy y proporciona la …

11 reference-request  programming-languages  semantics  model-checking