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

Tôi quan tâm nếu có tồn tại bất kỳ bài viết hay khảo sát tốt nào mà tôi có thể tham khảo khi tôi viết về các toán tử lớp phức tạp : các toán tử biến đổi các lớp phức tạp bằng cách thực hiện những việc như thêm …

16 reference-request  complexity-classes 

Gowers gần đây đã phác thảo một vấn đề, mà ông gọi là "tính quyết định của Borel rời rạc", giải pháp của họ có liên quan đến việc chứng minh giới hạn mạch thấp hơn. Bạn có thể cung cấp một bản tóm tắt về cách tiếp cận phù …

16 cc.complexity-theory  p-vs-np 

Một bìa cạnh là một tập hợp con các cạnh của đồ thị sao cho mọi đỉnh của đồ thị đều liền kề với ít nhất một cạnh của bìa. Hai bài báo sau đây nói rằng đếm bìa là #P -complete : Một FPTAS đơn giản để đếm các …

16 reference-request  graph-algorithms  counting-complexity  proofs 

Các định lý phân cấp là các công cụ cơ bản. Một số lượng lớn trong số chúng đã được thu thập trong một câu hỏi trước đó (xem Định lý phân cấp và / hoặc định lý phân cấp nào bạn biết? ). Một số phân tách lớp phức …

16 cc.complexity-theory  complexity-classes  hierarchy-theorems 

Một số công việc về độ nhạy so với độ nhạy khối đã nhằm mục đích kiểm tra các hàm với khoảng cách càng lớn càng tốt giữa s(f)s(f)s(f) và bs(f)bs(f)bs(f) để giải quyết phỏng đoán rằng bs(f)bs(f)bs(f) chỉ lớn hơn về mặt đa thức hơn s(f)s(f)s(f) . Còn hướng …

16 circuit-complexity  boolean-functions 

Trong bài báo Một thuật toán hiệu quả cho sự đồng hình đồ thị của Corneil và Gotlieb, 1970, một phỏng đoán đã được nêu trong đó thuật toán đã nêu dựa vào việc giải GI trong thời gian đa thức. Cụ thể là: rằng các biểu đồ đại diện …

16 graph-isomorphism  automorphism 

Một bài báo mới được đưa ra tuyên bố thuật toán bán đa thức cho Logarit rời rạc. http://arxiv.org/abs/1306.4244 Nếu đúng, điều đó có nghĩa là chúng ta không còn có sự phân tách theo cấp số nhân về độ phức tạp của thuật toán cổ điển và phiên bản …

16 cc.complexity-theory 

Chỉ có rất ít thông tin tôi có thể tìm thấy về bài toán NP hoàn chỉnh giải phương trình diophantine tuyến tính trong các số nguyên không âm. Điều đó có nghĩa là, có một giải pháp trong cho phương trình , trong đó tất cả các hằng số …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity 

Bất kỳ mặt phẳng tương ứng, đồ thị ngoài cùng thỏa mãn , tương ứng, , cho mọi sơ đồ con của . Ngoài ra, đồ thị phẳng (bên ngoài) có thể được nhận ra trong thời gian đa thức.| E ′ | ≤ 3 | V ' | - …

16 reference-request  graph-theory  graph-algorithms 

Tôi tự hỏi, có bất kỳ bài báo hay nghiên cứu nào liên quan đến automata đẩy xuống rõ ràng, nhưng cho phép các từ, thay vì các chữ cái đơn lẻ, được đẩy lên ngăn xếp. Cách khác, một công trình mà cho phép cho các ký hiệu được …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

n×nn×nn\times nlog2(n)log2⁡(n)\log^2(n)111∥A∥≤1‖A‖≤1\left\|A\right\|\leq 11/poly1/poly1/\text{poly} Về mặt này, điều gì sẽ là xấp xỉ "chính xác" để yêu cầu - nhân hoặc cộng? (xem một trong những câu trả lời dưới đây).

16 determinant  cc.complexity-theory 

Xin lỗi, nếu đây là một câu hỏi ngây thơ, nhưng tôi không thể tìm thấy sự biện minh trong bất kỳ cuốn sách văn bản chính nào như Bondy-Murty, Diestel hoặc West. Đồ thị hoàn hảo có nhiều đặc tính đẹp, nhưng lý do duy nhất chúng được gọi …

16 graph-theory  co.combinatorics  terminology  graph-colouring 

Kết quả xác định tốt nhất để duy trì đóng cửa bắc cầu động trong đồ thị có hướng chỉ với chèn cạnh là gì? Tôi đọc một số bài báo về vấn đề đóng cửa bắc cầu động với cả chèn và xóa cạnh. Tuy nhiên, có thuật toán …

16 ds.algorithms  graph-theory  graph-algorithms  dynamic-algorithms 

Giả sử rằng . là lớp các vấn đề trong không có trong cũng như trong -hard. Bạn có thể tìm thấy một danh sách các vấn đề được phỏng đoán là tại đây .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPTôi\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPTôi\mathsf{NPI} Định lý của Ladner cho chúng ta biết rằng nếu thì có một …

16 cc.complexity-theory  np-hardness  np-intermediate 

Tôi đang đọc cuốn "Hardness vs Randomness" kinh điển của Nisan và Wigderson. Đặt và sửa hàm . Chúng định nghĩa một họ các hàm để trở thành giả danh trong trường hợp cho mọi mạch có kích thước chúng ta cóB={0,1}B={0,1}B=\{0,1\} G = { G n : B l …

16 cr.crypto-security  pseudorandomness  pseudorandom-generators  security