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

Tôi đang tìm kiếm tài liệu hướng dẫn bao gồm các bằng chứng chính xác của trình biên dịch, tốt nhất là sử dụng các phương pháp biểu thị, ở cấp độ của một học sinh bắt đầu. Ngoài ra, bạn có biết một số ví dụ trình biên dịch …

20 reference-request  pl.programming-languages  semantics  compilers 

Vấn đề thú vị sau đây xuất hiện trong nghiên cứu của tôi gần đây: NGAY LẬP TỨC: Đồ thị .G(V,E)G(V,E)G(V, E) GIẢI PHÁP: Một chordless hoàn lẻ chu kỳ, được định nghĩa là một superset của cạnh bộ sao cho đồ thị đầy đủ có các tài sản mà …

20 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Một số kết quả được biết đến để tìm một phân đoạn n chính xác bên trong một mảng n chiều là gì? Trong 1D, nó chỉ là một vấn đề khớp chuỗi, KMP thực hiện nó trong thời gian tuyến tính. Trong 2D, bài báo này cho thấy nó …

20 ds.algorithms  reference-request  string-matching 

Giả sử một đồ thị có đỉnh được trình bày dưới dạng luồng của các cạnh , nhưng nhiều đường chuyền được phép qua luồng.GGGnnnmmm Monika Rauch Henzinger, Mitchhakar Raghavan và Sridar Rajagopalan đã quan sát thấy rằng không gian là cần thiết để xác định liệu có một đường …

20 reference-request  graph-algorithms  ds.data-structures  lower-bounds  data-streams 

Đã có nghiên cứu để thực hiện các công trình trích xuất ngẫu nhiên? Dường như các bằng chứng trích xuất sử dụng Big-Oh, để lại khả năng cho các hằng số ẩn lớn, khiến việc triển khai theo chương trình có khả năng không thực tế. Một số bối …

20 reference-request  cr.crypto-security  randomness  implementation  application-of-theory 

Trong lớp phức tạp , có một số vấn đề được phỏng đoán KHÔNG có trong lớp , tức là các vấn đề với thuật toán song song xác định. Vấn đề lưu lượng tối đa là một ví dụ. Và có những vấn đề được TIN TƯỞNG trong , …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp 

Tôi đang tìm kiếm một khảo sát tốt về các thuật toán và độ phức tạp của đại số tuyến tính (các phép toán như xếp hạng, nghịch đảo, giá trị riêng, ... cho Boolean, và ma trận số nguyên / hợp lý) với sự nhấn mạnh vào song song …

20 cc.complexity-theory  ds.algorithms  reference-request  dc.parallel-comp  linear-algebra 

Một vấn đề kinh điển trong lý thuyết xác suất là thể hiện xác suất của một sự kiện theo các sự kiện cụ thể hơn. Trong trường hợp đơn giản nhất, người ta có thể nói . Hãy ghi cho sự kiện .P[A∪B]=P[A]+P[B]−P[A∩B]P[A∪B]=P[A]+P[B]−P[A∩B]P[A \cup B] = P[A] + P[B] …

20 reference-request  pr.probability 

Có một tài liệu lớn về "kiểm tra thuộc tính" - vấn đề tạo một số lượng nhỏ các truy vấn hộp đen cho một hàmf: { 0 , 1 }n→ Rf:{0,1}n→Rf\colon\{0,1\}^n \to R để phân biệt giữa hai trường hợp: Cfff là thành viên của một số lớp hàmCC\mathcal{C} …

20 reference-request  lg.learning  metrics  property-testing  black-box 

Lớp PPAD phức tạp (ví dụ: tính toán các cân bằng Nash khác nhau) có thể được định nghĩa là tập hợp các vấn đề tìm kiếm đa thời gian có thể giảm xuống đến KẾT THÚC : KẾT THÚC LINE : Cho các mạch S và P với n …

20 reference-request  combinatory-logic  graph-theory  ppad 

Một chuỗi Ngoài ra là một chuỗi các số nguyên dương (x1,x2,…,xn)(x1,x2,…,xn)(x_1, x_2, \dots, x_n) nơi x1=1x1=1x_1 = 1 và mỗi chỉ số i≥2i≥2i\ge 2 , chúng ta có xi=xj+xkxi=xj+xkx_i = x_j + x_k đối với một số chỉ số . Độ dài của chuỗi bổ sung là ; các …

20 reference-request  np-hardness 

Câu hỏi này tương tự như câu hỏi chung hơn cho mô hình lý thuyết đúng của máy tính để thiết kế thuật toán và cấu trúc dữ liệu. Ở đây, tôi hỏi cụ thể về các máy tính hiệu suất cao hiện tại (như những máy tính được liệt …

20 reference-request  soft-question  machine-models 

Câu hỏi chính / chung Hãy để là một ngôn ngữ. Xác định ngôn ngữ với và cho . Hãy xem xét . Vì vậy, chúng tôi liên tục "nhúng" vào chính nó để thu được .LLLLiLiL_iL0=LL0=LL_0 = LLi={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\}L = ⋃ …

19 reference-request  fl.formal-languages 

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp vật lý vì nó có thể được trả lời trên Trao đổi ngăn xếp khoa học máy tính lý thuyết. Di cư 6 năm trước . Trong tính toán lượng tử đáng tin cậy (AQC), người ta mã …

19 reference-request  quantum-computing  physics  topology 

Độ phức tạp thời gian (không phải độ phức tạp truy vấn) của thuật toán Grover là gì? Đối với tôi có vẻ rõ ràng rằng đó là vì có các lần lặp và mỗi lần lặp lại yêu cầu sử dụng thao tác phản xạ lần lượt mất thời …

19 reference-request  quantum-computing  time-complexity