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

1

Các tam giác Delaunay trên quả cầu có tối đa hóa góc tối thiểu không?

Tam giác Delaunay trong mặt phẳng tối đa hóa góc tối thiểu trong một tam giác. Điều tương tự có đúng với tam giác Delaunay của các điểm trên quả cầu không? (ở đây "góc" là góc cục bộ trong một vùng lân cận xung quanh đỉnh ở đỉnh). Lấy …

9 cg.comp-geom  delaunay-triangulation 

---

2

Sự phức tạp trong giao tiếp với trọng tài

Giả sử một khung trong độ phức tạp trong giao tiếp, nơi chúng tôi có hai người chơi A (chấy) và B (ob) và R (eferee). A và B không liên lạc trực tiếp với nhau. Trong mỗi vòng giao tiếp, mỗi người trong số họ gửi một tin nhắn …

9 cc.complexity-theory  reference-request  communication-complexity 

---

2

Thuật toán liệt kê Clique

Tôi đang đọc một bài báo cũ của MC Golumbic về đồ thị EPT (giao điểm cạnh của các đường trong cây). Trong bài báo cho thấy số lượng bản sao tối đa của một thể hiện đồ thị EPT là đa thức. Nó kết luận rằng nếu một nhà …

9 ds.algorithms  graph-algorithms  clique 

---

2

Nghiên cứu về suy luận dựa trên loại trang web cuộc gọi?

Tôi đang cố gắng tìm hiểu thêm về kiểm tra toàn bộ loại chương trình và hệ thống suy luận sử dụng thông tin từ các trang gọi chức năng để tính toán thông tin loại (ngoài cách tiếp cận tiêu chuẩn sử dụng thân hàm). Ví dụ, một thuật …

9 pl.programming-languages  type-theory  type-inference  type-systems 

---

2

Tính khoảng cách đến hàng xóm gần thứ k cho tất cả các điểm trong tập hợp

Đối với một ứng dụng học máy, nhóm của tôi cần tính khoảng cách Euclide với hàng xóm gần nhất thứ trong một tập cho mỗi (cho trong khoảng từ 5 đến khoảng 100 và vài trăm đến vài triệu). Hiện tại chúng tôi đang sử dụng phương pháp tiếp …

9 reference-request  cg.comp-geom  near-neighbors 

---

3

Ví dụ học thuật từ lý thuyết ngôn ngữ chính thức

Tôi đang học lý thuyết đại số về phân tích cú pháp. Vấn đề đầu tiên của tôi là xác định các ví dụ về ngữ nghĩa cụ thể cho lý thuyết ngôn ngữ chính thức. Đây là một nỗ lực để xây dựng hai ví dụ. 1 Với ngữ …

9 fl.formal-languages 

---

1

Phân rã một hàm dưới

Với một hàm submodular trên Ω = X 1 ∪ X 2 nơi X 1 và X 2 là rời nhau và f ( S ) = f 1 ( S ∩ X 1 ) + f 2 ( S ∩ X 2 ) . Ở đây f 1 và …

9 ds.algorithms  submodularity 

---

1

Max-Cut APX-hoàn thành trên đồ thị không có hình tam giác?

Trong bài toán Max-Cut , người ta tìm một tập con S các đỉnh của đồ thị vô hướng đơn giản nhất định sao cho số cạnh giữa S và phần bù của S càng lớn càng tốt. Max-Cut hoàn thành APX trên các đồ thị mức giới hạn [PY91] …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness  max-cut 

---

1

Tính không tương thích của bìa tập hợp: tôi có thể giả sử m = poly (n) không?

Tôi đang cố gắng chỉ ra rằng một vấn đề nào đó không thể giải thích được bằng cách giảm từ trang bìa. Việc giảm của tôi biến đổi một thể hiện với tập hợp kích thước và đặt thành một thể hiện của vấn đề của tôi trong đó …

9 cc.complexity-theory  approximation-hardness  set-cover 

---

1

Tại sao SHA-224 và SHA-256 sử dụng các giá trị ban đầu khác nhau?

Wikipedia - SHA-2 nói SHA-224 giống hệt với SHA-256, ngoại trừ: các giá trị biến ban đầu h0 đến h7 là khác nhau và đầu ra được xây dựng bằng cách bỏ qua h7. RFC3874 - Hàm băm một chiều 224 bit: SHA-224 nói Việc sử dụng một giá trị …

9 cr.crypto-security  hash-function 

---

1

Bằng chứng là vết cắt thưa nhất là NP-hard

Ở mọi nơi tôi đọc về vấn đề cắt giảm ít nhất, nó chỉ nói rằng vấn đề được biết đến là NP -hard. Tôi có thể tìm thấy một bằng chứng về điều này ở đâu? Mà vấn đề NP -hard được biết đến làm giảm vấn đề cắt …

9 cc.complexity-theory  reference-request  np-hardness 

---

3

Câu hỏi kỹ thuật về đi bộ ngẫu nhiên

(Câu hỏi ban đầu của tôi vẫn chưa được trả lời. Tôi đã thêm làm rõ thêm.) Khi phân tích các bước đi ngẫu nhiên (trên các đồ thị vô hướng) bằng cách xem bước đi ngẫu nhiên dưới dạng chuỗi Markov, chúng tôi yêu cầu đồ thị không phải …

9 pr.probability  random-walks 

---

1

Biểu thức chính quy không có xen kẽ

Tôi đã tự hỏi về những bộ ngôn ngữ được tạo ra bởi các hạn chế của biểu thức thông thường. Giả sử rằng tất cả các hạn chế có ký hiệu không đổi cho mỗi phần tử của và phép nối. Sau đó, tám lớp có thể được hình …

9 fl.formal-languages  regular-expressions 

---

3

Giải pháp lập trình tuyến tính trong một lần với các biến được sắp xếp

Tôi có một gia đình của các vấn đề quy hoạch tuyến tính: Tối đa hóa chịu Một x ≤ b , x ≥ 0 . Các phần tử của A , b và c là các số nguyên không âm, c hoàn toàn dương. ( x cũng không thể …

9 ds.algorithms  reference-request  linear-programming  matrices 

---

3

Tìm tất cả các chu kỳ

Tôi có một tập hợp hữu hạn , một hàm f : S → S , và một trật tự tổng &lt; trên S . Tôi muốn tìm số lượng các chu kỳ khác nhau trong S .SSSf:S→Sf:S→Sf:S\to S&lt;&lt;<SSSSSS Đối với một nguyên tố Tôi có thể sử dụng thuật …

9 graph-theory  graph-algorithms 

---