Khoa học máy tính

3

Cách hiệu quả nhất để tính giai thừa modulo là số nguyên tố là gì?

Bạn có biết thuật toán nào tính toán giai thừa sau khi mô đun hiệu quả không? Ví dụ, tôi muốn lập trình: for(i=0; i<5; i++) sum += factorial(p-i) % p; Nhưng, plà một con số lớn (nguyên tố) để áp dụng thừa trực tiếp (p≤108)(p≤108)(p \leq 10^ 8) . …

20 algorithms efficiency integers

1

Các loại máy chủ định lý tự động

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 . Đó là các provers định lý tự động có liên quan? Tôi tìm thấy một Đánh …

20 logic automated-theorem-proving proof-assistants

7

Các ví dụ về sự không nhất quán và không đầy đủ trong Unix / C là gì?

Trong bài tiểu luận nổi tiếng của Richard Gabriel The Rise of Worse is Better , ông đối chiếu các phiên bản được biếm họa của các triết lý thiết kế MIT / Stanford (Lisp) và New Jersey (C / Unix) dọc theo trục của sự đơn giản, chính xác, …

20 programming-languages operating-systems

2

Làm thế nào để đưa ra một thuật toán để sắp xếp (thay đổi kích thước) các cửa sổ trên màn hình để chiếm nhiều không gian nhất có thể?

Tôi muốn viết một chương trình đơn giản chấp nhận một bộ cửa sổ (chiều rộng + chiều cao) và độ phân giải màn hình và đưa ra sự sắp xếp các cửa sổ đó trên màn hình sao cho các cửa sổ chiếm nhiều không gian nhất. Do đó, …

20 algorithms computational-geometry packing user-interface

2

Tạo cây nhị phân tự đặt hàng

Tôi có một nhiệm vụ mà tôi cần sử dụng cây tìm kiếm nhị phân và thay đổi nó để tự đặt hàng sao cho các mục được truy cập nhiều nhất (có mức độ ưu tiên cao hơn) nằm ở đầu cây, gốc là nút được truy cập nhiều …

20 algorithms data-structures binary-trees search-trees

3

Đường dẫn đến phương thức chính thức

Không có gì lạ khi thấy sinh viên bắt đầu bằng tiến sĩ chỉ với một nền tảng hạn chế về toán học và các khía cạnh chính thức của khoa học máy tính. Rõ ràng sẽ rất khó để những sinh viên như vậy trở thành nhà khoa học …

20 formal-methods education

3

Khi nào hai mô phỏng không phải là một sự chia đôi?

Với một hệ thống chuyển tiếp nhãn , nơi S là một tập hợp của các quốc gia, Λ là một tập hợp nhãn và → ⊆ S × Λ × S là một ternary mối quan hệ. Như thường lệ, viết p α → q cho ( p , …

20 programming-languages formal-methods semantics process-algebras

3

HALF CLIQUE - NP Hoàn thành vấn đề

Hãy để tôi bắt đầu bằng cách lưu ý đây là một vấn đề bài tập về nhà, xin vui lòng chỉ cung cấp lời khuyên và các quan sát liên quan, xin vui lòng KHÔNG TRẢ LỜI TRỰC TIẾP . Như đã nói, đây là vấn đề tôi đang …

20 complexity-theory np-complete reductions

3

Các đơn vị xử lý song song lớn ngày nay có thể chạy automata di động một cách hiệu quả không?

Tôi tự hỏi liệu các đơn vị tính toán song song ồ ạt được cung cấp trong các card đồ họa hiện nay (chẳng hạn như một đơn vị được lập trình trong OpenCL ) có đủ tốt để mô phỏng automata di động 1D (hoặc có thể là automata …

20 computer-architecture parallel-computing cellular-automata

5

Tại sao mã hóa với cùng một lần không tốt?

Để mã hóa một thông điệp với một one-time-pad quan trọng k bạn làm E n c ( m 1 , k ) = m 1 ⊕ k .m1m1m_1kkkEnc(m1,k)=m1⊕kEnc(m1,k)=m1⊕kEnc(m_1,k) = m_1 \oplus k Nếu bạn sử dụng cùng để mã hóa một thông điệp khác nhau m 2 bạn nhận …

20 cryptography information-theory encryption

1

Thực hiện thuật toán GSAT - Làm thế nào để chọn nghĩa đen để lật?

Thuật toán GSAT, phần lớn, thẳng tiến: Bạn nhận được một công thức ở dạng bình thường kết hợp và lật các mệnh đề của mệnh đề cho đến khi bạn tìm thấy một giải pháp thỏa mãn công thức hoặc bạn đạt đến giới hạn max_tries / max_flips và …

20 algorithms satisfiability 3-sat

1

Tỷ lệ các vấn đề quyết định

Hãy xem xét các vấn đề quyết định được nêu trong một số ngôn ngữ chính thức hợp lý. Giả sử các công thức trong số học Peano bậc cao với một biến miễn phí là một khung tham chiếu, nhưng tôi cũng quan tâm đến các mô hình tính …

20 computability undecidability

1

Chứng minh rằng việc chuyển đổi từ CNF sang DNF là NP-Hard

Câu hỏi này đã được di chuyển từ Stack Overflow vì nó có thể được trả lời trên Computer Science Stack Exchange. Di cư 7 năm trước . Làm cách nào để chứng minh rằng việc chuyển đổi từ CNF sang DNF là NP-Hard? Tôi không yêu cầu một câu …

20 complexity-theory np-hard satisfiability sat-solvers normal-forms

2

Toàn cầu của cổng Toffoli

Về cổng Toffoli lượng tử : nó là cổ điển phổ quát, và nếu vậy, tại sao? là nó quantumly phổ quát, và tại sao?

20 quantum-computing circuits turing-completeness

3

Phân tích cú pháp ngữ pháp không có ngữ cảnh tùy ý, chủ yếu là các đoạn ngắn

Tôi muốn phân tích các ngôn ngữ cụ thể miền do người dùng xác định. Các ngôn ngữ này thường gần với các ký hiệu toán học (tôi không phân tích ngôn ngữ tự nhiên). Người dùng xác định DSL của họ theo ký hiệu BNF, như thế này: expr …

20 formal-languages parsers compilers