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

Một ma trận thứ hạng được cho là cứng nhắc, nếu để đưa thứ hạng của nó xuống nnnn , người ta phải thay đổi ít nhấtn1+εcác mục của nó, đối với một sốε>0.n2n2\frac{n}{2}n1+ϵn1+ϵn^{1+\epsilon}ϵ>0ϵ>0\epsilon > 0 Nếu một ma trận A là cứng nhắc, sau đó chương trình đường thẳng …

11 cc.complexity-theory 

Tôi muốn biết nếu có tồn tại một thế giới tương đối hóa nơi . Tôi cũng quan tâm để biết nếu có tồn tại một thế giới tương đối hóa nơi P B ≠ N P B = P P B .PA=NPA≠PPAPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠NPB=PPBPB≠NPB=PPB{\bf P^B} \not …

11 cc.complexity-theory  oracles  relativization 

Tôi đang cố gắng để hiểu giao thức bitcoin trong bối cảnh bảo mật mật mã tính toán. Câu hỏi là một yêu cầu tham khảo cho nền tảng của các bài viết về mật mã trên bitcoin. Câu hỏi đầu tiên của tôi là bitcoin giao thức mã hóa …

11 reference-request  cr.crypto-security 

Tôi có một vài câu hỏi liên quan đến việc đánh lừa các mạch độ sâu không đổi. Người ta biết rằng sự độc lập theo chiều dọc của là cần thiết để đánh lừa các mạch A C 0 có độ sâu d , trong đó n là kích …

11 cc.complexity-theory  cr.crypto-security  circuit-complexity  derandomization  pseudorandom-generators 

Tôi đang tìm kiếm một cấu trúc dữ liệu và một thuật toán để tính toán số lượng thay đổi tối thiểu cần thiết để chuyển đổi một từ này thành một từ khác, với hai từ là đầu vào, trong đó chỉ có các thay đổi được phép thêm …

11 graph-algorithms  ds.data-structures  edit-distance 

Trên cs.stackexchange tôi đã hỏi về thư viện alalaird scala trên github, suy đoán tại sao họ có thể cần một gói đại số trừu tượng. Trang github có một số manh mối: Việc triển khai Monoids cho các thuật toán xấp xỉ thú vị, chẳng hạn như bộ lọc …

11 soft-question  machine-learning  linear-algebra  db.databases 

Cho hai tập con của hypercube -dimensional (nghĩa là ), tôi đang tìm kiếm một thuật toán lấy các điểm st khoảng cách (hoặc -distance trên hypercube) là tối thiểu. Thuật toán ngây thơ chỉ kiểm tra mỗi cặp cần thời gian, có kết quả nào tốt hơn được biết …

11 cg.comp-geom 

Tôi đang tìm kiếm các vấn đề NP-hard mạnh để giảm. Cho đến nay tôi đã tìm thấy những vấn đề sau: Vấn đề 3 phân vùng vấn đề đóng gói Kết hợp số 3 chiều TSP Bất kỳ vấn đề NP-hoàn chỉnh nào mà không có dữ liệu số, …

11 np-hardness  big-list  hamiltonian-paths 

Là trò chơi thông tin hoàn hảo này chơi trên đồ thị biết / nghiên cứu? Cho một đồ thị G=(V,E)G=(V,E)G= (V,E) , hai người chơi thay thế chọn một cạnh hoặc một nút bị cô lập. Nếu người chơi chọn một cạnh e=(u,v)e=(u,v)e = (u,v) , hai nút uuu …

11 reference-request  combinatorial-game-theory 

Năm 1996, một vấn đề mở từ lâu đã được giải quyết bằng máy tính; cụ thể là đại số Robbins và đại số Boolean là như nhau. Bằng chứng được tìm thấy bởi một người hoạt động định lý tự động. Hơn nữa, bằng chứng đã biết về định …

11 soft-question  big-list  proofs  automated-theorem-proving 

Tất cả các sách giáo khoa của tôi đều sử dụng cùng một thuật toán để tạo ra một DFA được cung cấp một biểu thức chính: Đầu tiên, tạo một NFA nhận ra ngôn ngữ của biểu thức chính, sau đó, sử dụng cấu trúc tập hợp con (còn …

11 automata-theory  regular-expressions  dfa 

Một vấn đề mở rất thú vị trong nghiên cứu các biện pháp phức tạp của hàm Boolean là cái gọi là phỏng đoán độ nhạy và độ nhạy khối. Để biết nền tảng về độ nhạy so với độ nhạy khối, bạn có thể xem blogpost sau của S. …

11 cc.complexity-theory  reference-request  fourier-analysis 

Có với các tính chất sau không:L∈NPL∈NPL\in {\bf NP} Được biết, có nghĩa P = N P .L∈PL∈PL\in {\bf P}P=NPP=NP{\bf P}={\bf NP} Không có (được gọi) thời gian đa thức Turing giảm (hoặc một số khác N P vấn đề -complete) để L .SATSATSATNPNP{\bf NP}LLL Nói cách khác, nếu thuật …

11 cc.complexity-theory  np-hardness  reductions 

Một số nền tảng: Tôi quan tâm đến việc tìm kiếm các giới hạn thấp hơn (ít được biết đến hơn) (hoặc kết quả độ cứng) cho vấn đề Học với Lỗi (Lwe) và khái quát hóa như Học với Lỗi trên Nhẫn. Đối với các định nghĩa cụ thể, …

11 cc.complexity-theory  reference-request  cr.crypto-security  machine-learning  lg.learning 

ETH tuyên bố rằng SAT không thể được giải quyết trong trường hợp xấu nhất trong thời gian phụ. Trường hợp trung bình thì sao? Có vấn đề tự nhiên nào trong NP được phỏng đoán là khó theo cấp số nhân trong trường hợp trung bình không? Lấy trường …

11 cc.complexity-theory  np  average-case-complexity