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

Tôi quan tâm đến vấn đề đóng gói các bản sao giống hệt của hình chữ nhật (2 chiều) thành một đa giác lồi (2 chiều) mà không trùng nhau. Trong vấn đề của tôi, bạn không được phép xoay hình chữ nhật và có thể giả sử rằng chúng …

23 reference-request  np-hardness  cg.comp-geom  optimization  packing 

(Tôi đã đăng câu hỏi này lên MathOverflow hai tuần trước, nhưng cho đến nay không có câu trả lời nghiêm ngặt) Tôi có một câu hỏi về các số đo chiều rộng của đồ thị của các đồ thị đơn giản không có hướng. Người ta biết rằng các …

23 graph-theory  co.combinatorics  cliquewidth 

Đưa ra là một dag. Bạn muốn gắn nhãn cho mỗi nút bằng cách có bao nhiêu nút có thể truy cập từ nó. là một giới hạn trên tầm thường; Ω ( V + E ) là một giới hạn thấp hơn (tôi nghĩ). Có một thuật toán tốt …

23 ds.algorithms  graph-theory 

Tôi đã tự hỏi những công cụ mà mọi người trong lĩnh vực này (khoa học máy tính lý thuyết) sử dụng để tạo ra các bài thuyết trình. Vì rất nhiều khoa học máy tính không chỉ là viết bài mà còn thuyết trình nên tôi nghĩ rằng đây …

23 soft-question  research-practice  writing 

Tôi đang cố gắng hiểu mối quan hệ giữa đẳng cấu đồ thị và vấn đề nhóm con ẩn. Có một tài liệu tham khảo tốt cho việc này?

23 cc.complexity-theory  reference-request  quantum-computing  graph-isomorphism 

Nếu tôi có một tập các ràng buộc tuyến tính, trong đó mỗi ràng buộc có tối đa 4 biến (nói) tất cả các hệ số không âm và với các hệ số {0,1} ngoại trừ một biến có thể có hệ số -1), thì điều gì đã biết về …

23 co.combinatorics  integer-programming 

Bài đăng được cập nhật vào ngày 31 tháng 8 : Tôi đã thêm một bản tóm tắt các câu trả lời hiện tại bên dưới câu hỏi ban đầu. Cảm ơn tất cả các câu trả lời thú vị! Tất nhiên, tất cả mọi người có thể tiếp tục …

23 ds.algorithms  graph-theory  co.combinatorics 

Đã hơn một năm kể từ khi rút lại và điều chỉnh vào tháng 1 năm 2017. Có tin tức gì không? Nếu không điều này là bình thường để xác nhận mất nhiều thời gian? Tôi hy vọng nó sẽ nhận được nhiều sự chú ý. Có ai lưu …

23 cc.complexity-theory  graph-isomorphism  proofs 

Được thúc đẩy bởi nhận xét của Fortnow về bài đăng của tôi, Bằng chứng là vấn đề Đồng phân đồ thị không phải là -completeNPNPNP G I và bởi thực tế là một ứng cử viên chính cho vấn đề -inter liền (không phải -complete cũng như trong ), …

23 cc.complexity-theory  graph-isomorphism 

Tôi sửa chữa một ngôn ngữ thông thường trên một bảng chữ cái , và tôi xem xét các vấn đề sau đây mà tôi gọi là kế hoạch lá thư cho . Một cách không chính thức, đầu vào cung cấp cho tôi chữ cái và một khoảng cho …

23 cc.complexity-theory  np-hardness  automata-theory  regular-language  scheduling 

Các Not All Equal -SAT vấn đề (NAE -SAT), cho một tập C điều khoản trên một tập X của các biến boolean như vậy mà mỗi khoản có chứa ít nhất k literals, hỏi liệu có tồn tại một nhiệm vụ thật của các biến như vậy mỗi mệnh …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

Bước đầu tiên của thuật toán kiểm tra tính nguyên thủy của AKS là kiểm tra xem số đầu vào có phải là một công suất hoàn hảo hay không. Có vẻ như đây là một thực tế nổi tiếng trong lý thuyết số vì bài báo không giải thích …

23 ds.algorithms  nt.number-theory 

Phỏng đoán trò chơi độc đáo của Subhash Khot là một trong những lĩnh vực nghiên cứu tích cực trong lý thuyết phức tạp. Bằng chứng nào chúng ta có cho nó? Bằng chứng nào chúng ta có chống lại nó?

23 cc.complexity-theory  unique-games-conjecture 

Đối với biểu thị bởi các phần tử nhỏ nhất của .A⊂[n]A⊂[n]A\subset [n]aiaia_iithithi^{th}AAA Đối với hai tập hợp , , chúng tôi nói rằng nếu cho mọi .kkkA,B⊂[n]A,B⊂[n]A,B\subset [n]A≤BA≤BA\le Bai≤biai≤bia_i\le b_iiii Một hypergraph -uniform được gọi là một sự thay đổi chuỗi nếu vì bất kỳ hyperedges, , chúng tôi …

23 co.combinatorics  graph-colouring  hypergraphs 

Đặt các biến là . Khoảng cách giữa hai biến được định nghĩa là. Khoảng cách giữa hai chữ là khoảng cách giữa hai biến tương ứng.x1,x2,x3...xnx1,x2,x3...xnx_1 , x_2 , x_3 ... x_nd(xa,xb)=|a−b|d(xa,xb)=|a−b|d(x_a , x_b) = |a-b| Giả sử tôi có một ví dụ 3-SAT sao cho với mọi mệnh …

22 np-hardness  sat