 Redstone Math Toolbox Part 1: Modular Arithmetic - Printable Version +- Forums - Open Redstone Engineers (https://forum.openredstone.org) +-- Forum: ORE General (https://forum.openredstone.org/forum-39.html) +--- Forum: Tutorials (https://forum.openredstone.org/forum-24.html) +---- Forum: Fundamental Tutorials (https://forum.openredstone.org/forum-25.html) +---- Thread: Redstone Math Toolbox Part 1: Modular Arithmetic (/thread-12696.html) Pages: 1 2 Redstone Math Toolbox Part 1: Modular Arithmetic - belevid - 07-16-2017 Welcome to the first part of a math tutorial series I'm putting together. These tutorials will guide you through not only the knowledge needed for circuitry on this server, but can also serve as a guideline in any mathematical pursuit. However, the lessons will eventually be oriented towards application to redstone. This tutorial assumes a basic knowledge of binary but will visit binary as its own part later on. Please note that each part will be continuously updated as people make suggestions and I add more topics to each chapter. Also, in order to keep the tutorial short and simple, proofs are omitted (unless necessary). Consequently, it is up to the reader to convince themselves of the statements or to take them at face value.     In this first part, we will discuss modular arithmetic. The list of topics for the entire series is as follows: (Subject to change as I add topics) 1. Modular Arithmetic     1.1 Inspiring Question     1.2 The %(Modulo) Operator     1.3 Basic Operations     1.4. Additional Topics         1.4.1 Multiplicative Groups         1.4.2 Divisibility with Modular Arithmetic 2. Boolean Algebra     2.1. Inspiring Question     2.2 Truth Tables     2.3. Basic Operations         2.3.1 NOT, AND, OR, etc.         2.3.2 Algebraic Logic         2.3.3 De Morgan's Laws     2.4 Writing Formal Statements in Boolean Logic     2.5 Logic Gates and Application to Binary     2.6. Additional Topics         2.6.1 The 3-SAT Problem 3. Number Bases     3.1 Inspiring Question     3.2 Revisiting Decimal     3.3 General Number Bases     3.4 Basic Operations     3.5. Binary         3.5.1 Binary as a Number System         3.5.2 Binary in Circuits     3.6. Hexadecimal         3.6.1 Hexadecimal as a Number System         3.6.2 Hexadecimal in Circuits     3.7. Additional Topics         3.7.1 Non-Constant Number Bases 4. Computation Theory     4.1 Computation and Universality     4.2 Models of Computation     4.3. Cellular Automata         4.3.1 Elementary Cellular Automata         4.3.2 Game of Life         4.3.3 Langton's Ant     4.4. Complexity         4.4.1 Big "O" Notation         4.4.2 Algorithmic Complexity     4.5. The Turing Machine         4.5.1 The Tape and Head         4.5.2 Symbols         4.5.3 States         4.5.4 Time-Space Trade-off     4.6. Additional Topics         4.6.1 Universal Turing Machine         4.6.2 Metasimulation Chapter 1: Modular Arithmetic Section 1: Inspiring Question     Modular arithmetic is, in the loosest sense, a way of doing normal arithmetic but with a limited set of numbers. This is useful to us as redstoners because, regardless of how much space we use, we can only ever represent a finite set of numbers. In order to perform the calculations that we want, we must have a way of modifying traditional algebra to suit our limitations while still preserving its familiar and convenient structures. To pique the interest of the reader, and in the interest of demonstrating the capabilities of modular arithmetic I pose the following question: (1) What is the last digit of 17^1139?     Even the most avid calculator will shudder at such a calculation! With the power of modular arithmetic, however, we can find the answer without calculations exceeding the calculator's limit. By the end of this chapter, not only will you have the knowledge to perform such a calculation, but I implore that you do so on your own.  Section 2: The %(Modulo) Operator     The % operator is known to any programmer or mathematician with adequate experience as the "modulo" operator. It works much like + or * in that it takes two numbers and returns a single number. Anyone who has done long division will be familiar with the concept of a remainder, that is, the quantity that is left after you've done the repeated subtraction. The modulo is exactly that quantity. For example, 35%4 = 3 because when you divide 35 by 4, the remainder is 3. The modulo operator has the following properties: For the operation a%b, a is called the dividend, b is called the divisor and the result is called the modulus. 0 <= a%b < b If a%b = n, then a-n is divisible by b     Often times, we find it convenient to, instead of writing something like 45%6, write it as 45 mod 6 as it clearly defines the divisor. The divisor is an important quantity because it defines the "looping point" of our number set. It's very clear to see that 16 mod 6 = 4, 17 mod 6 = 5, and 18 mod 6 = 0 and that it repeats infinitely. This gives us our fourth, and arguably most important, property. (2) a+nb mod b = a mod b where n is any integer. If we restrict a so that 0 <= a < b, we obtain an easy way to calculate the modulus. For example, 43 mod 7 = 1 + 6(7) mod 7 = 1 mod 7 = 1. It's important to note that this property also allows us to define the modulo operator for negative dividends (though not for negative divisors). -3 mod 10 = 7 + (-1)(10) mod 10 = 7 mod 10 = 7. This fact will become very important when we discuss negative numbers in binary.  Section 3: Basic Operations     It's one thing to calculate the modulus, but most times we have an expression inside of the dividend such as 62+12 mod 5 or 43*2 mod 7. It would be useful if we had a way of simplifying dividend in order to calculate the modulus easier. To do that, we have the following operations: a+/-b mod n = ((a mod n)+/-(b mod n)) mod n a*b mod n = ((a mod n)*(b mod n)) mod n a^b mod n = ((a mod n)^b) mod n where +/- is addition or subtraction.     Notice that division is not mentioned. This is because it does not have very nice properties with the modulus (due, in part, to the fact that it is so closely related to division). Let's put these properties to use: 53+27 mod 7 = (53 mod 7) + (27 mod 7) mod 7 = (4+6(7) mod 7)+(6+3(7) mod 7) mod 7 = 4+6 mod 7 = 3+1(7) mod 7 = 3 45*16 mod 9 = (45 mod 9)*(16 mod 9) mod 9 = (0+5(9) mod 9)*(5+1(9) mod 9) mod 9 = 0*5 mod 9 = 0 76^3 mod 35 = (6 + 2(35) mod 35)^3 mod 35 = 6^3 mod 35 = 216 mod 35 = 6 + 6(35) mod 35 = 6 Section 4: Additional Topics Topic 1: Multiplicative Groups     Of the operations discussed in the previous section, the last two should be particularly surprising in that they took a potentially laborious calculation and turned it into simple mental math. It's clear that the modulo operator has the ability to simplify multiplication (which makes sense considering it's related to division) to a great degree. In studying the last property, a pattern emerges quickly. Let's look at the following operations. 3^0 mod 7 = 1, 3^1 mod 7 = 3, 3^2 mod 7 = 2, 3^3 mod 7 = 6, 3^4 mod 7 = 4, 3^5 mod 7 = 5, 3^6 = 1. We arrive back where we began and, according to the third property, this pattern repeats infinitely. Similar to the pattern we see from addition in equation (2), multiplication also has a similar equation. (3) a^φ(n) mod n = 1 only if a and n don't share any factors. φ is called the Euler totient function. I won't be covering it in this tutorial but I urge the reader to read the Wikipedia article on it. This number φ(n) is like the "looping point" but for multiplication because clearly a^0 mod n = 1.      At this point, you should have the tools you need to tackle the problem I posed at the beginning of the chapter (if you're clever). In the next topic, we will solve the problem that I posed. At this point I'd advise the reader to try and solve it themselves and then return to read the next topic and see how their solution matches up. Topic 2: Divisibility with Modular Arithmetic     To introduce the topic, I would like to give the reader a nice trick I've used many times in my life. If you want to tell if a number is divisible by 3, add up the digits and if the result is divisible by 3, then so is the original number (the same property applies to 9 but 3 is the easiest to explain and we will discuss how to prove it for the other numbers). Once you have sufficiently convinced yourself this is true, the question becomes "What causes this strange trick?". Luckily, modular arithmetic shows whats really going on, but to prove it will require everything we've talked about up to this point.      Using the third property discussed in Section 2, we know that if a mod b = 0, then a is divisible by b. Thus, if a mod 3 = 0, then a is divisible by 3. If a has the digits a0, a1, a2, ... where a0 is the rightmost digit (not a*0), then a = a0 + 10*a1 + 100*a2... 10^n+an. Now the properties discussed in Chapter 3 come into play. Our expression is currently  a0 + 10*a1 + 100*a2... 10^n+an mod 3. If we notice, however, that 10^n mod 3 = (10 mod 3)^n mod 3 = (1+3(3) mod 3)^n mod 3 = 1^n mod 3 = 1, then our expression becomes  a0 + a1 + a2... an mod 3. And thus we arrive at the result. If the sum of the digits is divisible mod 3, then so is the original number. Note that 3 could be any number we want and we can create a way to test any number's divisibility based on the sum of its digits.      Now, we are ready to tackle question (1). Let's look at the expression 17^1139. How do we tell what the last digit is? Well if any number can be expanded as  a0 + 10*a1 + 100*a2... 10^n+an. Then if we take the expression modulo 10, we're just left with a0, the rightmost digit. Thus our question becomes "what is 17^1139 mod 10?". Here, we can notice that 17 and 10 don't share any factors, thus we can apply equation (3). If we change the the equation to 17^(3+284(4)) mod 10 = 17^3*17^(4(284)) mod 10 = 17^3*1^284 mod 10 = 17^3 mod 10. At this point we're close to an answer and one could easily give this to a calculator and get an answer. But in the pursuit of applying our knowledge and simplifying things, we can apply property 3 of Section 3 to get (17 mod 10)^3 mod 10 = 7^3 mod 10 = 7*49 mod 10 = 7*(49 mod 10) mod 10 = 7*9 mod 10 = 63 mod 10 = 3. So with some simple equations and mental math, we were able to answer the question fairly easily.      I hope that you enjoyed the first part of this tutorial and learned a lot. I wanted to start this because I've noticed both a lack of resources for new people and a large amount of misinformation filling the server. As a math major, I felt it was important to set some things straight and create such a resource. If you have any recommendations (anywhere from future subjects to additions to the current parts) please let me know in the replies. Thanks for reading! RE: Redstone Math Toolbox Part 1: Modular Arithmetic - LambdaPI - 07-16-2017 Very nice but shouldn't boolean algebra come after number bases? RE: Redstone Math Toolbox Part 1: Modular Arithmetic - belevid - 07-16-2017 (07-16-2017, 11:31 AM)LambdaPI Wrote: Very nice but shouldn't boolean algebra come after number bases? It could, I suppose, but it made more sense to follow Modular Arithmetic with Boolean Algebra since they're so closely related. Also, I think that Boolean Algebra is a little more fundamental to explaining circuitry than Number Bases. We do teach logic gates before teaching the adder, after all... RE: Redstone Math Toolbox Part 1: Modular Arithmetic - LordDecapo - 08-03-2017 love this! looking forward to seeing the completed project!!! if it gets done and has no errors then i can see if we want to post this as a stickied thread for new ppl RE: Redstone Math Toolbox Part 1: Modular Arithmetic - Zijkhal - 08-04-2017 (07-16-2017, 09:25 AM)belevid Wrote:     To introduce the topic, I would like to give the reader a nice trick I've used many times in my life. If you want to tell if a number is divisible by 3, add up the digits and if the result is divisible by 3, then so is the original number (the same property applies to 6... I dont think so. 18 is divisible by 6, but the sum of its digits, 9 isnt. The division rule for 6 is if its divisible by both 3 and 2, then its divisible by 6, using the rule that if b = c*d, c and d are relative primes, then a mod b = 0 if and only if a mod c = 0 AND a mod d = 0. Or if we replace 3 in your proof with 6, we get 4^n mod 6, so it does matter which digit is which, so we cant simply sum them to determine divisibility. Based on this (unless I'm missing something), we cant create a rule for divisibility for any number based solely on the sum of its digits. (for 6, its more like a0 + a1*4 + a2*16 + ... + an*4^n, which is a smaller number that what we begun with, but not as convenient as simply summing the digits) Apart from that, I think its good, but I would add a statement at the start of the modular arithmetic part (for beginners to the topic) that modular arithmetic deals with whole numbers, so all numbers (in the modular arithmetic segment / chapter) from now on are to be assumed whole, unless stated otherwise. RE: Redstone Math Toolbox Part 1: Modular Arithmetic - LordDecapo - 08-04-2017 (08-04-2017, 06:28 AM)Zijkhal Wrote: (07-16-2017, 09:25 AM)belevid Wrote:     To introduce the topic, I would like to give the reader a nice trick I've used many times in my life. If you want to tell if a number is divisible by 3, add up the digits and if the result is divisible by 3, then so is the original number (the same property applies to 6... I dont think so. 18 is divisible by 6, but the sum of its digits, 9 isnt. The division rule for 6 is if its divisible by both 3 and 2, then its divisible by 6, using the rule that if b = c*d, c and d are relative primes, then a mod b = 0 if and only if a mod c = 0 AND a mod d = 0. Or if we replace 3 in your proof with 6, we get 4^n mod 6, so it does matter which digit is which, so we cant simply sum them to determine divisibility. Based on this (unless I'm missing something), we cant create a rule for divisibility for any number based solely on the sum of its digits. (for 6, its more like a0 + a1*4 + a2*16 + ... + an*4^n, which is a smaller number that what we begun with, but not as convenient as simply summing the digits) Apart from that, I think its good, but I would add a statement at the start of the modular arithmetic part (for beginners to the topic) that modular arithmetic deals with whole numbers, so all numbers (in the modular arithmetic segment / chapter) from now on are to be assumed whole, unless stated otherwise. He is correct on the 3s, I think he meant to put 9 not 6. (Only works for 3 and 9).. if digits sum to a multiple of 3 or 9, that number is divisible by 3 or 9 respectively.  Called "Rule of 3 and 9" or "Division Rules" RE: Redstone Math Toolbox Part 1: Modular Arithmetic - Zijkhal - 08-04-2017 (08-04-2017, 12:07 PM)LordDecapo Wrote: (08-04-2017, 06:28 AM)Zijkhal Wrote: (07-16-2017, 09:25 AM)belevid Wrote:     To introduce the topic, I would like to give the reader a nice trick I've used many times in my life. If you want to tell if a number is divisible by 3, add up the digits and if the result is divisible by 3, then so is the original number (the same property applies to 6... I dont think so. 18 is divisible by 6, but the sum of its digits, 9 isnt. The division rule for 6 is if its divisible by both 3 and 2, then its divisible by 6, using the rule that if b = c*d, c and d are relative primes, then a mod b = 0 if and only if a mod c = 0 AND a mod d = 0. Or if we replace 3 in your proof with 6, we get 4^n mod 6, so it does matter which digit is which, so we cant simply sum them to determine divisibility. Based on this (unless I'm missing something), we cant create a rule for divisibility for any number based solely on the sum of its digits. (for 6, its more like a0 + a1*4 + a2*16 + ... + an*4^n, which is a smaller number that what we begun with, but not as convenient as simply summing the digits) Apart from that, I think its good, but I would add a statement at the start of the modular arithmetic part (for beginners to the topic) that modular arithmetic deals with whole numbers, so all numbers (in the modular arithmetic segment / chapter) from now on are to be assumed whole, unless stated otherwise. He is correct on the 3s, I think he meant to put 9 not 6. (Only works for 3 and 9).. if digits sum to a multiple of 3 or 9, that number is divisible by 3 or 9 respectively.  Called "Rule of 3 and 9" or "Division Rules" But he said 6 AND 9, I only cut the 9 part RE: Redstone Math Toolbox Part 1: Modular Arithmetic - LordDecapo - 08-04-2017 (08-04-2017, 12:34 PM)Zijkhal Wrote: (08-04-2017, 12:07 PM)LordDecapo Wrote: (08-04-2017, 06:28 AM)Zijkhal Wrote: (07-16-2017, 09:25 AM)belevid Wrote:    He is correct on the 3s, I think he meant to put 9 not 6. (Only works for 3 and 9).. if digits sum to a multiple of 3 or 9, that number is divisible by 3 or 9 respectively.  Called "Rule of 3 and 9" or "Division Rules" But he said 6 AND 9, I only cut the 9 part Lol xD my bad. RE: Redstone Math Toolbox Part 1: Modular Arithmetic - belevid - 08-08-2017 (08-04-2017, 06:28 AM)Zijkhal Wrote: (07-16-2017, 09:25 AM)belevid Wrote:     To introduce the topic, I would like to give the reader a nice trick I've used many times in my life. If you want to tell if a number is divisible by 3, add up the digits and if the result is divisible by 3, then so is the original number (the same property applies to 6... I dont think so. 18 is divisible by 6, but the sum of its digits, 9 isnt. The division rule for 6 is if its divisible by both 3 and 2, then its divisible by 6, using the rule that if b = c*d, c and d are relative primes, then a mod b = 0 if and only if a mod c = 0 AND a mod d = 0. Or if we replace 3 in your proof with 6, we get 4^n mod 6, so it does matter which digit is which, so we cant simply sum them to determine divisibility. Based on this (unless I'm missing something), we cant create a rule for divisibility for any number based solely on the sum of its digits. (for 6, its more like a0 + a1*4 + a2*16 + ... + an*4^n, which is a smaller number that what we begun with, but not as convenient as simply summing the digits) Apart from that, I think its good, but I would add a statement at the start of the modular arithmetic part (for beginners to the topic) that modular arithmetic deals with whole numbers, so all numbers (in the modular arithmetic segment / chapter) from now on are to be assumed whole, unless stated otherwise. Ah good catch. The fact that I glossed over in that statement is that for a number to be divisible by 6, the sum of its digits must also be divisible by 3 AND it must be even. The former property is what I was referring to. For succinctness, I'll just eliminate 6 from the statement. Thanks for the help! RE: Redstone Math Toolbox Part 1: Modular Arithmetic - RedEvoker_Gaming - 09-01-2017 Its nice!