Complexity and Correctness of Linear Search (Searching)

Channel:
Canada PageWizard Games, Learning & Entertainment
Subscribers:
785
Published on ● Video Link: https://www.youtube.com/watch?v=ywS_5j3SH-8


Duration: 30:17
40 views
3

In today's lesson we learn how we can prove linear search is a correct algorithm, it solves the search problem. After this, I sketch out how we can compute the time complexity of linear search.

Time Stamps:
0:00 Opening, recap
0:36 invariant for linear search
6:49 Proof of correctness (sketch) of linear search
24:53 Time complexity of linear search

Have a beautiful day!

Supporters (to date of publication, by tier (top to bottom)):
----------------------------------------------------------
Patreon Supporters (General Support):
Draikou
Patreon Supporters (Basic Support):
Patreon Supporters (Supporter Access!):
Eric R
-----------------------------------------------------------
Become a supporter today! To support my work and mission to provide free or accessible Computer Science education (especially in theory), subscribe to the channel, share my videos. Please donate and contribute to support my work for more content:
PATREON: https://www.patreon.com/PageWizard
SUBSCRIBESTAR: https://www.subscribestar.com/drpage
PAYPAL: https://paypal.me/pagewizard

Follow also at:
FACEBOOK: https://www.facebook.com/DanielRPage
TWITTER: https://twitter.com/PageWizardGLE
QUORA: https://www.quora.com/profile/Daniel-R-Page
TWITCH: https://www.twitch.tv/pagewizard

#ComputerScience
#Algorithms
#DataStructures



Other Videos By PageWizard Games, Learning & Entertainment


2022-09-15Darn You Yoku Blocks [Mega Man: Dr. Wily's Revenge]
2022-09-14Binary Search Algorithm (Searching: Algorithms & Lower Bounds)
2022-09-14Applications of Graph/Networks Traversal Algorithms
2022-09-12The Handshaking Lemma (Graphs: Algorithms & Theory)
2022-09-09Adversarial Argument and Searching Lower Bound (Searching: Algorithms and Lower Bounds)
2022-09-09Dan Plays Mega Man II [Gameboy, Join the Fun!]
2022-09-08Raking in the Lives! [Mega Man II]
2022-09-07What is a Graph? Basic Terminology (Graphs: Algorithms & Theory)
2022-09-07How to Explore a Graph/Network! [COME JOIN THE FUN, ALGORITHMS]
2022-09-06Beware Mochi the Cat, Search Breadth-Wise!
2022-09-05Complexity and Correctness of Linear Search (Searching)
2022-09-02Linear Search (Searching: Algorithms and Lower Bounds)
2022-09-02Dan Plays Mega Man III (Gameboy)! [COME JOIN THE FUN] (PART 2)
2022-09-01Story Time with Prof Page with No Context (for Really Big Girls and Boys!)
2022-09-01Dan Plays Mega Man III (Gameboy)! [COME JOIN THE FUN] (PART 1)
2022-08-31Open Addressing (Hashing: Fundamentals and Algorithms)
2022-08-29Separate Chaining (Hashing: Fundamentals and Algorithms)
2022-08-26What is a Hash Function? (Hashing: Fundamentals and Algorithms)
2022-08-26Dan Plays Mega Man IV (Gameboy)! [COME JOIN THE FUN]
2022-08-24Basic Concepts (Hashing: Fundamentals and Algorithms)
2022-08-24Graphs/Networks, Terminology, and How to Explore Them!


Tags:
Computer Science
Algorithms
Data Structures
Education
CompSci
CS
PageWizard
Mathematics
Accessibility
University
COMPSCI
COMP
CSCI
Western
Manitoba
StFX
Regina
Linear Search
Proof of correctness
correctness
correct
O(n)
linear time