Câu hỏi được gắn thẻ «descriptive-complexity»

Theo Immerman , lớp phức tạp liên quan đến các truy vấn SQL chính xác là lớp truy vấn an toàn trong (truy vấn bậc một cộng với toán tử đếm): SQL nắm bắt các truy vấn an toàn. (Nói cách khác, tất cả các truy vấn SQL có độ …

20 database-theory  complexity-theory  finite-model-theory  descriptive-complexity 

Giả sử chúng ta muốn tham gia hai mối quan hệ trên một vị ngữ. Đây có phải là NC không? Tôi nhận ra rằng một bằng chứng về việc nó không ở NC sẽ là bằng chứng cho thấy , vì vậy tôi chấp nhận bằng chứng về việc …

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity 

Hãy xem xét một ngôn ngữ thông thường LLL. Để choD(L)D(L)D(L) là một DFA tối thiểu cho LLL và N(L)N(L)N(L) là một NFA tối thiểu cho LLL(tối thiểu theo nghĩa số lượng trạng thái nhỏ nhất có thể có cho một máy tự động nhận dạng ngôn ngữ đã cho). …

7 formal-languages  automata  finite-automata  descriptive-complexity