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

Elberfeld, Jakoby và Tantau 2010 ( ECCC TR10-062 ) đã chứng minh một phiên bản hiệu quả của định lý Bodlaender. Họ đã chỉ ra rằng đối với các đồ thị có treewidth nhiều nhất là , có thể tìm thấy phân rã cây có chiều rộng bằng cách sử …

10 cc.complexity-theory  sat  treewidth  space-complexity 

Đặt là lớp phức tạp và là đối tác ngẫu nhiên của được định nghĩa làCC\mathcal{C}BP-CBP-C\textrm{BP-}\mathcal{C}CC\mathcal{C} đối với P . Chính thức hơn, chúng tôi cung cấp nhiều bit ngẫu nhiên và chúng tôi chấp nhận đầu vào nếu xác suất chấp nhận là hơn 2BPPBPP\textrm{BPP}PP\textrm{P} .2323\frac{2}{3} Được biết, đối …

10 circuit-complexity  randomized-algorithms 

Giả sử tôi có hai danh sách các số nguyên dương của biên độ giới hạn và tôi lấy sản phẩm của tất cả các yếu tố của mỗi danh sách. Cách tốt nhất để xác định sản phẩm nào lớn hơn? Tất nhiên tôi chỉ đơn giản là có …

10 time-complexity  nt.number-theory 

Trong cổ điển tính toán của giấy xây dựng có một quy tắc nói rằng (trang 7 của pdf, trang 101 của tài liệu gốc) Quy tắc này có nghĩa là bất kỳ bối cảnh nào cũng có thể giảm đối với một thành viên của bối cảnh đó. Điều …

10 lo.logic  calculus-of-constructions  sequent-calculus 

Tôi có một ngôn ngữ trong đó các loại được bỏ hộp theo mặc định, với loại suy luận dựa trên Hindley Kẻ Milner. Tôi muốn thêm đa hình cấp cao hơn, chủ yếu để làm việc với các loại tồn tại. Tôi nghĩ rằng tôi hiểu cách kiểm tra …

10 type-theory  type-inference  polymorphism 

Công cụ ước tính thiên vị rất hữu ích trong thống kê vì chúng có thể tối ưu hóa lỗi bình phương trung bình nhiều hơn những gì công cụ ước tính không thiên vị có thể quản lý . Tôi đã tự hỏi nếu trong lý thuyếtCS nếu có …

10 randomized-algorithms 

Đã có bất kỳ nỗ lực nào cho thấy tính ngẫu nhiên của Kolmogorov sẽ đủ cho RP chưa? Xác suất được sử dụng trong câu lệnh "Nếu câu trả lời đúng là CÓ, thì nó (máy Turing xác suất) trả về CÓ với xác suất ..." có luôn được …

10 randomized-algorithms  randomness  pseudorandomness 

Có phải thực tế là một vấn đề là thời gian EXP hoàn thành ngụ ý rằng A không nằm trong D T I M E ( 2 o ( n ) ) ?MộtAAMộtAAD TTôiME( 2o ( n ))DTIME(2o(n))DTIME(2^{o(n)}) Tôi biết rằng theo định lý phân cấp thời gian, không …

10 exp-time-algorithms  complexity 

Đặt là một đa thức trên một trường hữu hạn cố định. Giả sử chúng ta được cho giá trị của trên một số vectơ và vectơ .P y ∈ { 0 , 1 } n yP( x1, x2, Lọ , xn)P(x1,x2,…,xn)P(x_1, x_2, \ldots, x_n)PPPy∈ { 0 , 1 }ny∈{0,1}ny …

10 polynomials  dynamic-algorithms 

CÂU HỎI NGẮN HẠN: MAJ-3CNF có phải là vấn đề hoàn chỉnh PP theo nhiều mức giảm không? PHIÊN BẢN DÀI HẠN: Người ta biết rằng MAJSAT (quyết định xem phần lớn các bài tập của câu mệnh đề có thỏa mãn câu không) có hoàn thành PP theo nhiều …

10 counting-complexity  complexity  probabilistic-complexity 

Tôi đã không thể tìm thấy trong tài liệu một đặc điểm chính xác về sự biến mất của khoảng cách đối ngẫu SDP. Hoặc, khi nào "nhị nguyên mạnh" giữ? Ví dụ, khi một người qua lại giữa Lasserre và SOS SDP, về nguyên tắc, người ta có một …

10 approximation-hardness  convex-optimization  semidefinite-programming  sum-of-squares  primal-dual 

Điều này được lấy cảm hứng từ câu hỏi này . Đặt là tập hợp của tất cả các tổ hợp chỉ có hai biến ràng buộc. Là C combinatorially hoàn chỉnh?CC\mathcal{C}CC\mathcal{C} Tôi tin rằng câu trả lời là tiêu cực, tuy nhiên tôi không thể tìm thấy tài liệu …

10 lo.logic  lambda-calculus  combinatory-logic 

Động lực Vào một ngày khác, tôi đang đi du lịch quanh thành phố bằng phương tiện giao thông công cộng và tôi đã tạo ra một vấn đề đồ thị thú vị mô hình hóa vấn đề tìm kiếm kết nối thời gian ngắn nhất giữa hai nơi. Chúng …

10 graph-algorithms  shortest-path 

Hãy để một máy Turing có xác suất có quyền truy cập vào một đồng tiền không công bằng xuất hiện với xác suất ppp (flips là độc lập). Xác định BPPpBPPpBPP_p là lớp ngôn ngữ có thể nhận biết được bằng một máy như vậy trong thời gian đa …

10 cc.complexity-theory  randomized-algorithms  probabilistic-complexity 

Một trong số ít những điều mà tôi không thích về cuốn sách của Okasaki về các cấu trúc dữ liệu chức năng thuần túy là mã của anh ta bị lấp đầy bởi sự phù hợp với mô hình không đầy đủ. Ví dụ, tôi sẽ cho anh ta …

10 type-theory  type-inference