Khoa học máy tính lý thuyết

Mỗi lần tôi dạy NP-Complete, sinh viên hỏi "có vấn đề nào được biết là không thuộc về NP không?" Làm thế nào bạn sẽ trả lời? Tôi thường đưa ra cho họ một vấn đề không thể giải quyết được như một ví dụ, nhưng điều này thường không …

13 cc.complexity-theory  complexity-classes  teaching 

Điều tôi đề cập đến khi đếm là vấn đề bao gồm việc tìm số lượng giải pháp cho một hàm. Chính xác hơn, được cung cấp một hàm (không nhất thiết phải là hộp đen), gần đúng .f: N→ { 0 , 1 }f:N→{0,1}f:N\to \{0,1\}# { x ∈ N| …

13 ds.algorithms  reference-request  counting-complexity  time-complexity 

Giả sử NP! = CoNP, thì không có chứng chỉ kích thước đa thức cho bài toán hoàn thành coNP. Nhưng những gì về chứng chỉ kích thước phụ? Riêng đối với coSAT, có bằng chứng kích thước phụ để chứng minh một công thức là không thỏa đáng? Nếu …

13 cc.complexity-theory  proof-complexity 

Tham số cố định và xấp xỉ là các cách tiếp cận hoàn toàn khác nhau để giải quyết các vấn đề khó khăn. Họ có động lực khác nhau. Xấp xỉ tìm kết quả nhanh hơn với giải pháp gần đúng. Tham số cố định tìm kiếm giải pháp …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

Cho mệnh giá tiền xu, với c 1 = 1 và c 2 < c 3 < . . < c n là các số ngẫu nhiên phân bố đồng đều trong phạm vi [ 2 , N ] . Không có triệu chứng, thuật toán tham lam tạo ra …

13 ds.algorithms 

Các thuật toán di truyền phát triển trong ít thế hệ hơn với dân số lớn hơn, nhưng cũng mất nhiều thời gian hơn để tính toán một thế hệ. Có một số dòng hướng dẫn để cân bằng hai yếu tố đó, để đi đến một giải pháp khả …

13 ds.algorithms  machine-learning  genetic-algorithms 

Người ta biết rằng có một thuật toán tối ưu trường hợp xấu nhất để tính mã Huffman theo thời gian . Điều này được cải thiện theo hai cách trực giao:θ(nlgn)θ(nlg⁡n)\theta(n\lg n) Mã miễn phí tiền tố tối ưu có thể được tính nhanh hơn nếu tập hợp các …

13 cc.complexity-theory 

Tôi đã thử thư giãn LP sau của bộ độc lập tối đa max∑iximax∑ixi\max \sum_i x_i s.t. xi+xj≤1 ∀(i,j)∈Es.t. xi+xj≤1 ∀(i,j)∈E\text{s.t.}\ x_i+x_j\le 1\ \forall (i,j)\in E xi≥0xi≥0x_i\ge 0 Tôi nhận được 1/21/21/2 cho mỗi biến số cho mỗi đồ thị không có hai khối mà tôi đã thử. Có đúng …

13 graph-theory  co.combinatorics  linear-programming 

Tôi thấy các hệ thống chuyển đổi được gắn nhãn là một mô hình tốt cho ứng dụng của mình, cụ thể là có một bài viết về mô hình hóa các trường hợp sử dụng bằng LTS. Câu hỏi là, những gì có thể dễ dàng được chứng minh …

13 lo.logic  formal-modeling  model-checking  program-verification  automated-theorem-proving 

Điều này có liên quan đến câu hỏi chung về " Làm thế nào để tôi làm trọng tài? ". Tôi đang xem xét một bài báo cho một hội nghị, và bài báo này nên bị từ chối, bởi vì nó không đủ ý nghĩa để xuất bản và …

13 soft-question  paper-review 

Lý thuyết trình biên dịch dường như là một chủ đề khá hiệu lực. Một số vấn đề mở hoặc nghiên cứu hiện tại đang xảy ra trong lĩnh vực này là gì?

13 soft-question  big-list  open-problem  compilers 

Vertex Cover có thể dễ dàng được giảm xuống thành Bộ độc lập và ngược lại. Tuy nhiên, trong bối cảnh phức tạp được tham số hóa, bộ Độc lập khó hơn Vertex Cover. Một hạt nhân có 2k2k2k đỉnh tồn tại cho Vertex Cover, nhưng Bộ độc lập là …

13 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Một quan sát liên quan đến mật mã bất đối xứng là một số chức năng (được cho là) ​​dễ thực hiện theo một hướng nhưng khó đảo ngược. Hơn nữa, nếu tồn tại một số thông tin 'cửa bẫy' cho phép thao tác nghịch đảo được tính toán nhanh …

13 cc.complexity-theory  cr.crypto-security  homomorphic-encryption 

Trong khi cố gắng giải quyết vấn đề, cuối cùng tôi đã thể hiện một phần của nó như là chương trình tuyến tính số nguyên sau đây. Dưới đây là tất cả các số nguyên dương được cho là một phần của đầu vào. Một tập hợp con được …

13 reference-request  linear-programming  polynomial-time  integer-programming  integrality-gap 

độ phức tạp tính toán liên quan đến một lượng lớn Combinatorics và lý thuyết số, một số kỹ năng từ stochatics và một số đại số mới nổi. Tuy nhiên, là một nhà phân tích, tôi tự hỏi liệu có những ứng dụng phân tích vào lĩnh vực này, …

13 cc.complexity-theory  reference-request  soft-question  big-picture