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

Đối với một lớp hoán vị, chúng ta không thể mong đợi sắp xếp các hoán vị của với ít hơn so sánh , theo quy ước .CCC\mathcal{C}CC\mathcal{C}C n : = C ∩ S nO ( nhật ký| Cn| )O(log⁡|Cn|)O(\log |\mathcal{C}_n|)Cn: = C∩ SnCn:=C∩Sn\mathcal{C}_n := \mathcal{C} \cap S_n Cụ thể, …

8 ds.algorithms  sorting  permutations 

Với d⃗ ∈Nnd→∈Nn\vec{d} \in \mathbb{N}^n , hãy đặt Q(d⃗ )⊂NnQ(d→)⊂NnQ(\vec{d}) \subset \mathbb{N}^n là tập hợp các đỉnh của khối nnn chiều hai chiều được chia tỷ lệ theo hướng tọa độ thứ iii bởi didid_i , tức là Q(d⃗ ={⟨±d1,…,±dn⟩}Q(d→={⟨±d1,Giáo dục,±dn⟩}Q(\vec{d} = \{\langle \pm d_1, \ldots, \pm d_n\rangle\} . Hãy …

8 cc.complexity-theory  reference-request  co.combinatorics  cg.comp-geom  time-complexity 

Để hiển thị độ cứng NP của một vấn đề, người ta cần chọn một vấn đề NP-hard đã biết và tìm cách giảm đa thức từ vấn đề đã biết đến vấn đề của mình. Về mặt lý thuyết, bất kỳ vấn đề NP-hard nào cũng có thể được …

8 np-hardness  reductions 

Có một số thuật toán xấp xỉ 2 cho bài toán đặt đỉnh phản hồi KHÔNG GIỚI HẠN (FVS), được tóm tắt trong [4]. Lưu ý rằng việc giảm từ nắp đỉnh xuống FVS là bảo toàn gần đúng. Giả sử phỏng đoán trò chơi độc đáo, chúng ta không …

8 reference-request  graph-algorithms  approximation-algorithms 

Định nghĩa: " -chain" là một biểu đồ đa thu được từ đường dẫn có độ dài bằng cách nhân đôi mọi cạnh.kkkkkk Lưu ý rằng số lượng đường dẫn giữa hai điểm cuối của -chain làkkk2k.2k.2^k. Câu hỏi: Đặt là một đồ thị đơn giản trên n nút và …

8 graph-theory  graph-algorithms  graph-minor 

Tôi đọc nó ở đây rằng có những gia đình chức năng mà cần các nút trên mạng nơron với ít nhất d - 1 lớp để đại diện cho các chức năng trong khi nhu cầu chỉ O ( n ) nếu mạng thần kinh có ít nhất d …

8 cc.complexity-theory  reference-request 

Vấn đề: Xem xét số lượng trạng thái điều khiển hữu hạn (bao gồm trạng thái "ban đầu" và trạng thái "xấu"), số lượng biến số hữu hạn và đối với mỗi cặp trạng thái được sắp xếp một mối quan hệ chuyển tiếp được biểu thị trong số học …

8 lo.logic  pl.programming-languages  decidability 

Tôi đã gặp rất nhiều khó khăn khi tìm một tài liệu tham khảo đưa ra lời giải thích đơn giản và dễ hiểu về những điều sau đây: Giả sử chúng ta có biến ngẫu nhiên , mỗi biến bits dài. (Tức là với các giá trị trong ). …

8 pr.probability  limited-independence 

Liên quan đến một câu hỏi gần đây (Giới hạn về kích thước của NFA nhỏ nhất cho L_k-differ ) Noam Nisan đã yêu cầu một phương pháp để đưa ra giới hạn thấp hơn cho kích thước của NFA so với giới hạn phức tạp trong giao tiếp. Điều …

8 fl.formal-languages  automata-theory  lower-bounds  communication-complexity  nfa 

Vấn đề đồ thị con được kết nối trọng lượng tối đa như sau: Input: một đồ thị G=(V,E)G=(V,E)G=(V,E) và một trọng lượng wiwTôiw_i (có thể là tiêu cực) cho mỗi đỉnh i∈VTôi∈Vi \in V . Đầu ra: một tập hợp con có trọng số tối đa SSS của các …

8 reference-request  np-hardness  reductions  planar-graphs 

Theo BGS lý [1], có một oracle ví dụ mà P Một ≠ N P Một .MộtAAPMột≠ NPMộtPA≠NPAP^A\neq NP^A Nếu hoạt động relativization là một chức năng được xác định rõ, người ta sẽ hy vọng rằng từ B Một ≠ C Một ai có thể kết luận rằng B …

8 cc.complexity-theory  oracles  relativization 

số c-chromatic được định nghĩa trong phần Phân vùng của đồ thị thành các sơ đồ . Nó yêu cầu số lượng màu tối thiểu được sử dụng để tô màu các đỉnh sao cho mỗi lớp màu là một đồ thị . Cograph là một đồ thị không có …

8 graph-theory  approximation-algorithms  graph-colouring 

Gần đây, đã có một số kết quả mới về nghiên cứu thử nghiệm dựa trên máy tính về Vấn đề sai lệch Erdos (EDP) (thông qua các bộ giải SAT, được trích dẫn bên dưới). Vấn đề này đã được một số nhà nghiên cứu (T) CS trích dẫn …

8 reference-request  co.combinatorics  soft-question  big-picture 

Tôi phỏng đoán rằng nếu là một đồ thị không có hình tam giác đơn giản, thì có một tập hợp tối đa n ^ 2/25 cạnh mà việc xóa sẽ phá hủy mọi chu kỳ lẻ.n 2 / 25GG G n2/25n2/25 n^2/25 Để biết thêm thông tin, hãy xem …

8 graph-theory 

Các không gian đơn điệu phức tạp của một ngôn ngữ L ⊆ Σ*L⊆Σ*L \subseteq \Sigma^* có thể được quy định tại các điều khoản của mạng chuyển mạch đơn điệu (xem ví dụ: "Trung bình chữ thường Bounds cho đơn điệu Switching Mạng" bởi Filmus et al.). Khái niệm …

8 circuit-complexity