Ciencias de la Computación

Considere la siguiente tarea algorítmica: Entrada: un entero positivo , junto con su factorización prima Encontrar: enteros positivos que minimizan , sujeto a la restricción de quex , y , znnnx,y,zx,y,zx,y,zx y z = nxy+yz+xzxy+yz+xzxy+yz+xzxyz=nxyz=nxyz=n ¿Cuál es la complejidad de este problema? ¿Existe un algoritmo de tiempo polinómico? ¿Es NP-duro? …

22 algorithms  optimization  integers 

Me gustaría saber si hay una regla para probar esto. Por ejemplo, si uso la ley distributiva solo obtendré .( A ∨ A ) ∧ ( A ∨ ¬ B )(A∨A)∧(A∨¬B)(A \lor A) \land (A \lor \neg B)

22 logic  propositional-logic 

Encuentre la menor cantidad de comparaciones necesarias para ordenar (ordenar) cinco elementos e idee un algoritmo que clasifique estos elementos usando esta cantidad de comparaciones. Solución : ¡ Hay 5! = 120 resultados posibles. Por lo tanto, un árbol binario para el procedimiento de clasificación tendrá al menos 7 niveles. …

22 algorithms  sorting  lower-bounds 

Dado un gráfico ponderado y no dirigido G: ¿Qué condiciones deben ser ciertas para que haya múltiples árboles de expansión mínima para G? Sé que el MST es único cuando todos los pesos son distintos, pero no puede revertir esta afirmación. Si hay varias aristas con el mismo peso en …

22 graphs  graph-theory  weighted-graphs  spanning-trees  minimum-spanning-tree 

En el sitio web de Algoritmos de clasificación , se realiza el siguiente reclamo: El algoritmo de ordenación ideal tendría las siguientes propiedades: Estable: las claves iguales no se reordenan. Opera en su lugar, requiriendo espacio extra.O(1)O(1)O(1) El peor de los casos comparaciones clave.O(n⋅lg(n))O(n⋅lg⁡(n))O(n\cdot\lg(n)) El peor de los casos intercambios.O(n)O(n)O(n) …

22 algorithms  sorting 

Es bien sabido que la inferencia de tipo Hindley-Milner (el cálculo tipo simple con polimorfismo) tiene una inferencia de tipo decidible: puede reconstruir tipos de principios para cualquier programa sin ninguna anotación.λλ\lambda Agregar clases de tipo de estilo Haskell parece preservar esta capacidad de decisión, pero las adiciones adicionales hacen …

22 undecidability  type-theory  type-inference  dependent-types 

Recientemente me topé con el siguiente artículo interesante que afirma comprimir eficientemente conjuntos de datos aleatorios en siempre más del 50%, independientemente del tipo y formato de los datos. Básicamente, usa números primos para construir de manera única una representación de fragmentos de datos de 4 bytes que son fáciles …

22 information-theory  data-compression  primes 

Esta pregunta se migró de Stack Overflow porque se puede responder en Computer Science Stack Exchange. Migrado hace 5 años . Todavía estoy aprendiendo programación funcional (con f #) y recientemente comencé a leer sobre expresiones de cálculo. Todavía no entiendo completamente el concepto y una cosa que me mantiene …

22 functional-programming 

Me gustaría comenzar la pregunta diciendo que soy programador y que no tengo muchos antecedentes en teoría de la complejidad. Una cosa que he notado es que si bien muchos problemas son NP completos, cuando se extienden a problemas de optimización, algunos son mucho más difíciles de aproximar que otros. …

22 complexity-theory  optimization  np  approximation 

Cuando se trata del diseño de algoritmos, a menudo se emplean las siguientes técnicas: Programación dinámica La codiciosa estrategia Divide y conquistaras Si bien para los primeros dos métodos, existen fundamentos teóricos bien conocidos, a saber, el Principio de Optimidad de Bellman y la teoría matroide (resp. Greedoid), no pude …

22 algorithms  reference-request  divide-and-conquer 

Lo que quiero hacer es convertir un problema matemático que tengo en un problema de satisfacción booleana (SAT) y luego resolverlo usando un solucionador SAT. Me pregunto si alguien conoce un manual, una guía o cualquier cosa que me ayude a convertir mi problema en una instancia SAT. Además, quiero …

22 algorithms  reductions  satisfiability 

Quizás mi comprensión limitada del tema es incorrecta, pero esto es lo que entiendo hasta ahora: La programación funcional se basa en el cálculo Lambda, formulado por Alonzo Church. La programación imperativa se basa en el modelo de máquina de Turing, realizado por Alan Turing, estudiante de Church. El cálculo …

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

Pregunta: ¿Existe algún procedimiento o teoría establecida para generar código que aplique eficientemente una multiplicación matriz-vector, cuando la matriz es densa y está llena de ceros y unos? Idealmente, el código optimizado haría un uso sistemático de la información previamente calculada para reducir el trabajo duplicado. En otras palabras, tengo …

22 linear-algebra  matrices  program-optimization 

La programación funcional emplea estructuras de datos persistentes y objetos inmutables. Mi pregunta es ¿por qué es crucial tener tales estructuras de datos aquí? Quiero entender a bajo nivel ¿qué sucedería si la estructura de datos no es persistente? ¿El programa se bloqueará más a menudo?

22 data-structures  functional-programming  programming-paradigms  persistent-data-structure 

He estudiado algo sobre la complejidad de Kolmogorov , leí algunos artículos y libros de Vitanyi y Li y usé el concepto de Distancia de compresión normalizada para verificar la estilometría de los autores (identifique cómo cada autor escribe algunos textos y documentos grupales por su similitud). En ese caso, …

22 computability  approximation  data-compression  kolmogorov-complexity