m % n <= m/2
Author Message
c2milles Offline
Student


Reputation: 0
Post: #1
m % n <= m/2
In lecture 10: the claim: for all m,n in N, m>=n implies m%n <=n m/2 was left as an exercise to prove and I was wondering if anyone had another way to represent m%n that would making proving this easier to see using our previous techniques. Thanks
2013-08-12 19:22
Find all posts by this user Quote this message in a reply
liudavid Offline
Instructor


Reputation: 0
Post: #2
RE: m % n <= m/2
(2013-08-12 19:22)c2milles Wrote:  In lecture 10: the claim: for all m,n in N, m>=n implies m%n <=n m/2 was left as an exercise to prove and I was wondering if anyone had another way to represent m%n that would making proving this easier to see using our previous techniques. Thanks

Use two cases: n <= m/2 and n > m/2.

David Liu

Theory Group
Department of Computer Science
University of Toronto
SF 4306A
2013-08-12 20:53
Find all posts by this user Quote this message in a reply
c2milles Offline
Student


Reputation: 0
Post: #3
RE: m % n <= m/2
(2013-08-12 20:53)liudavid Wrote:  
(2013-08-12 19:22)c2milles Wrote:  In lecture 10: the claim: for all m,n in N, m>=n implies m%n <=n m/2 was left as an exercise to prove and I was wondering if anyone had another way to represent m%n that would making proving this easier to see using our previous techniques. Thanks

Use two cases: n <= m/2 and n > m/2.

Thank you.
2013-08-12 22:40
Find all posts by this user Quote this message in a reply
c2milles Offline
Student


Reputation: 0
Post: #4
RE: m % n <= m/2
(2013-08-12 22:40)c2milles Wrote:  
(2013-08-12 20:53)liudavid Wrote:  
(2013-08-12 19:22)c2milles Wrote:  In lecture 10: the claim: for all m,n in N, m>=n implies m%n <=n m/2 was left as an exercise to prove and I was wondering if anyone had another way to represent m%n that would making proving this easier to see using our previous techniques. Thanks

Use two cases: n <= m/2 and n > m/2.

Thank you.

Does this claim mean: the remainder of n divides m is <= m/2?
2013-08-12 23:41
Find all posts by this user Quote this message in a reply
Post Reply 
 
Thread Rating:
  • 0 Votes - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5


Forum Jump:


User(s) browsing this thread: 1 Guest(s)