Ngăn xếp (Stack) là gì ?

: Blogs; Blogs công nghệ

Một ngăn xếp là một cấu trúc dữ liệu trừu tượng (Abstract Data Type – viết tắt là ADT), hầu như được sử dụng trong hầu hết mọi ngôn ngữ lập trình. Đặt tên là ngăn xếp bởi vì nó hoạt động như một ngăn xếp trong đời sống thực, ví dụ như một cỗ bài hay một chồng đĩa, …

Trong đời sống thực, ngăn xếp chỉ cho phép các hoạt động tại vị trí trên cùng của ngăn xếp. Ví dụ, chúng ta chỉ có thể đặt hoặc thêm một lá bài hay một cái đĩa vào trên cùng của ngăn xếp. Do đó, cấu trúc dữ liệu trừu tượng ngăn xếp chỉ cho phép các thao tác dữ liệu tại vị trí trên cùng. Tại bất cứ thời điểm nào, chúng ta chỉ có thể truy cập phần tử trên cùng của ngăn xếp.

Đặc điểm này làm cho ngăn xếp trở thành cấu trúc dữ liệu dạng LIFO. LIFO là viết tắt của Last-In-First-Out. Ở đây, phần tử được đặt vào (được chèn, được thêm vào) cuối cùng sẽ được truy cập đầu tiên. Trong thuật ngữ ngăn xếp, hoạt động chèn được gọi là hoạt động PUSH và hoạt động xóa được gọi là hoạt động POP.

Biểu diễn cấu trúc dữ liệu ngăn xếp (Stack)

Screen Shot 2016-07-25 at 2.19.14 PM

Dưới đây là sơ đồ minh họa một ngăn xếp và các hoạt động diễn ra trên ngăn xếp.

Một ngăn xếp có thể được triển khai theo phương thức của Mảng (Array), Cấu trúc (Struct), Con trỏ (Pointer) và Danh sách liên kết (Linked List). Ngăn xếp có thể là ở dạng kích cỡ cố định hoặc ngăn xếp có thể thay đổi kích cỡ. Phần dưới chúng ta sẽ triển khai ngăn xếp bởi sử dụng các mảng với việc triển khai các ngăn xếp cố định.

Các hoạt động cơ bản trên cấu trúc dữ liệu ngăn xếp

Các hoạt động cơ bản trên ngăn xếp có thể liên quan tới việc khởi tạo ngăn xếp, sử dụng nó và sau đó xóa nó. Ngoài các hoạt động cơ bản này, một ngăn xếp có hai hoạt động nguyên sơ liên quan tới khái niệm, đó là:

Hoạt động push(): lưu giữ một phần tử trên ngăn xếp.
Hoạt động pop(): xóa một phần tử từ ngăn xếp.

Khi dữ liệu đã được PUSH lên trên ngăn xếp:

Để sử dụng ngăn xếp một cách hiệu quả, chúng ta cũng cần kiểm tra trạng thái của ngăn xếp. Để phục vụ cho mục đích này, dưới đây là một số tính năng hỗ trợ khác của ngăn xếp:

Hoạt động peek(): lấy phần tử dữ liệu ở trên cùng của ngăn xếp, mà không xóa phần tử này.
Hoạt động isFull(): kiểm tra xem ngăn xếp đã đầy hay chưa.
Hoạt động isEmpty(): kiểm tra xem ngăn xếp là trống hay không.

Tại mọi thời điểm, chúng ta duy trì một con trỏ tới phần tử dữ liệu vừa được PUSH cuối cùng vào trên ngăn xếp. Vì con trỏ này luôn biểu diễn vị trí trên cùng của ngăn xếp vì thế được đặt tên là top. Con trỏ top cung cấp cho chúng ta giá trị của phần tử trên cùng của ngăn xếp mà không cần phải thực hiện hoạt động xóa ở trên (hoạt động pop).

Phần tiếp theo chúng ta sẽ tìm hiểu về các phương thức để hỗ trợ các tính năng của ngăn xếp.

Phương thức peek() của cấu trúc dữ liệu ngăn xếp

Giải thuật của hàm peek():

Bắt đầu hàm peek

   return stack[top]
   
kết thúc hàm

