«asymptotics» 태그된 질문

계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …

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 

그 가정, 각 , 튜링 기계가 M의 ε 언어 결정 L 시간에 O ( N +의 ε을 ) . 시간 O ( n a + o ( 1 ) ) 에서 L 을 결정하는 단일 알고리즘이 있습니까? (여기서, o ( 1 ) 항은 입력 길이 인 n으로 측정됩니다 .)ϵ>0ϵ>0\epsilon > …

16 cc.complexity-theory  asymptotics 

의 함수 성장률 비교에 대한 결정성에 대한 알려진 한계는 무엇입니까 ? 나는 " x x ∼ 2 ⌊ x lg ( x + 2 ) like ?" 와 같은 질문의 결정 가능성을 생각하고 있습니다. 또는 " 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 …

12 decidability  asymptotics 

혼란 스러워요. 나는 정렬의 문제가 있다는 것을 증명하려면 하여 행렬 즉, 행과 열이 오름차순으로되어있다 . 보다 빠르게 수행 할 수 있다고 가정하고 m 요소를 정렬하는 데 필요한 비교를 위해 하한 을 위반하려고합니다 . 두 가지 상충되는 답변이 있습니다.엔nn엔nnΩ (엔2로그n )Ω(n2log⁡n)\Omega(n^2\log n)엔2로그엔n2log⁡nn^2\log n로그( m ! )log⁡(m!)\log(m!) 우리는 의 정렬 된 행렬에서 …

9 time-complexity  lower-bounds  matrices  sorting  asymptotics