Khỏi niệm chung về lớ thuyết mĩ.

Một phần của tài liệu Vài ứng dụng của lý thuyết cơ sở groebner (Trang 26 - 27)

Lớ thuyết mĩ bao gồm bài toỏn lập và giải mĩ.

Bài toỏn lập mĩ cú thể sơ đồ húa đơn giản như sau: Cú một bảng chữ

cỏi. Mỗi thụng tin bao gồm một số từ (chữ) tạo thành từ bảng chữ cỏi đú. Muốn truyền thụng tin đi, phải mĩ húa nú thành những tớn hiệu mà mỏy cú thể hiểu được. Thụng thường chỉ cú một số hữu hạn từ trờn một bảng chữ cỏi là cú nghĩa, do đú nếu lập mĩ theo từ thỡ núi chung mỗi từ sẽ ngắn hơn rất nhiều so với nguyờn tắc theo từng chữ cỏi.

Để tiện lợi cho việc diễn đạt, cú thể giả thiết thụng tin cần gửi là cỏc từ cú cựng độ dài là k, và được mĩ húa bằng cỏc từ cú cựng độ dài n trờn cựng

một bảng chữ cỏi Fq, trong đú Fq là trường hữu hạn gồm q phần tử và mỗi

phần tử của Fq được xem như một chữ cỏi. Khi đú cú thể mụ tả toỏn học bài toỏn lập mĩ như một đơn ỏnh:

: qk qn

E FWF .

Mỗi phần tử thuộcCIm( )E được gọi là từ mĩ, tập C là mĩ, E là hàm lập mĩ.

Việc giải mĩ cú thể mụ tả toỏn học là một hàm

: qn qk

D FF {lỗi},

Trong đú D F( qk \C) = {lỗi}. Hàm D E là ỏnh xạ đồng nhất trờn W.

Khi một từ mĩ n

q

x C F được truyền đi, nếu cú lỗi xuất hiện thỡ thay vỡ x sẽ nhận được từ y x e, trong đú n

q

eF . Số thành phần s khỏc 0 của e càng

lớn thỡ sai lệch so với thụng tin gửi đi càng nhiều. Do đú, s được gọi là số lỗi khi truyền tin. Một chiến lược khỏ tốt để đoỏn nhận và sửa lỗi là tỡm từ mĩ gần nhất với từ y nhận được theo nghĩa sau đõy.

Cho x y, Fqn. Khoảng cỏch Hamming giữa x và y là số

 

 

( , ) # 1,..., | i i

d x yin xy .

tức là ( , )d x y là số thành phần khỏc 0 của e y x. Với mỗi n q xF , gọi   ( , ) n | ( , ) q B x syF d x ys . là hỡnh cầu tõm x, bỏn kớnh s.

Một phần của tài liệu Vài ứng dụng của lý thuyết cơ sở groebner (Trang 26 - 27)