Perguntas com a marcação «asymptotics»

18
É possível testar se um número computável é racional ou inteiro?

É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis ​​fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado...

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
Em que circunstâncias os algoritmos

Suponha que, para cada ϵ>0ϵ>0\epsilon > 0 , exista uma máquina de Turing MϵMϵM_{\epsilon} que decida um idioma LLL no tempo O(na+ϵ)O(na+ϵ)O(n^{a + \epsilon}) . Existe um algoritmo único que decide LLL no tempo O(na+o(1))O(na+o(1))O(n^{a + o(1)}) ? (Aqui, o(1)o(1)o(1) termo o ( 1 ) é medido em...

cc.complexity-theory asymptotics
12
Teoria decente do crescimento assintótico

Quais são os limites conhecidos da decidibilidade da comparação da taxa de crescimento de funções de ? Estou aqui pensando na decidibilidade de perguntas como "Is x x ∼ 2 ⌊ x lg ( x + 2 ) ⌋ ?" ou "é 2 lg * x ∈ O ( lg lg x ) ?".N→NN→N\mathbb{N} \to \mathbb{N}xx∼2⌊xlg(x+2)⌋xx∼2⌊xlg⁡(x+2)⌋x^x \sim...

decidability asymptotics