[proof] Forum Topics

I guess most of you would have seen the algorithm for the following problem: **Input:** Set of intervals(time) **Output:** Partion of intervals into minimum subsets such that no interval in a subset overlaps. **The Algorithm:** Sort intervals by start times and look them in this order, put each interval in …

Hello fellow forum members, I am struggling to understand what I am supposed to be doing with ACL2. So I am given these axioms that define a function called up, and I just need to translate these into ACL2. -- axioms for predicate for increasing lists of numbers (up nil) …

Some of payment proof :) 

how to prove that 2n+2 is O(n^2) what is the vaue of c and n when 2n+2 is O(n^2)....

Prove that there is a positive integer that can be written as the sum of squares of positive integers in two different ways. For some reason this is not clicking in my head and I can not figure it out. Any help will be greatly appreciated and I would appreciate …