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

Tôi đang tìm một định lý có nội dung như sau: nếu thời gian che phủ của chuỗi Markov có thể đảo ngược là nhỏ, thì khoảng cách quang phổ là lớn. Ở đây khoảng cách quang phổ có nghĩa là , đó là, chúng tôi bỏ qua giá trị …

9 ds.algorithms  pr.probability  random-walks 

Tôi đã hỏi vấn đề này trong MathOverflow , mà không có câu trả lời thỏa đáng nào. Hãy xem xét trò chơi hai người chơi sau đây, đây là một trò chơi đơn giản hóa có tên là Người chiến thắng . (Công thức sau đây được lấy từ …

9 gt.game-theory  card-games 

Chỉnh sửa: bây giờ có một câu hỏi tiếp theo liên quan đến bài viết này. Định nghĩa Đặt và là số nguyên. Chúng tôi sử dụng ký hiệu .k [ i ] = { 1 , 2 , . . . , tôi }ccckkk[i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\} Một ma trận …

9 co.combinatorics  lower-bounds  dc.distributed-comp 

Background––––––––––––––Background_\underline{\bf Background} Năm 2005, Regev [1] đã giới thiệu vấn đề Học với Lỗi (Lwe), một khái quát về Bài toán tương đương với Lỗi. Giả định về độ cứng của vấn đề này đối với các lựa chọn tham số nhất định hiện làm cơ sở cho bằng chứng …

9 cc.complexity-theory  ds.algorithms  cr.crypto-security  machine-learning  open-problem 

Có một số vấn đề NP-Complete ( , , v.v.) được biết là có trong . Những gì về không gian tuyến tính phụ?S A TSAT \mathsf{SAT} S U B S E T S U MSBạnBSETSBạnM \mathsf{SUBSETSUM} D S P A C E ( n )DSPMộtCE(n) \mathsf{DSPACE(n)} Có bất kỳ …

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate 

Đây là một câu hỏi tôi đã hỏi trong diễn đàn toán học SE, và tôi đã được giới thiệu ở đây. Vì vậy, đây là câu hỏi- Tôi là người mới trong cả toán học chính thức và khoa học máy tính lý thuyết, vì vậy hãy đồng ý …

9 pl.programming-languages  semantics  formal-modeling  set-theory  object-oriented 

Giả sử chúng ta có một đồ thị trên nnn nút. Chúng tôi muốn gán cho mỗi nút a +1+1+1 hoặc a −1−1−1 . Gọi đây là cấu hình σ∈{+1,−1}nσ∈{+1,−1}n\sigma \in \{+1,−1\}^n . Số lượng +1+1+1 s mà chúng ta phải assign là chính xác sss (do đó số lượng …

9 graph-theory  co.combinatorics  optimization 

Trong một câu hỏi trước đây Thuật toán tham số hóa tìm kiếm xe đạp , tôi đã hỏi liệu có thuật toán tham số nhanh nào để tìm -biclique trong đồ thị đỉnh và biết rằng nó đã mở nếu đó là FPT wrt . Là như nhau đúng …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity 

Theo tiêu đề, ngoài việc sử dụng bộ giải LP cho mục đích chung, có cách tiếp cận nào để giải các hệ bất phương trình trên các biến trong đó bất đẳng thức có dạng ∑ i ∈ I x i < ∑ j ∈ J x j ? …

9 ds.algorithms  linear-algebra  linear-programming 

Gọi là một hình vuông đơn vị. Là một chức năng của , số lượng tối đa của các vùng tách rời nhau theo chiều ngang của -fat có đường kính ít nhất là 1 có thể giao nhau với bao nhiêu?SSSββ\betaββ\betaSSS Dưới đây, chúng tôi đưa ra một con …

9 cg.comp-geom 

Đặt là một đồ thị được nhúng trên một bề mặt nhỏ gọn có thể định hướng của chi g để việc nhúng là di động. Hãy xem xét kép của đồ thị G * . Hãy C 1 và C 2 được chu kỳ rời nhau trong G * …

9 graph-theory  co.combinatorics  topological-graph-theory 

Tôi đang tìm kiếm kích thước VC của hệ thống thiết lập sau. Vũ trụ sao cho . Trong hệ thống tập hợp mỗi bộ tương ứng với một hình cầu trong sao cho tập hợp chứa một phần tử trong khi và chỉ khi hình cầu tương ứng chứa …

9 cg.comp-geom  machine-learning  vc-dimension 

Tôi muốn xin lỗi tất cả các bài viết dưới đây. Chọn các diễn đàn sai để đăng này trong ban đầu. Tuy nhiên, thay vì biến điều này thành một sự lãng phí hoàn toàn, tôi đã làm lại câu hỏi để trở thành một vấn đề "Khoa học …

9 ds.algorithms  cg.comp-geom  polygon 

Có bất kỳ kết quả được biết đến về sự phức tạp của việc tìm một dấu phân cách (có kích thước bất kỳ) thỏa mãn một thuộc tính nhất định không? Tôi biết rằng một phân tách clique rất dễ tìm (thời gian đa thức) và cũng biết rằng …

9 ds.algorithms  graph-theory  graph-algorithms 

Trong Đồ họa TSP , bạn được cung cấp một đồ thị vô hướng không trọng số và mục tiêu là tìm một chuyến tham quan ngắn nhất trong G đến thăm mọi đỉnh ít nhất một lần . Lưu ý rằng điều này là không giống như việc tìm …

9 ds.algorithms  treewidth  tsp