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

Tôi quan tâm đến độ phức tạp được tham số hóa của vấn đề mà tôi sẽ gọi là vấn đề Set-Dimensional Hits: đưa ra một không gian phạm vi (tức là một hệ thống / siêu dữ liệu đã đặt) S = (X, R) có kích thước VC nhiều …

37 cc.complexity-theory  cg.comp-geom  set-cover  parameterized-complexity  vc-dimension 

Trong phần giới thiệu và giải thích các lớp phức tạp P và NP thường được đưa ra thông qua máy Turing. Một trong những mô hình tính toán là phép tính lambda. Tôi hiểu rằng tất cả các mô hình tính toán đều tương đương (và nếu chúng tôi …

36 cc.complexity-theory  complexity-classes  turing-machines  lambda-calculus 

Đưa ra một vấn đề mới trong có độ phức tạp thực sự nằm ở đâu đó giữa và hoàn thành NP, có hai phương pháp mà tôi biết có thể được sử dụng để chứng minh rằng việc giải quyết vấn đề này là khó khăn:PN PNP\mathsf{NP}PP\mathsf{P} Cho thấy …

36 cc.complexity-theory  np-hardness  graph-isomorphism  np-intermediate 

Người ta phỏng đoán rằng tính ngẫu nhiên không mở rộng sức mạnh của thuật toán thời gian đa thức, nghĩa là, được phỏng đoán để giữ. Mặt khác, tính ngẫu nhiên dường như có tác động khá khác nhau trong việc giảm thời gian đa thức . Theo kết …

36 cc.complexity-theory  reductions  derandomization 

Đây là một câu hỏi phi kỹ thuật, nhưng chắc chắn có liên quan đến cộng đồng TCS. Nếu được coi là không phù hợp, hãy đóng cửa. Các Zoo phức tạp trang web (http://qwiki.stanford.edu/index.php/Complexity_Zoo) đã chắc chắn được các dịch vụ tuyệt vời cho cộng đồng TCS trong những …

36 cc.complexity-theory  reference-request  soft-question 

Một ứng dụng quan trọng của định lý PCP là nó mang lại kết quả loại "độ cứng gần đúng". Trong một số trường hợp tương đối đơn giản hơn, người ta có thể chứng minh độ cứng như vậy mà không cần PCP. Tuy nhiên, có trường hợp nào …

36 cc.complexity-theory  approximation-hardness  pcp 

Bối cảnh: Động lực cho câu hỏi này là hai lần. Đầu tiên, tôi muốn có được một số sự thật khó khăn để hiểu rõ hơn về các cuộc hội thảo đang diễn ra so với các cuộc tranh luận trên tạp chí . Thứ hai, nếu thông tin …

36 soft-question  research-practice  paper-review  journals 

Câu hỏi này nhắm vào những người chỉ định vấn đề: giáo viên, trợ lý sinh viên, trợ giảng, v.v. Điều này đã xảy ra với tôi một vài lần trong sự nghiệp 12 năm làm giáo sư của mình: Tôi vội vàng gán một số vấn đề từ văn …

36 soft-question  teaching 

Tôi tò mò liệu có cách nào để lưu trữ hàm băm của nhiều bộ số nguyên có các thuộc tính sau không, lý tưởng nhất là: Nó sử dụng không gian O (1) Nó có thể được cập nhật để phản ánh việc chèn hoặc xóa trong thời gian …

36 ds.algorithms  ds.data-structures  hash-function 

Giới hạn trên của thuật toán đơn giản để tìm giải pháp cho Chương trình tuyến tính là gì? Làm thế nào tôi sẽ đi tìm một bằng chứng cho trường hợp như vậy? Có vẻ như trường hợp xấu nhất là nếu mỗi đỉnh phải được truy cập thì …

36 ds.algorithms  linear-programming  simplex  smoothed-analysis 

Giả sử rằng các đồng tác giả từ hai hoặc nhiều tổ chức khác nhau đang viết một bài báo bằng mủ, và muốn làm tốt hơn là liên tục gửi email các bản nháp qua lại. Họ nhận ra rằng họ có thể mở miễn phí tài khoản dropbox, …

36 soft-question  research-practice  software  writing 

Chúng ta biết rằng hàm số mũ exp(x,y)=xyexp⁡(x,y)=xy\exp(x,y) = x^y so với số tự nhiên không thể tính được trong thời gian đa thức, bởi vì kích thước của đầu ra không bị giới hạn về mặt đa thức trong kích thước của các đầu vào. Đây có phải là …

36 cc.complexity-theory  nt.number-theory 

Vấn đề này được lấy cảm hứng từ câu hỏi MO này , mà tôi nghĩ là rất thú vị. Vấn đề mở lâu đời nhất trong TCS là gì? Rõ ràng câu hỏi này cần một số làm rõ. Đầu tiên, TCS là gì? Tôi nghĩ rằng sự tồn …

36 soft-question  open-problem  ho.history-overview 

Quyết định xem trạng thái cân bằng Nash có dễ dàng hay không (luôn luôn như vậy); tuy nhiên, thực sự việc tìm kiếm một thứ được cho là khó khăn (đó là PPAD-Complete). Một số ví dụ khác về các vấn đề trong đó phiên bản quyết định là …

36 cc.complexity-theory  big-list 

Tôi đang tìm kiếm một nguồn tập hợp dữ liệu khổng lồ để kiểm tra một số triển khai thuật toán đồ thị. Ngoài ra, vui lòng cung cấp một số thông tin về loại / phân phối (ví dụ: có hướng / không bị chặn, đơn giản / không …

36 ds.algorithms  graph-theory  ds.data-structures  data-sets