Preguntas etiquetadas con reference-request

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 probablemente hay más …

97 complexity-theory  reference-request  history  p-vs-np  reference-question 

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 claro …

52 algorithms  reference-request  recursion 

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 tema?

43 algorithms  reference-request  np-complete  efficiency  reference-question 

¿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 , HyperLogLog y CountMinSketch . Estos le …

38 reference-request  discrete-mathematics  database-theory  applied-theory  group-theory 

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 diferentes …

35 lambda-calculus  quantum-computing  reference-request  computation-models 

Tengo problemas para encontrar buenos recursos que den el peor de los casos en su lugar estableO ( n lnn )O(norteEn⁡norte)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 …

35 algorithms  reference-request  sorting  in-place 

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 programador novato …

33 reference-request  programming-languages  education  didactics 

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 interesante extraer patrones "rentables" de la serie …

28 reference-request  machine-learning  artificial-intelligence 

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? Por ejemplo, ¿en qué casos son más aplicables …

28 terminology  reference-request  concurrency 

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_ …

28 formal-languages  reference-request  regular-languages  asymptotics  combinatorics 

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 cosa? ¿Dónde se puede encontrar información al respecto?

26 reference-request  logic  lambda-calculus  type-theory  combinatory-logic 

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 comparte con una …

25 reference-request  data-structures  hash  bloom-filters  dictionaries 

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 …

24 complexity-theory  reference-request  satisfiability 

¿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 tema?

24 reference-request  education  distributed-systems 

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 SMT es un procedimiento de resolución y resolución SAT. …

24 algorithms  terminology  reference-request  decision-problem