Preguntas etiquetadas con reductions

En computabilidad y complejidad, encontrar mapeos entre problemas que permiten resolver un problema utilizando una solución de otro. Para la reducción en la teoría del lenguaje de programación (por ejemplo, reducción beta), consulte [cálculo lambda] o [reescritura de términos].

2
¿Por qué el tipo de vacío de C no es análogo al tipo vacío / inferior?
Wikipedia, así como otras fuentes que he encontrado, enumeran el voidtipo de C como un tipo de unidad en lugar de un tipo vacío. Esto me parece confuso, ya que me parece que se voidajusta mejor a la definición de un tipo vacío / inferior. No habito valores void, por …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
1
Ordenar como un programa lineal
Un sorprendente número de problemas tiene reducciones bastante naturales a la programación lineal (LP). Consulte el Capítulo 7 de [1] para ver ejemplos como flujos de red, emparejamiento bipartito, juegos de suma cero, rutas más cortas, una forma de regresión lineal e incluso evaluación de circuitos. Dado que la evaluación …
2
Subconjunto Suma: reducir caso especial a general
Wikipedia afirma que el problema de la suma de subconjuntos es encontrar un subconjunto de un conjunto múltiple de números enteros, cuya suma es cero. Además, afirma que es equivalente a encontrar un subconjunto con la suma de para cualquier dado .ssssss Entonces, como son equivalentes, debe haber una reducción …
3
MEDIA CLIQUE - NP Completa el problema
Permítanme comenzar señalando que este es un problema de tarea, por favor brinden solo consejos y observaciones relacionadas, NO RESPUESTAS DIRECTAS por favor . Dicho esto, aquí está el problema que estoy viendo: Deje HALF-CLIQUE = { | es un gráfico no dirigido que tiene una subgrafía completa con al …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.