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

Giả sử NP! = CoNP, thì không có chứng chỉ kích thước đa thức cho bài toán hoàn thành coNP. Nhưng những gì về chứng chỉ kích thước phụ? Riêng đối với coSAT, có bằng chứng kích thước phụ để chứng minh một công thức là không thỏa đáng? Nếu …

13 cc.complexity-theory  proof-complexity 

Tham số cố định và xấp xỉ là các cách tiếp cận hoàn toàn khác nhau để giải quyết các vấn đề khó khăn. Họ có động lực khác nhau. Xấp xỉ tìm kết quả nhanh hơn với giải pháp gần đúng. Tham số cố định tìm kiếm giải pháp …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

Người ta biết rằng có một thuật toán tối ưu trường hợp xấu nhất để tính mã Huffman theo thời gian . Điều này được cải thiện theo hai cách trực giao:θ(nlgn)θ(nlg⁡n)\theta(n\lg n) Mã miễn phí tiền tố tối ưu có thể được tính nhanh hơn nếu tập hợp các …

13 cc.complexity-theory 

Vertex Cover có thể dễ dàng được giảm xuống thành Bộ độc lập và ngược lại. Tuy nhiên, trong bối cảnh phức tạp được tham số hóa, bộ Độc lập khó hơn Vertex Cover. Một hạt nhân có 2k2k2k đỉnh tồn tại cho Vertex Cover, nhưng Bộ độc lập là …

13 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Một quan sát liên quan đến mật mã bất đối xứng là một số chức năng (được cho là) ​​dễ thực hiện theo một hướng nhưng khó đảo ngược. Hơn nữa, nếu tồn tại một số thông tin 'cửa bẫy' cho phép thao tác nghịch đảo được tính toán nhanh …

13 cc.complexity-theory  cr.crypto-security  homomorphic-encryption 

độ phức tạp tính toán liên quan đến một lượng lớn Combinatorics và lý thuyết số, một số kỹ năng từ stochatics và một số đại số mới nổi. Tuy nhiên, là một nhà phân tích, tôi tự hỏi liệu có những ứng dụng phân tích vào lĩnh vực này, …

13 cc.complexity-theory  reference-request  soft-question  big-picture 

Đây là vấn đề: Chúng ta có một hình vuông với một số số từ 1..N trong một số ô. Nó là cần thiết để xác định nếu nó có thể được hoàn thành đến một quảng trường ma thuật. Ví dụ: 2 _ 6 2 7 6 _ 5 …

13 cc.complexity-theory  np-hardness  np  puzzles 

Các Hamilton Chu kỳ vấn đề (HC) bao gồm trong việc tìm kiếm một chu kỳ đi qua tất cả các đỉnh trong một đồ thị vô hướng nhất định. Các Salesman Du lịch Vấn đề (TSP) bao gồm trong việc tìm kiếm một chu kỳ đi qua tất cả …

13 cc.complexity-theory  np-hardness  hamiltonian-paths  tsp  graph-classes 

N L o g T i m e L H A C 0 L HD L o g T i m eDLogTTôime\mathsf{DLogTime} và là hai trong số các lớp phức tạp nhỏ nhất chúng ta có. (Lưu ý rằng hệ thống phân cấp thời gian logarit bằng với và đây …

13 cc.complexity-theory  circuit-complexity 

Nhiều lớp phức tạp được định nghĩa với máy Turing có định nghĩa về các mạch đồng nhất. Ví dụ, P cũng có thể được xác định bằng cách sử dụng các mạch kích thước đa thức đồng nhất và tương tự như BPP, NP, BQP, v.v. có thể được …

13 cc.complexity-theory  complexity-classes  circuit-complexity 

Hãy p(x1,…,xn)p(x1,…,xn)p(x_1,\ldots,x_n) là một đa thức đa variate với hệ số trên một lĩnh vực FFF . Các multilinearization của ppp , biểu hiện bằng p , là kết quả của nhiều lần thay thế mỗi x d i với d > 1 bởi x i . Kết quả rõ …

13 cc.complexity-theory  polynomials 

Giả sử chúng ta có một mạng nơ ron chuyển tiếp nguồn cấp một lớp với k đầu vào và một đầu ra. Nó tính toán một hàm từ , khá dễ dàng để thấy rằng điều này có ít nhất sức mạnh tính toán tương tự như A C …

13 cc.complexity-theory  circuit-complexity  machine-learning  ne.neural-evol 

Được biết, việc xác định có hay không một hình 3 cạnh tam giác đã cho là hình cầu 3 trong NP, thông qua công việc của Saul Schleimer năm 2004: "Nhận dạng hình cầu nằm trong NP" arXiv: math / 0407047v1 [math.GT] . Tôi tự hỏi nếu điều này …

13 cc.complexity-theory  reference-request  open-problem  topology 

Câu hỏi xảy ra với tôi khi tôi nhận được câu trả lời của Dana Moshkovitz cho một chủ đề khác . Đặt là Ngôn ngữ NP và đặt là quan hệ NP tương ứng . Chúng ta biết rằng tồn tại một số đa thức sao cho:LLLRLRLR_Lppp ∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL\forall x …

13 cc.complexity-theory  np 

Trong một ứng dụng tôi đang xem xét, tôi cần biết độ phức tạp trong giao tiếp của vấn đề sau: Cho , gọi S là tập hợp các số nguyên từ 1 đến n . Alice, Bob và Carol từng nhận được một tập hợp con của S , …

13 cc.complexity-theory  communication-complexity