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

3

Gõ suy luận cho các mệnh lệnh mệnh lệnh khác với phép gán

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

1

Tìm nhện kéo dài

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

3

Ghi chú giới thiệu về song song hóa, trong các mẫu cụ thể của các vấn đề và thuật toán

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

4

Số lượng các cụm trong một biểu đồ: kết quả Mặt trăng và Moser năm 1965

Tôi đang tìm kiếm toàn bộ kết quả của cụm sao Mặt trăng và Moser năm 1969 Trên Cliques trong Đồ thị (tồn tại các biểu đồ với một số lượng cực đại theo cấp số mũ theo ). Paywall của trường đại học của tôi không có quyền truy …

10 reference-request graph-theory co.combinatorics clique

1

Mật độ của ngôn ngữ P-Complete

Giả sử là ngôn ngữ Boolean, có chuỗi hữu hạn trên { 0 , 1 } . Gọi L n là số chuỗi trong L có độ dài n . Đối với hàm d ( n ) từ số nguyên dương đến số thực dương, L có mật độ trên …

10 cc.complexity-theory reference-request p-hardness

1

Tìm một kết quả khớp có sự co lại sẽ giảm thiểu số lượng cung trong biểu đồ

Cho một đồ thị hỗn hợp G=(V,E,A)G=(V,E,A)G=(V,E,A) với các cạnh EEE và cung AAA , tìm một kết quả khớp trong EEE để giảm thiểu số lượng cung trong G/MG/MG/M , trong đó G/MG/MG/M thu được từ GGG bằng cách hợp đồng các đỉnh khớp và loại bỏ cung song …

10 cc.complexity-theory reference-request graph-theory

1

Giảm bao thanh toán các sản phẩm chính sang bao thanh toán các sản phẩm số nguyên (trong trường hợp trung bình)

Câu hỏi của tôi là về sự tương đương của bảo mật của các chức năng một chiều ứng cử viên khác nhau có thể được xây dựng dựa trên độ cứng của bao thanh toán. Giả sử vấn đề của YẾU TỐ: [Cho cho các số nguyên tố ngẫu …

10 reference-request cr.crypto-security nt.number-theory average-case-complexity one-way-function

1

Lý do về các vòng lặp không xác định

Đây là câu hỏi "theo dõi B" nếu có. Tóm tắt: điều đầu tiên tôi nghĩ đến khi tôi cố gắng đưa ra một ngữ nghĩa cho các chương trình không xác định sẽ dẫn đến một ngữ nghĩa mà tôi không thể chứng minh những điều về các vòng …

10 reference-request denotational-semantics

4

Bất đẳng thức loại chuông lượng tử

Tôi tò mò liệu ai đó có thể giới thiệu một số tài liệu bổ sung để hiểu sâu hơn về bài báo: " Một số kết quả và vấn đề về bất bình đẳng loại chuông lượng tử - Tsirelson ". Cụ thể một cái gì đó có thể …

10 reference-request quantum-computing quantum-information

2

Vấn đề mạng

Đã có một lượng công việc khá lớn đối với các vấn đề tính toán cho các đơn hàng một phần (ví dụ: nhận dạng, số nhảy, nhận dạng biểu đồ so sánh, v.v ...). Tôi tò mò những gì công việc cụ thể cho mạng đã được thực hiện. …

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

4

Giới hạn khoảng cách giữa độ phức tạp truy vấn lượng tử và xác định

Mặc dù sự phân tách theo cấp số nhân giữa độ phức tạp truy vấn lượng tử lỗi ( ) và độ phức tạp truy vấn xác định ( ) hoặc độ phức tạp truy vấn ngẫu nhiên lỗi ( ) đã biết, chúng chỉ áp dụng cho một số …

10 cc.complexity-theory reference-request quantum-computing query-complexity

1

Các chương trình kéo dài, quy mô nhân chứng và độ phức tạp của chứng chỉ

Một chương trình span là một cách đại số tuyến tính để chỉ định một hàm boolean được giới thiệu ở đây . Gần đây, mô hình này đã được sử dụng để chỉ ra rằng phương pháp đối nghịch phủ định cung cấp một đặc tính chặt chẽ (ít …

10 cc.complexity-theory reference-request quantum-computing query-complexity

4

Xây dựng tốt hơn một ngẫu nhiên.

Tôi quan tâm đến các ví dụ về các công trình trong lý thuyết phức tạp tốt hơn các công trình ngẫu nhiên. Một ví dụ duy nhất về việc xây dựng như vậy mà tôi biết là trong lĩnh vực mã sửa lỗi. Mã hình học đại số tốt …

10 reference-request big-list derandomization pr.probability

2

Nói chuyện tạo động lực về nền tảng của mật mã

Câu hỏi này nằm trong cùng một câu nói truyền cảm hứng cho học sinh trung học năm cuối . Tiến sĩ của tôi cố vấn yêu cầu tôi nói chuyện truyền cảm hứng cho M.Sc. sinh viên. Chủ đề là nền tảng của mật mã học , được minh …

10 reference-request soft-question cr.crypto-security teaching

3

Vấn đề lựa chọn từ khóa trong đấu giá tiếp thị công cụ tìm kiếm

Trước hết, tôi vẫn không chắc liệu cstheory có thích nghi tốt với câu hỏi này hay không, vì vậy tôi sẽ không bị xúc phạm nếu đám đông nghĩ rằng đó không phải là trường hợp ... Trong tiếp thị công cụ tìm kiếm, một số vấn đề là …

10 reference-request lg.learning gt.game-theory

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