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

Với tập con S 1 , ... , S n của { 1 , ... , d } .nnnS1,…,SnS1,…,SnS_1,\ldots,S_n{1,…,d}{1,…,d}\{1,\ldots,d\} Kiểm tra xem có bộ với S i ⊊ S j không . (Nếu vậy, hãy tìm một ví dụ, nếu không, chỉ cần nói "không")Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j Giải pháp tầm …

24 ds.algorithms  reference-request 

Phỏng đoán tái thiết nói rằng các đồ thị (có ít nhất ba đỉnh) được xác định duy nhất bởi các sơ đồ con bị xóa đỉnh của chúng. Phỏng đoán này là năm thập kỷ. Tìm kiếm tài liệu liên quan, tôi thấy rằng các lớp biểu đồ sau …

24 reference-request  graph-theory  co.combinatorics  treewidth 

Tôi muốn làm một người giải SAT đầu tiên. Tôi biết cuộc thi SAT và hội nghị SAT, và chỉ có rất nhiều bài viết về chủ đề này. Tôi là một người bắt đầu, một người bắt đầu choáng ngợp. Tôi nên bắt đầu từ đâu? Cuối cùng, tôi …

24 ds.algorithms  reference-request  lo.logic  sat 

Đưa ra một cơ sở dữ liệu khổng lồ gồm các từ được phép (sắp xếp theo thứ tự abc) và một từ, tìm từ từ cơ sở dữ liệu gần nhất với từ đã cho theo khoảng cách Levenshtein. Tất nhiên, cách tiếp cận ngây thơ chỉ đơn giản …

24 ds.algorithms  reference-request  string-matching  string-search 

Đối với hằng số , người ta có thể xác định theo thời gian tuyến tính, được đưa ra một đồ thị đầu vào G , cho dù treewidth của nó là ≤ k . Tuy nhiên, khi cả k và G được đưa ra làm đầu vào, vấn đề …

23 reference-request  graph-theory  np-hardness  open-problem  treewidth 

Lý thuyết phức tạp, thông qua các khái niệm như tính đầy đủ NP, phân biệt giữa các vấn đề tính toán có giải pháp tương đối hiệu quả và các vấn đề khó hiểu. Độ phức tạp "hạt mịn" nhằm mục đích tinh chỉnh sự khác biệt định tính …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

Tôi đã đọc rất nhiều bài báo xác định hằng số Cheeger của đồ thị là -hard. Nó có vẻ là một định lý dân gian, nhưng tôi chưa bao giờ tìm thấy một trích dẫn hoặc bằng chứng cho tuyên bố này. Tôi nên cho ai tín dụng cho …

23 reference-request  graph-theory  spectral-graph-theory 

Hiện tại bitcoin có hệ thống bằng chứng công việc (PoW) sử dụng SHA256. Các hàm băm khác sử dụng một bằng chứng về hệ thống làm việc sử dụng biểu đồ, đảo ngược hàm băm một phần. Có thể sử dụng một vấn đề Quyết định trong Lý thuyết …

23 cc.complexity-theory  reference-request  cr.crypto-security  algebraic-topology 

Tôi hiện đang cố gắng tìm các vấn đề hoàn chỉnh của EXPSPACE (chủ yếu là tìm cảm hứng để giảm bớt), và tôi rất ngạc nhiên bởi số lượng nhỏ kết quả sắp tới. Cho đến nay, tôi đã tìm thấy những thứ này và tôi gặp khó khăn …

23 cc.complexity-theory  reference-request  big-list 

Đối với một bảng chữ cái hữu hạn cố định ΣΣ\Sigma , một ngôn ngữ chính thức LLL trên ΣΣ\Sigma là bình thường nếu có tồn tại một automaton hữu hạn xác định (DFA) trên ΣΣ\Sigma mà chấp nhận chính xác LLL . Tôi quan tâm đến các ngôn ngữ …

23 reference-request  fl.formal-languages  automata-theory  online-algorithms  dfa 

Một số bạn có thể đã theo dõi câu hỏi này , đã bị đóng cửa do không phải là cấp độ nghiên cứu. Vì vậy, tôi đang trích ra một phần của câu hỏi ở cấp độ nghiên cứu. Ngoài các kỹ thuật "đơn giản hơn", chẳng hạn như …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

Giả sử chúng ta đang ném bi vào thùng, trong đó . Đặt là số lượng bóng kết thúc trong bin , là thùng nặng nhất, X_ \ min là thùng nhẹ nhất và X _ {\ mathrm {sec-max}} là thùng nặng thứ hai. Nói một cách đơn giản, X_i …

23 reference-request  pr.probability 

Bất cứ ai cũng có thể đề xuất một cuộc khảo sát tốt và gần đây về việc đếm các vấn đề và / hoặc các vấn đề là #P.

23 cc.complexity-theory  reference-request  counting-complexity 

Tôi quan tâm đến vấn đề đóng gói các bản sao giống hệt của hình chữ nhật (2 chiều) thành một đa giác lồi (2 chiều) mà không trùng nhau. Trong vấn đề của tôi, bạn không được phép xoay hình chữ nhật và có thể giả sử rằng chúng …

23 reference-request  np-hardness  cg.comp-geom  optimization  packing 

Tôi đang cố gắng hiểu mối quan hệ giữa đẳng cấu đồ thị và vấn đề nhóm con ẩn. Có một tài liệu tham khảo tốt cho việc này?

23 cc.complexity-theory  reference-request  quantum-computing  graph-isomorphism