Запитання з тегом «arithmetic»

Я знаю, що розрядні операції настільки швидкі на сучасних процесорах, оскільки вони можуть працювати 32 або 64 біти паралельно, тому бітові операції займають лише один тактовий цикл. Однак додаток - це складна операція, яка складається щонайменше з однієї і, можливо, до десятка розрядних операцій, тому я, природно, думав, що це …

72 computer-architecture  arithmetic  circuits  cpu  digital-circuits 

Я знаю, як кодувати фабрикатори, використовуючи як ітераційні, так і рекурсивні (наприклад, n * factorial(n-1)наприклад). Я читав у підручнику (без подальших пояснень), що існує ще більш ефективний спосіб кодування фабрикантів, розділивши їх навпіл рекурсивно. Я розумію, чому так може бути. Однак я хотів спробувати кодувати це самостійно, і я не …

38 algorithms  efficiency  arithmetic 

Я розглядав математику, яка перетворюється з будь-якої бази на будь-яку базу. Це скоріше про підтвердження моїх результатів, ніж будь-що. Я знайшов свою відповідь на mathforum.org, але я все ще не впевнений, чи правильно я це маю. У мене перетворення з більшої бази на меншу базу вниз нормально, тому що це …

36 algorithms  arithmetic  number-formats 

Вікіпедія, а також інші джерела, які я знайшов, перелічують 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 

Як би АЛУ в мікропроцесорі відрізняти підписане число -7, яке позначається 1111, і число, яке не підписується 15, також позначається 1111?

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 

Вікіпедія перераховує складність у часі складання як , де - кількість біт.ннnннn Це жорстка теоретична нижня межа? Або це лише складність поточного найшвидшого відомого алгоритму. Хочу знати, оскільки складність додавання підкреслює всі інші арифметичні операції та всі алгоритми, які їх використовують. Теоретично неможливо отримати алгоритм додавання, який працює в ? …

11 algorithms  algorithm-analysis  arithmetic 

Струм з плаваючою комою (ANSI C з плаваючою точкою, подвійний) дозволяють уявити наближення дійсного числа. Чи є спосіб представити реальні числа без помилок ? Ось у мене виникла ідея, яка є все, але не ідеальною. Наприклад, 1/3 - це 0,33333333 ... (база 10) або o101010101 ... (база 2), але також …

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

Натуральні числа визначаються індуктивно як (використовуючи синтаксис Coq як приклад) Inductive nat: Set := | O: nat | S: nat -> nat. Чи існує стандартний спосіб конструктивного визначення цілих чисел (а може бути, інших наборів, таких як раціональні чи дійсні)?

10 arithmetic  dependent-types  coq 

Більшість діалектів Smalltalk в даний час реалізують наївний неточний плаваючий модуль (fmod / залишок). Я щойно змінив це, щоб покращити Squeak / Pharo та врешті-решт інші дотримання Smalltalk стандартів (IEEE 754, ISO / IEC 10967), як я вже робив для інших сучасних операцій з плаваючою точкою. Однак для прийняття цих …

9 arithmetic  floating-point