الگوریتم تقسیم

ساده‌ترین الگوریتم تقسیم، که از لحاظ تاریخی در بزرگترین الگوریتم تقسیم کننده گنجانده شده‌است و در عناصر اقلیدس، کتاب VII، گزاره ۱ ارائه شده‌است، با گرفتن دو عدد صحیح مثبت فقط با استفاده از دو عمل تفریق و مقایسه، باقی‌مانده را محاسبه می‌کند.

while N ≥ D do
  N := N − D
end
return N

اثبات وجود و انحصار باقی مانده و خارج‌قسمت (که در تقسیم اقلیدسی شرح داده شده‌است) منجر به ایجاد یک الگوریتم تقسیم کامل با استفاده از جمع، تفریق و مقایسه می‌شود:

function divide(N, D)
  if D = 0 then error(DivisionByZero) end
  if D <0 then (Q, R) := divide(N, −D); return (−Q, R) end
  if N <0 then
    (Q,R) := divide(−N, D)
    if R = 0 then return (−Q, 0)
    else return (−Q − 1, D − R) end
  end
  -- At this point, N ≥ 0 and D> 0
  return divide_unsigned(N, D)
end
function divide_unsigned(N, D)
  Q := 0; R := N
  while R ≥ D do
    Q := Q + 1
    R := R − D
  end
  return (Q, R)
end

