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

Chúng ta hãy định nghĩa một lớp các hàm trên một tập hợp bit. Khắc phục hai bản phân phối "hợp lý" khác nhau (nếu bạn thích, khoảng cách thay đổi của chúng ít nhất là hoặc một cái gì đó tương tự).p , q εnnnp , qp,qp, qεϵ\epsilon Bây …

10 lg.learning 

Trong một cuộc nói chuyện của Razborov, một tuyên bố nhỏ gây tò mò được đăng tải. Nếu FACTORING khó, thì định lý nhỏ của Fermat không thể chứng minh được trong .S12S21S_{2}^{1} Là gì và tại sao là bằng chứng hiện tại không ở ? S 1 2S12S21S_{2}^{1}S12S21S_{2}^{1}

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

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 

Các câu dưới đây có liên quan đến tối ưu của Bellman-Ford sss - ngắn nhất thuật toán lập trình con đường năng động (xem bài này cho một kết nối). Ngoài ra, một câu trả lời tích cực sẽ ngụ ý rằng kích thước tối thiểu của chương trình …

10 graph-theory  circuit-complexity  lower-bounds 

Câu hỏi của tôi là tại sao giới hạn dưới cho độ sâu 3 mạch Boolean có cổng "và" và "xor" cho định thức không bao hàm các giới hạn dưới giống nhau cho các mạch số học trên ?ZZ\mathbb{Z} Có gì sai với đối số sau: Đặt là một …

10 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

BPPBPP\mathsf{BPP} vàZPPZPP\mathsf{ZPP} là hai lớp phức tạp xác suất cơ bản. BPPBPP\mathsf{BPP} là lớp ngôn ngữ được quyết định bởi các thuật toán Turing thời gian đa thức xác suất trong đó xác suất thuật toán trả về một câu trả lời không chính xác bị ràng buộc, nghĩa là …

10 cc.complexity-theory  complexity-classes  randomness  randomized-algorithms 

Đặt lớp BPNC (sự kết hợp của và N C ) là các thuật toán song song độ sâu log với xác suất lỗi bị ràng buộc và truy cập vào một nguồn ngẫu nhiên (tôi không chắc liệu đây có phải là một tên khác không). Xác định lớp …

10 cc.complexity-theory  complexity-classes  dc.parallel-comp  randomness  pseudorandomness 

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 

Cho một họ có tối đa tập con của . Việc đóng cửa công đoàn là một gia đình bộ có chứa tất cả các thiết lập có thể được xây dựng bằng cách tham gia công đoàn trong tổng số 1 hoặc nhiều bộ trong . Bởichúng ta biểu …

10 co.combinatorics  graph-algorithms  clique  independence 

Trong chương trình ngữ nghĩa ngôn ngữ, người ta thường nghe nói rằng người nói về ý nghĩa và ngoại diên . Họ dường như không giống nhau. Sự khác biệt là gì? Là cái trước liên quan đến ngữ nghĩa hoạt động trong khi cái trước với ngữ nghĩa …

10 pl.programming-languages  semantics  denotational-semantics  operational-semantics 

Tôi biết Gaussian Elimination có các phép toán số học , nhưng tôi không chắc có thuật toán nào tốt hơn được biết không.Ô ( n3)Ôi(n3)O(n^3)

10 ds.algorithms  linear-algebra  matrices 

Bối cảnh : Kavvadias và Sideri đã chỉ ra rằng vấn đề 3-SAT nghịch đảo là coNP Hoàn thành: Cho một bộ mô hình trên biến, có công thức 3-CNF sao cho là bộ mô hình chính xác của nó không? Một công thức ứng cử viên ngay lập tức …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat 

Các loại quyền sở hữu và Logic tách biệt dường như có các mục tiêu tương tự, kiểm soát quyền sở hữu và bí danh. Có lẽ, tôi cũng nên thêm: khả năng viết các đặc tả mô-đun. Những gì được biết về mối quan hệ giữa các loại sở …

10 pl.programming-languages  type-systems  object-oriented  program-logic 

Đặt là tập hợp điểm trong . Đối với bất kỳ , -spanner là đồ thị vô hướng có trọng số theo thước đo Euclidian, sao cho với hai điểm , , khoảng cách ngắn nhất trong , , là tại hầu hết các lần so với khoảng cách Euclide …

10 cg.comp-geom 

Trong hầu hết các hệ thống chứng minh xác suất (ví dụ định lý PCP), xác suất lỗi thường được xác định ở phía bên dương tính, nghĩa là một định nghĩa điển hình có thể giống như: nếu thì trình xác minh luôn chấp nhận, nhưng trong trường hợp …

10 cc.complexity-theory  pcp  interactive-proofs