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

1

Đặt biểu thị tập hợp và C (n, k) biểu thị tập hợp tất cả các phần tử của các phần tử từ mà không lặp lại. Đặt là một -tuple trong . Chúng tôi nói rằng một hoán vị của tập tránh nếu không có k-tuple số nguyên sao …

15 reference-request co.combinatorics permutations

3

Đồ thị đẳng cấu với cây

Nếu chúng ta có một đồ thị lớn (có hướng) và một cây gốc nhỏ hơn , thì độ phức tạp được biết đến nhiều nhất để tìm các đồ thị con của đẳng cấu với gì? Tôi nhận thức được kết quả cho sự đồng hình của cây con …

15 ds.algorithms reference-request graph-theory

1

Một cách hiệu quả có thể lấy mẫu một lân cận của một đỉnh trong đồ thị của một đa giác?

Tôi có một đa giác PPP được xác định bởi { x : A x ≤ b , x ≥ 0 }{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} . Câu hỏi: Cho một đỉnh vvv của PPP , có thuật toán thời gian đa thức để lấy mẫu …

15 reference-request np-hardness counting-complexity linear-programming polytope

1

Tiểu thuyết bằng chứng bơm bổ đề cho các ngôn ngữ thông thường

Đặt là họ của tất cả các ngôn ngữ trên Σ thỏa mãn tính chất bơm của các ngôn ngữ thông thường. Cụ thể: với mỗi L ∈ L , có một N ∈ N st mỗi từ w ∈ L , | w | > N có thể được …

14 reference-request fl.formal-languages automata-theory

1

Một khóa học để học đại số phức tạp

Tôi muốn tìm hiểu về các thuật toán đại số và thoery phức tạp. Đặc biệt, tôi quan tâm đến thuế TNCN. Có một bộ ghi chú bài giảng, sách, bài báo và khảo sát cho những sinh viên đã đọc sách giáo khoa tiêu chuẩn về lý thuyết như …

14 cc.complexity-theory reference-request algebraic-complexity arithmetic-circuits

2

Lý thuyết đảm bảo cho thời gian chạy của phương pháp truyền bá niềm tin?

Truyền bá niềm tin đã được chứng minh là một phương pháp rất mạnh mẽ thông qua nghiên cứu trong các mô hình đồ họa xác suất. Tuy nhiên, tôi không biết bất cứ điều gì về HA có thể so sánh với các phương pháp MCMC nơi chúng ta …

14 cc.complexity-theory reference-request graph-algorithms machine-learning st.statistics

1

Độ sâu giảm tối thiểu cần thiết cho độ cứng NP của SAT là bao nhiêu?

Như mọi người đều biết, SAT hoàn thành cho việc giảm nhiều lần một đa thức wrt. Nó vẫn hoàn thành wrt A C 0 nhiều giảm một.NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} Câu hỏi của tôi là độ sâu tối thiểu cần thiết cho việc giảm là gì? Chính thức hơn, Nhất là gì …

14 cc.complexity-theory reference-request np-hardness circuit-complexity reductions

6

Giải thích hình học của tính toán

Xuất thân từ Vật lý, tôi đã được đào tạo để xem xét rất nhiều vấn đề từ quan điểm hình học. Ví dụ, hình học vi phân của đa tạp trong các hệ động lực, v.v. Khi tôi đọc các nền tảng của khoa học máy tính, tôi luôn …

14 reference-request computability big-picture

2

Tài nguyên cho các nhà toán học hy vọng học thêm khoa học máy tính

Bối cảnh : Tôi sắp kết thúc bằng thạc sĩ toán học và sẽ bắt đầu học tiến sĩ logic vào tháng 8. Càng nghiên cứu nhiều logic, tôi càng tiếp xúc với khoa học máy tính lý thuyết, ví dụ lý thuyết đệ quy, phép tính lambda, nhưng CS …

14 reference-request soft-question

1

Lớp phức tạp liên quan đến tìm kiếm toàn diện

Lớp phức tạp liên quan đến các thuật toán tìm kiếm toàn diện là gì? (nếu có một) Là NP hay PSPACE? Có các mô hình tính toán bị hạn chế nắm bắt lớp các thuật toán tìm kiếm toàn diện tương tự như các mô hình cho lập trình …

14 cc.complexity-theory ds.algorithms reference-request big-picture machine-models

1

Tăng tốc từ tiến bộ thuật toán so với phần cứng

Tôi nhớ lại đã thấy một nghiên cứu hoặc bài báo trước đây tuyên bố rằng hầu hết các tốc độ được thấy trong các chương trình máy tính trong vài thập kỷ qua là từ các thuật toán tốt hơn thay vì phần cứng nhanh hơn. Có ai biết …

14 ds.algorithms reference-request big-picture ar.hardware-architecture

2

Phương pháp tiếp cận GI lấy cảm hứng từ vấn đề nút thắt

Cả hai vấn đề GI và Hôn đều là vấn đề quyết định sự tương đương cấu trúc của các đối tượng toán học. Có bất kỳ kết quả thiết lập kết nối giữa chúng? Các kết nối tốt đẹp của vấn đề nút thắt với vật lý thống kê …

14 cc.complexity-theory reference-request graph-theory graph-isomorphism algebraic-topology

2

Lập trình tuyến tính 0-1: tính toán công thức tối ưu

Hãy xem xét không gian chiều và cho là một ràng buộc tuyến tính có dạng , trong đó , và .{ 0 , 1 } n c a 1 x 1 + a 2 x 2 + a 3 x 3 + . . . + Một n - …

14 reference-request co.combinatorics optimization linear-programming convex-optimization

5

Giấy tờ mỗi nhà lý thuyết phức tạp nên đọc

Tôi đang bắt đầu học tiến sĩ vào mùa thu này và tôi đang lên kế hoạch làm việc trong lý thuyết phức tạp cho luận án của mình. Tôi đang biên soạn một danh sách các bài báo quan trọng mà mọi nhà lý thuyết phức tạp nên biết. …

14 cc.complexity-theory reference-request big-list

1

Độ phức tạp truy vấn tốt nhất của thuật toán học tập Goldreich-Levin / Kushilevitz-Mansour

Độ phức tạp truy vấn được biết đến nhiều nhất của thuật toán học Goldreich-Levin là gì? Bài giảng từ blog của Luca Trevisan , Bổ đề 3, nêu nó là . Đây có phải là nổi tiếng nhất về sự phụ thuộc vào n ? Tôi sẽ đặc biệt …

14 cc.complexity-theory reference-request lg.learning fourier-analysis

Câu hỏi được gắn thẻ «reference-request»