Khoa học máy tính

Mục tiêu của tôi là giải quyết vấn đề sau, mà tôi đã mô tả bằng đầu vào và đầu ra của nó: Đầu vào: Một đồ thị chu kỳ có hướng với nút, nguồn và chìm ( ).GGGmmmnnn111m > n ≥ 1m>n≥1m > n \geq 1 Đầu ra: Các …

19 algorithms  complexity-theory  machine-learning  neural-networks  vc-dimension 

Tôi tiếp tục tìm thấy các tham chiếu đến điểm cố định trong các câu hỏi và câu trả lời tại stackexchange và tôi tìm kiếm ý nghĩa trên web rõ ràng là tìm thấy tài liệu tham khảo tại các trang web như Wikipedia. Tuy nhiên không có tài …

19 terminology 

Bạn muốn cải thiện bài này? Cung cấp câu trả lời chi tiết cho câu hỏi này, bao gồm trích dẫn và giải thích lý do tại sao câu trả lời của bạn là chính xác. Câu trả lời mà không đủ chi tiết có thể được chỉnh sửa hoặc …

18 graphs  graph-theory  fault-tolerance 

Chúng tôi có logic Hoare. Tại sao vẫn có khả năng thuật toán đúng nhưng không có bằng chứng nào cho thấy nó đúng? Giả sử thuật toán được biểu thị bằng C. Sau đó, chúng ta có thể lập luận từng bước rằng nó đang làm những gì nó …

18 correctness-proof  hoare-logic 

Trong bài báo "Một kiểu dữ liệu JSON được sao chép không xung đột" , tôi đã gặp ký hiệu này để định nghĩa chính thức "quy tắc": Ký hiệu này được gọi là gì? Làm thế nào để tôi đọc nó? Ví dụ: các DOCquy tắc không có bất …

18 semantics  notation  formal-methods  operational-semantics 

Nhờ định lý cắt cực tiểu dòng cực đại, chúng ta biết rằng chúng ta có thể sử dụng bất kỳ thuật toán nào để tính toán lưu lượng tối đa trong biểu đồ mạng để tính toán cắt . Do đó, độ phức tạp của việc tính toán một …

18 complexity-theory  reductions  network-flow  graph-algorithms 

Vấn đề tạm dừng không thể được giải quyết trong trường hợp chung. Có thể đưa ra các quy tắc xác định hạn chế các đầu vào được phép và vấn đề tạm dừng có thể được giải quyết cho trường hợp đặc biệt đó không? Ví dụ, có vẻ …

18 computability  undecidability  software-engineering  formal-methods 

Là một máy Turing không có khả năng ghi trên các ô trống kém mạnh hơn Turing tiêu chuẩn? Tôi nghĩ câu trả lời là có nhưng tôi không thể tìm thấy một tính toán mà máy Turing tiêu chuẩn có thể làm được nhưng máy này thì không. Có …

18 formal-languages  turing-machines  computability  automata 

Có tồn tại hàm tính toán f: N → Qf:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} sao cho: Đối với tất cả t ∈ N : 0 ≤ f( t ) &lt; Xt∈N:0≤f(t)&lt;Xt\in\mathbb{N}: 0\le f(t) < X limt → ∞f( t ) = Xlimt→∞f(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X Trong đó là một số thực không thể …

18 computability 

Sau khi phát hành thư viện AIGER để xử lý các đồ thị biến tần và đôi khi vào năm 2006 (tôi nghĩ), một số bộ giải SAT mạch đã được phát hành vào năm 2006-2008, và trong một vài cuộc đua / cuộc thi SAT có các bài hát …

18 satisfiability  circuits  sat-solvers 

Một ngữ pháp không ngữ cảnh có thể bao gồm "trạng thái chết" từ một máy tự động, chẳng hạn như G = ( { a , b , c } , { A , B , C} , { A → a B , B → b , B …

18 context-free  automata  formal-grammars 

Tôi chưa quen với lý thuyết ngôn ngữ lập trình. Tôi đã xem một số bài giảng trực tuyến trong đó người hướng dẫn tuyên bố rằng một hàm với kiểu đa hình forall t: Type, t-&gt;tlà danh tính, nhưng không giải thích được tại sao. Ai đó có thể …

18 programming-languages  type-theory 

Cài đặt: biểu thức chính quy với phản hồi ngôn ngữ đơn nguyên (bảng chữ cái 1 ký hiệu) Là vấn đề sau đây có thể quyết định trong cài đặt này: Đưa ra một biểu thức chính quy với các phản hồi, nó có định nghĩa một ngôn ngữ …

18 formal-languages  computability  regular-languages  undecidability  regular-expressions 

Tôi biết ít lý thuyết loại phụ thuộc. Từ wikipedia: Loại phụ thuộc là loại có định nghĩa phụ thuộc vào giá trị. Và từ khóa học lý thuyết Loại của tôi, tôi nhớ rằng một loại phụ thuộc là: Họ các loại được lập chỉ mục bởi một loại. …

18 dependent-types  hoare-logic 

Nếu có một thuật toán chạy trong thời gian cho một số vấn đề A và ai đó nghĩ ra một thuật toán chạy đúng lúc, , trong đó , nó có được coi là một cải tiến so với thuật toán trước không?O(f(n))O(f(n))O(f(n))O(f(n)/g(n))O(f(n)/g(n))O(f(n)/g(n))g(n)=o(f(n))g(n)=o(f(n))g(n) = o(f(n)) Liệu nó có ý …

18 algorithms