Khoa học máy tính

Giới thiệu Bước một Tôi đã viết một mạng nơ ron backpropegating tiêu chuẩn, và để kiểm tra nó, tôi quyết định đặt nó lên bản đồ XOR. Đó là mạng 2-2-1 (có chức năng kích hoạt tanh) X1 M1 O1 X2 M2 B1 B2 Để thử nghiệm, tôi tự …

16 machine-learning  neural-networks 

Trong câu hỏi này, chúng tôi chỉ xem xét các máy Turing tạm dừng trên tất cả các đầu vào. Nếu thì bằng T k, chúng ta biểu thị máy Turing có mã là k .k∈Nk∈Nk \in \mathbb{N}TkTkT_kkkk Hãy xem xét các chức năng sau đây s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y) = \min\{k \mid …

16 computability  turing-machines 

Tôi có một số đối tượng ưu tiên là loại ghép và chỉ được đặt hàng một phần . Tôi cần chọn các đối tượng theo thứ tự ưu tiên này (tức là mang lại mục tối thiểu mỗi lần). Nhưng thay vì tự ý hoàn thành đơn hàng, tôi …

16 data-structures  priority-queues 

Đặt là hàm cố định thời gian có thể xây dựng.fff Kết quả mô phỏng phổ quát cổ điển cho các TM (Hennie và Stearns, 1966) nói rằng có một TM hai băng sao choBạnBạnU mô tả về TM và⟨ M⟩⟨M⟩\langle M \rangle một chuỗi đầu vào ,xxx chạy cho …

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

Một số tiền đề: Tôi là một nhà khoa học máy tính giải trí và kỹ sư phần mềm làm việc. Vì vậy, xin lỗi nếu lời nhắc này có vẻ hơi lạc lõng - tôi thường xuyên chơi với simulcra toán học và các vấn đề mở khi tôi …

16 algorithms  reference-request  discrete-mathematics 

Trong cuốn sách "Hình học tính toán: Thuật toán và ứng dụng" của Mark de Berg và cộng sự, có một thuật toán vũ lực rất đơn giản để tính toán các tam giác Delaunay. Thuật toán sử dụng khái niệm các cạnh bất hợp pháp - các cạnh có …

16 algorithms  time-complexity  algorithm-analysis  computational-geometry  runtime-analysis 

Một giới hạn dưới tiệm cận như độ cứng theo cấp số nhân thường được cho là ngụ ý rằng một vấn đề là "khó khăn vốn có". Mã hóa "vốn đã khó" bị phá vỡ được cho là an toàn. Tuy nhiên, một giới hạn dưới tiệm cận không …

16 complexity-theory  cryptography  asymptotics 

Tôi đã nhận thấy rằng các cấu trúc dữ liệu khác nhau được sử dụng khi chúng tôi thực hiện các thuật toán tìm kiếm. Ví dụ: chúng tôi sử dụng hàng đợi để thực hiện tìm kiếm đầu tiên theo chiều rộng, ngăn xếp để thực hiện tìm kiếm …

16 algorithms  graphs  data-structures  search-algorithms 

Chúng tôi được cung cấp một bộ điểm 2 chiều và một số nguyên . Chúng ta phải tìm một tập hợp các vòng tròn bao gồm tất cả các điểm sao cho bán kính của vòng tròn lớn nhất càng nhỏ càng tốt. Nói cách khác, chúng ta phải …

16 algorithms  computational-geometry 

Tôi thực sự vật lộn với tài sản này: Đặt là không gian kết hợp và f : C l ( X ) → C l ( Y ) là hàm đơn điệu. f là liên tục khi và chỉ khi f ( ⋃ x ∈ D x ) = …

16 terminology  programming-languages  semantics 

Định nghĩa : Một đa giác PPP trong mặt phẳng được gọi là đơn điệu đối với đường thẳng LLL , nếu mọi đường thẳng trực giao với LLL cắt PPP nhiều nhất hai lần. Cho đa giác PPP , có thể xác định xem có tồn tại bất kỳ …

16 algorithms  computational-geometry 

Trong Lý thuyết tính toán của Michael Sipser ở trang 270, ông viết: P = lớp ngôn ngữ mà tư cách thành viên có thể được quyết định nhanh chóng. NP = lớp ngôn ngữ mà thành viên có thể được xác minh nhanh chóng. Sự khác biệt giữa "quyết …

16 complexity-theory  terminology  decision-problem 

Theo Wikipedia : Một cách không chính thức, từ quan điểm của lý thuyết thông tin thuật toán, nội dung thông tin của một chuỗi tương đương với độ dài của biểu diễn tự chứa ngắn nhất có thể có của chuỗi đó. Định nghĩa nghiêm ngặt không chính thức …

16 information-theory  terminology  kolmogorov-complexity 

Tôi đang cố gắng chứng minh rằng một đống nhị phân với nút có chính xác ⌈ nnnnlá, cho rằng heap được xây dựng theo cách sau:⌈n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceil Mỗi nút mới được chèn thông qua percolate lên . Điều này có nghĩa là mỗi nút mới phải được tạo …

16 data-structures  binary-trees 

Tôi đang tự mình tìm hiểu Định lý tự động / Trình giải quyết SMT / Trợ lý chứng minh và đăng một loạt câu hỏi về quy trình, bắt đầu từ đây . Tại sao các trình giải thích định lý tự động, ví dụ như ACL2 và bộ …

16 logic  proof-assistants  automated-theorem-proving  smt-solvers