Khoa học máy tính

Thông thường trong các thuật toán, chúng tôi không quan tâm đến việc so sánh, cộng hoặc trừ các số - chúng tôi giả sử chúng chạy trong thời gian . Ví dụ: chúng tôi giả sử điều này khi chúng tôi nói rằng sắp xếp dựa trên so sánh …

74 algorithms  complexity-theory  algorithm-analysis  time-complexity  reference-question 

Tôi biết rằng các hoạt động khôn ngoan bit rất nhanh trên các bộ xử lý hiện đại, bởi vì chúng có thể hoạt động song song trên 32 hoặc 64 bit, vì vậy các hoạt động khôn ngoan bit chỉ mất một chu kỳ xung nhịp. Tuy nhiên, bổ …

73 computer-architecture  arithmetic  circuits  cpu  digital-circuits 

Câu hỏi: "Một số thuộc tính của ngôn ngữ lập trình có thể yêu cầu cách duy nhất để có được mã được viết trong đó là bằng cách diễn giải. Nói cách khác, việc biên dịch thành mã máy nguyên gốc của CPU truyền thống là không thể. Các …

72 programming-languages  compilers  interpreters 

Người ta thường nói rằng tra cứu bảng băm hoạt động trong thời gian không đổi: bạn tính toán giá trị băm, cung cấp cho bạn một chỉ mục cho một tra cứu mảng. Tuy nhiên, điều này bỏ qua va chạm; trong trường hợp xấu nhất, tất cả các …

71 algorithm-analysis  data-structures  runtime-analysis  hash-tables 

Làm thế nào máy tính có thể cho biết thời gian và ngày chính xác mỗi lần? Bất cứ khi nào tôi đóng máy tính (tắt máy), tất cả các kết nối và quy trình bên trong dừng lại. Làm thế nào mà khi tôi mở máy tính một lần …

69 computer-architecture  clocks 

Tôi là một sinh viên CS. Tôi hiểu làm thế nào Turing nghĩ ra cỗ máy trừu tượng của mình (mô hình hóa một người đang tính toán), nhưng dường như tôi là một người trừu tượng, lúng túng. Tại sao chúng ta xem xét một "băng" và đầu máy …

68 turing-machines  computation-models 

Vài năm trước, MapReduce được ca ngợi là cuộc cách mạng của lập trình phân tán. Cũng đã có những người chỉ trích nhưng nhìn chung, có một sự cường điệu nhiệt tình. Nó thậm chí còn được cấp bằng sáng chế! [1] Cái tên gợi nhớ mapvà reducetrong lập …

68 algorithms  distributed-systems  parallel-computing  algorithm-design 

Tôi đã nghe nói về cảm ứng (cấu trúc). Nó cho phép bạn xây dựng các cấu trúc hữu hạn từ các cấu trúc nhỏ hơn và cung cấp cho bạn các nguyên tắc bằng chứng để suy luận về các cấu trúc đó. Ý tưởng là đủ rõ ràng. …

68 terminology  logic  proof-techniques  formal-methods  coinduction 

Mọi người thường nói rằng trình phân tích cú pháp LR (k) mạnh hơn trình phân tích cú pháp LL (k) . Những tuyên bố này là mơ hồ hầu hết thời gian; cụ thể, chúng ta nên so sánh các lớp cho một cố định hoặc liên minh trên …

67 formal-languages  formal-grammars  parsers  reference-question 

Là một kỹ sư phần mềm, tôi viết rất nhiều mã cho các sản phẩm công nghiệp. Công cụ tương đối phức tạp với các lớp, chủ đề, một số nỗ lực thiết kế, nhưng cũng có một số thỏa hiệp cho hiệu suất. Tôi làm rất nhiều thử nghiệm …

66 programming-languages  program-correctness  software-verification 

Tôi muốn biết nếu đã có bất kỳ công việc liên quan đến mã pháp lý phức tạp. Cụ thể, giả sử chúng ta có vấn đề quyết định "Đưa ra cuốn sách luật này và tập hợp các tình huống cụ thể này, bị cáo có phạm tội không?" …

64 complexity-theory  np-complete  decision-problem 

Tôi hiện đang hoàn thành bằng thạc sĩ khoa học máy tính. Tôi quan tâm đến các ngôn ngữ lập trình, đặc biệt là trong các hệ thống loại. Tôi đã quan tâm đến nghiên cứu trong lĩnh vực này và học kỳ tiếp theo tôi sẽ bắt đầu bằng …

64 programming-languages  education  typing  research 

Tôi tự hỏi liệu có thể xây dựng trình biên dịch cho các ngôn ngữ động như Ruby để có hiệu suất tương tự và có thể so sánh với C / C ++ không? Từ những gì tôi hiểu về trình biên dịch, lấy ví dụ về Ruby, biên …

64 programming-languages  compilers 

Trong các ngôn ngữ như C, lập trình viên dự kiến ​​sẽ chèn các cuộc gọi miễn phí. Tại sao trình biên dịch không làm điều này tự động? Con người làm điều đó trong một khoảng thời gian hợp lý (bỏ qua lỗi), vì vậy không phải là không …

63 compilers  memory-management  garbage-collection 

Bạn được cung cấp một mảng gồm 2 n2viết sai rồi2n phần tử một1, một2, ... , mộtviết sai rồi, b1, b2, ... bviết sai rồimột1,một2,Giáo dục,mộtviết sai rồi,b1,b2,Giáo dụcbviết sai rồia_1, a_2, \dots, a_n, b_1, b_2, \dots b_n Nhiệm vụ là xen kẽ mảng, sử dụng thuật toán tại …

62 algorithms  arrays  permutations  in-place