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

Vấn đề băng thông tối thiểu là tìm một thứ tự các nút đồ thị trên dòng số nguyên để giảm thiểu khoảng cách lớn nhất giữa hai nút liền kề. Một -caterpillar là một cây được hình thành từ đường dẫn chính bằng cách phát triển các đường dẫn …

34 cc.complexity-theory 

Tôi muốn hiểu cách giải quyết Arora-Kale SDP gần đúng với sự thư giãn của Goemans-Williamson trong thời gian gần như tuyến tính, làm thế nào bộ giải Plotkin-Shmoys-Tardos xấp xỉ các vấn đề "đóng gói" và "bao phủ" trong thời gian gần như tuyến tính và cách các thuật …

34 ds.algorithms  approximation-algorithms  linear-programming  primal-dual  semidefinite-programming 

Chúng ta thường nghe về nghiên cứu cổ điển và các ấn phẩm trong lĩnh vực phức tạp tính toán (Turing, Cook, Karp, Hartmanis, Razborov, v.v.). Tôi đã tự hỏi nếu có những bài báo được xuất bản gần đây được coi là tinh dịch và phải đọc. Ý tôi …

34 cc.complexity-theory  big-list 

Nếu người ta hạn chế Máy Turing trong một băng hữu hạn (nghĩa là sử dụng không gian giới hạn ), thì vấn đề tạm dừng là có thể quyết định, về cơ bản là vì sau một số bước (có thể được tính từ số trạng thái Q , …

33 turing-machines  decidability 

Tôi tự hỏi, hiện tại số lớn nhất là bao nhiêu , sao cho một vấn đề tự nhiên được biết đến với các thuộc tính sau:kkk Một thuật toán đã được tìm thấy cho vấn đề này.Ô ( nk)O(nk)O(n^k) Đối với mọi thuật toán cố định no đều được …

33 cc.complexity-theory  ds.algorithms 

Theo quan điểm thông thường, có thể dễ dàng tin rằng việc thêm tính không xác định vào giúp mở rộng đáng kể sức mạnh của nó, tức là lớn hơn nhiều so với . Rốt cuộc, chủ nghĩa không xác định cho phép song song theo cấp số nhân, …

33 cc.complexity-theory  complexity-classes  big-picture 

Chúng tôi "biết" rằng được đặt tên theo Steve Cook và N C được đặt tên theo Nick Pippenger. Nếu tôi không nhầm, Steve Cook đã đặt tên NC để vinh danh Nick Pippenger, và tôi đã nói rằng điều ngược lại cũng đúng. Tuy nhiên, tôi đã không thể …

33 cc.complexity-theory  ho.history-overview 

Tôi có một câu hỏi lịch sử. Tôi đang cố gắng xác định tham chiếu cho thực tế là 3 độ màu của đồ thị (cách khác, độ biến màu cho ) là NP-hard.kkkk ≥ 3k≥3k\geq 3 Câu trả lời hấp dẫn là bản gốc giấy của Kar Karp, nhưng …

33 np-hardness  ho.history-overview 

Tôi có một cơ sở rất mạnh về đại số, cụ thể là đại số giao hoán, đại số tương đồng, lý thuyết trường, lý thuyết thể loại, và tôi hiện đang học hình học đại số. Tôi là một chuyên gia toán học có thiên hướng chuyển sang khoa …

33 soft-question  algebra  advice-request  ct.category-theory 

Một vài năm trước, có một số công việc của Joel Friedman liên quan đến giới hạn mạch thấp hơn đối với cohomology (xem tài liệu: http://arxiv.org/abs/cs/0512008 , http://arxiv.org/abs/cs/0604024 ). Liệu dòng suy nghĩ này đã mang lại bất kỳ hiểu biết mới nào về sự phức tạp của boolean, …

33 cc.complexity-theory  lower-bounds  circuit-complexity  boolean-functions 

Tôi không nghĩ rằng tôi hiểu các loại lớp. Tôi đã đọc ở đâu đó nghĩ rằng các lớp loại là "giao diện" (từ OO) rằng một kiểu thực hiện là sai và gây hiểu nhầm. Vấn đề là, tôi đang gặp vấn đề khi xem chúng là một cái …

33 pl.programming-languages  type-theory  type-systems 

Xem xét bài toán đếm sau (hoặc bài toán quyết định liên quan): Cho hai số nguyên dương được mã hóa dưới dạng nhị phân, tính toán ước số chung lớn nhất của chúng (gcd). Lớp phức tạp nhỏ nhất mà vấn đề này được chứa trong là gì? Bạn …

33 cc.complexity-theory  reference-request  complexity-classes  nt.number-theory 

Chúng tôi biết rằng nếu bạn có máy PSPACE, nó đủ mạnh để đưa ra bằng chứng tương tác về bất kỳ cấp bậc đa thức nào. (Và nếu tôi nhớ đúng, tất cả những gì bạn cần là #P.) Nhưng giả sử bạn muốn đưa ra bằng chứng tương …

33 cc.complexity-theory  interactive-proofs 

Trong "Về tính quyết định so với thuyết không xác định và các vấn đề liên quan" (Proc. IEEE FOCS, trang 429 trừ438, 1983), Paul, Pippenger, Szemerédi và Trotter đã chứng minh rằng . NTIME(n)≠DTIME(n)NTIME(n)≠DTIME(n)\mathsf{NTIME}(n)\neq\mathsf{DTIME}(n) Điều này trả lời câu hỏi của tôi với k = 1. Có bất cứ …

33 cc.complexity-theory 

Câu hỏi này đã được hỏi với Jeannette Wing sau bài thuyết trình PCAST của cô về khoa học máy tính. Từ góc độ vật lý, chúng ta có thể có khối lượng thông tin tối đa không? Ngoài "thông tin là gì?" người ta cũng nên tìm hiểu "âm …

33 it.information-theory  physics