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

Tôi đang cố gắng đứng dưới bài báo về Hệ thống chứng minh và logic tối ưu cho PTIME . Có một khái niệm gọi là hệ thống bằng chứng trong bài báo và tôi không có ý định: ... Chúng tôi xác định vấn đề với các tập con …

9 lo.logic  descriptive-complexity  proof-complexity 

Giả sử Alice có một bản phân phối trên một hữu hạn (nhưng có thể rất lớn) miền, như vậy mà (Shannon) entropy của μ là bị chặn trên bởi một hằng số tùy ý nhỏ ε . Alice vẽ một giá trị x từ μ , và sau đó …

9 it.information-theory  pr.probability 

Cuốn sách của Arora và Barak có trong các ghi chú của chương về PCP Chúng tôi lưu ý rằng chiến lược chung của Dinur phần nào gợi nhớ đến việc xây dựng các đồ thị mở rộng ngoằn ngoèo và thuật toán không gian xác định của Reingold cho …

9 cc.complexity-theory  pcp 

Functors xây dựng từ các sản phẩm hữu hạn và số tiền phải đóng cửa thứ ωω\omega , chi tiết độc đáo trong bản thảo này bởi Francois Metayer. tức là chúng ta có thể đạt được loại quy nạp n a t : = μ X. 1 + Xnmộtt: …

9 lo.logic  type-theory  ct.category-theory 

Theo như tôi biết, một hàm Haskell với các ràng buộc của lớp loại được biên dịch bên trong thành một hàm với các đối số bổ sung nhận từ điển với các cài đặt cần thiết của từng lớp loại cụ thể. Có bất kỳ khả năng nào khác …

9 pl.programming-languages  functional-programming  compilers  type-systems 

p × q k ≤ p × q k i jkkk điểm khác biệt được chọn ngẫu nhiên từ lưới . (Rõ ràng và là một số không đổi cho trước.) Một đồ thị có trọng số hoàn chỉnh được xây dựng từ các điểm này sao cho trọng số …

9 graph-theory  co.combinatorics  planar-graphs  hamiltonian-paths 

Đặt là đồ thị. Đặtlà một số nguyên. Gọi là số đồ thị con cảm ứng cạnh của có đỉnh và số cạnh lẻ. Gọi là số đồ thị con cảm ứng cạnh của có đỉnh và số cạnh chẵn. Đặt . Vấn đề ODD EVEN DELTA bao gồm tính …

9 ds.algorithms  graph-theory  graph-algorithms  counting-complexity 

Giả sử ta có hàm số sao cho ∀ x ∈ Z n 2f:Zn2→Rf:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R} vàflà một phân phối, tức là,Σx∈Z n 2 f(x)=1.∀x∈Zn2f(x)∈{12n,22n,…,2n2n},∀x∈Z2nf(x)∈{12n,22n,…,2n2n},\forall x\in \mathbb{Z}_2^n \quad f(x) \in \left\{\frac{1}{2^n}, \frac{2}{2^n}, \ldots, \frac{2^n}{2^n} \right\},fff∑x∈Zn2f(x)=1∑x∈Z2nf(x)=1\sum_{x\in \mathbb{Z}_2^n} f(x) = 1 Entropy Shannon của được định nghĩa như sau: H ( f …

9 it.information-theory  boolean-functions 

Đặt là biến ngẫu nhiên lấy các giá trị trong (đối với một số bảng chữ cái lớn ), có entropy rất cao - giả sử,cho một hằng số nhỏ tùy ý . Đặt là một sự kiện trong sự hỗ trợ của sao cho , trong đó \ varepsilon …

9 it.information-theory  pr.probability 

Câu hỏi của tôi là về lý thuyết mô hình hữu hạn / độ phức tạp mô tả, do đó, sẽ có nghĩa là "thứ tự đầu tiên trên các từ nhị phân hữu hạn, sử dụng các biến vị ngữ R và một vị từ P đơn vị đúng …

9 cc.complexity-theory  lo.logic  circuit-complexity  descriptive-complexity  finite-model-theory 

Tôi biết rằng thời gian chạy trường hợp xấu nhất dự kiến của thuật toán tam giác delaunay tăng ngẫu nhiên (như được đưa ra trong Hình học tính toán ) là . Có một bài tập trong đó hàm ý thời gian chạy trường hợp xấu nhất là Ω …

9 ds.algorithms  randomized-algorithms  delaunay-triangulation  worst-case 

Tôi đang làm việc trong lĩnh vực kỹ thuật kết cấu và tôi muốn tìm một thuật toán hiệu quả để xây dựng một phép tính gần đúng (theo số liệu của Hausdorff) của một thân lồi bằng thân lồi của n ellipsoids, đối với một số n cố định …

9 cg.comp-geom  approximation  convex-geometry 

Đây là một câu hỏi nhẹ nhằm mục đích thiết lập những gì mọi người nghĩ là cách thực hành chuyên nghiệp tốt nhất để gửi tác phẩm không có nguồn gốc trên arXiv. Có một bản nháp của một bài báo [1] của Robert Szelepcsényi, tại không gian web …

9 soft-question  research-practice 

Tôi đang tìm kiếm một thuật toán để vẽ biểu đồ cấu thành / phụ thuộc hỗn hợp (cho một ứng dụng ngôn ngữ). Một biểu đồ như vậy sẽ có hai loại đỉnh khác nhau (mã thông báo, nút) và hai loại cạnh khác nhau (phân cấp, không phân …

9 ds.algorithms  graph-algorithms  cg.comp-geom  graph-drawing 

Tôi đã vật lộn với các chi tiết kỹ thuật của một bằng chứng liên quan đến lý thuyết đấu giá trong bài viết này: http://users.eecs.northwestern.edu/~hartline/omd.pdf Cụ thể, Định lý 2.5: Các điều kiện cần và đủ cho một cơ chế trung thực. Cụ thể hơn, hướng chuyển tiếp của …

9 gt.game-theory