Khoa học máy tính

1

Đây là điều tôi không thể tìm thấy - nhưng tôi luôn thấy thú vị rằng bổ đề bơm chỉ là một bổ đề (đặc biệt là vì nó có cùng tên với các ngôn ngữ thông thường, ngôn ngữ không ngữ cảnh, v.v ...) Nó là một bổ đề …

8 complexity-theory regular-languages finite-automata

1

Mã hóa kiểu đệ quy trên Hệ thống F (và các hệ thống loại thuần túy khác)

Tôi đang nghiên cứu các hệ thống loại thuần túy, đặc biệt là tính toán các công trình, và cố gắng sử dụng mã hóa cho các loại đệ quy trên nó, theo Philip Wadler, là có thể . Ví dụ, tôi đang sử dụng thư viện Morte Haskell để …

8 lambda-calculus type-theory

2

Cách tạo n điểm tương đương trong không gian n-1

Như đã nói, tôi muốn xây dựng một chương trình để tạo ra n điểm tương đương trong một không gian eidianidian. Từ những gì tôi biết 1đ: tất cả vài điểm 2d: tất cả các tam giác đều 3d: tất cả các tứ diện đều lên đến 3d: tôi …

8 computational-geometry

3

Tại sao không đơn giản để đếm số lượng từ trong một ngôn ngữ thông thường?

Cho DFA, A, hãy để L (A) biểu thị số lượng từ A chấp nhận. Tôi nghĩ thật dễ dàng để tính L (A): Dịch mã hóa của A thành một biểu thức thông thường. Nếu ngôi sao Kleene xuất hiện ở bất cứ đâu trong biểu thức - ngôn …

8 regular-languages automata regular-expressions

4

Cách nhanh nhất để tìm giá trị nhỏ nhất thứ K trong danh sách chưa sắp xếp mà không cần sắp xếp là gì?

Thuật toán ban đầu của tôi: So sánh phần tử 0 với mọi phần tử khác, theo dõi xem có bao nhiêu phần tử nhỏ hơn nó. Lặp lại cho mỗi phần tử cho đến khi một phần tử lớn hơn các phần tử chính xác (k-1) được tìm thấy. …

8 search-algorithms lists

1

Động lực học tập

Gần đây tôi đã biết về Q-learning, một kỹ thuật học tập củng cố, ước tính trực tiếp giá trị dự kiến của việc thực hiện một hành động trong một trạng thái. Tôi tự hỏi liệu có tồn tại các kỹ thuật để thực hiện "học động lực học", …

8 machine-learning physics

2

Sắp xếp một mảng gồm

Tôi đang cố gắng hiểu làm thế nào tôi có thể sắp xếp một mảng gồm phần tử khi chỉ không có .nnnlognlog⁡n\log n Tôi nghe nói rằng việc sắp xếp một mảng với tối đa đảo ngược có độ phức tạp . Vì có các phần tử chưa được …

8 sorting

2

Phát hiện các trường hợp dễ dàng của các vấn đề NP-hard có dễ không?

Câu hỏi của tôi là như sau. Giả sử rằng là một vấn đề khó NP. Với một thể tùy ý của và cho rằng một kẻ thù biết rằng trường hợp này rất dễ dàng để giải quyết, là nó có thể tìm thấy một thuật toán thời gian …

8 complexity-theory np-complete np-hard np p-vs-np

4

Người giải quyết SAT quyết định

Tôi có câu hỏi sau đây. Là người giải SAT có tính quyết định? Ý tôi là, ví dụ, về thuật toán miniSAT và DPLL . Họ hoàn toàn xác định? Nếu các thuật toán này sẽ trả về unSAT, điều đó có nghĩa là chắc chắn giải pháp đó …

8 algorithms logic satisfiability sat-solvers

1

Không có gì đơn điệu của người Viking có nghĩa là gì trong bối cảnh có thể thay đổi

Tôi đang đọc Ngôn ngữ lập trình Rust và tìm thấy đoạn văn sau: Hãy nhớ rằng viết vào một cấu trúc không phải là một hoạt động nguyên tử và nhiều chức năng như vec.push()có thể phân bổ lại bên trong và gây ra hành vi không an toàn, …

8 programming-languages synchronization

1

Có một vấn đề NP-đầy đủ, sao cho phiên bản quyết định của vấn đề đếm của nó không hoàn thành PP?

Khi chúng tôi sửa một trình xác minh xác định thời gian đa thức V (đầu vào, chứng chỉ), vấn đề NP tương ứng của nó là câu hỏi: Đối với đầu vào này, chứng chỉ (kích thước đa thức) có tồn tại sao cho V (đầu vào, chứng chỉ) …

8 complexity-theory

3

Boolean phương trình iff đúng được thỏa mãn trong ILP

Giả sử là một biến boolean trong một chương trình ILP (có nghĩa là , st 0 <= y <= 1 ) và x_1 , x_2 được bao bọc nguyên biến giữa 0 và M . Tôi muốn mã hóa các ràng buộc mức cao sau đây:y ∈ Z 0 …

8 integer-programming

2

Lý thuyết miền và đa hình

Lý thuyết miền đưa ra một lý thuyết tuyệt vời về khả năng tính toán với sự hiện diện của các loại đơn giản. Nhưng khi đa hình tham số được thêm vào, dường như không có một lý thuyết hay nào giải thích những gì đang diễn ra khá …

8 computability type-theory dependent-types

1

là

Tôi nghĩ rằng hai lớp này phải giống nhau, nhưng tôi không thể tìm thấy bất kỳ tài liệu nào về điều này và có một nền tảng hạn chế về chủ đề này. Đây là lý do của tôi, và tôi muốn biết nếu (1) điều này đã được …

8 complexity-theory complexity-classes quantum-computing

1

Làm thế nào để giảm thiểu mức độ chính xác của một tập hợp và phân tách các phân vùng chịu các ràng buộc trong thời gian đa thức?

Vấn đề thực sự tôi đang phải đối mặt là như sau. INSTANCE : Tôi có các bộ và và ma trận cho tất cả và j \ in N .N : = { 1 , ... , n } N:={1,…,n}N:=\{1,\ldots,n\}K : = { 1 , ... , k } …

8 algorithms optimization