این روش همیشه R ≥ ۰ تولید می‌کند. اگرچه بسیار ساده است، به اندازه (Ω (Q مرحله زمان می‌برد، و به همین ترتیب از الگوریتم‌های تقسیم آهسته مانند تقسیم طولانی کندتر است. اگر Q کوچک باشد (الگوریتم حساس‌به‌خروجی) مفید است و می‌تواند به عنوان یک ویژگی قابل اجرا استفاده شود.

تقسیم طولانی یک الگوریتم استاندارد است که برای تقسیم اعداد چند رقمی بیان شده در نماد اعشاری بر روی قلم و کاغذ استفاده می‌شود. این به تدریج از سمت چپ به انتهای راست مقسوم جابجا می‌شود و بزرگترین مضرب ممکن از مقسوم‌علیه را در هر مرحله تفریق می‌کند. مضروب‌ها سپس به رقم خارج‌قسمت تبدیل می‌شوند و نتیجه تفاضل نهایی در باقی مانده‌است.

در صورت استفاده از ریشه دودویی، این روش اساس تقسیم عدد صحیح (بدون امضا) با الگوریتم باقیمانده زیر را تشکیل می‌دهد. [./https://en.wikipedia.org/wiki/Short%20division تقسیم کوتاه] یک شکل مختصر از تقسیم طولانی است که برای تقسیم کننده‌های تک رقمی مناسب است. Chunking - همچنین به عنوان روش اختصاصی جزئی یا روش جلاد شناخته می‌شود - نوعی تقسیم طولانی است که کمتر کارآمد است و درک آن ساده‌تر است. با اجازه دادن به چند برابر تعداد بیشتری از آنچه در حال حاضر در هر مرحله است، می‌توان یک نوع آزاد شکل بیشتری از تقسیم طولانی ایجاد کرد.

تقسیم بهره (بدون امضا) با باقی مانده

if D = 0 then error(DivisionByZeroException) end
Q := 0                  -- Initialize quotient and remainder to zero
R := 0
for i := n − 1 .. 0 do  -- Where n is number of bits in N
  R := R <<1           -- Left-shift R by 1 bit
  R(0) := N(i)          -- Set the least-significant bit of R equal to bit i of the numerator
  if R ≥ D then
    R := R − D
    Q(i) := 1
  end
end

مثال

اگر N = 1100 ₂ (12 ₁₀) و D = 100 ₂ (4 ₁₀) بگیریم

مرحله اول: R = ۰ و Q = ۰ را تنظیم کنید مرحله دوم: i = ۳ را بگیرید (یکی کمتر از تعداد بیت‌های N) مرحله سوم: R = ۰۰ (سمت چپ توسط ۱) مرحله چهارم: R = ۰۱ (تنظیم (R(0 تا (N(i) مرحله پنجم: R <D، بنابراین بیانیه را رد کنید

مرحله دوم: تنظیم i = ۲ مرحله سوم: R = ۰۱۰ مرحله چهارم: R = ۰۱۱ مرحله پنجم: R <D، بیانیه رد شد

مرحله دوم: تنظیم i = ۱ مرحله سوم: R = ۰۱۱۰ مرحله چهارم: R = ۰۱۱۰ مرحله پنجم: R> = D، عبارت وارد شده‌است مرحله پنج بی: 5b: R = 10 (R − D) مرحله پنج سی: 5c: Q = ۱۰ (تنظیم Q (i) تا ۱)

مرحله دوم: تنظیم i = ۰ مرحله سوم: R = ۱۰۰ مرحله چهارم: R = ۱۰۰ مرحله پنجم: R> = D، عبارت وارد شده‌است مرحله پنج‌بی: R = 0 (R − D) مرحله پنج‌سی: Q = ۱۱ (تنظیم Q (i) تا ۱)

(Q = 11 ₂ (3 ₁₀ و R = ۰.

روش‌های تقسیم آهسته همه بر اساس یک معادله بازگشتی استاندارد انجام می‌شوند.

${\displaystyle R_{j+1}=B\times R_j-q_{n-(j+1)}\times D}$

درحالی که:

• R _j بخش j ام باقی‌مانده تقسیم است
• B ردیف است (معمولاً دوتا مبنا در داخل کامپیوترها و ماشین‌حساب‌ها هستند)
• (q _{n − (j + 1)} عدد خارج قسمت در محل (n− (j + 1) است، درحالیکه محل رقم‌ها از کمترین اهمیت ۰ تا مهمترین آن‌ها n -1 شماره گذاری می‌شود.
• n تعداد رقم‌های خارج قسمت
• D تقسیم کننده است

تقسیم بازگشتی

بازیابی تقسیم بر روی اعداد کسری ثابت کار می‌کند و به این فرض بستگی دارد بر 0 <N> D.

اعداد خارج قسمت q از مجموعه ارقام {۰, ۱} تشکیل شده‌است.

الگوریتم پایه برای بازیابی تقسیم باینری (در مبنا ۲) عبارت است از:

R := N
D := D <<n            -- R and D need twice the word width of N and Q
for i := n − 1 .. 0 do  -- For example 31..0 for 32 bits
  R := 2 * R − D          -- Trial subtraction from shifted value (multiplication by 2 is a shift in binary representation)
  if R ≥ 0 then
    q(i) := 1          -- Result-bit 1
  else
    q(i) := 0          -- Result-bit 0
    R := R + D         -- New partial remainder is (restored) shifted value
  end
end

-- Where: N = Numerator, D = Denominator, n = #bits, R = Partial remainder, q(i) = bit #i of quotient

الگوریتم تقسیم بازگشتی در بالا با حفظ مقدار تغییرداده شدهٔ 2R قبل از تفریق به‌جای ثابت فرعی T

(به عنوان مثال، T = R <<1) و کپی کردن ثابت T به‌جای R هنگامی‌که نتیجهٔ تفریق 2R - D منفی باشد، می‌تواند از مرحله بازیابی صرف‌نظر کند.

تقسیم بازگشتی غیراجرایی مانند تقسیم بازگشتی است، به جز اینکه مقدار 2R ذخیره شده‌است، بنابراین نیازی نیست D برای موارد R < 0 اضافه شود.

تقسیم غیربازگشتی

در تقسیم غیر بازگشتی از مجموعه ارقام {− 1، ۱} به‌جای {۰، ۱} برای خارج قسمت استفاده می‌کند. این الگوریتم پیچیده‌تر است، اما هنگامی که در سخت‌افزار اجرا می‌شود این مزیت را دارد که در هر بیت خارج قسمت فقط یک تصمیم و جمع / تفریق وجود دارد. پس از تفریق هیچ مرحلهٔ بازیابی وجود ندارد، که به‌طور بالقوه تعداد عملیات را تا نیمی از آن کاهش دهد و اجازه دهد سریعتر انجام شود. الگوریتم پایه برای دودویی (مبنای ۲) تقسیم غیر بازگشتی اعداد غیر منفی است:

R := N
D := D <<n            -- R and D need twice the word width of N and Q
for i := n − 1 .. 0 do  -- For example 31..0 for 32 bits
  R := 2 * R − D          -- Trial subtraction from shifted value (multiplication by 2 is a shift in binary representation)
  if R ≥ 0 then
    q(i) := 1          -- Result-bit 1
  else
    q(i) := 0          -- Result-bit 0
    R := R + D         -- New partial remainder is (restored) shifted value
  end
end

-- Where: N = Numerator, D = Denominator, n = #bits, R = Partial remainder, q(i) = bit #i of quotient

به دنبال این الگوریتم، خارج قسمت به شکلی غیر استاندارد متشکل از ارقام − 1 و ۱ است. این روش نیازمند تبدیل روش دودویی به روش خارج قسمت می‌باشد. مثال:

اگر −۱ ارقامی از ${\displaystyle Q}$

Q := Q − bit.bnot(Q)      * Appropriate if −1 Digits in Q are Represented as zeros as is common.

سرانجام، خارج‌قسمت‌های محاسبه‌شده توسط این الگوریتم همیشه فرد هستند و باقی‌مانده R در دامنه −D ≤ R < D. به‌عنوان مثال، ۵/۲ = 3 R-۱ است. برای تبدیل شدن به یک باقی‌ماندهٔ مثبت، بعد از تبدیل Q از فرم غیراستاندارد به فرم استاندارد، تنها یک گام بازگشتی را انجام دهید:

if R <0 then
   Q := Q − 1
   R := R + D  -- Needed only if the Remainder is of interest.
end if

باقی‌مانده واقعی R>> n است. (مانند تقسیم بازگشتی، بیت‌های سطح پایین R به‌همان میزان که به‌عنوان بیت‌های خارج‌قسمت Q تولید می‌شوند، استفاده می‌شوند و استفاده از یک نماد واحد برای تغییر هر دو متداول است)

بخش SRT

دلیل نام‌گذاری این روش از روی اسامی بوجودآورندگان روش می‌باشد (Sweeney , Robertson و Tocher)، تقسیم SRT یک روش معروف برای تقسیم در بسیاری از پیاده‌سازی‌های ریزپردازنده است. تقسیم SRT مشابه تقسیم غیربازگشتی است، اما از یک جدول جستجو براساس مقسوم و مقسوم‌علیه برای تعیین هر رقم خارج‌قسمت استفاده می‌کند.

مهم‌ترین تفاوت این است که یک نمایش اضافی برای خارج‌قسمت مورد استفاده قرار می‌گیرد. برای مثال، هنگام اجرای تقسیم SRT در مبنا ۴، هر رقم خارج‌قسمت از پنج امکان انتخاب می‌شود: {−۲، −۱، ۰، +۱، +۲ }. به این دلیل، انتخاب یک رقم خارج‌قسمت کافی نیست؛ ارقام بعدی می‌توانند خطاهای جزئی را اصلاح کنند. (به‌عنوان مثال، جفت‌های رقم خارج‌قسمت (۰، +۲) و (۱، −۲) معادل هستند، زیرا ۰ × ۴ + ۲ = ۱ × ۴ − ۲ است) این تحمل اجازه می‌دهد که ارقام خارج‌قسمت تنها با استفاده از چند بخش عمده از مقسوم و مقسوم‌علیه، بجای نیاز به یک کاهش با عرض کامل انتخاب شوند. این ساده‌سازی به‌نوبه خود اجازه می‌دهد تا یک مبنایی بالاتر از ۲ مورد استفاده قرار گیرد.

مانند تقسیم غیربازگشتی، آخرین مراحل یک تفریق کامل نهایی برای حل آخرین بیت خارج‌قسمت، و تبدیل خارج‌قسمت به شکل دوگانه استاندارد هستند.

اشکال نقطه‌ی‌عطف تقسیم پردازنده Intel Pentium که ناشی از یک جدول جستجو با کد گذاری نادرست است. پنج مورد از ۱۰۶۶ ورودی به اشتباه حذف شده‌بودند.

بخش نیوتن - رافسون

نیوتن - رافسون از روش نیوتن برای پیدا کردن معکوس D استفاده می‌کند و آن را ضرب می‌کند که با N معکوس می‌شود تا خارج‌قسمت نهایی Q را پیدا کند.

مراحل تقسیم نیوتن - رافسون عبارتند:

1. یک تخمین ${\displaystyle X_0}$
   برای معکوس ${\displaystyle 1/D}$
   از مقسوم‌علیه ${\displaystyle D}$
   محاسبه کنید.
2. محاسبه تخمین‌های دوطرفه پی‌درپی دقیق‌تر ${\displaystyle X_1,X_2,\dots ,X_S}$
   . این‌جایی است که فرد از روش نیوتن-رافسون به این‌ترتیب استفاده می‌کند.
3. خارج‌قسمت را با ضرب مقسوم در مقسوم‌الیه دوطرفه محاسبه کنید ${\displaystyle Q=N{X}_S}$
   .

به منظور استفاده از روش نیوتن برای یافتن معکوس ${\displaystyle D}$

${\displaystyle D}$

${\displaystyle X_{i+1}=X_i-\frac{f(X_i)}{f^{\prime }(X_i)}=X_i-\frac{1/X_i-D}{-1/X_i^2}=X_i+X_i(1-D{X}_i)=X_i(2-D{X}_i),}$

که می‌توان از آن ${\displaystyle X_i}$

از دیدگاه محاسباتی، عبارات ${\displaystyle X_{i+1}=X_i+X_i(1-D{X}_i)}$

اگر این خطا به این‌صورت تعریف شود: ${\displaystyle {\epsilon }_i=1-D{X}_i}$

این مربع خطا در هر گام تکرار - به اصطلاح هم‌گرایی درجه‌دوم روش نیوتن - رافسون - تأثیری دارد که تعداد ارقام صحیح در نتیجه تقریباً برای هر تکرار دوبرابر می‌شود. یک ویژگی که زمانی بسیار ارزشمند می‌شود که اعداد شامل بسیاری از ارقام باشند (به عنوان مثال در دامنه بزرگ عدد صحیح). اما به این معنی است که هم‌گرایی اولیه این روش می‌تواند نسبتاً کند باشد، به خصوص اگر تخمین اولیه ${\displaystyle X_0}$

برای مسئله فرعی انتخاب یک تخمین اولیه ${\displaystyle X_0}$

${\displaystyle X_0=T_1+T_{2}D\approx \frac{1}{D}}$

برای دادن مقدار اولیه نیوتن-رافسون. برای شروع به کار انداختن نیوتن - رافسون. برای به حداقل رساندن حداکثر مقدار مطلق خطای این تخمین در فاصله ${\displaystyle [0.5,1]}$

${\displaystyle X_0=\frac{48}{17}-\frac{32}{17}D.}$

ضرایب تخمین خطی به شرح زیر تعیین می‌شود. مقدار مطلق خطا است ${\displaystyle |{\epsilon }_0|=|1-D(T_1+T_{2}D)|}$

${\displaystyle |{\epsilon }_0|\le \frac{1}{17}\approx \mathrm{0.059.}}$

ایجاد یک چندجمله‌ای با درجه بزرگ‌تر از ۱، محاسبه ضرایب با استفاده از الگوریتم Remez امکان‌پذیر است. نکته اصلی این است که حدس اولیه به چرخه‌های محاسباتی بیشتری نیاز دارد، اما امید به تبادل برای تکرارهای کمتری از نیوتن - رافسون.

از آنجا که برای این روش همگرایی، دقیقاً درجه دوم است، به دنبال آن است که

${\displaystyle S=\lceil {\log }_2\frac{P+1}{{\log }_{2}17}\rceil }$

این مراحل برای محاسبه ارزش تا دو رقم دودویی کافی هستند. این به ۳ مورد برای IEEE تک دقت و ۴ برای هر دو با دقت دو برابر و دو فرمت توسعه یافته ارزیابی می‌شود.

Pseudocode

در ادامه خارج‌قسمت N و D با دقت نقاط دوتایی P محاسبه می‌شود:

Express D as M × 2 where 1 ≤ M <2 (standard floating point representation)
D' := D / 2 // scale between 0.5 and 1, can be performed with bit shift / exponent subtraction
N' := N / 2
X := ۴۸/۱۷ − ۳۲/۱۷ × D' // precompute constants with same precision as D
repeat ${\displaystyle \lceil {\log }_2\frac{P+1}{{\log }_{2}17}\rceil }$
 times // can be precomputed based on fixed P
 X := X + X × (1 - D' × X)
end
return N' × X

به عنوان مثال، برای یک تقسیم نقطه شناور با دقت دو برابر، در این روش از ۱۰ ضرب، ۹ جمع و ۲ تغییر استفاده می‌شود.

تقسیم واریانت نیوتن - رافسون

روش تقسیم نیوتن-رافسون می‌تواند کمی تغییر کند تا به شرح زیر باشد. پس از تغییر N و D به گونه ای که D در [۰٫۵ ، ۱٫۰] باشد، مقدار اولیه را با آن شروع کنید

${\displaystyle X:=\frac{140}{33}+D\cdot \left(\frac{-64}{11}+D\cdot \frac{256}{99}\right).}$

این بهترین تناسب درجه دوم برای 1 / D است و مقدار مطلق خطا را کمتر از یا برابر با ۱/۹۹ می‌دهد. انتخاب شده‌است تا خطا برابر با چند جملهای دوباره مرتبه سوم تغییر یافته Chebyshev از نوع اول باشد. ضرایب باید از پیش محاسبه شده و کدگذاری شوند.

سپس در حلقه، از یک تکرار استفاده کنید که خطا را به توان ۳ می‌رساند.

${\displaystyle E:=1-D\cdot X}$

${\displaystyle Y:=X\cdot E}$

${\displaystyle X:=X+Y+Y\cdot E.}$

اصطلاح Y · E جدید است.

اگر حلقه تا زمانی اجرا شود که X با ۱ / D در بیت‌های اصلی P موافقت کند، آنگاه تعداد تکرارها بیش از این نخواهد بود.

${\displaystyle \lceil {\log }_3\left(\frac{P+1}{{\log }_{2}99}\right)\rceil }$

که این تعداد دفعات ۹۹ باید توان ۳ باشد تا به ${\displaystyle 2^{P+1}}$

${\displaystyle Q:=N\cdot X}$

خارج‌قسمت بیت‌های P است.

استفاده از چند جمله‌ای‌های درجه بالاتر در هر کدام از مقداردهی اولیه یا تکرار، منجر به تجزیه عملکرد می‌شود زیرا ضرب اضافی مورد نیاز برای انجام تکرارهای بیشتر صرف خواهد شد.

تقسیم گلدشمیت

تقسیم گلدشمیت (پس از رابرت الیوت گلدشمیتد)

از یک فرایند تکراری برای ضرب مکرر هردو، مقسوم و مقسوم‌الیه مشترک با یک عامل مشترک F _i استفاده می‌کند، این انتخاب به گونه‌ای است که مقسوم به ۱ برسد. این باعث می‌شود مقسوم به جستجوی خارج‌قسمت Q برسد:

${\displaystyle Q=\frac{N}{D}\frac{F_1}{F_1}\frac{F_2}{F_2}\frac{F_{\dots }}{F_{\dots }}.}$

مراحل تقسیم گلدشمیت به شرح زیر است:

1. تخمینی را برای فاکتور ضرب F _{i ایجاد کنید}.
2. مقسوم و مقسوم‌الیه را توسط F _i ضرب کنید.
3. اگر مقسوم‌الیه به اندازه کافی نزدیک به ۱ است، مقسوم را برگردانید، در غیر این‌صورت، حلقه را به مرحله ۱ بازگردانید.

با فرض N / D، اندازه‌گیری شده‌است به طوری که

${\displaystyle F_{i+1}=2-D_i.}$

ضرب مقسوم و مقسوم‌الیه براساس نتایج حاصله عبارتند از:

${\displaystyle \frac{N_{i+1}}{D_{i+1}}=\frac{N_i}{D_i}\frac{F_{i+1}}{F_{i+1}}.}$

بعد از تکرار تعداد کافی K ${\displaystyle Q=N_k}$

روش گلدشمیت در پردازنده‌های AMD Athlon AMD و مدلهای بعدی استفاده می‌شود. همچنین به الگوریتم Anderson Earle Goldschmidt Powers (AEGP) معروف است و توسط پردازنده‌های مختلف IBM پیاده‌سازی می‌شود.

قضیه دو جمله ای

در روش گلدشمیت می‌توان از عواملی استفاده کرد که اجازه می‌دهند تا به ساده‌سازی قضیه دو جمله‌ای کمک شود. فرض کنید

N / D توسط یک قدرت از این دو مقیاس بندی شده‌است. با قضیه Binom ساده شود. فرض کنید N / D به توان دو رسانده شده‌است ${\displaystyle D\in (\frac{1}{2},1]}$

${\displaystyle \frac{N}{1-x}=\frac{N\cdot (1+x)}{1-x^2}=\frac{N\cdot (1+x)\cdot (1+x^2)}{1-x^4}=\cdots =Q^{\prime }=\frac{N^{\prime }=N\cdot (1+x)\cdot (1+x^2)\cdot \cdot \cdot (1+x^{2^{(n-1)}})}{D^{\prime }=1-x^{2^n}\approx 1}}$

.

بعد از ${\displaystyle n}$

${\displaystyle {\epsilon }_n=\frac{Q^{\prime }-N^{\prime }}{Q^{\prime }}=x^{2^n}}$

که حداکثر در ${\displaystyle 2^{-2^n}}$

روش‌هایی که برای پیاده‌سازی سخت‌افزار طراحی شده‌اند معمولاً اعداد صحیح را با هزاران یا میلیون‌ها رقم اعشار نشان نمی‌دهند، به عنوان مثال در کاهش پیمانه‌ای در رمزنگاری رخ می‌دهند.

برای این اعداد صحیح بزرگ، الگوریتم تقسیم کارآمدتر مشکل را با استفاده کردن از تعداد کمی ضرب تبدیل می‌کند، که می‌تواند با استفاده از یک الگوریتم ضرب مؤثر مجانبی مانند الگوریتم Karatsuba، ضرب Toom–Cook یا الگوریتم Schonhage - Strassen انجام شود.

نتیجه این است که پیچیدگی محاسباتی تقسیم به همان ترتیب (تا یک ثابت افزاینده)به عنوان ضرب ضرب است. نمونه‌هایی از کاهش ضرب و ضرب در روش نیوتن، همان‌طور که در بالا توضیح داده شد، [۱۳] و نیز کاهش اندکی سریع‌تر بارت و الگوریتم کاهش مونتگومری. [۱۴] [تأیید مورد نیاز] روش نیوتن به‌طور خاص در سناریوهایی مؤثر است که باید چندین بار در همان مقسوم‌علیه مشترک تقسیم شود، زیرا پس از وارونگی اولیه نیوتن تنها یک ضرب (کوتاه) برای هر بخش مورد نیاز است.

تقسیم توسط یک ثابت D معادل ضرب معکوس آن است. از آنجا که مخرج ثابت است، متقابل آن نیز (1 / D) است؛ بنابراین می‌توان مقدار (1 / D) را یک بار در زمان کامپایل محاسبه کرد، و در زمان اجرا ضرب N و (1 / D) را به جای تقسیم N / D انجام داد. در نقطهٔ شناوریحسابی استفاده از (1 / D) مشکل کمی ایجاد می‌کند، اما درعدد صحیح حسابی، معکوس همیشه صفر (فرض | D |> 1) ارزیابی می‌شود.

استفاده از آن به‌طور خاص (1 / D) لازم نیست. از هر مقدار (X / Y) که به (1 / D) کاهش می‌یابد استفاده می‌شود. به عنوان مثال، برای تقسیم ۳ می‌توان از عوامل ۱/۳، ۲/۶، ۳/۹ یا ۱۹۴/۵۸۲ استفاده کرد. در نتیجه، اگر Y از قدرت دو مرحله تقسیم را داشته‌باشد، مرحله تقسیم به یک تغییر بیت سریع سریع کاهش می‌یابد. اثر محاسبه N / D به عنوان (N · (X / Y جانشین تقسیم با یک ضرب و یک تغییر است. توجه داشته باشید که پرانتز مهم است، زیرا(N · (X / Y را صفر ارزیابی می‌کند.

اما، مگر اینکه خود D دو قدرت داشته باشد، هیچ X و Y وجود ندارد که شرایط فوق را برآورده کند. خوشبختانه، N · X) / Y) دقیقاً همان نتیجه N / D در عدد صحیح حسابی را به دست می‌آورد حتی وقتی (X / Y) دقیقاً برابر با 1 / D نباشد، اما «به اندازه کافی نزدیک» است که خطایی که توسط تقریبی ایجاد شده‌است است. در بیت‌هایی که با عملیات تغییر کنار گذاشته می‌شوند.

در واقعیت نمونه نقطه حسابی ثابت از اعداد صحیح بدون علامت ۳۲ بیتی، تقسیم‌شده توسط ۳ می‌تواند بوسیله یک ضرب با2863311531/2 جایگزین شود. یک ضرب با ۲۸۶۳۳۱۱۵۳۱ (هگزادسیمال 0xAAAAAAAB) با یک تغییر ۳۳ بیت راست بیان‌می‌شود. ارزش ۲۸۶۳۳۱۱۵۳۱ به عنوان 2/3 محاسبه شده‌است، پس از آن گرد می‌شود.

به همین ترتیب، تقسیم بر ۱۰ را می‌توان به صورت ضرب 3435973837 (0xCCCCCCCD) و به دنبال آن تقسیم 2 (یا ۳۵ تغییر بیت مناسب) بیان کرد.

در بعضی موارد، تقسیم بر یک ثابت می‌تواند در زمان کمتری با تبدیل «ضرب توسط ثابت» با یک سری تغییرات

انجام شود و جمع یا تفریق کند. در برخی موارد تقسیم بر ۱۰ است که در صورت نیاز، خارج‌قسمت دقیق بدست می‌آید. [۱۹]

خطای دور می‌تواند به دلیل

خطای گرد کردن

خطای گرد کردن می‌تواند ناشی‌از محدودیت دقیق توسط عملیات تقسیم معرفی شود.

اطلاعات بیشتر: نقطه شناوری

• بخش گالی
• الگوریتم ضرب
• اشکال Pentium FDIV

• Warren Jr., Henry S. (2013). Hacker's Delight (2 ed.). Addison Wesley - Pearson Education, Inc. ISBN 978-0-321-84268-8.
• Savard, John J. G. (2018) [2006]. "Advanced Arithmetic Techniques". quadibloc. Archived from the original on 2018-07-03. Retrieved 2018-07-16.

• الگوریتم‌های حساب ریاضی کامپیوتر JavaScript Simulator - شامل شبیه‌ساز بسیاری از الگوریتم‌های تقسیم بندی متفاوت است
• Doras, Cory (19 October 2011). "Labor of Division (Episode III): Faster Unsigned Division by Constants" (PDF). ridiculous_fish. Doras, Cory (19 October 2011). "Labor of Division (Episode III): Faster Unsigned Division by Constants" (PDF). ridiculous_fish. (تقسیم بر ثابتها را گسترش می‌دهد)
• https://web.archive.org/web/20170112215236/http://www.dauniv.ac.in/downloads/CArch_PPTs/CompArchCh03L07IntegerDivision.pdf
• https://web.archive.org/web/20180403141218/http://www.seas.ucla.edu/~ingrid/ee213a/lectures/division_presentV2.pdf
• http://www.m1c4a1.wz.cz/docs/goldschmidt.pdf بایگانی‌شده در ۱۳ ژوئیه ۲۰۱۹ توسط Wayback Machine