¿Por qué los lenguajes de alto nivel aparentemente nunca llegan a los de nivel inferior en términos de velocidad? Ejemplos de lenguajes de alto nivel serían Python, Haskell y Java. Los lenguajes de bajo nivel serían más difíciles de definir, pero digamos C. Las comparaciones se pueden encontrar en...
Una expresión regular se define de forma recursiva como para algunos a ∈ Σ es una expresión regular,aaaa∈Σa∈Σa \in \Sigma es una expresión regular,εε\varepsilon es una expresión regular,∅∅\emptyset donde R 1 y R 2 son expresiones regulares es una expresión regular,(R1∪R2)(R1∪R2)(R_1 \cup...
Todo el mundo conoce "Garey & Johnson", que es mi referencia cuando necesito un problema para transformarme para una prueba de dureza NP. Sin embargo, recientemente me encuentro en la necesidad de una prueba de dureza APX, y me pregunto si hay una colección similar (y más actualizada ...?) De...
Se requiere uno para encontrar la potencia (número entero positivo) de la matriz de números reales. Existen muchos algoritmos eficientes de multiplicación de matrices (por ejemplo, algunos algoritmos paralelos son Cannon's, DNS ) pero ¿existen algoritmos que estén destinados exactamente a encontrar...
¿Qué es la inducción-inducción ? Los recursos que encontré son: el libro de HoTT , al final del capítulo 5.7. Artículo de nLab un artículo llamado definiciones inductivas-inductivas esta publicación de blog también menciona tipos inductivos-inductivos Las dos primeras referencias son demasiado...
En Java, debe emitir explícitamente para rechazar una variable public class Fruit{} // parent class public class Apple extends Fruit{} // child class public static void main(String args[]) { // An implicit upcast Fruit parent = new Apple(); // An explicit downcast to Apple Apple child =...
Me dan un conjunto A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\} , un número entero s⩽ks⩽ks\leqslant k y números enteros no negativos aijaija_{ij} . Mi problema es encontrar sss subconjuntos disjuntos SjSjS_j de {1,…,k}{1,…,k}\{1,\ldots,k\} modo que: ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ;...
¿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...
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 puede hacer en O ( n log n ) tiempo, donde n = | S |...
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...
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....
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, debe indicar...
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...
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...
Según estas notas , se considera que DFS tiene una complejidad de espacio , donde b es el factor de ramificación del árbol ym es la longitud máxima de cualquier ruta en el espacio de estado.O(bm)O(bm)O(bm)bbbmmm Lo mismo se dice en esta página de Wikibook en Búsqueda desinformada . Ahora, el...
Tengo entendido que las implementaciones más populares de un mutex (p. Ej., Std :: mutex en C ++) no garantizan la equidad , es decir, no garantizan que, en casos de contención, el bloqueo sea adquirido por hilos en el orden en que llamado lock (). De hecho, incluso es posible (aunque con suerte...
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...
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 usar 52 bits. Eso puede representar una mano de...
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...
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 decidibles, ¿esto también es...