Preguntas etiquetadas con greedy-algorithms

Tengo un algoritmo codicioso que sospecho que podría ser correcto, pero no estoy seguro. ¿Cómo verifico si es correcto? ¿Cuáles son las técnicas a utilizar para probar que un algoritmo codicioso es correcto? ¿Existen patrones o técnicas comunes? Espero que esto se convierta en una pregunta de referencia que pueda …

29 algorithm-analysis  proof-techniques  correctness-proof  greedy-algorithms 

Dado un conjunto de monedas con diferentes denominaciones un valor v desea encontrar la menor cantidad de monedas necesarias para representar el valor v.c 1 , . . . , c ndo1,...,donortec1, ... , cn Por ejemplo, para el conjunto de monedas 1,5,10,20, esto da 2 monedas por la suma …

24 algorithms  combinatorics  greedy-algorithms 

Inicialmente, matroides se introdujeron generalizar las nociones de independencia lineal de una colección de subconjuntos sobre algún motivo previsto Me . Ciertos problemas que contienen esta estructura permiten que los codiciosos algoritmos encuentren soluciones óptimas. El concepto de greedoids se introdujo más tarde para generalizar esta estructura para capturar más …

23 algorithms  optimization  combinatorics  greedy-algorithms  matroids 

Te dan n enteros todos entre y . Debajo de cada número entero , debe escribir un número entero entre y con el requisito de que los formen una secuencia no decreciente. Defina la desviación de dicha secuencia como . Diseñe un algoritmo que encuentre las b_i 's con la …

20 algorithms  optimization  greedy-algorithms  subsequences 

Hay un algoritmo codicioso para encontrar la cobertura mínima de vértice de un árbol que utiliza el recorrido DFS. Para cada hoja del árbol, seleccione su padre (es decir, su padre está en la cobertura mínima de vértice). Para cada nodo interno: si alguno de sus elementos secundarios no está …

14 algorithms  trees  greedy-algorithms 

En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Tengo una consulta compleja QQQ utilizada para buscar un conjunto de datos SSS para encontrar Hexact={s∈S∣where Q(s) is True}Hexact={s∈S∣where Q(s) is True}H_\text{exact} = \{s \in S \mid \text{where $Q(s)$ is True}\} . Cada consulta toma un tiempo promedio por lo que el tiempo total en la búsqueda lineal es. Puedo …

9 algorithms  optimization  machine-learning  greedy-algorithms  databases 

Recientemente hablé con un amigo sobre un sitio web que propuso desafíos de expresiones regulares, principalmente haciendo coincidir un grupo de palabras con una propiedad especial. Estaba buscando una expresión regular que coincida con cadenas como ||||||||donde el número |es primo. Inmediatamente le dije que eso nunca funcionaría porque si …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Dado un conjunto de n trabajos con [hora de inicio, hora de finalización, costo], encuentre un subconjunto para que no se superpongan 2 trabajos y el costo sea máximo. Ahora no estoy seguro si un algoritmo codicioso hará el truco. Es decir, ordenar por costo y siempre tomar el siguiente …

8 algorithms  scheduling  greedy-algorithms  knapsack-problems