Ciencias de la Computación

Sabemos que los DFA son equivalentes a los NFA en poder de expresividad; También hay un algoritmo conocido para convertir NFA a DFA (desafortunadamente ahora conozco al inventor de ese algoritmo), que en el peor de los casos nos da estados, si nuestro NFA tenía estados.2S2S2^SSSS Mi pregunta es: ¿qué …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

Estoy tratando de tener una idea de cómo se debe interpretar la prueba de primalidad AKS a medida que la conozco, por ejemplo, un corolario para demostrar que PRIMES ⊆ P, o un algoritmo realmente práctico para pruebas de primalidad en computadoras. La prueba tiene tiempo de ejecución polinómico pero …

24 algorithms  efficiency  primes 

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 

La lógica constructivista es un sistema que elimina la Ley del Medio Excluido, así como la Doble Negación, como axiomas. Se describe en Wikipedia aquí y aquí . En particular, el sistema no permite pruebas por contradicción. Me pregunto, ¿alguien está familiarizado con cómo esto afecta los resultados con respecto …

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

Siguiendo el mismo pensamiento que esta declaración de Andrej Bauer en esta respuesta La comunidad de Haskell ha desarrollado una serie de técnicas inspiradas en la teoría de categorías, de las cuales las mónadas son más conocidas pero no deben confundirse con las mónadas . ¿Cuál es la relación entre …

24 programming-languages  functional-programming  category-theory 

Esta pregunta se migró de Stack Overflow porque se puede responder en Computer Science Stack Exchange. Migrado hace 7 años . Estoy un poco confundido por alguna terminología que he encontrado con respecto a la complejidad de los problemas de optimización. En una clase de algoritmos, tuve el gran problema …

24 complexity-theory  np-complete  terminology 

¿El análisis suavizado encontró su camino en el análisis principal de algoritmos? ¿Es común que los diseñadores de algoritmos apliquen análisis suavizados a sus algoritmos?

24 algorithms  complexity-theory  algorithm-analysis 

En clase la semana pasada, mi profesor comentó y dijo que las máquinas de Turing se usan como una medida / modelo estándar de lo que es computable y son una base útil de discusión para ese tema. También dijo que se ha demostrado que todas las variantes de las …

24 turing-machines  quantum-computing 

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 …

23 algorithms  np-complete  reductions  traveling-salesman  sudoku 

Esta es una pregunta ingenua y, por lo tanto, posiblemente malformada, ¡disculpas de antemano! Mi opinión es que una máquina de Turing puede verse como la base computacional para los lenguajes de programación de procedimientos / imperativos. Del mismo modo, el cálculo lambda es la base de los lenguajes de …

23 programming-languages  mathematical-foundations  church-turing-thesis 

Estaba en Wikipedia en la lista de problemas informáticos no resueltos y encontré esto: ¿es posible la criptografía de clave pública? ¿Pensé que el cifrado RSA era una forma de criptografía de clave pública? ¿Por qué es esto un problema?

23 cryptography 

Estaba viendo las " Cinco etapas de aceptar las matemáticas constructivas " de Andrej Bauer y dice que hay dos tipos de prueba por contradicción (o dos cosas que los matemáticos llaman prueba por contradicción): Suponga que es falso ... bla, bla, bla, contradicción. Por lo tanto, es cierto.PPAGSPAGSPPAGSPAGSP Suponga …

23 halting-problem  coq 

Como agujeros negros en informática. Solo podemos saber que existen, pero cuando tengamos uno de ellos, nunca sabremos que es uno de ellos.

23 halting-problem  correctness-proof 

He leído esas palabras en muchas publicaciones y me gustaría tener algunas definiciones agradables para esos términos que aclaren cuál es la diferencia entre la detección de objetos frente a la segmentación semántica frente a la localización. Sería bueno si pudiera dar fuentes para sus definiciones.

23 terminology  computer-vision 

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 …

23 assembly