«arithmetic» 태그된 질문

현대 프로세서에서는 비트 단위 연산이 32 비트 또는 64 비트에서 병렬로 작동 할 수 있기 때문에 비트 단위 연산이 너무 빠르다는 점을 알고 있으므로 비트 단위 연산은 한 번의 클럭 주기만 걸립니다. 그러나 추가는 하나 이상의 비트 연산으로 구성되는 복잡한 작업이므로 3-4 배 느려질 것이라고 생각했습니다. 간단한 벤치 마크 후에 …

72 computer-architecture  arithmetic  circuits  cpu  digital-circuits 

반복 및 재귀를 모두 사용하여 계승을 코딩하는 방법을 알고 있습니다 (예 n * factorial(n-1): 예). 나는 팩토리얼을 재귀 적으로 반으로 나누어 더 효율적인 코딩 방법이 있음을 교과서에서 (추가 설명없이) 읽었습니다. 왜 그런지 이해합니다. 그러나 나는 스스로 코딩을 시도하고 싶었지만 시작해야 할 곳을 모른다고 생각합니다. 친구가 기본 사례를 먼저 쓰라고 제안했습니다. …

37 algorithms  efficiency  arithmetic 

나는 어떤 기초에서 어떤 기초로 변환하는 것에 대한 수학을 조사해 왔습니다. 이것은 무엇보다 내 결과를 확인하는 것입니다. mathforum.org에서 내 답변으로 보이는 것을 찾았지만 여전히 올바른지 확실하지 않습니다. 큰 숫자에서 작은 숫자로 변환하는 것이 좋습니다. 왜냐하면 단순히 첫 자릿수를 기본 숫자로 곱하기 때문에 다음 자릿수 반복을 추가하고 싶습니다. 작은베이스에서 더 큰베이스로 …

35 algorithms  arithmetic  number-formats 

Wikipedia와 내가 찾은 다른 소스 void는 빈 유형이 아닌 C 유형을 단위 유형으로 나열 합니다. 나는 void빈 / 하단 유형의 정의에 더 잘 맞는 것처럼 혼란 스럽습니다 . void내가 알 수있는 한 값이 없습니다 . 반환 유형이 void 인 함수는 함수가 아무것도 반환하지 않으므로 일부 부작용 만 수행 할 수 …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

유클리드의 알고리즘은 양의 정수 목록의 GCD (큰 공통 제수)를 얻는 데 가장 적합한 알고리즘이라는 것을 알고 있습니다. 그러나 실제로이 알고리즘을 다양한 방법으로 코딩 할 수 있습니다. (제 경우에는 Java를 사용하기로 결정했지만 C / C ++가 다른 옵션 일 수 있습니다). 내 프로그램에서 가능한 가장 효율적인 코드를 사용해야합니다. 재귀 모드에서는 다음과 …

26 algorithms  recursion  arithmetic 

마이크로 프로세서의 ALU는 1111로 표시되는 부호있는 숫자 -7과 1111로 표시되는 부호없는 숫자 15를 어떻게 구별합니까?

17 arithmetic  binary 

적어도이 코드를 작성하면 Java에서 : float a = 1000.0F; float b = 0.00004F; float c = a + b + b; float d = b + b + a; boolean e = c == d; 의 값 것이 . 나는 이것이 수를 정확하게 표현하는 방식으로 부동 소수점이 매우 제한되어 있기 …

15 arithmetic  floating-point  numerical-algorithms 

2의 보수에서 0은 단 하나의 값을 갖는 반면, 1의 보수에서는 +0과 -0 모두 별도의 값을 갖는다 고합니다. 그들은 무엇인가?

12 arithmetic 

Wikipedia는 덧셈의 시간 복잡성을 으로 나열합니다 . 여기서 은 비트 수입니다.n엔nn엔nn 이것은 이론적 인 하한값입니까? 아니면 이것은 현재 가장 빠른 알려진 알고리즘의 복잡성 일뿐입니다. 추가의 복잡성으로 인해 다른 모든 산술 연산과이를 사용하는 모든 알고리즘을 강조하기 때문에 알고 싶습니다. 에서 실행되는 추가 알고리즘을 얻는 것이 이론적으로 불가능 합니까? 또는 우리는 추가를 …

11 algorithms  algorithm-analysis  arithmetic 

현재 부동 소수점 (ANSI C float, double) 은 실수 의 근사값 을 나타냅니다 . 실수없이 실수 를 나타내는 방법이 있습니까? 여기에 내가 가진 아이디어가 있습니다. 예를 들어 1/3은 0.33333333 ... (기본 10) 또는 o.01010101 ... (기본 2)이지만 0.1 (기본 3) 이 "구조"를 구현하는 것이 좋습니다. base, mantissa, exponent 1/3은 3 …

10 binary-arithmetic  arithmetic  floating-point  real-numbers  number-formats 

자연수는 다음과 같이 유도 적으로 정의됩니다 (예 : Coq 구문 사용) Inductive nat: Set := | O: nat | S: nat -> nat. 정수 (및 유리수 및 실수와 같은 다른 세트)를 건설적으로 정의하는 표준 방법이 있습니까?

10 arithmetic  dependent-types  coq 

대부분의 스몰 토크 방언은 현재 순진한 부정확 한 부동 계수 (fmod / remainder)를 구현합니다. 방금 다른 최신 부동 소수점 연산에서와 마찬가지로 Squeak / Pharo 및 결국 표준에 대한 다른 스몰 토크 준수 (IEEE 754, ISO / IEC 10967)를 개선하기 위해 이것을 변경했습니다. 그러나 이러한 변경 사항을 채택하기 위해 표준을 준수하는 …

9 arithmetic  floating-point