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

Tôi đang tìm kiếm những vấn đề khó giải quyết trong thời gian của FPT nhưng có thuật toán gần đúng. Đó là, vấn đề đó là: R 1. W [1] -hard. R2. Chấp nhận thuật toán xấp xỉ (tốt nhất là không đổi) trong thời gian FPT. Vấn đề …

9 ds.algorithms  approximation-algorithms  parameterized-complexity  fixed-parameter-tractable 

Khái niệm sau đây về thuật toán chưng cất xuất phát từ "Về các vấn đề không có hạt nhân đa thức". Hãy để một ngôn ngữ được đưa ra. Một thuật toán chưng cất cho có một danh sách nhất định của chuỗi đầu vào và tính ra một …

9 cc.complexity-theory  np-hardness  parameterized-complexity  polynomial-hierarchy  pspace 

Tôi muốn nhờ một sự giúp đỡ từ các nhà nghiên cứu thực hiện một nghiên cứu trong một khu vực của cây tìm kiếm. Bạn có thể vui lòng viết danh sách các giấy tờ phải đọc và các giấy tờ gần đây rất quan trọng để đọc nếu …

9 ds.data-structures  binary-trees 

Tôi hiện đang là sinh viên năm hai quan tâm đến TCS. Gần đây tôi đã hơi bận tâm về những khó khăn khi tham gia các chương trình tiến sĩ trong tương lai vì việc lựa chọn thực sự rất cạnh tranh. Tôi đã xem qua các trang web …

9 soft-question 

Vấn đề kinh điển: Cho một số được cho. Các vấn đề -clique là như sau.kkkkkk Cho đồ thị , có tồn tại tập con của đỉnh sao cho hai đỉnh của liền kề nhau không?GGGSSSkkkSSS Vấn đề siêu dữ liệu: Cho số và được cho. Vấn đề -hyperclique như …

9 cc.complexity-theory  graph-theory  matrices  clique  fixed-parameter-tractable 

Có ai đã khám phá sự phức tạp mạch của các vấn đề quyết định cổ điển như Số nguyên tố hoặc Đồ thị đẳng hình cho kích thước đầu vào không?NNN Trong khi hầu hết mọi người đang quan tâm đến những cách thức mở rộng quy mô diễn …

9 cc.complexity-theory  reference-request  circuit-complexity 

Tôi đang tham gia một khóa học cấp độ cao về lý thuyết thông tin và tôi liên tục bị ấn tượng bởi mức độ tối ưu hóa lồi trong môn học này. Tuy nhiên, các bằng chứng dường như ngại sử dụng toàn bộ máy móc của lý thuyết …

9 reference-request  it.information-theory  convex-optimization 

Cho đồ thị và a δ > 0 người ta muốn tính h ( G , δ ) = m i n | S | ≤ δ | V | φ ( S ) . ( Φ ( S ) = E ( S , ˉ S )G=(V,E)G= =(V,E)G=(V,E)δ>0δ>0\delta > …

9 cc.complexity-theory  spectral-graph-theory  expanders  unique-games-conjecture 

Tôi đang cố gắng xoay quanh các khái niệm về các loại phổ quát và hiện sinh nhưng ở mọi nơi tôi nhìn thấy, tôi đều thấy trực giác logic hoặc hoạt động (hoặc triển khai) (ví dụ: sách TAPL của B. Pierce), trong đó, ... tốt , nhưng tôi …

9 lo.logic  type-theory  type-systems  set-theory 

Là một kỹ sư phần mềm chuyên nghiệp, tôi đã thấy rất nhiều công việc kỹ thuật thực sự thú vị, nhiều trong số đó được xuất bản dưới dạng các bài viết kỹ thuật trên các tạp chí kỹ thuật và trang web như http://www.drdobbs.com và http://www.codeproject.com và nhiều …

9 soft-question  research-practice 

Những điều sau đây không được tin là đúng: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 Bạn có thể giúp tôi xem nơi tranh luận bị phá vỡ? Vấn đề reachability đạo là hoàn chỉnh cho . Tôi lập luận rằng đó là trong L -uniform N C 1 .LL\mathsf{L}LL\mathsf{L}NC1NC1\mathsf{NC^1} …

9 cc.complexity-theory  graph-algorithms  complexity-classes  descriptive-complexity  finite-model-theory 

Chúng ta có thuật toán thời gian để xác định xem đồ thị có chu kỳ có độ dài chính xác . Làm sao chúng ta có thể tìm thấy bao nhiêu như vậy -cycles có mặt trong sử dụng cùng một hoặc bất kỳ thuật toán khác.f(k)n3f(k)n3f(k) n^3GGGkkkkkkGGG

9 graph-theory  graph-algorithms 

Hãy xem xét một vấn đề trong đó bạn được cung cấp lưới 2D (ví dụ: bàn cờ) trong đó các ô vuông nhất định bị chiếm đóng và bạn cần đặt số lượng hình chữ nhật không chồng chéo tối thiểu ở bất kỳ kích thước nào wxh trong …

9 reference-request  np-hardness  planar-graphs  packing  polynomial-time 

Tôi hiện đang nghiên cứu về giả danh, bao gồm một sở thú của các vật thể tuyệt vời như máy tạo giả ngẫu nhiên, trình trích xuất ngẫu nhiên, biểu đồ mở rộng, v.v. bị liên lụy. Tôi hiểu rằng các đối tượng này rất phức tạp, nhưng tôi …

9 soft-question  research-practice 

Tôi đang làm việc trên các thuật toán gần đúng cho bài toán thống trị tối thiểu. Cụ thể, tôi quan tâm đến các lớp biểu đồ bị hạn chế bởi các đồ thị con bị cấm. Vì vấn đề thống trị và các biến thể của nó đã được …

9 graph-theory  graph-algorithms  approximation-algorithms