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

Hãy xem xét vấn đề này: Cho một danh sách các bộ hữu hạn, tìm một trật tự s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots giảm thiểu |s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s_1| + |s_1 \cup s_2| + |s_1 \cup s_2 \cup s_3| + \ldots . Có các thuật toán được biết đến cho điều này? Sự phức …

17 cc.complexity-theory  ds.algorithms  optimization 

Giới hạn dưới của Blum là mạch được biết đến thấp nhất được giới hạn dưới cơ sở hoàn chỉnh cho một hàm rõ ràng , cf Câu trả lời của Jukna cho câu hỏi này cho kết quả liên quan.3n−o(n)3n−o(n)3n-o(n)f:{0,1}n→{0,1}f:{0,1}n→{0,1}f : \{0,1\}^n \to \{0,1\} Giới hạn dưới được biết …

17 circuit-complexity  lower-bounds 

Tôi hiện đang là học sinh trung học, yêu thích khoa học máy tính lý thuyết và toán ứng dụng. Tôi đã tự dạy mình đại số tuyến tính và phép tính và toán học cụ thể. Tôi có một quan niệm ngây thơ rằng để một người viết các …

17 big-picture 

Tôi đang làm một số tài liệu đánh giá về vấn đề đẳng cấu đồ thị. Hầu hết các bài báo mà tôi đang đọc đều được viết bởi EM Luks và Laszlo Babai. Các bài viết này sử dụng kiến ​​thức cấp cao về lý thuyết nhóm và lý …

17 cc.complexity-theory  graph-isomorphism 

Giả sử tôi xem xét biến thể sau của BPP, chúng ta gọi E (xact) BPP: Một ngôn ngữ nằm trong EBPP nếu có một TG ngẫu nhiên thời gian đa thức chấp nhận mọi từ của ngôn ngữ với xác suất chính xác 3/4 và mọi từ không có …

17 cc.complexity-theory  complexity-classes  randomized-algorithms 

Là lớp đồ thị sau được biết đến trong tài liệu? Lớp đồ thị được tham số hóa bởi các số nguyên dương và và chứa mỗi đồ thị sao cho với mỗi đỉnh , biểu đồ con của tạo ra trên tất cả các đỉnh ở khoảng cách từ …

17 reference-request  graph-theory  treewidth 

Trong khi tìm kiếm Hệ thống thông tin về Các lớp biểu đồ và Bao gồm của chúng , tôi đã tìm thấy một số lớp biểu đồ có vấn đề về chu trình Hamilton là NP hoàn chỉnh trong khi sự phức tạp của các vấn đề về đường …

17 cc.complexity-theory  graph-theory 

Hãy xem xét vấn đềQQQ sau : Chúng tôi được cung cấp một số nguyên và khoảng với . Chúng tôi cũng được cấp số nguyên . Nhiệm vụ là chọn số lượng khoảng tối thiểu sao cho cứ mỗi , ít nhất là các khoảng chứa số nguyên được …

17 cc.complexity-theory  np-hardness 

Bắt đầu từ Curry-Howard-Lambek, đã có một bộ ba lý thuyết, logic và thể loại tốt đẹp. Tôi tò mò không biết ngữ nghĩa phân loại nào bạn nhận được khi bạn thêm phân nhóm (cưỡng chế) vào một lý thuyết loại - có vẻ như điều này chưa được …

17 lo.logic  type-theory  ct.category-theory 

Một điều mà máy tính lượng tử có thể làm (thậm chí có thể chỉ với các mạch lượng tử có độ sâu log log của BPP) là lấy mẫu gần đúng biến đổi Fourier của hàm Boolean giá trị trong P.± 1±1\pm 1 Ở đây và bên dưới khi …

17 cc.complexity-theory  quantum-computing  pr.probability  randomized-algorithms  sample-complexity 

Gần đây, tôi đã gặp các biến thể của màu cạnh. Đưa ra một đồ thị vô hướng được kết nối, tìm màu của các cạnh sử dụng số lượng màu tối đa trong khi cũng thỏa mãn các ràng buộc mà đối với mỗi đỉnh , sự cố các …

17 cc.complexity-theory  np-hardness  complexity-classes  graph-colouring 

Tôi đang tìm kiếm các ví dụ tự nhiên về các thuật toán hiệu quả (tức là trong thời gian đa thức) st tính đúng đắn và hiệu quả của chúng có thể được chứng minh một cách xây dựng (ví dụ trong PRAPRAPRA hoặc HAHAHA ), nhưng không có …

17 cc.complexity-theory  reference-request  lo.logic  proof-complexity  constructive-mathematics 

Khi cố gắng thuyết phục các nhà kinh tế về sự liên quan của lý thuyết phức tạp trong in ấn, liệu có một tài liệu tham khảo tiêu chuẩn để trích dẫn? Tôi quen thuộc với bài đăng trên blog của Noam Nisan , khảo sát của Tim Roughgarden …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

Có bất kỳ phỏng đoán nào trong khoa học máy tính lý thuyết liên quan đến một số tham số n và đã được chứng minh cho các giá trị nhỏ của n AND cho các số nguyên tố nhưng sau đó hóa ra là sai? Trong lý thuyết số, …

17 big-list  primes 

Trong thuật toán Strassen, để tính tích của hai ma trận và B , các ma trận A và B được chia thành 2 × 2 ma trận khối và các thuật toán đệ quy tiền thu được tính toán 7 khối sản phẩm ma trận ma trận như trái …

17 ds.algorithms  linear-algebra  matrices  matrix-product