Abstract Datatypes and Data Structures: Stacks, Queues, ...

(抽象データ型とデータ構造、スタック、キューなど)

Data Structures and Algorithms

4th lecture, October 8, 2015

http://www.sw.it.aoyama.ac.jp/2015/DA/lecture4.html

Martin J. Dürst

AGU

© 2009-15 Martin J. Dürst 青山学院大学

 

Today's Schedule

 

50th Anniversary Celebration

The College of Science and Engineering (理工学部) will celebrate its 50th Anniversary on October 10th (Saturday, Sagamihara Festival).

I strongly recommend attending the following events:

 

Summary of Last Lecture

The asymptotic growth (order of growth) of a function and the time (and space) complexity of an algorithm can be expressed with the Big-O/Ω/Θ notation:

f(n)∈O(g(n)) ⇔ ∃c>0: ∃n0≥0: ∀nn0: f(n)≤c·g(n)

The order of growth of a function can be found by:

When using Big-O notation, always try to simplify g() as much as possible.

 

Last Week's Homework

[昨年度資料につき削除]

Frequent Orders

O(1): Simple formulæ (e.g. interest calculation)

O(log n) (logarithmic order/time): binary search, other "divide and conquer" algorithms

O(n) (linear order, linear time): proportional to size of data, checking all data items once (or a finite number of times)

O(n log n): Sort, other "divide and conquer" algorithms

O(n2) (quadratic order/time), O(n3) (cubic order/time): Considering (almost) all combinatios of 2 or 3 data items

O(2n): Considering all subsets of data items

O(n!): Considering all permutations of data items

 

Polynomial versus Exponential Growth

Example:

1.1nn20

log(1.1)·n ≶ log(n)·20

n/log10(n) ≶ 20/log10(1.1) ≊483.2

n0 ≊ 1541

Conclusion: For a, b > 1, an will always eventually grow faster than nb

(nb is polynaminal, an is exponential)

 

The Importance of Polynomial Time

[We will discuss this in more detail in lecture 14]

 

Finding the (Asymptotic) Time Complexity of an Algorithm

Simplifications possible for big-O notation can be applied early.
Example: Because constant factors are irrelevant in big-O notation, they can be eliminated when counting steps.

 

How to Define Input Size Variables

 

How to Identify the Most Frequent Basic Operations

Caution: Some methods/functions may hide complexity (e.g. Ruby sort, ...)

 

Counting Basic Operations using Summation

 

Counting Basic Operations using Recurrence Relations

 

Recurrence Relations

 

Comparing the Execution Time of Algorithms

(from previous lectures)

Possible questions:

Conclusion: Expressing time complexity as O() allows to evaluate the essence of an algorithm, ignoring hardware and implementation differences.

 

Abstract Data Type (ADT)

 

Typical Examples of Abstract Data Types

 

Stack

Principle:
last-in-first-out (LIFO)
General example:
Stack of trays in cafeteria
Example from IT:
Function stack (local variables, return address, ...)
Main methods:
new, add/push, delete/pop
Other methods:
empty? (check whether the stack is empty or not)
top (return the topmost element without removing it from the stack)

 

Axioms for Stacks

It is possible to define a stack using the following four axioms:

  1. Stack.new.empty? ↔ true
  2. s.push(e).empty? ↔ false
  3. s.push(e).top ↔ e
  4. s.push(e).pop ↔ s (here, pop returns the new stack, not the top element)

(s is any arbitrary stack, e is any arbitrary data item)

Axioms can define a contract between implementation and users

 

Queue

Principle:
first-in-first-out (FIFO)
General example:
Queue in cafeteria waiting for food
Example from IT:
Queue of processes waiting for execution
Main methods:
add/enqueue, remove/delete/dequeue
Explain the meaning of GIGO: Garbage in, garbage out.

 

Comparing ADTs

Implementation: 4ADTs.rb

ADT stack queue
Implemented as Array LinearList Array LinearList
create O(n) O(1) O(n) O(1)
add O(1) O(1) O(1) or O(n)* O(1)
delete O(1) O(1) O(n)* or O(1) O(1)
empty? O(1) O(1) O(1) O(1)
length O(1) O(n) O(1) O(n)

*) Can be improved to O(1) by using a ring buffer

 

Summary

 

Homework

(no need to submit)

  1. Order the following orders of growth, and explain the reason for your order:

    O(n2), O(n!), O(n log log n), O(n log n), O(20n)

  2. Write a simple program that uses the classes in 4ADTs.rb.
    Use this program to compare the implementations.
    Hint: Use the second part of 2search.rb as an example.
  3. Implement the priority queue ADT (Ruby or any other programming language is okay)

    A priority queue keeps a priority (e.g. integer) for each data item.
    In the simplest case, the only data is the priority.
    The items with the highest priority leave the queue first.
    Implementation can use an array or a linked list or any other data structure.

 

Glossary

polynomial growth
多項式増加
exponential growth
指数的増加
integers with unlimited precision
非固定長整数
recurrence (relation)
漸化式
substitution
置換
abstract data type
抽象データ型
encapsulation
カプセル化
data integrity
データの完全性
modularization
モジュール化
type theory
型理論
object-oriended
オブジェクト指向 (形容詞)
type
class
クラス
member function
メンバ関数
method
メソッド
stack
スタック
cafeteria
食堂
axiom
公理
queue
待ち行列、キュー
ring buffer
リングバッファ
priority queue
順位キュー