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

Xét một đồ thị khối ngẫu nhiên được kết nối G=(V,E)G=(V,E)G=(V,E) củacác đỉnh, được vẽ từ -reg (như được định nghĩa ở đây , tức là là chẵn và hai biểu đồ có cùng xác suất).G ( n , 3 ) 3 nn=|V|n=|V|n =|V|G(n,3G(n,3G(n, 3)))3n3n3n Tất nhiên có có thể …

10 graph-theory  co.combinatorics 

Cho một đồ thị không trọng số phẳng, và một bộ sưu tập các cặp đỉnh ( k ≥ 2 là một hằng số), tìm k đỉnh-rời nhau (trừ nguồn) đường dẫn từ s đến t i sao cho chiều dài của con đường dài nhất được giảm thiểu.(s,t1),…,(s,tk)(s,t1),…,(s,tk)(s,t_1),\dots,(s,t_k)k≥2k≥2k\ge2kkkssstitit_i Câu …

10 ds.algorithms  graph-algorithms 

Tôi khá quen thuộc với lý thuyết đằng sau VC-Dimension, nhưng giờ tôi đang xem xét những tiến bộ gần đây (10 năm qua) trong lý thuyết học thống kê: (trung bình) Rademacher trung bình, Bổ đề lớp hữu hạn của Massart, Số bao phủ, Chuỗi, Dudley Định lý, Pseudodimension, …

10 reference-request  machine-learning  lg.learning  books  vc-dimension 

Các định nghĩa Hãy và để d , r , và g là các số nguyên dương (với g > 2 r + 1 ).ϵ > 0ϵ>0\epsilon > 0dddrrrgggg> 2 r + 1g>2r+1g > 2r+1 Hãy là một đơn giản, d -regular, vô hướng, đồ thị hữu hạn với chu …

10 graph-theory  co.combinatorics  dc.distributed-comp 

Giả sử tôi có một đa giác đơn giản và một số nguyên k . Một số cách tiếp cận hiện tại để tìm bán kính r nhỏ nhất sao cho tôi có thể bao phủ S với k vòng tròn bán kính r ? Làm thế nào về nếu …

10 cg.comp-geom  planar-graphs  set-cover 

Tôi muốn biết liệu vấn đề đơn giản sau đây đã được nghiên cứu hay chưa và liệu có giải pháp nào được biết không. Đặt G là lưới hữu hạn (MxN), S là tập con của các ô G ("mẩu vụn"). Hai mảnh vụn được gọi là (cục bộ) …

10 ds.algorithms  graph-theory  graph-algorithms 

Có phải là apx-hard để tính gần đúng số sắc độ phân đoạn trên biểu đồ mức giới hạn?

10 cc.complexity-theory  graph-theory  approximation-hardness  graph-colouring  bounded-degree 

Thuật toán của tiếng Đức là một máy tính lượng tử nổi tiếng chỉ với một đánh giá của . Nếu chúng ta thay thế bằng , vấn đề dường như trở nên khác đi. Câu hỏi của tôi là: có tồn tại thuật toán lượng tử tính toán giá …

10 reference-request  quantum-computing 

Trong quá trình tìm kiếm tài liệu nghiên cứu về các hệ thống loại cho các ngôn ngữ mệnh lệnh, tôi chỉ tìm giải pháp cho một ngôn ngữ có các tham chiếu có thể thay đổi nhưng không có cấu trúc điều khiển mệnh lệnh thực sự như toán …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming 

Trong quá trình làm việc tôi đã gặp phải vấn đề sau: Tôi đang cố gắng tìm một n × nn×nn \times n ( 0 , 1 )(0,1)(0,1) -matrix MMM , với mọi n > 3n>3n > 3 , với các thuộc tính sau: Yếu tố quyết định của MMM …

10 graph-theory  co.combinatorics  linear-algebra  matrices  boolean-matrix 

Tôi đang tìm kiếm các ví dụ về các vấn đề khó khăn (trong NP hoặc khó hơn) từ khoa học máy tính có thể được giảm xuống thành các mô hình của các quy trình vật lý. Ví dụ, max-2-sat có thể được giảm đến mức giảm thiểu năng …

10 cc.complexity-theory  reductions  physics  formal-modeling 

Không chắc chắn nếu khu vực chính xác, nhưng ở đây đi. Bắt đầu bằng tiến sĩ về Quản lý niềm tin và danh tiếng trong các mạng Truyền thông (rất nhiều lý thuyết đồ thị, phân tích xác suất, v.v.) và có rất nhiều bài đọc trước tôi. Bất …

10 soft-question  advice-request  research-practice 

Có một thuật toán đa thức thời gian để tìm thấy nếu một người tồn tại một con nhện kéo dài của một đồ thị không? Nhện là một cây có nhiều nhất một nút có độ lớn hơn 2: Tôi biết rằng các điều kiện mức độ khác nhau …

10 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Đưa ra một tập hợp các điểm trong không gian Cartesian 3D, tôi đang tìm kiếm một thuật toán sẽ sắp xếp các điểm này, sao cho khoảng cách Euclide tối thiểu giữa hai điểm liên tiếp sẽ được tối đa hóa. Nó cũng sẽ có lợi nếu thuật toán …

10 graph-algorithms  cg.comp-geom  optimization 

Tôi đang tìm kiếm các ghi chú Bài giảng có sẵn trực tuyến hoặc các tài nguyên khác giới thiệu tốt về lập trình song song, giống như các lớp tương tự song song của các lớp cơ bản trong khoa học máy tính. Trọng tâm của tôi là như …

10 reference-request  soft-question  dc.parallel-comp  survey