Bắ t đầ u hà m peek

return stack [ top ]

kế t thú c hà m

Sự triển khai của hàm peek() trong ngôn ngữ C:

int peek() {
   return stack[top];
}

int peek ( ) {

return stack [ top ] ;

}

Phương thức isFull() của cấu trúc dữ liệu ngăn xếp

Giải thuật của hàm isFull():

Bắt đầu hàm isfull

   if top bằng MAXSIZE
      return true
   else
      return false
   kết thúc if
   
kết thúc hàm

Bắ t đầ u hà m isfull

if top bằ ng MAXSIZE

return true

else

return false

kế t thú c if

kế t thú c hà m

Sự triển khai của hàm isFull() trong ngôn ngữ C:

bool isfull() {
   if(top == MAXSIZE)
      return true;
   else
      return false;
}

bool isfull ( ) {

if ( top == MAXSIZE )

return true ;

else

return false ;

}

Phương thức isEmpty() của cấu trúc dữ liệu ngăn xếp

Giải thuật của hàm isEmpty():

bắt đầu hàm isempty

   if top nhỏ hơn 1
      return true
   else
      return false
   kết thúc if
   
kết thúc hàm

bắ t đầ u hà m isempty

if top nhỏ hơ n 1

return true

else

return false

kế t thú c if

kế t thú c hà m

Sự triển khai của hàm isEmpty() trong ngôn ngữ C khác hơn một chút. Chúng ta khởi tạo top tại -1, giống như chỉ mục của mảng bắt đầu từ 0. Vì thế chúng ta kiểm tra nếu top là dưới 0 hoặc -1 thì ngăn xếp là trống. Dưới đây là phần code:

bool isempty() {
   if(top == -1)
      return true;
   else
      return false;
}

bool isempty ( ) {

if ( top == - 1 )

return true ;

else

return false ;

}

Hoạt động PUSH trong cấu trúc dữ liệu ngăn xếp

Tiến trình đặt (thêm) một phần tử dữ liệu mới vào trên ngăn xếp còn được biết đến với tên Hoạt động PUSH. Hoạt động push bao gồm các bước sau:

Bước 1: kiểm tra xem ngăn xếp đã đầy hay chưa.
Bước 2: nếu ngăn xếp là đầy, tiến trình bị lỗi và thoát ra.
Bước 3: nếu ngăn xếp chưa đầy, tăng top để trỏ tới phần bộ nhớ trống tiếp theo.
Bước 4: thêm phần tử dữ liệu vào vị trí nơi mà top đang trỏ đến trên ngăn xếp.
Bước 5: trả về success.

Screen Shot 2016-07-25 at 2.18.35 PM

Nếu Danh sách liên kết được sử dụng để triển khai ngăn xếp, thì ở bước 3 chúng ta cần cấp phát một không gian động.

Giải thuật cho hoạt động PUSH của cấu trúc dữ liệu ngăn xếp

Từ trên có thể suy ra một giải thuật đơn giản cho hoạt động PUSH trong cấu trúc dữ liệu ngăn xếp như sau:

bắt đầu hoạt động push: stack, data

   if stack là đầy
      return null
   kết thúc if
   
   top ← top + 1
   
   stack[top] ← data

kết thúc hàm

bắ t đầ u hoạ t độ ng push : stack , data

if stack là đầ y

return null

kế t thú c if

top ← top + 1

stack [ top ] ← data

kế t thú c hà m

Sự triển khai của giải thuật này trong ngôn ngữ C là:

void push(int data) {
   if(!isFull()) {
      top = top + 1;   
      stack[top] = data;
   }else {
      printf("Khong the chen them du lieu vi Stack da day.\n");
   }
}

