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

Đối với một bối cảnh cụ ngôn ngữ miễn phí G, chúng ta gọi là không thuộc đầu cuối nullable nếu A i → * ε , tức là chúng ta có thể lấy được các chuỗi rỗng từ A i sau khi áp dụng một số hữu hạn các …

8 ds.algorithms  fl.formal-languages  time-complexity 

Tôi muốn biết kích thước VC của không gian phạm vi xây dựng như sau:( X, R )(X,R)(X,\mathcal{R}) XXX là hình trụ { ( x , y, z) ∈ R3| x2+ y2≤ 1 }{(x,y,z)∈R3|x2+y2≤1}\{(x,y,z)\in\mathbb{R}^3|x^2+y^2\leq 1\} Các phạm vi trong được hình thành bằng cách lấy sự kết hợp của các …

8 cg.comp-geom  vc-dimension 

Các cụm từ: Con cáo nâu nhanh nhẹn nhảy qua con chó lười [A] và Con cáo nâu uick nhảy lên con chó lười biếng [B] có thể được so sánh bằng thuật toán Khoảng cách Levenshtein để xác định độ tương tự bằng cách tính số lượng bổ sung, …

8 string-matching  edit-distance 

Tham chiếu đến các kỹ thuật để chứng minh rằng kích thước của khoảng cách tích phân bị giới hạn bởi một số biểu thức cho một LP cụ thể (hoặc SDP, nhưng ít quan trọng hơn) là cần thiết. Ngoài ra, thật tuyệt khi có một tài liệu tham …

8 ds.algorithms  reference-request  linear-programming  semidefinite-programming  integrality-gap 

Cố gắng tìm giải pháp tối ưu cho WEIGHTED-MAX-3SAT, phiên bản có trọng số của vấn đề tối ưu hóa 3-SAT, là NP-hard. Trên thực tế, ngay cả xấp xỉ phiên bản không trọng số của MAX-SAT tùy ý cũng có thể chứng minh NP-hard theo Định lý PCP. Một …

8 ds.algorithms  approximation-algorithms  sat  approximation-hardness 

Giả sử chúng ta có một đa lớp (sau này, một đa đồ thị). Một clique edge là một tập hợp các cạnh mà tất cả các cặp giao nhau (có ít nhất một đỉnh chung). Sau đó, bất kỳ cl-edge trong một đa lớp luôn rơi vào một trong …

8 ds.algorithms  graph-theory  hypergraphs  graph-algorithms  clique 

(Tôi đang ở giữa khóa học lý thuyết cs đầu tiên của mình, vì vậy tôi xin lỗi trước vì đây có thể là một câu hỏi ngu ngốc.) Vì vậy, chúng tôi nói rằng một số ngôn ngữ L nằm trong P, có nghĩa là máy Turing có thể …

8 cc.complexity-theory 

Một Quine là một chương trình máy tính mà tạo ra một bản sao của mã nguồn riêng của mình như đầu ra duy nhất của nó. Có chương trình Quine nào có thể tự in ra n lần, với n được chỉ định một số cách trong chương trình …

8 computability  recreational 

Với một giải đấu nơi và có hai mạch hở tiểu giải đấu của .TTTS1S1S_1S2S2S_2TTT Có phải vấn đề sau NP-Complete: Tìm một giải đấu phụ tối đa , là tập con của S 1 ∪ S 2 ?SSSS1∪ S2S1∪S2S_1 \cup S_2 Vấn đề đã cho có thể được giải …

8 ds.algorithms  np-hardness  graph-algorithms 

Tôi muốn kiểm tra trạng thái của không gian giới hạn dưới để giải quyết vấn đề kết nối trên luồng trong ppp pass. Các Ω(n/p)Ω(n/p)\Omega(n/p) đã được nêu trong các tài liệu nhưng nó có vẻ là một vấn đề hơi khác nhau. Tôi đã bỏ lỡ một cái …

8 lower-bounds  data-streams 

Trong bài báo Tương đối hóa của P =? Câu hỏi NP , Baker và cộng sự. cho thấy có những thế giới tương đối hóa trong đó P = NP hoặc P ≠ NP nắm giữ. Tất cả các nhà tiên tri trong các thiết lập của họ là …

8 cc.complexity-theory  computability  oracles  relativization 

Được biết liệu SPACE (n) (lớp ngôn ngữ được nhận dạng bởi các TM xác định có không gian tuyến tính) có phải là tập hợp con của E (lớp ngôn ngữ được nhận dạng bởi các TM xác định trong thời gian 2 ^ O (n)) không?

8 cc.complexity-theory  complexity-classes 

Có ai biết bất kỳ công việc về ngữ nghĩa trò chơi cho các vị từ cưỡng chế? Một vị từ cưỡng chế là một vị ngữ trong đó vị ngữ được gọi trong phần thân của vị ngữ và chúng ta đang lấy ý nghĩa của vị ngữ là …

8 lo.logic 

Vài năm trước, tôi đã tham gia một lớp học về lý thuyết phức tạp từ Steven Rudich và tôi nhớ anh ấy đã giảng bài thú vị kết nối các bài kiểm tra thống kê (như được tìm thấy trong các khoa thống kê!) Với độ phức tạp của …

8 circuit-complexity  st.statistics 

Câu hỏi này xuất phát từ một câu trả lời Joe Fitzsimons đưa ra cho một câu hỏi khác . Hầu hết các lớp phức tạp tự nhiên có một "mô tả trực quan" một dòng giúp đặc trưng các vấn đề cốt lõi trong lớp đó. NP là "xác …

8 cc.complexity-theory  quantum-computing  big-picture  qma