... 2. THUẬT TOÁN PHỔ DỤNG
NỘI DUNG
2.1 Máy Turing phổ dụng
2.2 Vấn đề không tính được; Định lý Goedel
2.3 Tính khó của bài toán
TÀI LIỆU THAM KHẢO
1. Bài giảng về cơ sở tínhtoán tại ... được trong lýthuyết đang xét.
Định lý Goedel thứ hai (tính không đầy đủ): Trong mỗi lýthuyết được tiên đề hóa phù hợp
(được tiên đề hóa có nghĩa là các tiên đề được sinh ra một cách tính được) ... phương diện bài toán quyết định: Các bài toán nhị phân quyết định được
bởi một thủ tục hữu hiệu là các bài toán T-quyết định được.
Trên phương diện tínhtoán các hàm: Các hàm tính được bởi một...
... không gian nhỏ về tínhtoán
(song song) với thời gian nhỏ, không gian lớn (Xem hình 10).
15
Hình 10. Mô hình tínhtoán hẹp
Có thể chuyển tínhtoán hẹp thành tínhtoán nén? Điều đó ... Ta gọi tínhtoán hẹp thời gian hoặc không gian yêu cầu là đa thức
Ta gọi tínhtoán nén thời gian và không gian đều yêu cầu là đa thức
Trong mục 3.4 sẽ thu các quá trình tínhtoán với ... yêu cầu bộ nhớ và độ phức tạp tínhtoán
Các tínhtoán không tiền định với bộ nhớ tuyến tính là các trò chơi trong đó tại mỗi thế có
nhiều hơn một nước đi (và tính được dễ dàng). Ta đã biết,...
...
Chương 4. TÍNHTOÁN KHÔNG TIỀN ĐỊNH
NỘI DUNG
4.1 Các khái niệm về độ phức tạp tínhtoán
4.2 Tínhtoán hẹp
4.3 Độ phức tạp của các bài toán NP
4.4 Một bài toán NP đầy đủ: bài toán sắp ... Ba. Lýthuyết ngôn ngữ và tính toán. NXB ĐHQG Hà nội, 2006.
5. Phan Đình Diệu. Lýthuyết ô tô mát và thuật toán. NXB ĐH & THCN, 1977.
2
4.1. Các khái niệm về độ phức tạp tínhtoán ... x
F
y mà (x y) tínhtoán dễ, còn (y x) tínhtoán khó
với phần lớn x gọi là hàm một chiều. Tình trạng của chúng một phần do cảm tính ngây
thơ trong lýthuyếttính toán. Nhiều hàm có vẻ...
...
Chương 5. TÍNH NGẪU NHIÊN TRONG TÍNHTOÁN
NỘI DUNG
5.1 Máy Turing ngẫu nhiên và các vấn đề liên quan
5.2 Thuật toán thử Monte-Carlo
5.3 Tính ngẫu nhiên và độ phức tạp
5.4 Tính giả ngẫu ... > x.
- Sắp xếp không giảm từng dãy con.
Độ phức tạp tínhtoán theo thời gian là O(nlogn).
5.1.2 Mô hình máy Turing có dùng tính ngẫu nhiên
Máy Turing ngẫu nhiên RM (randomized Turing ... khác) là băng chung
Độ phức tạp tínhtoán theo thời gian là O(nlogn).
3
Hình 1: Mô máy Turing ngẫu nhiên
Hoạt động của RM: thông qua cài đặt thuật toán QuickSort.
- Xét danh sách...
... BÀI TẬP 17
PHẦN 3: TÀI LIỆU THAM KHẢO 19
Trang - -
2
Tiểu luận Lýthuyếttínhtoán GVHD: PGS.TS Phan Huy Khánh
PHẦN 1: PHẦN LÝ THUYẾT
10.1 ĐỆ QUY VÀ LIỆT KÊ ĐỆ QUY
Chương này chúng ta sẽ tập ... 949, Fax. (84-511) 842 771
Website: itf.ud.edu.vn, E-mail: cntt@edu.ud.vn
Tiểu luận môn học
LÝTHUYẾTTÍNH TOÁN
Đề tài:
CÁC NGÔN NGỮ ĐỆ QUY VÀ ĐỆ QUY
LIỆT KÊ
NHÓM HỌC VIÊN : - TRƯƠNG TIẾN DƯỠNG
- ... least less likely
to be true.
Định lý 10.4 Nếu L là ngôn ngữ liệt kê đệ quy whose complement is RE thì L
là đệ quy.
Trang - -
5
Tiểu luận Lýthuyếttínhtoán GVHD: PGS.TS Phan Huy Khánh
Chứng...
... luận Lýthuyếttínhtoán
LỜI MỞ ĐẦU
Lý thuyếttínhtoán là lĩnh vực nghiên cứu các lýthuyết về máy tính, đó là nghiên cứu về
tính toán hiệu quả, các mô hình của các quá trình tính toán, ...
Tiểu luận Lýthuyếttínhtoán
ĐẠI HỌC ĐÀ NẴNG
TRƯỜNG ĐẠI HỌC BÁCH KHOA
TIỂU LUẬN
MÔN LÝTHUYẾT TNH TON
Đề tài:
TRèNH BY Lí THUYT V AUTOMAT Y XUNG
VÀ MINH HỌA BÀI TOÁN TRONG TIN ... học vật lý. Cũng như tham gia vào các lĩnh vực như thiết kế các thuật toán
cơ bản, tối ưu hóa tổ hợp, học máy, lýthuyết phức tạp tính toán, đại số máy tính, logic trong
khoa học máy tính, hình...
... BỘ GIÁO DỤC – ĐÀO TẠO
ĐẠI HỌC ĐÀ NẴNG
BÁO CÁO TIỂU LUẬN MÔNLÝTHUYẾTTÍNH TOÁN
Đề tài: Văn phạm phi ngữ cảnh tương ứng với một
máy nhận PDA và sự phân tích cú ... Tiến Mẫu
Nguyễn Văn Phong
Nguyễn Thị Vũ Thảo
Lớp : Khoa học máy tính
Khóa : Tháng 8/2009
Đà Nẵng, tháng 5/2010
Trang 1
Phần 1. LÝ THUYẾT
PUSHDOWN AUTOMATA
1. Văn phạm phi ngữ cảnh tương ứng với ... lên tính nổi bật của cái máy có đầu đọc di chuyển. Vì vậy đó là lý do mà
các chuỗi được chấp nhận và được hiển thị. Tuy nhiên cấu trúc câu cũng không thể
nói là nó sinh ra từ phân tích thuật toán. ...
... ĐẠI HỌC ĐÀ NẴNG
TRƯỜNG ĐẠI HỌC BÁCH KHOA
KHOA CÔNG NGHỆ THÔNG TIN
BÀI TIỂU LUẬN
MÔN LÝTHUYẾTTÍNH TOÁN
Đề tài: Cỏc bin dng ca mỏy Turing
(Chng 8, Mc 8.4)
ã
Giỏo viờn hng dn: PGS.TS PHAN ... (p, B, R) thì qXα pα⊢
CÁC BIẾN DẠNG CỦA MÁY TURING
Máy Turing với băng vô hạn hai chiều
ĐỊNH LÝ 1: Nếu L được nhận diện bởi TM với băng vô hạn hai chiều thì L cũng được
nhận diện bằng TM vô ... vô hạn hai chiều
CÁC BIẾN DẠNG CỦA MÁY TURING
Máy Turing với nhiều băng vô hạn hai chiều
ĐỊNH LÝ 2 : Nếu L được nhận dạng bởi máy Turing nhiều băng vô hạn hai chiều thì nó
cũng được nhận dạng...
... Tiểu luận mônLýthuyếttínhtoán Bài toán có giới hạn điều kiện
Trong mục này chúng ta đi chứng minh một loạt các bài toán như: bài toán TSP
được trình bày trong phần ... từ bài toán SAT cho mỗi vấn đề
quan tâm. Tuy nhiên, có một bài toán trung gian quan trọng, được gọi là "3SAT"
dễ hơn nhiều so với SAT để giảm các bài toán mẫu. 3SAT vẫn là bài toán ... tuyến tính.
Chứng minh: Dùng phương pháp quy nạp trên số lượng toán tử (, , v ơ). Ta
a ra mt biu thc tng ng F cú ơs cỏc bin, hn na nu E có ≥ 1 toán tử
thì F không có nhiều hơn 2n – 1 toán tử.
Vì...
... Khánh
LỜI MỞ ĐẦU
Lý thuyếttínhtoán là nền tảng lýthuyết của thông tin và tínhtoán để tạo ra sự thực thi và
các ứng dụng trên hệ thống máy tính. Nó nghiên cứu các khả năng tínhtoán khi áp dụng ... các
ôtômát hữu hạn trạng thái, các ngôn ngữ hình thức và văn phạm được sử dụng, lýthuyết về độ
phức tạp tính toán, lýthuyết ước tính, mô hình máy Turing, các hàm đệ quy, …
Trong khuôn khổ đề tài (Chương ... LUẬN
Môn:
LÝTHUYẾTTÍNH TOÁN
Đề tài:
CÁC BIẾN DẠNG CỦA MÁY TURING
GVHD: PGS. TS. Phan Huy Khánh
HVTH: Trương Thị Minh Hậu
Nguyễn Thị Mai Phương
Nguyễn Thanh Trung
LỚP : Khoa học máy tính- K24
(T9/2011)
Đà...
... bản chất của mônLýthuyếttính toán, nhất là các ngôn ngữ
hình thức, ngôn ngữ đệ quy và đệ quy đếm được. Văn phạm được sử dụng, lý
thuyết về độ phức tạp tính toán, lýthuyết ước tính
Nội dung ... lý ký hiệu, tínhtoán hình thức, các hệ thống đồ họa…
Lý thuyếttínhtoán là nền tảng lýthuyết của thông tin và tínhtoán để tạo ra
sự thực thi và các ứng dụng trên hệ thống máy tính. Nó nghiên ... 19
Tiểu luận: LýthuyếtTínhtoán GVHD: PGS.TS Phan Huy Khánh
TÀI LIỆU THAM KHẢO
[ 1 ] Phan Huy Khánh, Giáo trình Lýthuyếttính toán, Đại học Đà Nẵng
1999.
[ 2 ] Phan Huy Khánh, Lýthuyết ngôn...