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

1

Sự phức tạp của vấn đề từ ngữ với ít chữ cái riêng biệt được chấp nhận bởi một máy tự động hữu hạn

Với một giới hạn (xác định hoặc không xác định, tôi không nghĩ rằng điều này có nhiều tầm quan trọng) automaton A và ngưỡng n , A có chấp nhận một từ có chứa nhiều nhất n chữ cái không? (Theo k chữ cái khác nhau, ý tôi là …

13 cc.complexity-theory np-hardness automata-theory

2

Đếm số lượng bài tập thỏa mãn trong CNF-SAT TÍCH CỰC

Chúng tôi biết vấn đề đếm số lượng bài tập thỏa mãn trong một công thức boolean chung nhất định (CNF-SAT), một công thức DNF nhất định hoặc thậm chí một công thức 2SAT đã cho là một vấn đề # P- Complete. Bây giờ, hãy xem xét một CNF-SAT …

13 sat counting-complexity polynomial-time monotone

1

Khoảng cách giữa

Nếu là tập hợp thời gian tạm dừng của các máy Turing n -state trên bảng chữ cái nhị phân có băng ban đầu trống, thì B B ( n ) = max H T ( n ) .HT( n )HT(n)HT(n)nnnB B ( n ) = max HT( n )BB(n)=maxHT(n)BB(n) …

13 computability

1

Có các lớp biểu đồ thú vị mà treewidth khó tính (dễ) không?

Treewith là một tham số biểu đồ quan trọng cho biết mức độ gần của biểu đồ từ một cây (mặc dù không phải theo nghĩa tô pô nghiêm ngặt). Người ta biết rằng tính toán treewidth là NP-hard. Có lớp biểu đồ tự nhiên nào mà treewidth khó tính …

13 graph-theory np-hardness polynomial-time treewidth

1

Định lý của Adman về bán kết vô hạn?

Adman đã chỉ ra vào năm 1978 rằng : nếu một hàm boolean của biến có thể được tính bằng một mạch boolean có xác suất có kích thước , thì cũng có thể được tính bởi một xác định mạch boolean có kích thước đa thức tính bằng và …

13 cc.complexity-theory circuit-complexity randomized-algorithms derandomization arithmetic-circuits

2

Cặp chu kỳ tách rời đỉnh trong đồ thị có hướng

Thuật toán xác định nhanh nhất được biết đến có thể nhận ra đồ thị có hướng với một cặp chu kỳ tách rời đỉnh là gì? Tôi biết các biểu đồ có ba phần tử nhỏ nhất luôn có một cặp như vậy ( Thomassen'83 ), nhưng ngay cả …

13 reference-request

1

Trò chơi sỏi song song trên một dòng

Trong trò chơi cuội trên một dòng có các nút N + 1 có nhãn 0 đến N. Trò chơi bắt đầu bằng một viên sỏi trên nút 0. Nếu có một viên sỏi trên nút i, bạn có thể thêm hoặc xóa một viên sỏi khỏi nút i + …

13 complexity reversible-computing

2

Sụp đổ theo giả định rằng

Được biết, nếu sau đó hệ thống cấp bậc đa thức sụp đổ để Σ P 2 và M Một = Một M .NP⊆P/PolyNP⊆P/PolyNP\subseteq P/PolyΣP2Σ2P\Sigma_2^{P}MA=AMMA=AMMA = AM Sụp đổ mạnh nhất được biết đến xảy ra nếu là gì ?NEXP⊆P/PolyNEXP⊆P/PolyNEXP\subseteq P/Poly

13 circuit-complexity complexity

1

Đối với đồ thị nào thì cây DFS luôn là một đường dẫn?

Đối với những đồ thị vô hướng nào là tất cả các cây tìm kiếm theo chiều sâu (cho tất cả các đỉnh bắt đầu có thể và cho tất cả các lựa chọn mà hàng xóm tìm kiếm trước) các đường dẫn có hướng? Đó là, mỗi cây DFS …

13 graph-theory

2

ALogTime! = PH khó chứng minh (và chưa biết)?

Lance Fortnow gần đây đã tuyên bố rằng việc chứng minh L! = NP nên dễ dàng hơn việc chứng minh P! = NP : Tách NP khỏi không gian logarit. Tôi đã đưa ra bốn cách tiếp cận trong một cuộc khảo sát trước blog năm 2001 về đường …

13 cc.complexity-theory reductions relativization

1

Mức độ khó của Rabin trong việc tính toán một hàm và sắp xếp một phần các bộ đệ quy

Tôi đang tìm kiếm: Michael O. Rabin, "Mức độ khó của việc tính toán một hàm và sắp xếp một phần các tập đệ quy", Đại học Do Thái, Jerusalem, 1960 Tóm lược: Chúng tôi cố gắng đo lượng công việc vốn có trong nhiệm vụ tính toán một hàm …

13 cc.complexity-theory reference-request ho.history-overview

2

Bạn có thể giải thích một trực giác đằng sau Coherent Spaces không?

Logic tuyến tính được diễn giải bằng cách sử dụng không gian Coherent và chúng nổi bật trong các bài báo của Girard. Tôi biết tất cả ba cách chính để xác định chính thức chúng và chúng không thực sự gây ra bất kỳ vấn đề nào để sử …

13 lo.logic linear-logic

3

Những hậu quả tiêu cực của việc mở rộng CIC với các tiên đề là gì?

Có đúng là việc thêm các tiên đề vào CIC có thể có ảnh hưởng tiêu cực trong nội dung tính toán của các định nghĩa và định lý? Tôi hiểu rằng, trong hành vi bình thường của lý thuyết, mọi thuật ngữ đóng sẽ giảm xuống dạng bình thường …

13 type-theory lambda-calculus dependent-type homotopy-type-theory

4

Tìm giải pháp ít nhất cho một hệ phương trình tuyến tính

Làm thế nào là khó khăn để tìm giải pháp thưa thớt nhất cho một hệ phương trình tuyến tính? Chính thức hơn, hãy xem xét vấn đề quyết định sau: Sơ thẩm: Một hệ phương trình tuyến tính với các hệ số nguyên và một số .ccc Câu hỏi: …

13 np-hardness linear-algebra linear-programming matrices sparse-matrix

1

Ảnh hưởng tối thiểu dự kiến của hàm Boolean ngẫu nhiên

Đối với hàm Boolean , ảnh hưởng của biến thứ được định nghĩa là trong đó x ^ {\ oplus i} là chuỗi thu được bằng cách lật bit thứ i của x . Ảnh hưởng tối thiểu của f là \ operatorname {MinInf} [f] \ stackrel {\ rm def} …

13 reference-request pr.probability boolean-functions