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

Có ai đã khám phá sự phức tạp mạch của các vấn đề quyết định cổ điển như Số nguyên tố hoặc Đồ thị đẳng hình cho kích thước đầu vào không?NNN Trong khi hầu hết mọi người đang quan tâm đến những cách thức mở rộng quy mô diễn …

9 cc.complexity-theory  reference-request  circuit-complexity 

Cho đồ thị và a δ > 0 người ta muốn tính h ( G , δ ) = m i n | S | ≤ δ | V | φ ( S ) . ( Φ ( S ) = E ( S , ˉ S )G=(V,E)G= =(V,E)G=(V,E)δ>0δ>0\delta > …

9 cc.complexity-theory  spectral-graph-theory  expanders  unique-games-conjecture 

Những điều sau đây không được tin là đúng: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 Bạn có thể giúp tôi xem nơi tranh luận bị phá vỡ? Vấn đề reachability đạo là hoàn chỉnh cho . Tôi lập luận rằng đó là trong L -uniform N C 1 .LL\mathsf{L}LL\mathsf{L}NC1NC1\mathsf{NC^1} …

9 cc.complexity-theory  graph-algorithms  complexity-classes  descriptive-complexity  finite-model-theory 

Định lý phân cấp thời gian cho phép người ta chỉ ra rằng, ví dụ, có những vấn đề trong P không thể giải quyết kịp thời ít hơn const * n ^ 2 bằng máy Turing. Nhưng hãy cho máy Turing một số lời khuyên và tất cả các …

9 cc.complexity-theory  lower-bounds  circuit-complexity  advice-and-nonuniformity  separation 

Việc thiết lập gần đây của mối quan hệbs(f)=O(s(f)4)bs(f)=O(s(f)4)bs(f)=O(s(f)^4) đi qua Gotsman, Linial . Cách tiếp cận tương tự có thể đến hoặc có giới hạn thiết yếu nào đối với phương pháp này không?O(s(f)2)O(s(f)2)O(s(f)^2)

8 cc.complexity-theory  boolean-functions 

Từ Wikipedia : VPVP\mathsf{VP} : Lớp VP là tương tự đại số của P; đó là lớp đa thứcfff có bậc đa thức có mạch kích thước đa thức trên một trườngKKK cố định. VNPVNP\mathsf{VNP} : Lớp VNP là tương tự của NP. VNP có thể được coi là lớp …

8 cc.complexity-theory  reference-request  quantum-computing  circuit-complexity 

Vấn đề chung Giả sử chúng ta có hàm đa thức và một số hàm tuyến tính ℓ i ( x ) . Những gì được biết về sự phức tạp của việc giải quyết vấn đề tối ưu hóa sau đây?f( x )f(x)f(\mathbf{x})ℓTôi( x )ℓTôi(x)\ell_i(\mathbf{x}) Tối đa hóaTheo: f( …

8 cc.complexity-theory  complexity-classes  time-complexity  linear-programming  polynomials 

Savický và Woods (Số lượng hàm Boolean được tính theo công thức có kích thước cho trước) chứng minh kết quả sau. Định lý [SW98]: Với mỗi hằng số k>1k>1k>1 , hầu như tất cả các hàm boolean có độ phức tạp công thức nhiều nhất nknkn^k đều có độ …

8 cc.complexity-theory  circuit-complexity  nondeterminism 

Hãy xem xét một máy (cụ thể là thuật toán xác suất sử dụng logspace và đa thức nhiều bit ngẫu nhiên). Nó được biết đến (Saks-Chu) mà B P L ⊆ D S P Một C E ( l o g 1,5 ( n ) ) .BPLBPLBPLBPL⊆DSPACE(log1.5(n))BPL⊆DSPACE(log1.5(n))BPL \subseteq DSPACE(log^{1.5}(n)) …

8 cc.complexity-theory  complexity-classes  derandomization  space-bounded  logspace 

Hãy xem xét các vấn đề sau: Vấn đề véc tơ trực giao Đầu vào: Một tập hợp SSS gồm vectơ Boolean mỗi chiều dài .nnnddd Câu hỏi: Có tồn tại các vectơ riêng biệt và sao cho không?v1v1v_1v2∈Sv2∈Sv_2 \in Sv1⋅v2=0v1⋅v2=0v_1 \cdot v_2 = 0 Vấn đề véc tơ không …

8 cc.complexity-theory  ds.algorithms  linear-algebra  polynomial-time  boolean-matrix 

Sự phức tạp của vấn đề thỏa mãn cục bộ đối với logic phương thức gì? Ở đây chúng tôi biểu thị bằng logic phương thức trên các khung euclide được mở rộng với phương thức nghịch đảo. Bạn có thể cung cấp bất kỳ tài liệu tham khảo? Có …

8 cc.complexity-theory  complexity-classes  lo.logic  modal-logic 

Giả sử . Sau đó, một đối số đơn giản cho thấy . Chúng ta có thể tiến thêm một bước và nhận không? Đối số đơn giản làNP=PPNP=PPNP=PPPHPP=NPPHPP=NPPH^{PP}=NPPPPP=NPPPPP=NPPP^{PP}=NP Định lý Nếu thì .NP=PPNP=PPNP=PPPHPP=NPPHPP=NPPH^{PP}=NP Bằng chứng được đóng dưới bổ sung (do Gill), do đó . Lấy bất kỳ cấp …

8 cc.complexity-theory  counting-complexity  conditional-results 

An O(n2)O(n2)O(n^2)thuật toán thời gian chạy cho đẳng cấu nhóm abelian là dễ dàng để xem. Sau này làm việc về vấn đề này vào năm 2003 Vikas cải thiện kết quả từO(n2)O(n2)O(n^2) thời gian chạy đến O(nlogn)O(nlog⁡n)O(n \log n). Năm 2007, Kavitha đã chỉ ra rằng sự đồng hình …

8 cc.complexity-theory  ds.algorithms 

Trong Khả năng tính toán, nếu chúng tôi muốn chứng minh rằng một vấn đề không phải là đệ quy hoặc không thể đệ quy, chúng tôi có thể sử dụng ví dụ như giảm các vấn đề không đệ quy hoặc không tái diễn khác, định lý Rice, định …

8 cc.complexity-theory  computability 

Ngôn ngữ Critical SAT được định nghĩa là tập hợp của thức boolean f mà f ∈ U N S A T nhưng loại bỏ bất kỳ khoản từ e làm cho nó satisfiable. Được biết, SAT quan trọng là D P -complete. Tôi tự hỏi về biến thể sau: …

8 cc.complexity-theory  complexity-classes  boolean-functions