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

Các Immerman-Vardi lý khẳng định rằng ptime (hoặc P) một cách chính xác là lớp các ngôn ngữ có thể được mô tả bằng một câu của First-Order logic cùng với một nhà khai thác điểm cố định, trong lớp của cấu trúc lệnh. Toán tử điểm cố định có …

38 cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory 

Tiêu đề ít nhiều nói lên tất cả, nhưng tôi đoán tôi có thể thêm một chút nền tảng và một số ví dụ cụ thể mà tôi quan tâm. Các nhà lý thuyết phức tạp mô tả, như Immerman và Fagin, đã mô tả nhiều lớp phức tạp nổi …

20 cc.complexity-theory  quantum-computing  descriptive-complexity 

Dường như được biết rằng để tìm câu trả lời cho truy vấn qua cơ sở dữ liệu quan hệ D , người ta cần có thời gian | D | | Q | và người ta không thể thoát khỏi số mũ | Q | .QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Vì có thể …

19 cc.complexity-theory  time-complexity  descriptive-complexity  db.databases 

Vấn đề bảo trì đơn hàng (hoặc "duy trì trật tự trong danh sách") là để hỗ trợ các hoạt động: singleton: tạo một danh sách với một mục, trả về một con trỏ tới nó insertAfter: đưa ra một con trỏ tới một mục, chèn một mục mới vào …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

CMSOL đang đếm logic thứ tự đơn thứ hai, tức là logic của đồ thị trong đó miền là tập hợp các đỉnh và cạnh, có các biến vị ngữ cho sự điều chỉnh đỉnh-đỉnh và tỷ lệ đỉnh-đỉnh, có định lượng trên các cạnh, đỉnh, bộ cạnh và đỉnh …

12 ds.algorithms  reference-request  graph-algorithms  descriptive-complexity  cliquewidth 

Giấy Lauri Hella và José María Turull-Torres, Tính toán các truy vấn với logic bậc cao hơn , TCS 355 197 Tiết214, 2006. doi: 10.1016 / j.tcs.2006.01.009 đề xuất logic VO, logic thứ tự biến. Điều này cho phép định lượng trên các đơn đặt hàng qua các biến. VO …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

Immerman (Descriptive Complexity, 1999) trình bày các trò chơi EF cho thứ tự đơn âm thứ hai hiện sinh (trò chơi Ajtai-Fagin) trên trang 127. Vì MSO trên các từ tương đương với các ngôn ngữ thông thường, trò chơi có thể được viết như sau.∃∃\exists Một ngôn ngữ là …

11 lo.logic  automata-theory  descriptive-complexity 

Trong Sở thú phức tạp, nó nói [ 1 ] rằng, trong độ phức tạp mô tả, có thể được định nghĩa bằng ba loại công thức khác nhau, cũng là và cũng là .PPPFO ( L FP)FO(LFP)FO(LFP)FÔ ( nÔ ( 1 ))FO(nO(1))FO(n^{O(1)})SO ( HÔ R N)SO(HORN)SO(HORN) Tuy nhiên, có …

10 lo.logic  polynomial-time  descriptive-complexity 

Nó cũng được biết rằng các lớp học nhất định của NP -problems Có sự phân đôi lý, trong đó đảm bảo rằng tất cả các nhiệm vụ trong lớp là một trong hai NP -complete hoặc là trong P . Kết quả được biết đến nhiều nhất là định …

10 cc.complexity-theory  np  descriptive-complexity 

Bối cảnh: Chúng tôi chỉ xem xét sơ đồ. Đặt CYCLE là ngôn ngữ của đồ thị với một chu kỳ; nó là một vấn đề hoàn chỉnh NL. Đặt HASEDGE là ngôn ngữ của đồ thị có ít nhất một cạnh. Sau đó trivially, CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE} không còn …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

Trong câu hỏi này , nó đã được đề cập rằng có các phiên bản phức tạp mô tả của định lý Rice. Tôi tìm thấy một bằng chứng của định lý sau: Với một lớp C phức tạp , các thuộc tính không cần thiết của các ngôn ngữ …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

Hãy π: { 0 , 1 }*→ { 0 , 1 }*π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^* là một hoán vị. Lưu ý rằng trong khi ππ\pi hoạt động trên một miền vô hạn, mô tả của nó có thể là hữu hạn. Theo mô tả , tôi có nghĩa là …

10 cc.complexity-theory  co.combinatorics  cr.crypto-security  descriptive-complexity  one-way-function 

Đã đóng cửa. Câu hỏi này không đúng chủ đề . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Cập nhật câu hỏi để nó thuộc chủ đề cho Trao đổi ngăn xếp khoa học máy tính lý thuyết. Đóng cửa 7 năm …

9 cc.complexity-theory  lo.logic  descriptive-complexity 

Để hiểu rõ hơn về một bài báo, tôi đang cố gắng hiểu sơ lược về logic điểm ít cố định nhất. Có một vài điểm mà tôi bị mắc kẹt. Nếu là đồ thị vàG=(V,E)G= =(V,E)G = (V,E) Φ (P) = { ( Một , b ) | G⊨E( …

9 lo.logic  descriptive-complexity  finite-model-theory 

Tôi đang cố gắng đứng dưới bài báo về Hệ thống chứng minh và logic tối ưu cho PTIME . Có một khái niệm gọi là hệ thống bằng chứng trong bài báo và tôi không có ý định: ... Chúng tôi xác định vấn đề với các tập con …

9 lo.logic  descriptive-complexity  proof-complexity