Khoa học máy tính

2

Là đảo ngược một ma trận trong lớp Độ phức tạp ?PP\text{P} Từ thời gian chạy tôi sẽ nói có nhưng ma trận đảo ngược có thể chứa các mục trong đó kích thước không bị giới hạn bởi đa thức bởi đầu vào?O(n3)O(n3)\mathcal{O}(n^3)

9 complexity-theory

1

2 trong thuật toán xấp xỉ 2 có nghĩa là gì?

Liệu 2 trong thuật toán xấp xỉ 2 có nghĩa là giải pháp nằm trong 2 * OPT hoặc OPT / 2?

9 algorithms algorithm-analysis np approximation polynomial-time

3

Một phương pháp ngây thơ là gì?

Tôi đã nghiên cứu lập trình động và đọc những điều sau đây: Thông thường khi sử dụng một phương thức ngây thơ hơn, nhiều bài toán con được tạo và giải quyết nhiều lần. Một phương pháp ngây thơ là gì?

9 terminology dynamic-programming

2

Những điểm sửa chữa là loại danh sách Haskell?

Hãy nói rằng danh sách được định nghĩa là List a = Nil | Cons a (List a) Vậy thì, trong Haskell là List xđiểm cố định lớn nhất hay ít nhất? Tôi yêu cầu bởi vì lfp nên loại trừ các danh sách vô hạn (nhưng bạn có thể …

9 programming-languages type-theory functional-programming semantics category-theory

2

Có một định nghĩa kinh điển về chức năng tinh khiết của Viking không?

StackOverflow chỉ cho tôi ở đây, vì vậy câu hỏi có thể là một chút trong các điều khoản của giáo dân. Wikipedia định nghĩa các hàm thuần túy là Trong lập trình máy tính, một hàm có thể được mô tả là một hàm thuần nếu cả hai câu …

9 terminology functional-programming semantics

1

Biểu cảm của biểu thức chính quy hiện đại

Gần đây tôi đã thảo luận với một người bạn về một trang web đề xuất các thách thức regex, chủ yếu khớp một nhóm từ với một thuộc tính đặc biệt. Anh ta đang tìm kiếm một regex khớp với các chuỗi như ||||||||số lượng số |nguyên tố. Tôi …

9 formal-languages machine-models logic boolean-algebra xor cryptography algorithms machine-learning algorithms paging virtual-memory programming-languages object-oriented algorithms search-algorithms strings binary-search formal-grammars context-free algorithms algorithms correctness-proof greedy-algorithms permutations logic first-order-logic logic-programming algorithms complexity-theory computability programming-languages complexity-theory complexity-classes quantum-computing reductions formal-languages programming-languages semantics operational-semantics small-step-semantics sets first-order-logic computer-networks communication-protocols

4

Từ hoặc địa chỉ byte? Thuật ngữ chính xác

Dường như, một byte đã tự thiết lập thành 8 bit (điều đó có đúng không?). RAM và NOR-flash thường có thể được truy cập ở mức khá chi tiết, nhưng tùy thuộc vào kiến trúc hệ thống để xác định xem đơn vị địa chỉ nhỏ nhất là 8 …

9 terminology computer-architecture memory-management memory-access

2

Sự tương đương của bộ độc lập và bộ đóng gói

Theo Wikipedia, sự cố Bộ độc lập là trường hợp đặc biệt của sự cố Đặt gói . Nhưng, dường như với tôi rằng những vấn đề này là tương đương. Các độc lập Set vấn đề tìm kiếm được: cung cấp một đồ thị và một số nguyên , …

9 algorithms graphs sets packing

2

Băm nhanh: kết hợp các kỹ thuật khác nhau để xác định các thay đổi trong một tệp?

Tôi muốn tạo một cách nhanh chóng để phát hiện xem một tệp có thể giống nhau hay không. Đối với sự chắc chắn gần như 100%, tôi sẽ sử dụng thuật toán băm hiện có, ví dụ SHA256. Tuy nhiên, các tệp được dự kiến là các tệp video …

9 hash performance

2

Phân vùng một ngôn ngữ thông thường vô hạn thành 2 ngôn ngữ thông thường vô hạn

Với bất kỳ ngôn ngữ thông thường vô hạn LLL nào, làm thế nào tôi có thể chứng minh rằng LLL có thể được phân chia thành 2 ngôn ngữ thông thường vô hạn ? Đó là: , và và đều vô hạn và đều đặn.L 1 ∪ L 2 …

9 formal-languages regular-languages finite-automata

3

Tại sao sử dụng -calculus mà không phải LTL, CTL, CTL *?

Được biết, các logic thời gian LTL, CTL, CTL * có thể được dịch / nhúng vào -calculus. Nói cách khác, (phương thức) -calculus bao gồm các logic này, (nghĩa là nó có ý nghĩa hơn.)μμ\muμμ\mu Bạn có thể vui lòng giải thích / chỉ cho tôi các giấy tờ …

9 logic simulation linear-temporal-logic mu-calculus computation-tree-logic

2

Có thể thực hiện các loại phụ thuộc trong vợt đánh máy?

Có thể sử dụng các loại phụ thuộc trong triển khai Vợt đánh máy hiện có không? (tức là họ có tồn tại trong đó không?) Có hợp lý không khi thực hiện Hệ thống các loại phụ thuộc bằng cách sử dụng vợt đánh máy?

9 programming-languages typing type-checking dependent-types lisp

1

Chuyển hướng mạng thần kinh thay vì hội tụ

Tôi đã triển khai một mạng lưới thần kinh (sử dụng CUDA) với 2 lớp. (2 nơ-ron mỗi lớp). Tôi đang cố gắng làm cho nó học 2 hàm đa thức bậc hai đơn giản bằng cách sử dụng backpropagation . Nhưng thay vì hội tụ, nó đang chuyển hướng …

9 machine-learning artificial-intelligence neural-networks

1

Điều đó có nghĩa gì khi nói rằng một ngôn ngữ được đóng lại một cách hiệu quả trong một hoạt động?

Tôi đã đọc một số bài lý thuyết ngôn ngữ chính thức và tôi đã gặp một thuật ngữ mà tôi không hiểu. Bài viết thường sẽ đề cập đến một tập hợp "được đóng một cách hiệu quả dưới giao lộ" hoặc các hoạt động khác. "Hiệu quả" nghĩa …

9 formal-languages terminology computability automata closure-properties

1

Có phải vấn đề Knapsack 0-1 trong đó giá trị bằng trọng lượng NP-đầy đủ?

Tôi có một vấn đề mà tôi nghi ngờ là NP-đầy đủ. Thật dễ dàng để chứng minh rằng đó là NP. Dòng suy nghĩ hiện tại của tôi xoay quanh việc sử dụng giảm từ ba lô nhưng nó sẽ dẫn đến các trường hợp 0-1-Knapsack với giá trị …

9 complexity-theory np-complete decision-problem packing