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

Giả sử chúng ta đang ném bi vào thùng, trong đó . Đặt là số lượng bóng kết thúc trong bin , là thùng nặng nhất, X_ \ min là thùng nhẹ nhất và X _ {\ mathrm {sec-max}} là thùng nặng thứ hai. Nói một cách đơn giản, X_i …

23 reference-request  pr.probability 

Xét một thân lồi KKK tâm ở gốc và đối xứng (nghĩa là nếu x∈Kx∈Kx\in K thì −x∈K−x∈K-x\in K ). Tôi mong muốn tìm thấy một cơ thể khác nhau lồi LLL mà K⊆LK⊆LK\subseteq L và biện pháp sau đây được giảm thiểu: f(L)=E(xT⋅x−−−−−√)f(L)=E(xT⋅x)f(L)=\mathbb{E}(\sqrt{x^T \cdot x}), trong đóxxxlà một điểm …

23 cg.comp-geom  approximation  convex-geometry 

Vì hiện tại, câu hỏi này không phù hợp với định dạng Hỏi & Đáp của chúng tôi. Chúng tôi hy vọng câu trả lời sẽ được hỗ trợ bởi các sự kiện, tài liệu tham khảo hoặc chuyên môn, nhưng câu hỏi này có thể sẽ thu hút tranh …

23 soft-question  big-list  paper-review 

Trong điện toán lượng tử, chúng ta thường quan tâm đến các trường hợp trong đó nhóm các toán tử đơn vị đặc biệt, G, đối với một số hệ thống d chiều cung cấp cho cả nhóm SU (d) chính xác hoặc thậm chí chỉ là một xấp xỉ …

23 quantum-computing 

Bất cứ ai cũng có thể đề xuất một cuộc khảo sát tốt và gần đây về việc đếm các vấn đề và / hoặc các vấn đề là #P.

23 cc.complexity-theory  reference-request  counting-complexity 

Được biết, chu trình Hamilton (Ham viết tắt) là NP-Complete và Planar Ham Chu kỳ là NP-Complete. Bằng chứng cho Planar Ham Chu kỳ không phải từ Ham Chu kỳ. Có một tiện ích đẹp nào đó, được đưa ra một biểu đồ G, thay thế tất cả các giao …

23 cc.complexity-theory  np-hardness  planar-graphs  hamiltonian-paths 

Thực tế, đối với một ngôn ngữ cuối cùng có thể được biên dịch / chuyển đổi thành các hướng dẫn cấp hệ thống, có nhất thiết phải là một ngữ pháp không ngữ cảnh không? ví dụ: Có phải tất cả các ngôn ngữ lập trình / kịch bản …

23 pl.programming-languages  context-free 

Câu hỏi này đã được di chuyển từ Xác thực chéo 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ư 8 năm trước . Tôi có một vấn đề khá độc đáo để giải quyết và tôi hy vọng …

23 cr.crypto-security  dc.distributed-comp  st.statistics  privacy 

Máy tính lượng tử rất tốt để lấy mẫu phân phối mà chúng ta không biết cách lấy mẫu bằng máy tính cổ điển. Ví dụ: nếu f là hàm Boolean (từ đến ) có thể được tính trong thời gian đa thức thì với máy tính lượng tử, chúng …

23 quantum-computing  cg.comp-geom  optimization 

Tôi có thể tìm biểu đồ liên quan đến các vấn đề thực tế ở đâu? Hai kho lưu trữ tôi biết là: Bộ sưu tập ma trận thưa thớt của Đại học Florida Cây thông của Bodlaender

23 graph-theory  big-list  co.combinatorics  data-sets 

Có lẽ ứng dụng phổ biến nhất của các loại tuyến tính trong PL là sử dụng chúng để đưa ra các ngôn ngữ kiểm soát răng cưa (nghĩa là một giá trị tuyến tính có một con trỏ duy nhất cho nó, nhiều hay ít). Nhưng có một sự …

23 pl.programming-languages  ct.category-theory  imperative-programming  denotational-semantics  linear-logic 

Câu hỏi này liên quan đến câu trả lời tôi đã đăng để trả lời câu hỏi khác. Vấn đề 3 phân vùng là vấn đề sau: Trường hợp : Số nguyên dương a 1 , Số, a n , trong đó n = 3 và tổng của số nguyên …

23 cc.complexity-theory  np-hardness 

Trong khảo sát "Mạch lượng tử độ sâu nhỏ" của D. Bera, F. Green và S. Homer (trang 36 của ACM SIGACT News, tháng 6 năm 2007 tập 38, số 2) , tôi đọc câu sau: Phiên bản cổ điển của (trong đó cổng A N D và O R …

23 cc.complexity-theory  circuit-complexity 

Chiều rộng của cây đo mức độ gần của đồ thị với cây. Đó là NP-hard để tính chiều rộng cây. Là tốt nhất được biết đến xấp xỉ thuật toán đạt hệ số.O ( log n----√)Ôi(đăng nhậpn)O(\sqrt{{\log}n}) Định lý của Courcelle nói rằng bất kỳ tính chất nào của …

23 cc.complexity-theory  ds.algorithms  graph-theory  space-bounded  treewidth 

Những gì được biết về sự phức tạp của việc tìm các mạch tối thiểu tính toán SAT lên đến chiều dài ? nnn Chính thức hơn: độ phức tạp của hàm là gì, được đưa ra khi đầu vào xuất ra một mạch tối thiểu sao cho bất kỳ …

23 cc.complexity-theory  sat