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

Bạn có biết về bất kỳ vấn đề nào (tốt nhất là ít nhất là được biết đến một chút), trong đó, đối với quy mô vấn đề thực tế , thuật toán hàm mũ chạy nhanh hơn nhiều so với đối tác thời gian đa thức nổi tiếng nhất. …

13 time-complexity  polynomial-time  exp-time-algorithms 

Trong vấn đề mở rộng, chúng tôi được cung cấp một phần của giải pháp và chúng tôi muốn quyết định xem chúng tôi có thể mở rộng nó thành một giải pháp hoàn chỉnh hay không. Một số vấn đề về khả năng mở rộng có thể giải quyết …

13 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Lý lịch: Độ phức tạp của cây quyết định hoặc độ phức tạp của truy vấn là một mô hình tính toán đơn giản được xác định như sau. Đặt là hàm Boolean. Độ phức tạp truy vấn xác định của , ký hiệu là , là số bit tối …

13 cc.complexity-theory  reference-request  query-complexity  decision-trees 

Với một thuật toán chạy trong thời gian , chúng ta có thể chuyển đổi nó thành một nhóm mạch thống nhất "tầm thường" cho cùng một vấn đề về kích thước nhiều nhất là .≈ t ( n ) log t ( n )t ( n )t(n)t(n)≈ t ( …

13 cc.complexity-theory  circuit-complexity  uniformity 

Nghề nghiệp tiêu biểu cho các nhà khoa học máy tính lý thuyết (những người có bằng tốt nghiệp về khoa học máy tính lý thuyết) là gì? Những loại ngành công nghiệp và các tổ chức tìm kiếm kiến ​​thức khoa học máy tính lý thuyết? Những nghề nghiệp …

13 soft-question  career 

Người ta biết rằng sự phức tạp của việc phân biệt một đồng xu thiên vị với một đồng tiền công bằng là . Có kết quả nào để phân biệt đồng xu đồng xu không? Tôi có thể thấy rằng trong trường hợp đặc biệt của , độ phức …

13 reference-request  time-complexity 

Tôi đã giảm được vấn đề phân vùng sau cho một vấn đề lập lịch nhất định: Đầu vào: Danh sách của các số nguyên dương theo thứ tự không giảm.a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n Câu hỏi: Có tồn tại một vectơ sao cho(x1,…,xn)∈{−1,1}n(x1,…,xn)∈{−1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n k ∑ i = 1 a i x i …

13 cc.complexity-theory  reference-request  partition-problem  subset-sum 

Trong khi đọc các câu hỏi ví dụ nơi sự độc đáo của giải pháp làm cho nó dễ dàng hơn để tìm thấy , một (? Dễ dàng hơn) câu hỏi mới lóe lên trong óc tôi: thực sự chúng tôi không biết nếu (phép đẳng cấu đồ thị …

13 reference-request  graph-isomorphism 

Tiêu đề hơi sai lệch: nhưng hy vọng câu hỏi không phải là: Kết quả mới của Grønlund và Pettie cho thấy 3SUM chỉ có độ phức tạp của cây quyết định khiến tôi băn khoăn:Ô ( n3 / 2)O(n3/2)O(n^{3/2}) Có một ví dụ đơn giản về một vấn đề …

13 cc.complexity-theory  machine-models  decision-trees 

Cách thông thường để chứng minh tính không ổn định là giảm từ một vấn đề hoàn thành RE như vấn đề tạm dừng, tính hợp lệ trong logic thứ nhất, sự thỏa mãn của phương trình Diophantine, v.v. Được biết, có vô số đệ quy, nhưng không thể giải …

13 computability 

Tôi đang nghiên cứu mô hình tính toán BSS gần đây (ví dụ: Độ phức tạp và tính toán thực; Blum, Cucker, Shub, Smale.) Đối với số thực , người ta chỉ ra rằng, với một hệ thống đa thức f 1 , ⋯ , f m ∈ R [ …

13 cc.complexity-theory  computing-over-reals 

Đặt là hàm đa số, tức là f ( x ) = 1 khi và chỉ khi . Tôi đã tự hỏi nếu có một bằng chứng đơn giản về thực tế sau đây (bởi "đơn giản", ý tôi là không dựa vào phương pháp xác suất như Valiant 84 …

13 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-families  circuit-depth 

Một câu hỏi gần đây (xem Hậu quả của NP = PSPACE ) đã hỏi về hậu quả "khó chịu" của . Các câu trả lời liệt kê khá nhiều hậu quả sụp đổ, bao gồm và các lý do khác, cung cấp nhiều lý do để tin .N P …

13 cc.complexity-theory  complexity-classes  conditional-results 

Chúng tôi được cung cấp một biểu đồ chu kỳ có hướng với một số được liên kết với mỗi đỉnh ( ) và số mục tiêu .G = ( V, E)G= =(V,E)G=(V,E)g: V→ Ng:V→Ng:V\to \mathbb{N}T∈ NT∈NT\in \mathbb{N} Vấn đề tổng hợp tập hợp con DAG (có thể tồn tại …

13 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  subset-sum 

Giả sử có một đồ thị . Tôi muốn kiểm tra xem có thể được phân chia thành hai tập hợp khác nhau và sao cho các sơ đồ con do và là các biểu đồ khoảng thời gian đơn vị.G = ( V, E)G= =(V,E)G=(V,E)V 1 V 2 V …

13 graph-theory  partition-problem  interval-graphs