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

Tôi đang tìm kiếm các tài nguyên (tốt nhất là một cuốn cẩm nang) về các chủ đề nâng cao trong các thuật toán (các chủ đề vượt ra ngoài những gì được đề cập trong sách giáo khoa thuật toán như CLRS và DPV). Loại tài liệu có thể …

11 ds.algorithms  reference-request  survey  books 

Tôi đang đọc bài báo nổi tiếng của Impagliazzo và Wigderson năm 1997. Vì tôi mới tham gia vào lĩnh vực này và bài báo là một phiên bản hội nghị ngắn gọn, tôi gặp khó khăn khi làm theo các bằng chứng của họ. Đặc biệt, một số định …

11 cc.complexity-theory  reference-request  circuit-complexity  derandomization  pseudorandom-generators 

Giả sử rằng chúng ta được cung cấp một mảng A[1..n]A[1..n]A[1..n] có chứa các số nguyên không âm (không nhất thiết phải khác biệt). Đặt BBB là được AAAsắp xếp theo thứ tự không tăng. Chúng tôi muốn tính m=maxi∈[n]B[i]+i.m=maxi∈[n]B[i]+i.m = \max_{i\in [n]} B[i]+i. Giải pháp rõ ràng là sắp …

11 cc.complexity-theory  ds.algorithms  optimization  sorting 

Sean Anderson xuất bản chút twiddling hacks chứa thuật toán của Eric Cole để tìm ra ⌈log2v⌉⌈log2⁡v⌉\lceil\log_2 v \rceil của một NNN bit số nguyên vvv trong O(lg(N))O(lg⁡(N))O(\lg(N)) hoạt động với nhân và tra cứu. Thuật toán dựa trên một số "ma thuật" từ chuỗi De Bruijn. Bất cứ ai …

11 nt.number-theory  comp-number-theory 

Tôi quan tâm nghiên cứu các vấn đề hoàn chỉnh của đồ thị đẳng cấu (GI). Trong bài báo "Các vấn đề tương đương đa thức đối với sự đồng hình đồ thị" của Kellogg S. Booth, (1979), đã chứng minh rằng nhiều vấn đề cơ bản đã hoàn thành …

11 cc.complexity-theory  reference-request  graph-isomorphism 

Đặt là một vectơ của các biến boolean. Gọi là hai mạch boolean trên . Nói rằng tương tự như nếu:x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n)x C DC,DC,DC,DxxxCCCDDD Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)] nhỏ theo cấp số nhân, khi xxx được vẽ đồng đều ngẫu nhiên từ {0,1}n{0,1}n\{0,1\}^n (nói cách khác, chúng có chức năng gần như …

11 sat  application-of-theory 

Đối với một vấn đề tìm kiếm cục bộ đa thức , chúng tôi biết rằng ít nhất một giải pháp (tối ưu cục bộ) phải tồn tại. Tuy nhiên, còn nhiều giải pháp nữa có thể tồn tại, việc đếm số lượng giải pháp cho một vấn đề hoàn …

11 cc.complexity-theory  counting-complexity  gt.game-theory 

Tôi hiểu các tuyên bố sau đây là đúng: Hai dẫn xuất riêng biệt của một chuỗi trong CFG đã cho đôi khi có thể quy cùng một cây phân tích cú pháp cho chuỗi. Khi có đạo hàm của một số chuỗi trong một CFG đã cho thuộc tính …

11 fl.formal-languages  regular-language  context-free 

Máy tự động đẩy xuống xen kẽ một chiều (1APDA) có thể nhận ra bất kỳ ngôn ngữ nào trong (Thay thế bởi Chandra, Kozen và Stockmeyer, 1981) . Bằng cách thay thế bộ lưu trữ đẩy xuống của 1APDA bằng bộ đếm, chúng ta có thể có được một …

11 automata-theory  counter-automata  unary-languages 

Tôi gặp khó khăn trong việc hiểu các bước cuối cùng của thuật toán AHSP. Hãy để GGG là một nhóm abel và fff là chức năng mà ẩn nhóm con HHH . Hãy G∗G∗G^* đại diện cho nhóm kép của GGG . Dưới đây là các bước của thuật …

11 ds.algorithms  quantum-computing  gr.group-theory 

Trước hết, sự hiểu biết của tôi về định lý không hoàn chỉnh của Gôdel (và logic chính thức nói chung) là rất ngây thơ, cũng là kiến ​​thức của tôi về khoa học máy tính lý thuyết (có nghĩa là chỉ có một khóa học sau đại học trong …

11 np-hardness  proofs  p-vs-np 

Tôi đang tìm kiếm một thuật toán hiệu quả cho vấn đề: Dữ liệu vào : Số nguyên dương (được lưu dưới dạng bit) cho một số số nguyên .3n3n3^nn≥0n≥0n \geq 0 Đầu ra : Số .nnn Câu hỏi : Chúng ta có thể tính từ các bit của trong …

11 ds.algorithms  time-complexity 

Tôi đã học được điều gì đó về việc triển khai các loại phụ thuộc, như hướng dẫn này , nhưng hầu hết trong số họ đang triển khai các trình thông dịch. Câu hỏi của tôi là, có vẻ như việc thực hiện một trình biên dịch cho loại …

11 type-systems  compilers  dependent-type 

Vấn đề này đã được nghiên cứu trước đây? Cho một số liệu đồ thị vô hướng G (độ dài cạnh thỏa mãn bất đẳng thức tam giác), tìm một tập hợp các đỉnh sao cho MST (G [S]) được tối đa hóa, trong đó MST (G [S]) là cây …

11 ds.algorithms  graph-algorithms  np-hardness  approximation-algorithms 

Hiện tại có hàng núi kết quả trên các biểu đồ phân tách trong biểu đồ, từ phân cách phẳng, phân cách cây, biểu đồ chiều rộng cây giới hạn, biểu đồ chi giới hạn, v.v., v.v. Có bất kỳ khảo sát cập nhật tốt nào về điều này và …

11 reference-request  graph-algorithms  survey