Khoa học máy tính reference-request

2

Tình trạng hiện tại của các chương trình song song hoặc đồng thời trong đẳng cấu Curry-Howard là gì?

Trong Bằng chứng và Loại của Girard , chúng ta có thể đọc: Từ quan điểm thuật toán, phép tính tuần tự không có sự đồng hình hóa Curry-Howard, bởi vì vô số cách viết cùng một bằng chứng. Điều này ngăn chúng tôi sử dụng nó như một -calculus, …

9 reference-request logic parallel-computing

1

Thủ thuật được sử dụng trong bằng chứng về sự phức tạp theo cấp số nhân của các loại mỹ phẩm Presburger

Tôi đã đăng bài này lên MathUnderflow nhưng không có câu trả lời, vì vậy tôi nghĩ tôi sẽ thử nó ở đây, Tôi đang đọc bài báo cũ của Rabin và Fischer [sẽ đăng một liên kết khi có thể] trong số những điều khác, sự phức tạp theo …

9 complexity-theory reference-request logic

1

Dual tam giác độc đáo của đa giác đơn giản

Cho một tam giác (không có điểm Steiner) của đa giác đơn giản , người ta có thể xem xét tính kép của tam giác này, được định nghĩa như sau. Chúng ta tạo một đỉnh cho mọi tam giác trong tam giác của chúng ta và chúng ta kết …

9 reference-request computational-geometry

4

Tại sao tìm kiếm nhị phân được gọi là tìm kiếm nhị phân?

Tôi đã nghe một số giải thích có thể, vì vậy tôi muốn một số tài liệu tham khảo đáng tin cậy. Cập nhật 05.19: Tôi quan tâm đến câu hỏi vì một trong những sinh viên của tôi đã viết trong luận án của mình rằng tên này xuất …

9 terminology reference-request history

3

Sự tương đương của phân tích luồng dữ liệu, giải thích trừu tượng và suy luận kiểu?

Câu trả lời của @ Babou cho một câu hỏi gần đây nhắc nhở tôi rằng có lúc tôi nghĩ rằng tôi đã đọc một bài báo về sự tương đương (về cả hai sự kiện có thể được suy luận hoặc chứng minh và độ phức tạp của thời …

9 reference-request compilers type-inference program-optimization

1

Phân phối xác suất và độ phức tạp tính toán

Câu hỏi này là về giao điểm của lý thuyết xác suất và độ phức tạp tính toán. Một quan sát chính là một số bản phân phối dễ tạo hơn các bản phân phối khác. Ví dụ: vấn đề Cho một số nnn , trả lại một số phân …

9 complexity-theory reference-request probability-theory probabilistic-algorithms

1

Những thuật toán tồn tại để giải hệ thống tuyến tính số tự nhiên?

Tôi đang xem xét vấn đề sau: Với vectơ chiều các số tự nhiên v 1 , ... , v m và một số vector đầu vào u , là u một sự kết hợp tuyến tính của các v i 's với hệ số số tự nhiên?nnnv1, ... , …

9 algorithms reference-request linear-algebra integers knapsack-problems

1

Sự đồng hình thích hợp giữa các ngôn ngữ chính thức là gì?

Một ngôn ngữ chính thức trên một bảng chữ cái là một tập hợp con của , nghĩa là một tập hợp các từ trên bảng chữ cái đó. Hai ngôn ngữ chính thức và bằng nhau, nếu các bộ tương ứng được mở rộng bằng nhau dưới dạng tập …

9 complexity-theory formal-languages reference-request

1

Sự khác biệt giữa các ngôn ngữ được chấp nhận bởi hai DFA với trạng thái ban đầu / trạng thái chấp nhận khác nhau?

Gần đây, tôi đã hỏi một câu hỏi về Math SE. Vẫn chưa có phản hồi. Câu hỏi này liên quan đến câu hỏi đó, nhưng chi tiết kỹ thuật hơn đối với khoa học máy tính. Với hai DFAs và B = ( Q , Σ , δ , …

9 formal-languages reference-request finite-automata

2

Độ phức tạp của một biến thể tổng con

Là biến thể của vấn đề tổng tập hợp con dễ dàng / được biết đến? Cho một số nguyên và một tập hợp các số nguyên dương sao cho mỗi có tối đa bit được đặt thành ( ); có tập con sao cho tổng các phần tử của …

9 complexity-theory reference-request decision-problem

2

Giới thiệu về xác minh logic thứ tự đầu tiên

Tôi đang cố gắng dạy cho mình những cách tiếp cận khác nhau để xác minh phần mềm. Tôi đã đọc một số bài viết. Theo như tôi đã học, logic mệnh đề với thời gian thường sử dụng kiểm tra mô hình với các bộ giải SAT (trong các …

9 reference-request logic formal-methods sat-solvers software-verification

3

Tài nguyên học trực tuyến cho toán học rời rạc

Có bất kỳ tài nguyên web học toán rời rạc tốt với các bộ vấn đề?

9 reference-request education discrete-mathematics

1

Các thuật toán Machine Learning dựa trên cơ chế tối thiểu hóa rủi ro cấu trúc trên mạng?

Những thuật toán học máy nào (ngoài SVM) sử dụng nguyên tắc giảm thiểu rủi ro cấu trúc ?

9 reference-request machine-learning

3

Chi nhánh của Khoa học Máy tính nghiên cứu các chương trình Anti Virus hoạt động như thế nào?

Đây là một bài tập tầm thường trong automata hữu hạn để chỉ ra rằng không có thuật toán nào có thể phát hiện tất cả các loại virus, tuy nhiên vẫn có nhiều công ty phần mềm bán phần mềm Anti Virus. Có phần nào của CS liên quan …

9 reference-request security

2

Lý thuyết phức tạp cấu trúc là gì?

Tôi chưa quen với lý thuyết phức tạp và muốn biết lý thuyết phức tạp cấu trúc là gì? các nhà lý thuyết cố gắng giải quyết vấn đề gì trong lĩnh vực này và tương lai của nó là gì? Từ wikipedia: Lý thuyết phức tạp cấu trúc hay …

8 complexity-theory reference-request

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