Ciencias de la Computación

¿Cuáles son las diferencias entre la visión por computadora y el procesamiento de imágenes? Por ejemplo, en el reconocimiento de objetos, ¿cuáles son los roles de la visión por computadora y el procesamiento de imágenes?

17 terminology  computer-vision  image-processing  education 

Me cuesta entender la relación entre NP-Intermedio y NP-Completo. Sé que si P! = NP basado en el teorema de Ladner, existe una clase de lenguajes en NP pero no en P o en NP-Complete. Cada problema en NP puede reducirse a un problema NP-Completo, sin embargo, no he visto …

17 np-complete  reductions  factoring 

¿Qué operaciones deben realizarse para realizar cualquier cálculo analógico arbitrario ? ¿Serían suficientes la suma, la resta, la multiplicación y la división? Además, ¿alguien sabe exactamente qué problemas son manejables con el cálculo analógico, pero no con el digital?

17 computability  computation-models  turing-completeness 

Según Wikipedia , para cualquier lenguaje regular existen constantes y polinomios modo que para cada el número de palabras de longitud en satisface la ecuaciónLLLλ1,…,λkλ1,…,λk\lambda_1,\ldots,\lambda_kp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x)nnnsL(n)sL(n)s_L(n)nnnLLL sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkn\qquad \displaystyle s_L(n)=p_1(n)\lambda_1^n+\dots+p_k(n)\lambda_k^n . El lenguaje es regular ( (00) ^ * coincide). s_L (n) = 1 si n es par, y s_L (n) = …

17 formal-languages  regular-languages  combinatorics  word-combinatorics 

Escuché que la interacción del lema es más poderosa que los algoritmos de Peter Wegner . La base de la idea es que una máquina de Turing (clásica) no puede manejar la interacción, es decir, la comunicación (entrada / salida) con el mundo exterior / entorno. ¿Cómo puede ser esto …

17 computability  computation-models 

Quiero saber si el siguiente problema es decidible y cómo averiguarlo. Cada problema que veo puedo decir "sí" o "no", ¿entonces la mayoría de los problemas y algoritmos son decidibles, excepto algunos (que se proporcionan aquí )? Entrada: Un gráfico dirigido y finito , con y como vértices Pregunta: ¿Existe …

17 algorithms  computability  graph-theory  undecidability 

En la práctica, entiendo que cualquier recursión puede escribirse como un bucle (y viceversa (?)) Y si medimos con computadoras reales, encontramos que los bucles son más rápidos que la recursividad para el mismo problema. Pero, ¿hay alguna teoría que haga esta diferencia o es principalmente empírica?

17 time-complexity  recursion  loops 

Los solucionadores de SAT se están volviendo cada vez más eficientes en la resolución de grandes instancias y se están utilizando como back-end en varios contextos. Cada vez que uno quiere usarlos para resolver un problema en un dominio específico, tiene que encontrar una codificación ad-hoc que no solo tenga …

17 reference-request  satisfiability  sat-solvers 

Estoy aprendiendo Pruebas automatizadas de teoremas / Solucionadores SMT / Asistentes de pruebas por mí mismo y publico una serie de preguntas sobre el proceso, comenzando aquí . Sigo leyendo sobre el algoritmo de unificación . Qué es y por qué es tan importante motores de inferencia ? ¿Por qué …

17 logic  proof-assistants  automated-theorem-proving  smt-solvers  unification 

xorpuerta, ahora necesito construir esta puerta usando solo 4 nandpuertas a b out 0 0 0 0 1 1 1 0 1 1 1 0 el xor = (a and not b) or (not a and b), que es A¯¯¯¯B+AB¯¯¯¯A¯B+AB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} Sé la respuesta, pero ¿cómo obtener el diagrama de compuerta …

17 logic  boolean-algebra 

El algoritmo de ordenación rápida se puede dividir en los siguientes pasos Identificar pivote. Particionar la lista vinculada basada en pivote. Divida la lista vinculada recursivamente en 2 partes. Ahora, si siempre elijo el último elemento como pivote, identificar el elemento pivote (1er paso) lleva tiempo .O(n)O(n)\mathcal O(n) Después de …

16 algorithms  algorithm-analysis  sorting  quicksort 

Esta es una pregunta suave. No sé mucho acerca de la criptografía o su historia, pero parece que un uso común para RSA es hacer un intercambio de claves encriptando una clave simétrica para enviar un mensaje más largo (por ejemplo, la descripción de iMessage aquí ). ¿No es esto …

16 cryptography  history 

Hice esta pregunta en StackOverflow , pero creo que este es un lugar más apropiado. Este es un problema del curso de Introducción al algoritmo : Tiene una matriz con enteros positivos (la matriz no necesita ser ordenada o los elementos únicos). Sugiera un algoritmo para encontrar la mayor suma …

16 algorithms  optimization  dynamic-programming  arrays 

Dados los idiomas AAA y BBB , digamos que su concatenación ABABAB es inequívoca si para todas las palabras w∈ABw∈ABw \in AB , hay exactamente una descomposición w=abw=abw = ab con a∈Aa∈Aa \in A y b∈Bb∈Bb \in B , y de lo contrario es ambigua . (No sé si hay …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

Aparentemente, los ataques ReDos explotan las características de algunas expresiones regulares (de otro modo útiles) ... esencialmente causando una explosión de posibles caminos a través del gráfico definido por la NFA. ¿Es posible evitar tales problemas escribiendo una expresión regular 'no malvada' equivalente? Si no (por lo tanto, la gramática …

16 regular-expressions  parsers