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

Hệ thống bằng chứng xác suất thường được gọi là hạn chế của , trong đó Arthur chỉ có thể sử dụngPCP[f(n),g(n)]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)]MAMA\mathcal{MA}f(n)f(n)f(n) các bit ngẫu nhiên và chỉ có thể kiểm tra bit của chứng chỉ bằng chứng được gửi bởi Merlin (xem, http://en.wikipedia.org/wiki/Interactive_proof_system#PCP ).g(n)g(n)g(n) Tuy nhiên, vào năm 1990 …

15 cc.complexity-theory  pcp  interactive-proofs 

Đây là một câu hỏi tiếp theo cho câu hỏi này về đồ thị vô hạn. Câu trả lời và nhận xét cho câu hỏi đó liệt kê các đối tượng và tình huống được mô hình hóa một cách tự nhiên bằng các biểu đồ vô hạn. Nhưng cũng …

15 graph-theory  co.combinatorics  lo.logic 

Có một thời gian tuyến tính thuật toán xáo trộn tại chỗ? Đây là thuật toán mà một số tay đặc biệt khéo léo có khả năng thực hiện: chia đều một mảng đầu vào có kích thước bằng nhau, và sau đó xen kẽ các phần tử của hai …

15 ds.algorithms  time-complexity 

Lý lịch Công thức đọc một lần trên một tập hợp các cổng (còn được gọi là cơ sở) là một công thức trong đó mỗi biến đầu vào xuất hiện một lần. Các công thức đọc một lần thường được nghiên cứu trên cơ sở De Morgan (có cổng …

15 cc.complexity-theory  circuit-complexity  lower-bounds  formulas 

Hãy xem xét một tập hợp các tập hợp F = { F 1 , F 2 , Mạnh , F n }F={F1,F2,…,Fn}F=\{F_1,F_2,\dotsc,F_n\} trên một bộ cơ sở U = { e 1 , e 2 , Lỗi , e n }U={e1,e2,…,en}U=\{e_1,e_2,\dotsc,e_n\} trong đó | F i | |Fi||F_i| ≪ …

15 cc.complexity-theory  np-hardness  set-cover  packing 

Độ phức tạp tính toán của vấn đề sau là gì: đã cho hai ma trận phức và kiểm tra xem có ma trận hoán vị sao cho: n×nn×nn\times nAAABBBPPPB=PAPT.B=PAPT.B = P A P^T. Nếu nó giúp, người ta có thể cho rằng vàAAA là ẩn sĩ (hoặc thậm chí …

15 cc.complexity-theory  np-hardness  cg.comp-geom  linear-algebra  permutations 

Chúng tôi biết rằng các bộ giải SAT dựa trên DPLL không trả lời đúng trong các trường hợp không thỏa mãn của (nguyên tắc lỗ chim bồ câu), ví dụ: "có ánh xạ tiêm từ n + 1 đến n ":P H PPHP\mathrm{PHP}n + 1n+1n+1nnn P H Pn + …

15 cc.complexity-theory  lo.logic  proof-complexity 

Tôi đang tự học phương pháp chính thức. Tôi nghe nói rằng các phương pháp chính thức được sử dụng (và thường chỉ được sử dụng) để tạo ra phần mềm quan trọng (như bộ điều khiển lò phản ứng hạt nhân, bộ điều khiển bay máy bay, bộ điều …

15 program-verification  formal-methods  se.software-engineering 

Bộ trao và B , một mối quan hệ difunctional ( ~ ) ⊆ A ×AAABBB giữa chúng được định nghĩa là một mối quan hệ thỏa mãn các tài sản sau đây:(∼)⊆A×B(∼)⊆A×B(\sim) \subseteq A \times B Nếu và một ' ~ b ' và một ~ b ' , …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

Xem xét vấn đề sau: Đưa ra biểu đồ truy vấn và biểu đồ tham chiếu , chúng tôi muốn tìm ánh xạ tiêm truyền f: V \ rightarrow V' để giảm thiểu số lượng các cạnh (v_1, v_2) \ trong E sao cho (f (v_1), f (v_2)) \ notin …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism 

Larry Wasserman có một bài đăng gần đây, nơi ông nói về "cảnh sát giá trị p". Anh ấy đưa ra một điểm thú vị (tất cả nhấn mạnh của tôi) (tiền đề in nghiêng mà tôi đã thêm và phản hồi của anh ấy bên dưới nó): Khiếu nại …

15 ds.algorithms  soft-question  big-list 

Gần đây tôi đã trở nên khá quan tâm đến tham số sau khi xem bài báo LICS 2012 của Bernardy và Moulin ( https://dl.acm.org/citation.cfm?id=2359499 ). Trong bài báo này, họ nội tâm hóa tham số đơn nguyên trong một hệ thống loại thuần túy với các loại phụ thuộc …

15 lo.logic  pl.programming-languages  type-systems  logical-relations  parametricity 

Đối với một mặt phẳng nhúng đồ thị phẳng trên mặt phẳng có các cạnh thẳng, hãy xác định một đỉnh là một đỉnh nhọn nếu góc tối đa giữa hai cạnh liên tiếp xung quanh nó lớn hơn 180. Hay nói cách khác, nếu có một đường thẳng đi …

15 graph-theory  cg.comp-geom  graph-drawing 

Khi thực hiện bộ lọc Bloom, cách tiếp cận truyền thống yêu cầu nhiều hàm băm độc lập. Kirsch và Mitzenmacher đã chỉ ra rằng bạn thực sự chỉ cần hai và có thể tạo ra phần còn lại dưới dạng kết hợp tuyến tính của chúng. Câu hỏi của …

15 ds.data-structures  it.information-theory  hash-function 

Một đồ thị được kết nối có thể được phân tách thành các thành phần hai mặt của nó. Đây cây khối điểm cắt là duy nhất. Tương tự như vậy, đồ thị hai mặt có thể được phân tách thành các thành phần ba mặt. Cây SPQR tương ứng …

15 graph-theory  co.combinatorics