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

5

Các ngôn ngữ lập trình âm thanh lý thuyết cho các vấn đề đồ thị là gì?

Có rất nhiều công cụ / gói lý thuyết đồ thị. Mỗi cái đều có ưu và nhược điểm. Điều gì nên là ngữ nghĩa / cú pháp của một ngôn ngữ lập trình có nghĩa là để giải quyết các vấn đề lý thuyết đồ thị?

8 graph-theory pl.programming-languages software

1

Sự khác biệt giữa tối ưu hóa trực tuyến và gia tăng là gì?

Gần đây tôi đã đọc một số nội dung về các vấn đề tối ưu hóa gia tăng, nhưng tôi không thể thấy sự khác biệt giữa những vấn đề đó và các vấn đề tối ưu hóa trực tuyến. Ấn tượng của tôi là tôi có thể định nghĩa …

8 ds.algorithms optimization online-algorithms

2

Về sự tương ứng của giới thiệu bên trái và loại bỏ hàm ý trong Tính toán tuần tự và trong phần khấu trừ tự nhiên.

Bất cứ ai cũng có thể đưa ra một lời giải thích trực quan ( không cố ý ) về sự tương ứng của giới thiệu bên trái và loại bỏ hàm ý trong Tính toán tuần tự (SC) và Khấu trừ tự nhiên (ND) tương ứng? Tôi biết họ …

8 lo.logic proof-theory sequent-calculus natural-deduction

2

Lập trình logic: Biến đổi B: -AC: -A thành B, C: -A

Tôi hy vọng tôi đã đến đúng nơi ... đó (có lẽ) là một câu hỏi lập trình logic khá đơn giản. Nếu tôi có hai mệnh đề có dạng: B:-A C:-A tôi có thể chuyển đổi chúng thành: B,C:-A ( Chỉnh sửa: kết hợp ở đâu B,CTuy nhiên, có …

8 reference-request pl.programming-languages terminology logic-programming

1

Đó có phải là trường hợp cụ thể của giải pháp trọng lượng tối thiểu trên các phương trình tuyến tính mà vẫn hoàn thành NP?

Chúng tôi trong nhóm nghiên cứu của chúng tôi đang làm việc trong việc áp dụng các phương pháp heuristic cho vấn đề chiếu sáng ngược (nghĩa là đưa ra một loạt các hạn chế về điều kiện chiếu sáng trong một cảnh, tìm những nơi đặt nguồn sáng và …

8 cc.complexity-theory np-hardness cg.comp-geom application-of-theory

1

Các lớp học phức tạp của Caged

Đây là một câu hỏi hơi phù phiếm xuất hiện trong đầu tôi sau khi đọc các câu trả lời khác nhau cho "Lớp phức tạp nhỏ nhất của nhà vua mà một mạch siêu tuyến bị ràng buộc là gì? ". Câu trả lời đề cập đến , và …

8 cc.complexity-theory complexity-classes

2

Thời gian khởi tạo của cây cắt liên kết là gì?

Cây cắt liên kết là một cấu trúc dữ liệu được phát minh bởi Sleator và Tarjan, hỗ trợ các hoạt động và truy vấn khác nhau trên mộtrừng-ode trong thời gian O (\ log n) . (Ví dụ: liên kết hoạt động kết hợp hai cây trong rừng thành …

8 ds.algorithms ds.data-structures time-complexity tree dynamic-algorithms

4

Điều tra về lý thuyết về chức năng đệ quy?

Bạn có thể giới thiệu một bài báo khảo sát hoặc chương sách giáo khoa giới thiệu lý thuyết về các hàm đệ quy? Cảm ơn

8 reference-request computability

1

SAT trong lý thuyết mô hình hữu hạn mà không có trật tự

Nó được biết đến trong lý thuyết mô hình hữu hạn rằng không có một trật tự trên đầu vào, tính biểu cảm là rất hạn chế. Ví dụ: người ta biết rằng bằng với PSPACE và (không có bất kỳ thứ tự nào trong đầu vào) chỉ liên quan …

8 cc.complexity-theory descriptive-complexity finite-model-theory

1

Sử dụng bằng chứng dựa trên trò chơi trong bằng chứng dựa trên mô phỏng

Bảo mật dựa trên mô phỏng cung cấp định nghĩa bảo mật tự nhiên và mạnh mẽ hơn bảo mật dựa trên trò chơi. Tôi đã thấy các phương pháp tiếp cận dựa trên mô phỏng sử dụng các bằng chứng dựa trên trò chơi để chứng minh tính bảo …

8 cc.complexity-theory cr.crypto-security

2

Kỹ thuật quang phổ cho chi của đồ thị

Một câu hỏi chung chung: có bất kỳ kỹ thuật quang phổ nào để ước tính chi của đồ thị không? Tôi quan tâm đến đồ thị lưỡng cực.

8 graph-theory co.combinatorics spectral-graph-theory

2

PCP lượng tử và độ cứng mô phỏng của người Hamilton

Tôi có một vài câu hỏi về phỏng đoán của Quantum PCP: Tuyên bố của phỏng đoán PCP lượng tử là gì? Định lý PCP lượng tử có ý nghĩa gì đối với việc mô phỏng người Hamilton? Có phải người ta tin rằng việc áp dụng bằng chứng của …

8 cc.complexity-theory quantum-computing approximation-hardness pcp physics

1

Phân tích sức mạnh tổng hợp của hai thuật toán so với mô phỏng của chúng song song

Hãy xem xét hai thuật toán sau để tìm kiếm trong một mảng nnn phần tử được sắp xếp : A) tìm kiếm nội suy và tìm kiếm nhị phân được mô phỏng song song và B) tìm kiếm thông qua các bước nội suy xen kẽ và các bước …

8 ds.algorithms time-complexity

1

Công cụ dịch các thiết bị PDA sang CFG

Chúng tôi biết rằng tất cả các automata đẩy xuống đều có thể biểu diễn bằng cách sử dụng ngữ pháp không ngữ cảnh. Hơn nữa, có một thuật toán để xây dựng CFG từ bất kỳ máy PDA nào (ví dụ: bằng chứng của Sipser trong phần giới thiệu …

8 automata-theory fl.formal-languages grammars software

3

Cung cấp danh sách bỏ qua cân bằng mạnh mẽ trong kỳ vọng

Đưa ra một danh sách bỏ qua chiều cao nnn , chiều dài dự kiến của nó là bao nhiêu, trong một yếu tố không đổi (nhân)? Trong phần 2.2 của Cây B lãng quên bộ nhớ cache , Cây tìm kiếm cân bằng mạnh được định nghĩa là: Đối …

8 ds.data-structures randomized-algorithms skip-lists