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

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 

Tôi đã hỏi câu hỏi này vài tuần trước tại mathoverflow , nhưng tôi không nhận được câu trả lời. Ở đây, bằng 3D-lưới của sidelength kkk Ý tôi là đồ thị G=(V,E)G=(V,E)G=(V,E) với V={1,…,k}3V={1,…,k}3V= \{1,\ldots,k\}^3 và E={((a,b,c),(x,y,z))∣|a−x|+|b−y|+|c−z|=1}E={((a,b,c),(x,y,z))∣|a−x|+|b−y|+|c−z|=1}E=\{( (a,b,c) ,(x,y,z) ) \mid |a-x|+|b-y|+|c-z|=1 \} , tức là, các nút được …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

Tất nhiên, lập trình tuyến tính ngày nay được hiểu rất rõ. Chúng tôi có rất nhiều công việc đặc trưng cho cấu trúc của các giải pháp khả thi và cấu trúc của các giải pháp tối ưu. Chúng tôi có tính hai mặt mạnh mẽ, thuật toán đa …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization 

Các vấn đề với tỷ lệ xấp xỉ được biết đến tốt nhất đạt được bằng một thuật toán trả về một giải pháp ngẫu nhiên thống nhất là gì? Tôi biết một ví dụ cho vấn đề hoán vị cửa hàng dòng : trong giấy " Bounds Tight cho …

12 ds.algorithms  reference-request  approximation-algorithms 

Gần đây tôi đã được nhắc nhở về vấn đề so với N P như được giải thích bởi Stephen A. Cook trên Viện Toán học Clay.PP\mathsf{P}NPNP\mathsf{NP} Nó đã khơi gợi sự quan tâm của tôi và tôi muốn tìm hiểu thêm về nó. Bước đầu tiên sẽ có được …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Tôi đang tìm kiếm một tên hoặc bất kỳ tài liệu tham khảo cho vấn đề này. Cho một đồ thị có trọng số tìm một phân vùng của các đỉnh thành tối đa n = | V | bộ S 1 , ... , S n để tối đa …

12 ds.algorithms  reference-request  approximation-algorithms  max-cut 

Tôi đang học năm thứ hai tại một ThS không liên quan quá nhiều đến TCS mặc dù tôi ước điều đó sẽ xảy ra. Về cơ bản, đó là về lý thuyết điều khiển, tín hiệu và hệ thống và tôi đã tham gia các lớp học trong các …

12 reference-request  soft-question 

Những vấn đề khác ngôn ngữ khác với đẳng cấu đồ thị là trong ? Bạn có thể cho một số tài liệu tham khảo?NP∩ c o A MNP∩coMộtMNP\cap coAM Cập nhật: Tôi quên đề cập rằng tôi quan tâm đến các ngôn ngữ không được biết đến trong .c …

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

Tối thiểu cây chiều rộng của một mạch qua là gì {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} để tính MAJ? Ở đây MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} xuất ra 1 iff ít nhất một nửa số đầu vào của nó là 111 . Tôi chỉ quan tâm đến kích thước của mạch (phải là đa thức) …

12 reference-request  complexity-classes  circuit-complexity  treewidth 

Tôi đã đọc về sự thay thế di truyền cho Tính toán Lambda đơn giản và cho Khung logic với các thuật ngữ và loại riêng biệt. Tôi tự hỏi, có bất kỳ ví dụ về sự thay thế di truyền trong một hệ thống được gõ phụ thuộc với …

11 reference-request  lo.logic  pl.programming-languages  type-theory  lambda-calculus 

Tôi quan tâm đến vấn đề kinh điển ĐĂNG KÝ NGÔN NGỮ. Cho một biểu thức chính quy , chúng tôi biểu thị bằng ngôn ngữ thông thường liên quan đến nó. (Các biểu thức thông thường nằm trên một bảng chữ cái cố định , với liên kết hoạt …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

Logic thứ tự đơn đầu tiên, còn được gọi là Lớp đơn nguyên của vấn đề quyết định, là nơi tất cả các vị từ lấy một đối số. Nó đã được chứng minh là có thể quyết định bởi Ackermann và đã hoàn thành NEXPTIME . Tuy nhiên, các …

11 reference-request  lo.logic  automated-theorem-proving  program-verification  first-order-logic 

Tôi có một tập hợp nhị phân vectơ S = { s 1 , ... , s n } ⊆ { 0 , 1 } k ∖ { 1 k } và một vector mục tiêu t = 1 k đó là tất cả những vector.nnnS={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n …

11 reference-request  linear-algebra  finite-fields 

Đặt là ngôn ngữ và một hàm trên hai tham số với thuộc tính cho tất cả và , trả về một phần tử của khi và chỉ khi cả và là các phần tử của :LLLf:Σ⋆×Σ⋆→Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxxxyyyfffLLLxxxyyyLLL f(x,y)∈L⟺x∈L∧y∈L.f(x,y)∈L⟺x∈L∧y∈L.f(x,y)\in L \iff x\in L\wedge y\in L . Câu hỏi Các chức …

11 reference-request  fl.formal-languages 

Một antichain trong DAG ( V, E)(V,E)(V, E) là một tập hợp con Một ⊆ VA⊆VA \subseteq V đỉnh mà cặp unreachable, cụ thể là, không có v≠v′∈Av≠v′∈Av \neq v' \in A sao cho vvv có thể truy cập từ v′v′v' ở EEE . Từ định lý của Dilworth trong …

11 reference-request  graph-theory  directed-acyclic-graph  partial-order