«factoring» 태그된 질문

발견 된 가장 효율적인 알고리즘이 시간 의 요인을 계산할 수 있지만 어딘가에 작성한 코드는 O ( n ) 또는 분할과 계수가 얼마나 빠른지에 따라 아마도 O ( n log n ) 어딘가에 대해 잘못 이해했다고 확신하지만 어디에서 잘 모르겠습니다 여기 의사 코드 형식으로 작성했습니다.O(exp((64/9⋅b)1/3⋅(logb)2/3)O(exp⁡((64/9⋅b)1/3⋅(log⁡b)2/3)O(\exp((64/9 \cdot b)^{1/3} \cdot (\log b)^{2/3})O(n)O(n)O(n)O(nlogn)O(nlog⁡n)O(n \log …

17 complexity-theory  time-complexity  factoring  primes 

NP-Intermediate와 NP-Complete의 관계를 이해하려고 애 쓰고 있습니다. Ladner Theorem을 기반으로 한 P! = NP 인 경우 NP에는 있지만 P 또는 NP-Complete에는없는 언어 클래스가 있음을 알고 있습니다. NP의 모든 문제를 NP-Complete 문제로 줄일 수는 있지만 NPI 문제 (정수 분해)와 같은 것으로 의심되는 NPI 문제를 NP-Complete 문제로 줄이는 예제는 보지 못했습니다. 누구든지 …

17 np-complete  reductions  factoring 

경우 사실에서와 동일 이 빠른 요인 정수로 우리의 알고리즘을 개선 할 방법에 대해 설명합니다. 다시 말해,이 사실이 정수 인수 분해를 더 잘 이해하는 데 어떤 종류의 통찰력을 제공할까요?피피{\sf P}N P엔피{\sf NP}

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

PRIME, COMPOSITE, FACTOR 문제와 복잡성 측면에서 어떻게 관련되어 있는지 문제를 해결하는 데 어려움을 겪고 있습니다. AKS 기본 테스트 에서 PRIME이 로 표시되어 있음을 이해 했으며 COMPOSITE에서도 작동한다고 생각합니다.PPP FACTOR는 FACTOR={(m,r):∃s such that1<s<r and s divides m}FACTOR={(m,r):∃s such that1<s<r and s divides m}FACTOR = \{(m,r) :\;\; \exists s \text{ such that} …

12 complexity-theory  factoring 

직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 let과 같이 일련의 명령문을 중첩 된 표현식 으로 다시 작성합니다 . return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

현대의 SAT 솔버는 많은 실제 SAT 인스턴스 예를 해결하는 데 매우 능숙합니다. 그러나 어려운 것을 생성하는 방법을 알고 있습니다. 예를 들어 , 인수 분해에서 SAT 로 축소를 사용 하고 RSA 번호를 입력으로 제공합니다. 이것은 쉽게 팩토링의 예를 들면 어떨까요? 대신에 두 개의 큰 소수를 복용 I가 소수 걸릴 경우 어떻게 …

11 complexity-theory  satisfiability  sat-solvers  factoring