Câu hỏi được gắn thẻ «computable-analysis»

Lý lịch Việc tính toán trên các số thực phức tạp hơn so với tính toán trên các số tự nhiên, vì các số thực là các đối tượng vô hạn và có rất nhiều số thực, do đó các số thực không thể được biểu diễn một cách trung …

40 cc.complexity-theory  cg.comp-geom  computing-over-reals  computable-analysis 

Đây có thể là một câu hỏi cơ bản, nhưng tôi đã đọc và cố gắng tìm hiểu các bài báo về các chủ đề như tính toán cân bằng Nash và kiểm tra suy thoái tuyến tính và không chắc chắn về cách các số thực được chỉ định …

27 cc.complexity-theory  computability  na.numerical-analysis  computing-over-reals  computable-analysis 

Hiện tại, việc tính toán các số thực trong hầu hết các ngôn ngữ phổ biến vẫn được thực hiện thông qua các phép toán dấu phẩy động. Mặt khác, các lý thuyết như hiệu quả loại hai (TTE) và lý thuyết miền từ lâu đã hứa hẹn tính toán …

19 cc.complexity-theory  computing-over-reals  computable-analysis  domain-theory 

Độ phức tạp (trên RAM số nguyên tiêu chuẩn) của việc tính toán biến đổi Fourier rời rạc tiêu chuẩn của một vectơ số nguyên là gì?nnn Thuật toán cổ điển cho các biến đổi Fourier nhanh , không phù hợp [1] được quy cho Cooley và Tukey, thường được …

18 ds.algorithms  time-complexity  computing-over-reals  computable-analysis 

Tôi chỉ muốn biết một số ví dụ về các hàm có thể được tính toán bằng phép tính lambda chưa được gõ nhưng không phải bằng phép tính lambda gõ. Khi tôi là người mới bắt đầu, một số thông tin cơ bản sẽ được đánh giá cao. Cảm …

12 pl.programming-languages  type-theory  lambda-calculus  computable-analysis 

Như chúng ta biết, định nghĩa về độ phức tạp tính toán của thuật toán hầu như không có gì phải bàn cãi, nhưng định nghĩa về độ phức tạp tính toán của các số thực hoặc các mô hình tính toán trên các số thực không phải là trường …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

Tôi có một câu hỏi, câu trả lời của ai có lẽ đã được biết đến, nhưng dường như tôi không thể tìm thấy bất cứ điều gì có ý nghĩa sau một chút tìm kiếm, vì vậy tôi sẽ đánh giá cao sự giúp đỡ nào đó. Câu hỏi …

9 computability  computable-analysis