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

Câu hỏi này được thúc đẩy bởi bài đăng này, Bạn có thể xác định tổng của hai hoán vị trong thời gian đa thức? và mối quan tâm của tôi đối với các tính chất tính toán của hoán vị. Chuỗi khác biệt của hoán vị của các số …

12 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

Chúng ta có biết rằng hệ thống phân cấp không sụp đổ ( cho tất cả ) không?TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd Mục Zoo choTC0TC0\mathsf{TC^0} chỉ đề cập đến sự tách biệt giữa độ sâu 2 và 3. Ngoài ra có một tài liệu tham khảo tiêu chuẩn cho thực tế rằng …

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

Bài viết này đưa ra một bằng chứng rằng trong một trò chơi có cửa và tấm áp lực, thật khó để xác định liệu avatar (của người chơi) có thể đạt đến một vị trí nhất định hay không. Điều này được chứng minh bằng cách giảm từ TQBF …

12 reductions  nondeterminism  pspace 

Đây là một câu hỏi thú vị tôi đã tìm thấy trên web. Cho một mảng chứa n số (không có thông tin về chúng), chúng ta nên xử lý trước mảng theo thời gian tuyến tính để có thể trả về k phần tử nhỏ nhất trong thời gian …

12 sorting 

Tôi hiện đang thực hiện một số nghiên cứu về Ngôn ngữ chính thức liên quan đến các lớp ngôn ngữ trên Chính quy nhưng dưới Bối cảnh miễn phí. Tôi đang xem xét những thứ như Máy đa điểm có giới hạn Reversal, Máy đếm đơn ngăn xếp, CFL …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

Đưa ra một trò chơi tổng bằng không thông tin một phần xác định chỉ có nhiều trạng thái, với kết quả có thể là [thua, hòa, thắng] với các giá trị tương ứng [-1,0, + 1], độ phức tạp của xấp xỉ giá trị của nó là bao nhiêu …

12 cc.complexity-theory  gt.game-theory 

Phân tích trơn tru đã được áp dụng nhiều lần để hiểu thời gian chạy của các thuật toán chính xác cho nhiều vấn đề như lập trình tuyến tính và phương tiện k. Có những kết quả khá chung trong lĩnh vực này, ví dụ Heiko Röglin và Berthold …

12 cc.complexity-theory  approximation-algorithms  approximation-hardness  smoothed-analysis 

Mối quan hệ giữa P L SPLS\mathsf{PLS} và Một P XMộtPX\mathsf{APX} gì? Nói cách khác, các vấn đề thừa nhận tìm kiếm cục bộ thời gian đa thức có thể xấp xỉ không? Các vấn đề tối ưu hóa gần đúng có nghĩa là một thuật toán tìm kiếm cục …

12 cc.complexity-theory  approximation-algorithms 

Sudoku là một câu đố nổi tiếng được hoàn thành NP. Nhị phân Sudoku là một biến thể chỉ cho phép các số và . Luật như sau.000111 Mỗi hàng và mỗi cột phải chứa một số không và số bằng nhau. Mỗi hàng và mỗi cột là duy nhất. …

12 cc.complexity-theory  np-hardness  puzzles 

Hiệu quả nhất (trong thời gian phức tạp) thuật toán nổi tiếng hiện nay cho Divisibity Quyết Vấn đề là gì: cho hai số nguyên, nói và b , không một phân chia b ? Hãy nói rõ rằng những gì tôi yêu cầu không phải (nhất thiết) là một …

12 time-complexity  lower-bounds  nt.number-theory  primes 

Tôi đang tìm một đồ thị nhỏ GGG có số màu vectơ nhỏ hơn số màu, .χv(G)&lt;χ(G)χv(G)&lt;χ(G)\chi_v(G)<\chi(G) ( có vector số màu nếu có chuyển nhượng , nơi trực giác các vectơ kết hợp với đỉnh láng giềng xa nhau. Yêu cầu là . Ví dụ: với , các đỉnh …

12 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  graph-colouring 

Định lý phân đôi của Schaefer cho thấy mỗi bài toán CSP trên đều có thể giải được trong thời gian đa thức hoặc là NP-đầy đủ. Điều này chỉ áp dụng cho các vấn đề CSP có chiều rộng giới hạn, ngoại trừ SAT và Horn-SAT, chẳng hạn. Các …

12 cc.complexity-theory  lo.logic  csp 

Bài báo nổi tiếng năm 1983 của H. Lenstra Lập trình số nguyên với một số biến cố định nói rằng các chương trình số nguyên với số lượng biến cố định có thể giải được theo đa thức thời gian theo chiều dài của dữ liệu. Tôi giải thích …

12 co.combinatorics  linear-programming  integer-programming 

Tôi đang tìm kiếm kết quả độ cứng trên màu đỉnh của đồ thị với mức độ giới hạn. Cho một đồ thị , chúng ta biết rằng đối với bất kỳ ε &gt; 0 , thật khó để ước tính χ ( G ) trong vòng hệ số | …

12 cc.complexity-theory  approximation-hardness  graph-colouring  hypergraphs  bounded-degree 

Thuật toán đơn giản thường được xử lý trong phạm vi số học thực hoặc trong thế giới riêng biệt với các tính toán chính xác. Tuy nhiên, nó dường như được thực hiện thường xuyên nhất với số học dấu phẩy động. Điều này dẫn đến câu hỏi liệu …

12 ds.algorithms  reference-request  optimization  linear-programming  na.numerical-analysis