Tin tức chung·Hacker News·1 lượt xem
Tất cả các hàm cơ bản từ một toán tử nhị phân
All elementary functions from a single binary operator
Một cổng hai đầu vào duy nhất đủ cho tất cả logic Boolean trong phần cứng kỹ thuật số. Không có nguyên mẫu nào có thể so sánh được với toán học liên tục: tính toán các hàm cơ bản như sin, cos,...
Tóm tắt:Một cổng hai đầu vào duy nhất đủ cho tất cả logic Boolean trong phần cứng kỹ thuật số. Không có nguyên mẫu nào có thể so sánh được với toán học liên tục: việc tính toán các hàm cơ bản như sin, cos, sqrt và log luôn yêu cầu nhiều phép toán riêng biệt. Ở đây tôi chỉ ra rằng một toán tử nhị phân, eml(x,y)=exp(x)-ln(y), cùng với hằng số 1, tạo ra danh mục tiêu chuẩn của một máy tính khoa học. Điều này bao gồm các hằng số như e, pi và i; các phép tính số học bao gồm cộng, trừ, nhân, chia và lũy thừa cũng như các hàm siêu việt và đại số thông thường. Ví dụ: exp(x)=eml(x,1), ln(x)=eml(1,eml(eml(1,x),1)), và tương tự cho tất cả các phép toán khác. Việc một nhà điều hành như vậy tồn tại là điều không thể lường trước được; Tôi đã tìm thấy nó bằng cách tìm kiếm toàn diện một cách có hệ thống và xác lập một cách xây dựng rằng nó đủ cho cơ sở máy tính khoa học cụ thể. Ở dạng EML (Exp-Minus-Log), mọi biểu thức như vậy sẽ trở thành một cây nhị phân gồm các nút giống hệt nhau, tạo ra một ngữ pháp đơn giản như S -> 1 | eml(S,S). Cấu trúc thống nhất này cũng cho phép hồi quy ký hiệu dựa trên độ dốc: sử dụng cây EML làm mạch có thể huấn luyện với bộ tối ưu hóa tiêu chuẩn (Adam), tôi chứng minh tính khả thi của việc khôi phục chính xác các hàm cơ bản dạng đóng từ dữ liệu số ở độ sâu cây nông lên đến 4. Kiến trúc tương tự có thể phù hợp với dữ liệu tùy ý, nhưng khi luật tạo ở mức cơ bản, nó có thể khôi phục công thức chính xác.
| Nhận xét: | 2 số liệu, Thông tin bổ sung, mã có sẵn tại URL https này |
| Chủ đề: | Tính toán biểu tượng (cs.SC); Học máy (cs.LG) |
| MSC lớp: | 26A09 (Chính) 08A40, 68W30 (Phụ) |
| ACM các lớp: | I.1.1; F.1.1 |
| Trích dẫn là: | arXiv:2603.21852 [cs.SC] |
| (hoặc arXiv:2603.21852v2 [cs.SC] cho phiên bản này) | |
| https://doi.org/10.48550/arXiv.2603.21852 DOI do arXiv cấp qua DataCite |
Tác giả: pizza
#discussion