Preguntas etiquetadas con terminology

Si pudieras cambiar el nombre de la programación dinámica, ¿cómo lo llamarías?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

Pregúntele incluso a alguien con experiencia en informática qué es una expresión regular, y es probable que la respuesta vaya más allá de la restricción de estar al alcance de un autómata de estado finito. Por ejemplo, la "expresión regular" /^1?$|^(11+?)\1+$/ creado por la destacada personalidad de Perl, Abigail (y …

36 automata-theory  pl.programming-languages  fl.formal-languages  regular-expressions  terminology 

¿Alguien se atreve a intentar aclarar cuál es la relación de estos campos de estudio o tal vez incluso dar una respuesta más concreta a nivel de problemas? Como cuál incluye cuál asumiendo algunas formulaciones ampliamente aceptadas. Si entendí esto correctamente, cuando pasas de SAT a SMT básicamente estás entrando …

30 soft-question  sat  terminology 

En un par de preguntas recientes ( q1 q2 ), se ha debatido sobre "Teoría A" versus "Teoría B", aparentemente para capturar la división entre el estudio de los lenguajes de lógica y programación y el estudio de algoritmos y complejidad. Esta terminología era nueva para mí, y una búsqueda …

30 ho.history-overview  terminology 

Como no hubo respuesta en Lambda the Ultimate, lo intento de nuevo aquí: los sistemas de reescritura de términos se utilizan, por ejemplo, en teoremas automatizados que prueban un cálculo simbólico y, por supuesto, para definir gramáticas formales. Hay algunos lenguajes de programación basados ​​en la reescritura de términos, pero …

25 pl.programming-languages  terminology  term-rewriting-systems 

¿Hay problemas en CS donde no se conocen algoritmos eficientes, a pesar de los teoremas de existencia que demuestran que tales algoritmos eficientes deben existir? ¿Cómo se llaman estos problemas? ¿Dónde puedo encontrar más?

22 ds.algorithms  reference-request  terminology 

Lo siento, si esta es una pregunta ingenua, pero no pude encontrar la justificación en ninguno de los principales libros de texto como Bondy-Murty, Diestel u West. Los gráficos perfectos tienen muchas propiedades hermosas, pero ¿cuál es la única razón por la que se llaman perfectos? ¿O es solo una …

16 graph-theory  co.combinatorics  terminology  graph-colouring 

Tome un gráfico dirigido donde los bordes estén decorados con un número natural. Queremos el conjunto de todas las rutas entre dos vértices y modo que cada borde sucesivo en la ruta esté decorado con un número natural que sea mayor que el número natural que decora el borde anterior.solsolGPAGPAGPv1v1v_1v2v2v_2 …

16 ds.algorithms  reference-request  graph-algorithms  terminology 

Una de las cosas sorprendentes de la informática es que la implementación física es en cierto sentido "irrelevante". La gente ha construido computadoras con éxito a partir de varios sustratos diferentes: relés, tubos de vacío, transistores discretos, etc. La gente puede tener éxito pronto en la construcción de computadoras completas …

16 computability  turing-machines  terminology  physics  natural-computing 

Esta pregunta trata sobre la lógica proposicional y todos los casos de "resolución" deben leerse como "resolución proposicional". Esta pregunta es algo extremadamente básico, pero me ha estado molestando por un tiempo. Veo personas afirmar que la resolución proposicional está completa, pero también veo personas afirmar que la resolución es …

15 lo.logic  terminology  proof-complexity  proof-theory  resolution 

Lema: Suponiendo equivalencia eta tenemos eso (\x -> ⊥) = ⊥ :: A -> B. Prueba: ⊥ = (\x -> ⊥ x)por equivalencia eta y (\x -> ⊥ x) = (\x -> ⊥)por reducción bajo la lambda. El informe Haskell 2010, sección 6.2 especifica la seqfunción mediante dos ecuaciones: seq …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Durante mucho tiempo, pensé que un problema era NP-completo si es (1) NP-hard y (2) está en NP. Sin embargo, en el famoso artículo "El método del elipsoide y sus consecuencias en la optimización combinatoria" , los autores afirman que el problema del número cromático fraccional pertenece a NP y …

14 cc.complexity-theory  np-hardness  complexity-classes  terminology 

Decimos que una función es construible en el tiempo , si existe una máquina de Turing multi-cinta determinista M que en todas las entradas de longitud n realiza como máximo f ( n ) pasos y para cada n existe alguna entrada de longitud n en la que M realiza …

13 cc.complexity-theory  time-complexity  terminology 

Actualmente estoy escuchando la charla de Alan Kays "¿Es realmente complejo o simplemente lo complicamos?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) donde dice que "los semáforos eran una mala idea y había algo llamado pseudo tiempo que era superior" (a las 51:40 en el video vinculado). Tal vez entendí mal la palabra "pseudo …

11 terminology  concurrency 

La única definición de "cálculo" que conozco es el estudio de límites, derivados, integrales, etc. en el análisis. ¿En qué sentido es el cálculo lambda (o cosas como el cálculo mu) un "cálculo"? ¿Cómo se relaciona con el cálculo en el análisis?

11 terminology  lambda-calculus