Khoa học máy tính

8

Ngôn ngữ lập trình nơi mọi biểu thức có ý nghĩa

Theo khuyến nghị, tôi đang đăng lại cái này từ Stack Overflow . Gần đây tôi đã suy nghĩ về vấn đề sau. Xem xét mã cho một tiêu chuẩn "Xin chào thế giới!" chương trình: main() { printf("Hello World"); } Bây giờ hầu như bất kỳ thay đổi nào …

23 programming-languages computation-models

4

Làm thế nào để người thu gom rác tránh chồng chất tràn?

Vì vậy, tôi đã suy nghĩ về cách thức thu gom rác hoạt động và tôi nghĩ về một vấn đề thú vị. Có lẽ người thu gom rác phải đi qua tất cả các cấu trúc theo cùng một cách. Họ không thể biết thời tiết họ đang đi …

23 programming-languages memory-management garbage-collection

1

Phân biệt thủ tục quyết định so với người giải quyết SMT và người giải quyết định lý và người giải quyết ràng buộc

Những thuật ngữ đó làm tôi bối rối. Như tôi hiểu Bộ giải SAT: quyết định sự thỏa mãn của logic mệnh đề (sử dụng DPLL hoặc Tìm kiếm cục bộ). Thủ tục quyết định là một thủ tục để quyết định sự thỏa mãn của một lý thuyết bậc …

23 algorithms terminology reference-request decision-problem

1

Độ phức tạp của việc dùng mod

Đây có vẻ là một câu hỏi nên có một câu trả lời dễ dàng, nhưng tôi không có câu trả lời dứt khoát: Nếu tôi có hai số bit , thì độ phức tạp của việc tính toán gì?nnna,pmột,pa, pamodpamodpa\bmod p Chỉ chia cho sẽ mất thời gian trong …

23 algorithms number-theory

10

Là một ngôn ngữ lắp ráp phổ quát cho tất cả các máy tính có thể?

Tôi muốn hỏi một vài câu hỏi về ngôn ngữ hội. Tôi hiểu rằng nó rất gần với ngôn ngữ máy, làm cho nó nhanh hơn và hiệu quả hơn. Vì chúng ta có các kiến trúc máy tính khác nhau tồn tại, điều đó có nghĩa là tôi phải …

23 programming-languages computer-architecture

2

Tại sao Push_back trong vectơ C ++ không được khấu hao?

Tôi đang học C ++ và nhận thấy rằng thời gian chạy cho hàm Push_back cho vectơ là "khấu hao" không đổi. Tài liệu lưu ý thêm rằng "Nếu việc tái phân bổ xảy ra, việc tái phân bổ chính nó là theo tuyến tính trong toàn bộ kích thước." …

23 algorithms time-complexity amortized-analysis

4

Sự khác biệt giữa Mạng thần kinh, Hệ thống học tập sâu và Mạng niềm tin sâu sắc là gì?

Sự khác biệt giữa Mạng thần kinh, Hệ thống học tập sâu và Mạng niềm tin sâu sắc là gì? Khi tôi nhớ lại mạng lưới thần kinh cơ bản của bạn là một loại 3 lớp và tôi đã có Deep Belief Systems được mô tả là các mạng …

23 machine-learning neural-networks boltzmann-machine

2

Trả chung vấn đề hóa đơn

Có người ở một bàn. Người thứ phải trả đô la.i p innniiipipip_i Một số người không có hóa đơn phù hợp để trả chính xác , vì vậy họ đưa ra thuật toán sau.pipip_i Đầu tiên, mọi người đặt một số tiền của họ lên bàn. Sau đó, mỗi …

23 algorithms optimization

1

Làm thế nào để bàn định tuyến của Popating Pastry hoạt động?

Câu hỏi này đã được di chuyển từ Exchange Engineering Stack Exchange vì nó có thể được trả lời trên Computer Science Stack Exchange. Di cư 7 năm trước . Tôi đang cố gắng thực hiện Bảng phân phối bánh ngọt Pastry, nhưng một số thứ đang thoát khỏi sự …

23 algorithms data-structures distributed-systems hash-tables

3

Phân loại hệ thống loại (mạnh / yếu, động / tĩnh)

Tóm lại: làm thế nào các hệ thống loại được phân loại trong bối cảnh học thuật; đặc biệt, tôi có thể tìm các nguồn có uy tín ở đâu để làm rõ sự khác biệt giữa các loại hệ thống loại khác nhau? Theo một nghĩa nào đó, khó …

23 reference-request programming-languages type-theory

8

Sự ngẫu nhiên thực sự là gì

Tôi là sinh viên Khoa học Máy tính và hiện đang theo học khóa Mô hình & Mô hình Hệ thống. Nó liên quan đến việc xử lý các hệ thống hàng ngày xung quanh chúng ta và mô phỏng chúng trong các tình huống khác nhau bằng cách tạo …

23 randomness modelling

1

Phân cụm các bài hát (Vấn đề Joe Walsh)

The Eagles là một siêu nhóm nhạc rock từ những năm 70 và 80, chịu trách nhiệm cho những tác phẩm kinh điển như Hotel California . Chúng có hai âm thanh khá đặc biệt, một âm thanh mà guitarist Joe Walsh có mặt (ví dụ, trong Life in the …

23 machine-learning modelling

5

-calculus với sự phản chiếu

Tôi đang tìm kiếm một phép tính đơn giản hỗ trợ lý luận về sự phản chiếu , cụ thể là sự hướng nội và thao tác của các chương trình đang chạy. Có phần mở rộng -calculus nào cho phép người ta chuyển đổi -terms thành một hình thức …

23 logic lambda-calculus semantics reflection

1

Có tương đương với cây van Emde Boas cho dây thừng không?

Một người mà tôi biết đang có kế hoạch triển khai trình soạn thảo văn bản trong tương lai gần, điều đó khiến tôi suy nghĩ về loại cấu trúc dữ liệu nào nhanh cho trình soạn thảo văn bản. Các cấu trúc được sử dụng nhiều nhất rõ ràng …

23 data-structures

5

P-Hoàn thành và Tính toán song song

Gần đây tôi đã đọc về các thuật toán để kiểm tra tính đơn giản và đọc rằng vấn đề đã hoàn thành . Hơn nữa, một hậu quả của điều này là vấn đề này, hoặc bất kỳ vấn đề hoàn chỉnh P nào, không có khả năng có …

23 complexity-theory parallel-computing