MHB Solve Induction Problem: cn <= n log2n

  • Thread starter Thread starter nano1
  • Start date Start date
  • Tags Tags
    Induction
AI Thread Summary
The discussion revolves around solving an induction problem related to the number of comparisons, cn, made by a student studying a list of n elements. The user is challenged to prove that cn is less than or equal to n log2n for n >= 2, given specific initial conditions and a recursive relation. There is acknowledgment that the problem may be complex and requires careful application of mathematical induction. An attachment is mentioned that likely contains a solution or guidance on the induction process. The overall goal is to clarify the induction method to establish the inequality for the number of comparisons.
nano1
Messages
8
Reaction score
0
Hey I've been given an equality to solve as a bonus question with a strong hint that a like one would appear on my midterm.
However, I am stumped by it, it appears quite complex to me. Any insight into how to solve this would be greatly appreciated!
I'll try to type it as best I can:

A student is studying a list with n elements. The student determines that the number of comparisons c sub n when the list has n elements satisfies the following relation:

c0 = c1 = 0
c2 = 1
c3 <= 3
cn <= (2cn/2) + (n - 1) if n >= 4

Prove that for any n >= 2 the value cn satisfies the equation cn <= n log2n

I think I have to use induction to solve this but the question appears tricky and weirdly worded. Any help would be awesome, thank you !
 
Last edited:
Physics news on Phys.org
Hi,
The attachment answers your question. The induction is just a little tricky. Presumably, this is the number of comparisons in some algorithm for a list of length n.

View attachment 1715
 

Attachments

  • MHBdiscrete2.png
    MHBdiscrete2.png
    10.9 KB · Views: 80
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top