Preguntas etiquetadas con asymptotics

18

¿Es posible probar si un número computable es racional o entero?

¿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...

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

16

¿En qué circunstancias los algoritmos implican algoritmos ?

Suponga que, para cada , hay una máquina de Turing que decide un lenguaje en el tiempo . ¿Hay un algoritmo único que decida en el tiempo ? (Aquí, el término se mide en términos de , la longitud de entrada).ϵ>0ϵ>0\epsilon > 0MϵMϵM_{\epsilon}LLLO(na+ϵ)O(na+ϵ)O(n^{a +...

cc.complexity-theory asymptotics

12

Teoría decidible del crecimiento asintótico

¿Cuáles son los límites conocidos de la capacidad de decisión de la comparación de la tasa de crecimiento de las funciones de ? Estoy aquí pensando en la capacidad de decisión de preguntas como "¿Es x x ∼ 2 ⌊ x lg ( x + 2 ) ⌋ ?" o "¿Es 2 lg ∗ x ∈ O ( lg lg x ) ?".N→NN→N\mathbb{N} \to...

decidability asymptotics

9

¿Podemos obtener una lista ordenada de una matriz ordenada en

Estoy confundido. Quiero demostrar que el problema de ordenar una matriz por , es decir, las filas y columnas están en orden ascendente es . Continúo asumiendo que se puede hacer más rápido que e intento violar el límite inferior Para las comparaciones necesarias para ordenar m elementos. Tengo...

time-complexity lower-bounds matrices sorting asymptotics