Ciencias de la Computación

Considere los problemas de decisión establecidos en un lenguaje formal "razonable". Digamos fórmulas en aritmética de Peano de orden superior con una variable libre como marco de referencia, pero estoy igualmente interesado en otros modelos de cómputo: ecuaciones de diofantina, problemas de palabras por reescribir reglas usando máquinas de Turing, …

20 computability  undecidability 

¿Cómo puedo probar que la conversión de CNF a DNF es NP-Hard? No estoy pidiendo una respuesta, solo algunas sugerencias sobre cómo probarlo.

20 complexity-theory  np-hard  satisfiability  sat-solvers  normal-forms 

Hay muchas formas de definir la complejidad de Kolmogorov y , por lo general, todas estas definiciones son equivalentes hasta una constante aditiva. Es decir, si y K 2 son funciones de complejidad kolmogorov (definidas a través de diferentes lenguajes o modelos), entonces existe una constante c tal que para …

20 computability  kolmogorov-complexity 

Me gustaría saber si un tipo universalmente cuantificado : T a = ∀ X : { a ∈ X , f : X → { T , F } } es un subtipo o caso especial, de un caso cuantificado existencialmente escriba T e con la misma firma: T e …

20 logic  type-theory  typing 

Según Immerman , la clase de complejidad asociada con las consultas SQL es exactamente la clase de consultas seguras en Q ( F O ( C O U N T ) )Q(FO(COUNT))\mathsf{Q(FO(COUNT))} (consultas de primer orden más operador de conteo): SQL captura consultas seguras. (En otras palabras, todas las consultas …

20 database-theory  complexity-theory  finite-model-theory  descriptive-complexity 

Considere dos posibilidades para el problema P vs. NP: P = NP y P NP.≠≠\neq Sea Q uno de los problemas NP-hard conocidos. Para probar P = NP, necesitamos diseñar un solo algoritmo de tiempo polinomial A para Q y demostrar que A resuelve correctamente Q. Para probar P NP, …

20 complexity-theory  p-vs-np 

Muchos algoritmos de flujo máximo que comúnmente veo implementados, el algoritmo de Dinic, el relé de empuje y otros, pueden mejorar su costo de tiempo asintótico a través del uso de árboles dinámicos (también conocidos como árboles de corte de enlace). Push reetiquetado se ejecuta normalmente en u u , …

20 reference-request  graphs  data-structures  network-flow 

Considere una representación de punto fijo que puede considerarse como un caso degenerado de un número flotante. Es completamente posible usar el complemento de 2 para números negativos. Pero, ¿por qué es necesario un bit de signo para los números de coma flotante? ¿No deberían los bits de mantisa usar …

20 computer-architecture  floating-point  number-formats 

Muchas veces, si las complejidades tienen constantes como 3n, descuidamos esta constante y decimos O (n) y no O (3n). No puedo entender cómo podemos descuidar un cambio tan triple. ¡Algo varía 3 veces más rápido que otro! ¿Por qué descuidamos este hecho?

20 complexity-theory  asymptotics  landau-notation 

Me pregunto cómo encontrar la circunferencia de un gráfico escaso no dirigido. Por disperso quiero decir . Por óptimo me refiero a la menor complejidad de tiempo.El | miEl | =O( | VEl | )|E|=O(|V|)|E|=O(|V|) Pensé en alguna modificación en el algoritmo de Tarjan para gráficos no dirigidos, pero no …

20 algorithms  time-complexity  graph-theory 

Bueno, esta es una pregunta general. Y si alguien quiere hacer que su implementación sea específica, preferiré cosas relacionadas con Unix. Pero primero necesita saber los siguientes problemas en general: Leí que el proceso único puede tener múltiples hilos. Múltiples hilos del mismo proceso comparten cosas entre ellos. Quiero saber …

20 operating-systems  threads 

El ensamblador convierte el lenguaje ensamblador en lenguaje máquina. ¿Por qué un compilador convertiría lenguaje de alto nivel a ensamblador? ¿No se puede convertir directamente del lenguaje de alto nivel al código de máquina?

19 compilers  code-generation  assembly 

A veces es fácil identificar la complejidad temporal de un algoritmo si lo examino cuidadosamente. Los algoritmos con dos bucles anidados de son obviamente . Los algoritmos que exploran todas las combinaciones posibles de grupos de dos valores son obviamenteN 2 N 2 NnorteNNnorte2N2N^2norteNN2norte2N2^N . Sin embargo, no sé cómo …

19 algorithm-analysis  time-complexity  intuition 

¿Es posible que y la cardinalidad de sea ​​la misma que la cardinalidad de ? ¿O significa que y deben tener diferentes cardinalidades?P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}

19 complexity-classes  p-vs-np 

Tengo datos reales que estoy usando para un juego de cartas simulado. Solo me interesan las filas de las cartas, no los palos. Sin embargo, es un mazo de cartas estándar , por lo que solo hay de cada rango posible en el mazo. El mazo se baraja bien para …

19 data-compression