Preguntas que solicitan trabajos en la literatura sobre temas específicos y específicos.
Hay muchos intentos de probar o , y, naturalmente, muchas personas piensan en la pregunta y tienen ideas para probar cualquier dirección.P ≠ N PP = N PPAGS=nortePAGS\mathsf{P} = \mathsf{NP} P ≠ N PPAGS≠nortePAGS\mathsf{P} \neq \mathsf{NP} Sé que hay enfoques que han demostrado que no funcionan, y...
Conozco el concepto general de recursión. Encontré el concepto de recursión de la cola mientras estudiaba el algoritmo de clasificación rápida. En este video del algoritmo de clasificación rápida del MIT a las 18:30 segundos, el profesor dice que este es un algoritmo recursivo de cola. No me queda...
Suponga que soy un programador y que tengo un problema de NP completo que necesito resolver. ¿Qué métodos están disponibles para tratar los problemas de la APN? ¿Hay una encuesta o algo similar sobre este
¿Por qué una empresa como Twitter estaría interesada en conceptos algebraicos como grupos, monoides y anillos? Vea su repositorio en github: twitter / algebird . Todo lo que pude encontrar es: Implementaciones de monoides para algoritmos de aproximación interesantes, como el filtro Bloom ,...
Tengo problemas para encontrar buenos recursos que den el peor de los casos en su lugar estableO ( n lnn )O(norteEnnorte)O(n \ln n) algoritmo de clasificación . ¿Alguien sabe de algún buen recurso? Solo un recordatorio, en su lugar significa que usa la matriz que se pasa y el algoritmo de...
Clásicamente, hay 3 formas populares de pensar en la computación: la máquina de Turing, los circuitos y el cálculo lambda (lo uso como una trampa para la mayoría de las vistas funcionales). Los 3 han sido formas fructíferas de pensar sobre diferentes tipos de problemas, y diferentes campos utilizan...
Dijkstra, en su ensayo Sobre la crueldad de enseñar realmente ciencias de la computación , hace la siguiente propuesta para un curso introductorio de programación: Por un lado, enseñamos lo que parece el cálculo predicado, pero lo hacemos de manera muy diferente a los filósofos. Para entrenar al...
Actualmente estoy jugando con pronósticos de series de tiempo (específicamente para Forex). He visto algunos artículos científicos sobre las redes de estado de eco que se aplican al pronóstico de Forex. ¿Existen otros buenos algoritmos de aprendizaje automático para este propósito? También sería...
A menudo escucho frases como 'semántica de concurrencia verdadera' y 'equivalencias de concurrencia verdadera' sin ninguna referencia. ¿Qué significan esos términos y por qué son importantes? ¿Cuáles son algunos ejemplos de equivalencias verdaderas de concurrencia y cuál es la necesidad de ellas?...
Para un lenguaje regular , deje que sea el número de palabras en de longitud . Usando la forma canónica de Jordan (aplicada a la matriz de transición sin anotaciones de algunos DFA para L ), se puede demostrar que para n suficientemente grande , c_n (L) = \ sum_ {i = 1} ^ k P_i (n) \ lambda_i ^...
La mayoría de nosotros conocemos la correspondencia entre la lógica combinatoria y el cálculo lambda . Pero nunca he visto (tal vez no he mirado lo suficientemente profundo) el equivalente de "combinadores mecanografiados", correspondiente al cálculo lambda simplemente mecanografiado. ¿Existe tal...
Un filtro Bloom permite realizar un seguimiento eficiente de si ya se han encontrado varios valores durante el procesamiento. Cuando hay muchos elementos de datos, un filtro Bloom puede generar un ahorro significativo de memoria en una tabla hash. La característica principal de un filtro Bloom, que...
Sea una fórmula booleana que consta de los operadores habituales AND, OR y NOT y algunas variables. Me gustaría contar el número de asignaciones para satisfacer B . Es decir, quiero encontrar el número de asignaciones diferentes de valores de verdad a las variables de para las cuales asume un valor...
Esas terminologías me confunden. Según entiendo Solucionador SAT: decida la satisfacción de la lógica proposicional (usando DPLL o Búsqueda local). El procedimiento de decisión es un procedimiento para decidir la satisfacción de una determinada teoría de primer orden decidible. El solucionador...
¿Cuál es la mejor manera que cualquiera puede hacer para tener una buena introducción a la teoría del sistema distribuido, cualquier libro o referencia, y los temas deben ser cubiertos primero y los requisitos para comenzar a aprender sobre este
En resumen: ¿cómo se clasifican los sistemas de tipos en contextos académicos; particularmente, ¿dónde puedo encontrar fuentes confiables que aclaren las distinciones entre los diferentes tipos de sistemas de tipos? En cierto sentido, la dificultad con esta pregunta no es que no pueda encontrar...
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...
He terminado la mayor parte del material en el libro de Introducción a Algoritmos de Cormen y estoy buscando un libro de algoritmos que cubra material más allá del libro de Corman. ¿Hay alguna recomendación? NOTA: pregunté esto en stackoverflow pero no estaba muy contento con la respuesta. NOTA:...
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 . ¿Cuál es un buen libro de ciencias de la computación para principiantes para un adulto joven, digamos, un...
El refinamiento de partición es una técnica en la que comienza con un conjunto finito de objetos y divide progresivamente el conjunto. Algunos problemas, como la minimización de DFA, se pueden resolver utilizando el refinamiento de partición de manera bastante eficiente. No conozco otros problemas...