Preguntas etiquetadas con time-complexity

El problema de decisión CNF-SAT se puede describir de la siguiente manera: Entrada: Una fórmula booleana en forma conjuntiva normal.ϕϕ\phi Pregunta: ¿Existe una asignación variable que satisfaga ?ϕϕ\phi Estoy considerando varios enfoques diferentes para resolver CNF-SAT con una máquina de Turing de dos cintas no determinista . Creo que hay …

19 time-complexity  sat  turing-machines  np  nondeterminism 

Estoy tratando de resolver un problema en particular, y pensé que podría resolverlo usando la teoría de autómatas. Me pregunto, ¿qué modelos de autómatas tienen una contención decidible en tiempo polinómico? es decir, si tiene máquinas , puede probar si eficiente. L ( M 1 ) ⊆ L ( M …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

Nunca antes había visto un algoritmo con un registro en el denominador, y me pregunto si hay algún algoritmo realmente útil con este formulario. Entiendo muchas cosas que podrían hacer que un factor de registro se multiplique en el tiempo de ejecución, por ejemplo, algoritmos de clasificación o basados ​​en …

18 ds.algorithms  big-list  time-complexity 

¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el hecho de que no es posible …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

¿Cuál es la complejidad (en la RAM entera estándar) de calcular la transformada discreta estándar de Fourier de un vector de enteros?nnn El algoritmo clásico para transformaciones rápidas de Fourier , atribuidas inapropiadamente [1] a Cooley y Tukey, generalmente se describe como funcionando en tiempo . Pero la mayoría de …

18 ds.algorithms  time-complexity  computing-over-reals  computable-analysis 

Trabajar directamente con la complejidad del tiempo o los límites inferiores del circuito es aterrador. Por lo tanto, desarrollamos herramientas como la complejidad de la consulta (o la complejidad del árbol de decisiones) para manejar los límites inferiores. Dado que cada consulta toma al menos un paso unitario, y los …

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

Estoy interesado en ordenar una matriz de valores enteros positivos L=v1,…,vnL=v1,…,vnL = v_1, \ldots, v_n en tiempo lineal (en el modelo RAM con una medida de costo uniforme, es decir, los enteros pueden tener un tamaño logarítmico pero se supone que las operaciones aritméticas en ellos tomar unidad de tiempo). …

16 reference-request  time-complexity  sorting 

Dadas dos matrices A y B , el problema de decidir si existe una matriz de permutación P tal que B = P - 1 A P es equivalente a (isomorfismo gráfico). Pero si relajamos P para que sea solo una matriz invertible, ¿cuál es la complejidad? ¿Existen otras restricciones …

16 ds.algorithms  time-complexity  linear-algebra  matrices  graph-isomorphism 

¿Es el siguiente problema en PTIME o coNP-hard: Dadas dos expresiones booleanas y e 2 en variables x 1 , ... , x n , sin negación (es decir, las expresiones se construyen completamente a través de ∧ y ∨ ). Decida si e 1 ≡ e 2 , es …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

Espero que la respuesta sea no, pero en realidad no pude construir un contraejemplo. La diferencia es que en , es posible que no podamos elegir un algoritmo uniforme en .∩ε>0DTIME(O(n2+ε))∩ε>0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε}))O(n2+ε)O(n2+ε)O(n^{2+ε})εεε Mediante un argumento de cola de milano (por ejemplo, vea esta pregunta ), si hay un conjunto ce …

15 cc.complexity-theory  time-complexity 

¿Hay un algoritmo de tiempo aleatorio lineal en el lugar? Este es el algoritmo que algunas manos especialmente hábiles son capaces de realizar: dividir uniformemente una matriz de entrada de tamaño par y luego intercalar los elementos de las dos mitades. Mathworld tiene una breve página sobre riffle shuffle . …

15 ds.algorithms  time-complexity 

Dada una matriz m×nm×nm \times n (suponiendo que m≥nm≥nm \ge n ), ¿cuál es el algoritmo más rápido para calcular su rango y base de las columnas? Soy consciente de que se puede resolver a través de la intersección matroide lineal, lo que implica un algoritmo determinista de tiempo y …

15 ds.algorithms  reference-request  time-complexity  linear-algebra  matrices 

El tiempo constante es la complejidad absoluta al final del tiempo. Uno puede preguntarse: ¿hay algo no trivial que se pueda calcular en tiempo constante? Si nos atenemos al modelo de máquina de Turing, entonces no se puede hacer mucho, ya que la respuesta solo puede depender de un segmento …

14 cc.complexity-theory  ds.algorithms  time-complexity 

Estoy buscando información sobre la complejidad computacional de la multiplicación de matrices de matrices rectangulares. Wikipedia afirma que la complejidad de multiplicar por B ∈ R n × p es O ( m n p ) (multiplicación del libro escolar).A∈Rm×nA∈Rm×nA \in \mathbb{R}^{m \times n}B∈Rn×pB∈Rn×pB \in \mathbb{R}^{n \times p}O(mnp)O(mnp)O(mnp) Tengo un …

14 cc.complexity-theory  time-complexity  linear-algebra  matrix-product 

Considere el problema # P-completo de contar el número de cubiertas de vértices de un gráfico dado G=(V,E)G=(V,E)G = (V, E) . Me gustaría saber si hay algún resultado que muestre cómo la dureza de dicho problema varía con algún parámetro de (por ejemplo, ).GGGd=|E||V|d=|E||V|d = \frac{|E|}{|V|} Mi sensación es …

14 cc.complexity-theory  graph-theory  counting-complexity  time-complexity