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

Đưa ra một biểu đồ có hướng, chúng tôi muốn quyết định xem nó có chứa một chu kỳ có hướng có độ dài chẵn hay không. Bài viết năm 1997 này của YUSTER và ZWICK nói rằng vấn đề không được biết là ở và nó cũng không phải …

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

Tôi nghe nói về một kết quả trong việc tô màu đồ thị gần đúng, nhưng không thể tìm thấy nguồn. Kết quả là: Với mỗi hằng số tồn tại một đủ lớn sao cho tô màu một đồ thị có màu với màu là NP-hard.hhhkkkkkkh khkhk Ai đó có …

10 reference-request  approximation-hardness  graph-colouring 

Tôi đang viết luận án thạc sĩ về CS và tôi đang làm việc với phân tích bí danh. Điều mà tôi quan tâm là phân tích nội bộ, phân tích nhạy cảm dòng chảy và phân biệt có thể cho các ngôn ngữ giống như Java. Tôi đang tìm …

10 reference-request  pl.programming-languages  compilers  program-analysis 

Tôi đang tìm kiếm tài liệu tham khảo về sự phức tạp của vấn đề cân bằng công thức Boolean . Đặc biệt, Được biết rằng các công thức Boolean có thể được cân bằng trong AC0AC0\mathsf{AC^0} ? Có bằng chứng đơn giản nào về công thức Boolean cân bằng …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

Gần đây tôi đã đọc một số lượng lớn các giấy tờ CoLT. Mặc dù tôi không đấu tranh với các bài viết riêng lẻ (ít nhất là không nhiều hơn tôi thường đấu tranh với các bài viết lý thuyết khác), tôi không cảm thấy mình nắm bắt được …

10 reference-request  machine-learning  lg.learning  survey  books 

Các biểu diễn đơn giản nhất cho biểu đồ sử dụng ma trận / danh sách kề, nghĩa là mỗi nút và cạnh được biểu diễn rõ ràng. Tầm quan trọng của các biểu diễn ngầm cho các biểu đồ thể hiện tính đều đặn mạnh mẽ đã được công …

10 ds.algorithms  reference-request  graph-theory  survey  binary-decision-diagrams 

Vài năm trước, tôi đã chạy qua quy tắc bên trái sau đây cho sự bình đẳng trong phép tính liên tiếp: s≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢Cs≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} Ở đây, tính toán đơn vị tổng quát nhất cho và , …

10 reference-request  lo.logic  pl.programming-languages  proof-theory  sequent-calculus 

Đặt . Tôi cần phải tạo ra các đồ thị đơn giản của chu vi như vậy mà tập tất cả các -cycles hình thức một lợi thế cạnh bìa đôi của (có nghĩa là, mỗi cạnh được chia sẻ bởi chính xác hai -cycles), và như vậy mà các …

10 ds.algorithms  reference-request  graph-theory  co.combinatorics  pseudorandom-generators 

JBV đề nghị tôi biến một số ý kiến ​​thành một câu hỏi, vì vậy hãy đi. Một câu hỏi khác [1] hỏi về các ứng dụng của máy tính QM. Một câu trả lời [2] là "mô phỏng hiệu quả cơ học lượng tử". Rõ ràng ý tưởng này …

10 reference-request  quantum-computing  application-of-theory 

Trong bài viết Về hai vấn đề của lý thuyết thông tin , Erdõs và Rényi đưa ra giới hạn thấp hơn về số lượng cân tối thiểu người ta phải làm để xác định số lượng tiền giả trong một bộ xu.nnn Chính thức hơn: Các đồng tiền giả …

10 ds.algorithms  reference-request  co.combinatorics  it.information-theory  randomized-algorithms 

Đặt là một tập hợp các Căn cứ không thiên vị lẫn nhau (MUB) trong , tức là mỗi là một cơ sở trực giao và cho chúng ta có . Chúng tôi quan tâm đến việc phân biệt giữa các vectơ tùy ý từ . Là phép đo POVM …

10 reference-request  quantum-information 

Giới hạn tốt nhất hiện tại để thực hiện các truy vấn đếm phạm vi nửa không gian trên một tập hợp các điểm -chiều, được thể hiện dưới dạng một sự đánh đổi không gian / thời gian. Theo bài báo bán kết năm 1993 của Matousek (Định lý …

10 reference-request  ds.data-structures  cg.comp-geom 

Cho là đồ thị có các cạnh có trọng số (dương). Tôi muốn xác định sơ đồ Voronoi cho một tập hợp các nút / trang S , để liên kết với một nút v ∈ S biểu đồ con R ( v ) của G được tạo bởi tất …

10 reference-request  graph-theory  cg.comp-geom 

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 

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