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

Đã có một vài câu hỏi ( 1 , 2 , 3 ) về việc hoàn thành bắc cầu ở đây khiến tôi suy nghĩ nếu điều này là có thể: Giả sử chúng ta nhận được một đồ thị hướng đầu vào và muốn trả lời các truy vấn …

9 graph-theory  graph-algorithms  space-time-tradeoff  transitive-closure 

Trong bài toán clique trồng, người ta phải phục hồi một -clique được trồng trong đồ thị ngẫu nhiên Erdos-Renyi G ( n , p ) . Điều này chủ yếu đã được xem xét cho p = 1kkkG(n,p)G(n,p)G(n,p) , trong trường hợp này nó được biết đến là thời …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness 

Giả sử rằng tôi có bộ với các phần tử được lấy từ r có thể. Mỗi bộ có kích thước n ( n < r ), trong đó các bộ có thể chồng lên nhau. Tôi muốn xác định xem hai vấn đề sau có hoàn chỉnh NP hay …

9 graph-theory  np-hardness 

Tôi có một câu hỏi ngây thơ: có tồn tại một máy Turing mà sự chấm dứt của nó là đúng nhưng không thể chứng minh được bằng bất kỳ lý thuyết axiomatizable tự nhiên, nhất quán và hữu hạn nào không? Tôi yêu cầu một bằng chứng tồn tại …

9 turing-machines  proof-theory  halting-problem 

Tôi muốn biết làm thế nào chúng ta có thể sử dụng các khái niệm về Giới hạn và Colimits trong các vấn đề mô hình hóa trong cuộc sống hàng ngày? Bất cứ ai cũng có thể cung cấp các ví dụ kỹ thuật (Phần mềm), có lẽ? Hoặc …

9 ct.category-theory 

Có phải việc kiểm tra tính chuyển động của một bản vẽ không dễ dàng hơn (về độ phức tạp tiệm cận) lấy sự đóng cửa quá độ của bản đồ? Chúng ta có biết bất kỳ ràng buộc thấp hơn Ω ( n 2 )Ω(n2)\Omega(n^2) để xác định xem …

9 graph-theory  directed-acyclic-graph  transitive-closure 

Có bất kỳ hệ thống tương tự như tính toán lambda đang bình thường hóa mạnh mẽ, mà không cần phải thêm một hệ thống loại trên nó không?

9 pl.programming-languages  computability  lambda-calculus  functional-programming 

Thai nhi, nếu bạn chưa nghe về nó, có thể đọc ở đây . Nó sử dụng một hệ thống 'ma trận gọi' và 'biểu đồ cuộc gọi' để tìm tất cả 'hành vi đệ quy' của các cuộc gọi đệ quy trong một hàm. Để chỉ ra rằng một …

9 lo.logic  computability  functional-programming 

Tôi quen thuộc với các chương trình tuyến tính ở chỗ chúng có thể giải quyết các vấn đề với các hàm mục tiêu tuyến tính và các ràng buộc tuyến tính. Nhưng những gì lập trình semidefinite có thể giải quyết mà lập trình tuyến tính không thể? Tôi …

9 linear-programming  convex-optimization  semidefinite-programming 

Đặt xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} cho i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\} , với lời hứa rằng x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (trong đó tổng là trên ZZ\mathbb{Z} ). Vậy thì độ phức tạp của việc xác định nếu x=1x=1x = 1 gì? ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]}x≡1modmx≡1modmx \equiv 1\bmod{m}x=1x=1x = 1AC0AC0\mathsf{AC}^0

9 reference-request  complexity-classes  circuit-complexity  upper-bounds 

Câu hỏi này thực chất là câu hỏi tôi đã hỏi trên Mathoverflow. Logic đơn hàng thứ hai (MSO) là logic thứ hai với định lượng trên các vị từ đơn nhất. Đó là, định lượng qua bộ. Có một số logic MSO là nền tảng cho các cấu trúc …

9 lo.logic  ct.category-theory 

Chúng ta đều biết rằng độ phức tạp tối thiểu của thuật toán sắp xếp dựa trên so sánh là so sánh Ω ( nhật ký nn )Ω(nđăng nhập⁡n)\Omega(n \log n) . Tôi đang cố gắng thực hiện một loại sắp xếp mù , tức là đã cho một số …

9 cc.complexity-theory  terminology  sorting 

Có bao nhiêu chu kỳ trong một đồ thị đỉnh sao cho đồ thị không có chu kỳ .CkCkC_k (k≥3)(k≥3)(k \geq 3)nnn CmCmC_m (m>k)(m>k)(m>k) Ví dụ: , , thì đồ thị sẽ có nhiều nhất hai để sẽ không có bất kỳn=5n=5n=5k=3k=3k=3C3C3C_3GGGCk(k>3).Ck(k>3).C_k (k > 3). Tôi nghĩ rằng có chu …

9 graph-theory  graph-algorithms 

Vì cả hai bằng chứng đều sử dụng đối số đường chéo, tôi tự hỏi liệu có một liên kết tối nghĩa giữa sự tồn tại của các tập hợp vô hạn không thể đếm được và tính không ổn định của vấn đề tạm dừng. Vấn đề tạm dừng …

9 halting-problem 

Có thuật toán nào được biết cho vấn đề sau đánh bại thuật toán ngây thơ không? Dữ liệu vào: ma trận và vectơ , trong đó tất cả các mục của là các số nguyên không âm.MộtAAb , cb,cb,cA , b , cMột,b,cA,b,c Đầu ra: một giải pháp tối …

9 np-hardness  integer-programming  exp-time-algorithms