Вопросы с тегом «arithmetic»

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

73 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Насколько я могу судить, ценности не обитают . Функция с …

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 в микропроцессоре различает число со знаком -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 

Википедия перечисляет временную сложность сложения как , где - количество битов.нNNnNNn Это жесткая теоретическая нижняя граница? Или это просто сложность самого быстрого известного алгоритма. Я хочу знать, потому что сложность сложения подчеркивает все другие арифметические операции и все алгоритмы, которые их используют. Теоретически невозможно получить алгоритм сложения, который работает в …

11 algorithms  algorithm-analysis  arithmetic 

Текущая плавающая точка (ANSI C float, double) позволяет представить аппроксимацию действительного числа. Есть ли способ представить реальные цифры без ошибок ? Вот идея, которая у меня была, но она не идеальна. Например, 1/3 - это 0,33333333 ... (основание 10) или o.01010101 ... (основание 2), но также 0,1 (основание 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 

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

9 arithmetic  floating-point