tailieunhanh - Một số đặc trưng của lý thuyết mô hình tính toán được tổng quát hóa trên số thực và các cấu trúc đại số khác.

Một số đặc trưng của lý thuyết mô hình tính toán được tổng quát hóa trên số thực và các cấu trúc đại số khác. Để mô tả sự tương tự về mặt tổ chức (cấu trúc) của 2 hệ thống, điều khiển học đã xây dựng ra ngôn ngữ hình thức với các khái niệm như tổ chức, cấu trúc, trật tự, sự đa dạng, sự ràng buộc, ngẫu nhiên, tự do, sự phức tạp. | Tạp chí Tin học và Đĩêu khiền học T. 19 s. 3 2003 201-216 SOME CHARACTERIZATIONS OF COMPUTATION AND COMPLEXITY OVER THE REAL NUMBERS AND OTHER ALGEBRAIC STRUCTURES TRAN THO CHAU National University Hanoi Abstract. In this paper the BSS model of computation over the reals and other rings as well as a more general model of computation over arbitrary algebraic structures are introduced and discussed. Some crucial results concerning computability and omputational complexity within both frameworks are given and explained. Tóm tắt. Trong bài báo này chúng tôi tổng quan một số đặc trưng của hai mô hình tính toán mô hình tính toán của Blum-Shub-Smale trên số thực và cả trên các vành và một mô hình tổng quát hơn về sự tính toán trên các cấu trúc đại số bất kỳ. Một số kết quả quan trọng hên quan đến khả năng tính toán và độ phức tạp tính toán theo hai mô hình nói trên được đưa ra và nghiên cứu. 1. INTRODUTION In 1989 L. Blum M. Shub and s. Smale 4 introduced a model for computations over the real numbers and other rings as well which is now usually called a BSS machine. One motivation for this comes from scientific computation. In the use of the computer a reasonable idealization measures the cost of operations and tests independent of the size of the number. This contrasts to the usual theoretical computer science picture which takes into account the number of bits of the operands. Another motivation is to bring the theory of computation into the domain of analysis geometry and topology. The mathematics of these subjects can then be used in the systematic analysis of algorithms. A novelty of the approach of Blum Shub and Smale is that their model is uniform for all input-lengths whereas the notions explored in algebraic complexity straight-line programs arithmetic circuits decision trees are typically non-uniform. One of the main purposes of the BSS approach was to create a uniform complexity theory dealing with problems having an analytical and topological background and .

TỪ KHÓA LIÊN QUAN
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.