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

Trong khi lý luận một chút về câu hỏi này , tôi đã cố gắng để xác định tất cả những lý do khác nhau mà một đồ thị có thể thất bại là có lẽ thật. Đây là 2 lý do duy nhất mà tôi có thể xác định …

21 graph-theory  co.combinatorics  graph-colouring  clique 

Trong một Descartes Closed Category ( CCC ), có tồn tại cái gọi là đối tượng theo cấp số nhân , viết . Khi một CCC được coi là một mô hình của đơn giản-gõ -calculus , một đối tượng hàm mũ như đặc trưng cho không gian chức năng …

21 type-theory  lambda-calculus  ct.category-theory 

Nhiều kết quả quan trọng trong lý thuyết phức tạp tính toán, và đặc biệt là lý thuyết phức tạp "cấu trúc", có đặc tính thú vị mà chúng có thể được hiểu là theo cơ bản (như tôi thấy ...) từ các kết quả thuật toán đưa ra một …

21 cc.complexity-theory  structural-complexity 

Tôi là một sinh viên, và gần đây đã đi đến sự thật rằng tôi có thể không có trí tuệ để nghiên cứu về khoa học máy tính lý thuyết, hoặc có thể được nhận vào và hoàn thành chương trình tiến sĩ. Tuy nhiên, tôi vẫn muốn được …

21 soft-question  career 

Có rất nhiều nơi những con số ππ\pi và hiện lên. Tôi tò mò muốn biết về các thuật toán có thời gian chạy chứa tỷ lệ vàng hoặctheo số mũ.(1+5–√)/2(1+5)/2(1+\sqrt5)/2ππ\pi

21 reference-request  big-list 

O(nlogn)O(nlog⁡n)O(n\log n)1+O(n−c)1+O(n−c)1+O(n^{-c})cccO(n)O(n)O(n)(max−min)n−(c+1)(max−min)n−(c+1)(\max-\min)n^{-(c+1)}giá trị ban đầu của nó, và sau đó sử dụng sắp xếp cơ số. Nhưng các mô hình với làm tròn có lý thuyết phức tạp có vấn đề và điều này khiến tôi tự hỏi, còn các mô hình tính toán yếu hơn thì sao? Vì vậy, …

21 ds.algorithms  approximation-algorithms  sorting  tsp 

Tham gia vào bài viết "Kết nối các vì sao" của KW Regan , cuối cùng, ông đề cập rằng vẫn còn một vấn đề mở để tìm một đại diện cho các số nguyên sao cho các phép toán cộng, nhân và so sánh có thể tính toán được …

21 ds.algorithms  ds.data-structures  worst-case 

Sử dụng thuật toán carry look front chúng ta có thể tính toán bổ sung bằng cách sử dụng một mạch có kích thước đa thức độ sâu 5 (hoặc 4?) . Có thể giảm độ sâu? Chúng ta có thể tính toán việc cộng hai số nhị phân bằng …

21 cc.complexity-theory  circuit-complexity  lower-bounds  upper-bounds 

Có một ví dụ về một vấn đề tự nhiên xảy ra trong BPP nhưng không được biết là ở RP hoặc co-RP?

21 cc.complexity-theory  complexity-classes  randomness 

Tôi nhận thấy rằng ngôn ngữ thường xuyên trên bảng chữ cái có thể được coi một cách tự nhiên như một poset, và thực sự là một mạng. Hơn nữa, nối với nhau bằng ngôn ngữ rỗng ε định nghĩa một cấu trúc monoidal nghiêm ngặt về thể loại …

21 fl.formal-languages  regular-language  ct.category-theory 

Hãy xem xét các lý do sau đây: Gọi biểu thị độ phức tạp Kolmogorov của chuỗi x . Định lý bất toàn Chaitin nói rằngK(x)K(x)K(x)xxx cho bất kỳ hệ thống chính thức phù hợp và đủ mạnh mẽ , có tồn tại một hằng số T (chỉ phụ thuộc …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

Cổng AND & OR là một cổng được đưa ra hai đầu vào và trả về AND và OR của chúng. Có phải các mạch chỉ được tạo ra từ cổng AND & OR, không có quạt, có khả năng tính toán tùy ý không? Chính xác hơn, logspace tính …

21 cc.complexity-theory  circuit-complexity 

Gần đây, tôi đã giải quyết vấn đề tính toán tổng gần đúng của một danh sách các số không âm được sắp xếp. Đối với bất kỳ cố định , một O ( log n ) chương trình xấp xỉ thời gian đã được bắt nguồn như vậy mà …

21 ds.algorithms  reference-request 

Như chúng ta đã biết, hàm -clique C L I Q U E ( n , k ) lấy một sơ đồ con ( bao trùm ) G ⊆ K n của một đồ thị n -vertex hoàn chỉnh K n và xuất ra 1 iff G chứa một k …

21 cc.complexity-theory  optimization  circuit-complexity 

Có bất kỳ giả thuyết phức tạp / mật mã hợp lý nào có thể loại trừ khả năng các mạch kích thước đa thức có kích thước phụ (ví dụ với ) giới hạn độ sâu ( ) mạch? ϵ < 1 d = O ( 1 )2Ô ( …

21 cc.complexity-theory  circuit-complexity  bounded-depth