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

Khi kết hợp các kết quả, thường mong muốn có một số sơ đồ tìm kiếm chuyên nghiệp, thay vì các sơ đồ được đặt cùng nhau trong MS Paint. Tiêu chuẩn để vẽ cấu trúc dữ liệu là gì?

21 soft-question  ds.data-structures  software  graph-drawing  writing 

Nếu fff là hàm lồi thì bất đẳng thức của Jensen nói rằng f(E[x])≤E[f(x)]f(E[x])≤E[f(x)]f(\textbf{E}[x]) \le \textbf{E}[f(x)] và mutatis mutandis khi fff lõm. Rõ ràng trong trường hợp xấu nhất, bạn không thể giới hạn trên E[f(x)]E[f(x)]\textbf{E}[f(x)] về mặt f(E[x])f(E[x])f(\textbf{E}[x]) cho một lồi fff , nhưng có một ràng buộc đi …

21 randomness  pr.probability  randomized-algorithms 

Bất cứ ai cũng có thể vui lòng trỏ đến một hoặc nhiều trang web nơi có thể tải xuống bản triển khai hoạt động của bộ giải #SAT? Tôi quan tâm đến những người trả về số lượng giải pháp chính xác, không phải là một xấp xỉ.

21 ds.algorithms  sat  software 

Chúng tôi biết rất nhiều về những hạn chế của (kích thước đa thức) mạch độ sâu không đổi. Do các công thức độ sâu không đổi (kích thước đa thức) là một mô hình tính toán bị hạn chế hơn nữa, nên tất cả các vấn đề được biết …

21 cc.complexity-theory  circuit-complexity  lower-bounds 

Tôi đã đăng câu hỏi này cách đây một thời gian trên MathOverflow , nhưng theo hiểu biết tốt nhất của tôi thì nó vẫn mở, vì vậy tôi đang đăng lại nó ở đây với hy vọng ai đó có thể đã nghe về nó. Báo cáo vấn đề …

21 co.combinatorics  np-hardness 

Có một khảo sát tốt so sánh các máy chiết, bộ tập trung và siêu tập trung khác nhau và đưa ra các phương pháp tốt nhất về sự đánh đổi giữa tính ngẫu nhiên, thời gian và không gian?

21 reference-request  randomness  derandomization 

Một bằng chứng tách lớp phức tạp sử dụng tính đồng nhất của các lớp phức tạp về cơ bản nếu bằng chứng không chứng minh được kết quả cho phiên bản không định dạng, ví dụ bằng chứng dựa trên đường chéo (như các định lý phân cấp không …

21 cc.complexity-theory 

. giới hạn.) Giả sử chúng ta có đồng tiền giống hệt nhau với bias . Mục đích là để mô phỏng một lần tung đồng xu duy nhất trong khi giảm thiểu sai lệch.δ = P [ H e a d ] - P [ T a i l …

21 cc.complexity-theory  circuit-complexity  pr.probability 

Có sự khác biệt thú vị nào giữa lý thuyết và thực hành bảo mật và mật mã? Tất nhiên thú vị nhất sẽ là những ví dụ gợi ý những con đường mới cho nghiên cứu lý thuyết dựa trên kinh nghiệm thực tế :). Câu trả lời có …

21 cr.crypto-security 

Dường như với tôi, ngôn ngữ macro được sử dụng bởi có thể được xem là một loại hệ thống viết lại thuật ngữ hoặc một loại ngôn ngữ lập trình với phạm vi gọi theo tên.TEXTEX\TeX Ngay cả các triển khai hiện đại của công cụ (ví dụ ) …

21 pl.programming-languages  semantics  term-rewriting-systems 

Được thúc đẩy bởi câu trả lời của Shor liên quan đến các khái niệm khác nhau về tính đầy đủ của NP, tôi đang tìm kiếm một vấn đề hoàn thành NP theo mức giảm P nhưng không được biết là hoàn thành NP theo mức giảm Logspace (tốt …

21 cc.complexity-theory  np-hardness 

1- Có thuộc tính cụ thể nào cho ma trận kề không khi đồ thị là phẳng? 2- Có điều gì đặc biệt để tính toán vĩnh viễn ma trận kề khi đồ thị là phẳng không?

21 graph-theory  co.combinatorics  permanent 

Câu hỏi này được lấy cảm hứng từ phỏng đoán Hirsch đa thức (PHC). Cho một đa giác -facet P trong R d , khoảng cách quang phổ của đồ thị đỉnh-đỉnh của nó (gọi là G ) thấp hơn giới hạn bởi Ω ( 1 / p o l …

21 co.combinatorics  linear-programming  expanders 

László Babai gần đây đã chứng minh rằng vấn đề Đồng phân đồ thị là trong thời gian quasipolynomial . Xem thêm bài nói chuyện của anh ấy tại Đại học Chicago, ghi chú từ các cuộc nói chuyện của Jeremy Kun GLL bài 1 , GLL bài 2 , …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate 

Nhắc lại π(n)π(n)\pi(n) số lượng các số nguyên tố ≤n≤n\le n là hàm đếm số nguyên tố . Theo "PRIMES in P", tính toán π(n)π(n)\pi(n) nằm trong #P. Là vấn đề # P-đầy đủ? Hoặc, có lẽ, có một lý do phức tạp để tin rằng vấn đề này không …

20 cc.complexity-theory  counting-complexity  nt.number-theory  comp-number-theory  primes