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

Q & A cho các nhà khoa học và nhà nghiên cứu máy tính lý thuyết trong các lĩnh vực liên quan

2
Câu hỏi về hai ma trận: Hadamard v. Nghi thức một ma thuật trong một bằng chứng về sự phỏng đoán độ nhạy
Bằng chứng gần đây và cực kỳ lắt léo về phỏng đoán độ nhạy dựa trên cấu trúc * rõ ràng của ma trận An∈{−1,0,1}2n×2nAn∈{−1,0,1}2n×2nA_n\in\{-1,0,1\}^{2^n\times 2^n} , được định nghĩa đệ quy như sau: A1=(0110)A1=(0110)A_1 = \begin{pmatrix} 0&1\\1&0\end{pmatrix} và, đối với n≥2n≥2n\geq 2 , An=(An−1In−1In−1−An−1)An=(An−1In−1In−1−An−1)A_{n} = \begin{pmatrix} A_{n-1}&I_{n-1}\\I_{n-1}&-A_{n-1}\end{pmatrix} Đặc biệt, …






2
Là Cheeger hằng
Tôi đã đọc rất nhiều bài báo xác định hằng số Cheeger của đồ thị là -hard. Nó có vẻ là một định lý dân gian, nhưng tôi chưa bao giờ tìm thấy một trích dẫn hoặc bằng chứng cho tuyên bố này. Tôi nên cho ai tín dụng cho …




1
Quyết định sự trống rỗng của giao điểm của các ngôn ngữ thông thường trong thời gian phụ
Đặt L1,L2L1,L2L_1,L_2 là hai ngôn ngữ thông thường được đưa ra bởi NFAs M1,M2M1,M2M_1,M_2 làm đầu vào. Giả sử chúng ta muốn kiểm tra xem L1∩L2≠∅L1∩L2≠∅L_1\cap L_2\neq \emptyset . Điều này rõ ràng có thể được thực hiện bằng thuật toán bậc hai tính toán tự động hóa sản phẩm …


3
Các vấn đề tối ưu hóa với đặc tính tốt, nhưng không có thuật toán thời gian đa thức
Xem xét các vấn đề tối ưu hóa của các hình thức sau đây. Đặt là hàm tính toán thời gian đa thức, ánh xạ một chuỗi thành một số hữu tỷ. Vấn đề tối ưu hóa là đây: giá trị tối đa của so với chuỗi -bit bao nhiêu?f(x)f(x)f(x)xxxf(x)f(x)f(x)nnnxxx …

5
Vấn đề hoàn thành EXPSPACE
Tôi hiện đang cố gắng tìm các vấn đề hoàn chỉnh của EXPSPACE (chủ yếu là tìm cảm hứng để giảm bớt), và tôi rất ngạc nhiên bởi số lượng nhỏ kết quả sắp tới. Cho đến nay, tôi đã tìm thấy những thứ này và tôi gặp khó khăn …

3
Đại diện OR với đa thức
Tôi biết rằng trivially OR chức năng trên nnn biến x1,…,xnx1,…,xnx_1,\ldots, x_n có thể được biểu diễn chính xác bởi các đa thức p(x1,…,xn)p(x1,…,xn)p(x_1,\ldots,x_n) như vậy: p(x1,…,xn)=1−∏ni=1(1−xi)p(x1,…,xn)=1−∏i=1n(1−xi)p(x_1,\ldots,x_n) = 1-\prod_{i = 1}^n\left(1-x_i\right) , có độ nnn . Nhưng làm thế nào tôi có thể chỉ ra, điều có vẻ hiển nhiên, …

Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.