void push ( int data ) {

if ( ! isFull ( ) ) {

top = top + 1 ;

stack [ top ] = data ;

} else {

printf ( "Khong the chen them du lieu vi Stack da day.\n" ) ;

}

Để tìm hiểu chương trình C minh họa đầy đủ các hoạt động trên của ngăn xếp, mời bạn click chuột vào chương: Ngăn xếp (Stack) trong C.

Hoạt động POP của cấu trúc dữ liệu ngăn xếp

Việc truy cập nội dung phần tử trong khi xóa nó từ ngăn xếp còn được gọi là Hoạt động POP. Trong sự triển khai Mảng của hoạt động pop(), phần tử dữ liệu không thực sự bị xóa, thay vào đó top sẽ bị giảm về vị trí thấp hơn trong ngăn xếp để trỏ tới giá trị tiếp theo. Nhưng trong sự triển khai Danh sách liên kết, hoạt động pop() thực sụ xóa phần tử xữ liệu và xóa nó khỏi không gian bộ nhớ.

Hoạt động POP có thể bao gồm các bước sau:

Bước 1: kiểm tra xem ngăn xếp là trống hay không.
Bước 2: nếu ngăn xếp là trống, tiến trình bị lỗi và thoát ra.
Bước 3: nếu ngăn xếp là không trống, truy cập phần tử dữ liệu tại top đang trỏ tới.
Bước 4: giảm giá trị của top đi 1.
Bước 5: trả về success.

Screen Shot 2016-07-25 at 2.21.19 PM

Giải thuật cho hoạt động POP

Từ trên ta có thể suy ra giải thuật cho hoạt động POP trên cấu trúc dữ liệu ngăn xếp như sau:

bắt đầu hàm pop: stack

   if stack là trống
      return null
   kết thúc if
   
   data ← stack[top]
   
   top ← top - 1
   
   return data

kết thúc hàm

bắ t đầ u hà m pop : stack

if stack là trố ng

return null

kế t thú c if

data ← stack [ top ]

top ← top - 1

return data

kế t thú c hà m

Sự triển khai giải thuật trong ngôn ngữ C như sau:

int pop(int data) {

   if(!isempty()) {
      data = stack[top];
      top = top - 1;   
      return data;
   }else {
      printf("Khong the lay du lieu, Stack la trong.\n");
   }
}

int pop ( int data ) {

if ( ! isempty ( ) ) {

data = stack [ top ] ;

top = top - 1 ;

return data ;

} else {

printf ( "Khong the lay du lieu, Stack la trong.\n" ) ;

}

Để tìm hiểu chương trình C minh họa đầy đủ các hoạt động trên của ngăn xếp, mời bạn click chuột vào chương: Ngăn xếp (Stack) trong C.

Loạt bài hướng dẫn Cấu trúc dữ liệu và giải thuật của chúng tôi dựa trên nguồn tài liệu của: Tutorialspoint

Follow Techtalkvietnam để tiếp tục theo dõi các loạt bài mới nhất về Java,C,C++,Javascript,HTML,Python,Database,Mobile…. mới nhất của chúng tôi.

vietjack

Có thể bạn chưa biết:

DVMS chuyên:
- Tư vấn, xây dựng, chuyển giao công nghệ Blockchain, mạng xã hội,...
- Tư vấn ứng dụng cho smartphone và máy tính bảng, tư vấn ứng dụng vận tải thông minh, thực tế ảo, game mobile,...
- Tư vấn các hệ thống theo mô hình kinh tế chia sẻ như Uber, Grab, ứng dụng giúp việc,...
- Xây dựng các giải pháp quản lý vận tải, quản lý xe công vụ, quản lý xe doanh nghiệp, phần mềm và ứng dụng logistics, kho vận, vé xe điện tử,...
- Tư vấn và xây dựng mạng xã hội, tư vấn giải pháp CNTT cho doanh nghiệp, startup,...

Vì sao chọn DVMS?
- DVMS nắm vững nhiều công nghệ phần mềm, mạng và viễn thông. Như Payment gateway, SMS gateway, GIS, VOIP, iOS, Android, Blackberry, Windows Phone, cloud computing,…
- DVMS có kinh nghiệm triển khai các hệ thống trên các nền tảng điện toán đám mây nổi tiếng như Google, Amazon, Microsoft,…
- DVMS có kinh nghiệm thực tế tư vấn, xây dựng, triển khai, chuyển giao, gia công các giải pháp phần mềm cho khách hàng Việt Nam, USA, Singapore, Germany, France, các tập đoàn của nước ngoài tại Việt Nam,…

Quý khách xem Hồ sơ năng lực của DVMS tại đây >>

Quý khách gửi yêu cầu tư vấn và báo giá tại đây >>