Khoa học máy tính lý thuyết

Q & A cho các nhà khoa học và nhà nghiên cứu máy tính lý thuyết trong các lĩnh vực liên quan

1
Mạch số học chỉ với một cổng ngưỡng
Khi giới hạn 000 - 111 đầu vào, mỗi {+,×}{+,×}\{+,\times\} -circuit F(x1,…,xn)F(x1,…,xn)F(x_1,\ldots,x_n) tính một số chức năng F:{0,1}n→NF:{0,1}n→NF:\{0,1\}^n\to \mathbb{N} . Để có được hàm boolean , chúng ta chỉ cần thêm một cổng ngưỡng fanin-1 làm cổng đầu ra. Khi nhập a∈{0,1}na∈{0,1}na\in\{0,1\}^n , ngưỡng kết quả {+,×}{+,×}\{+,\times\} -mạchsau đó kết …


3
Có thể gõ lambda tính toán thể hiện * tất cả * thuật toán dưới một độ phức tạp nhất định không?
Tôi biết rằng độ phức tạp của hầu hết các loại tính toán lambda được gõ mà không có nguyên hàm tổ hợp Y bị giới hạn, nghĩa là chỉ có thể biểu thị các hàm phức tạp giới hạn, với giới hạn trở nên lớn hơn khi tính biểu …




2
Tại sao Kolmogorov xuất bản thuật toán Karatsuba?
Thuật toán của Karatsuba cho phép nhân nhanh được xuất bản lần đầu tiên ở A. Karatsuba và Yu. Ofman (1962), "Nhân số nhiều số bằng máy tính tự động", Kỷ yếu của Viện hàn lâm khoa học Liên Xô 145: 293 Tiết294. Theo Karatsuba (1995, "Sự phức tạp của …





2
Sự khác biệt của yếu tố trong thời gian O (n)?
Chúng ta đều biết rằng sự khác biệt của phần tử trong mô hình dựa trên so sánh không thể được thực hiện trong thời gian . Tuy nhiên, trên RAM từ, người ta có thể đạt được kết quả tốt hơn.o(nlogn)o(nlog⁡n)o(n\log n) Tất nhiên, nếu giả sử sự tồn …




Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.