Digamos que hay un programa tal que si le das un Sudoku parcialmente lleno de cualquier tamaño, te da el Sudoku completo correspondiente. ¿Puedes tratar este programa como una caja negra y usar esto para resolver TSP? Quiero decir, ¿hay alguna manera de representar el problema de TSP como Sudoku...
este es un fragmento de código de ensamblaje section .text global _start ;must be declared for using gcc _start: ;tell linker entry point mov edx, len ;message length mov ecx, msg ;message to write mov ebx, 1 ;file descriptor (stdout) mov eax, 4 ;system call number (sys_write) int 0x80 ;call...
Supongamos que P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} . NPINPI\mathsf{NPI} es la clase de problemas en NPNP\mathsf{NP} que no están ni en PP\mathsf{P} ni en NPNP\mathsf{NP} -duros. Puede encontrar una lista de problemas conjeturados como NPINPI\mathsf{NPI} aquí . El teorema de Ladner nos dice que si...
¿Hay algún lenguaje "natural" que sea indecidible? por "natural" me refiero a un lenguaje definido directamente por las propiedades de las cadenas, y no a través de máquinas y su equivalente. En otras palabras, si las miradas del lenguaje como donde M es una MT, DFA (o regular-exp), PDA (o la...
Ha habido mucha publicidad sobre los compiladores JIT para lenguajes como Java, Ruby y Python. ¿En qué se diferencian los compiladores JIT de los compiladores C / C ++, y por qué los compiladores escritos para Java, Ruby o Python se denominan compiladores JIT, mientras que los compiladores C / C ++...
En una pregunta anterior , había una definición de árboles con peso equilibrado y una pregunta sobre árboles rojo-negros. Esta pregunta es para hacer la misma pregunta, pero para los árboles AVL . La pregunta es, dada la definición de árboles balanceados como en la otra pregunta,μμ\mu ¿Hay...
Entiendo la teoría detrás de las redes bayesianas, y me pregunto qué se necesita para construir una en la práctica. Digamos para este ejemplo, que tengo una red Bayesiana (dirigida) de 100 variables aleatorias discretas; cada variable puede tomar uno de hasta 10 valores. ¿Debo almacenar todos los...
Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 7 años . Estoy buscando teorías matemáticas que traten de describir lenguajes formales (conjunto de cadenas) en...
Sea un gráfico completo, ponderado y no dirigido. Construimos un segundo gráfico agregando bordes uno por uno de a . Añadimos bordes de en total.G=(V,E)G=(V,E)G=(V,E)G′=(V,E′)G′=(V,E′)G'=(V, E')EEEE′E′E'Θ(|V|)Θ(|V|)\Theta(|V|)G′G′G' Cada vez que agregamos un borde a , consideramos las distancias...
Dada una gramática G sin contexto, existe un Automatismo N Pushdown no determinista que acepta exactamente el lenguaje que G acepta. (y viceversa) También puede existir un Automatismo determinista pushdown D que acepta exactamente el lenguaje que G acepta también. Depende de la gramática. ¿Por...
Los algoritmos de clasificación genéricos generalmente toman un conjunto de datos para clasificar y una función de comparación que puede comparar dos elementos individuales. Si el comparador es una relación de orden¹, la salida del algoritmo es una lista / matriz ordenada. Sin embargo, me pregunto...
Una máquina de Turing que vuelve a un estado encontrado anteriormente con su cabeza de lectura / escritura en la misma celda de la misma cinta será atrapada en un bucle. Tal máquina no se detiene. ¿Alguien puede dar un ejemplo de una máquina que nunca se detiene y que no
He estudiado algo sobre la complejidad de Kolmogorov , leí algunos artículos y libros de Vitanyi y Li y usé el concepto de Distancia de compresión normalizada para verificar la estilometría de los autores (identifique cómo cada autor escribe algunos textos y documentos grupales por su...
Al leer la respuesta de Uday Reddy a ¿Cuál es la relación entre los functores en SML y la teoría de categorías? Estados Uday La teoría de categorías aún no sabe cómo manejar las funciones de orden superior. Algún día lo hará. Como pensaba que la teoría de categorías podía servir como base para...
La programación funcional emplea estructuras de datos persistentes y objetos inmutables. Mi pregunta es ¿por qué es crucial tener tales estructuras de datos aquí? Quiero entender a bajo nivel ¿qué sucedería si la estructura de datos no es persistente? ¿El programa se bloqueará más a...
Según esta página , el algoritmo de Dijkstra es solo BFS con una cola de prioridad. ¿Es realmente así de simple? Yo creo que
Especificar idiomas formales al dar gramáticas formales es una tarea frecuente: necesitamos gramáticas no solo para describir idiomas, sino también para analizarlos, o incluso hacer ciencia adecuada . En todos los casos, es importante que la gramática en cuestión sea correcta , es decir, que genere...
Lo que quiero hacer es convertir un problema matemático que tengo en un problema de satisfacción booleana (SAT) y luego resolverlo usando un solucionador SAT. Me pregunto si alguien conoce un manual, una guía o cualquier cosa que me ayude a convertir mi problema en una instancia SAT. Además,...
Cuando se trata del diseño de algoritmos, a menudo se emplean las siguientes técnicas: Programación dinámica La codiciosa estrategia Divide y conquistaras Si bien para los primeros dos métodos, existen fundamentos teóricos bien conocidos, a saber, el Principio de Optimidad de Bellman y la...
Esta pregunta se migró de Stack Overflow porque se puede responder en Computer Science Stack Exchange. Migrado hace 5 años . Todavía estoy aprendiendo programación funcional (con f #) y recientemente comencé a leer sobre expresiones de cálculo. Todavía no entiendo...