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

Trong một chủ đề khác , Joe Fitzsimons đã hỏi về "giới hạn dưới tốt nhất hiện tại trên 3SAT." Tôi muốn đi theo một cách khác: Giới hạn trên tốt nhất hiện tại trên 3SAT là gì? Nói cách khác, độ phức tạp thời gian của người giải SAT …

43 cc.complexity-theory  ds.algorithms  sat  upper-bounds 

Đây là một câu hỏi về độ phức tạp của mạch. (Định nghĩa ở phía dưới.) Yao và Beigel-Tarui đã chỉ ra rằng mỗi họ mạch có kích thước có một họ mạch tương đương có kích thước ở độ sâu hai , trong đó cổng đầu ra là hàm …

40 cc.complexity-theory  circuit-complexity  upper-bounds 

Sử dụng thuật toán carry look front chúng ta có thể tính toán bổ sung bằng cách sử dụng một mạch có kích thước đa thức độ sâu 5 (hoặc 4?) . Có thể giảm độ sâu? Chúng ta có thể tính toán việc cộng hai số nhị phân bằng …

21 cc.complexity-theory  circuit-complexity  lower-bounds  upper-bounds 

Tôi hiểu rằng tính đầy đủ của Turing đòi hỏi bộ nhớ không giới hạn và thời gian không giới hạn. Tuy nhiên, có một lượng nguyên tử hữu hạn trong dịch vụ này do đó làm cho bộ nhớ bị giới hạn. Ví dụ, mặc dù là không hợp …

17 computability  upper-bounds 

Hãy xem xét mô hình mạch đơn điệu đơn giản sau đây: mỗi cổng chỉ là một OR nhị phân. Độ phức tạp của hàm f ( x ) = A xf(x)=Axf(x)=Ax trong đó AAA là ma trận Boolean với 0's? Nó có thể được tính bằng các mạch OR …

14 ds.algorithms  circuit-complexity  upper-bounds 

Đặt G là một cây trên các đỉnh 2n. Treewidth của G, tw (G) = 1. Bây giờ giả sử chúng ta thêm n cạnh vào G để có được đồ thị H. Một giới hạn trên dễ dàng trên tw (H) là n + 1. Đây có phải là …

14 upper-bounds  treewidth 

Là một vấn đề CNF SAT NP có khó không khi tổng số (nhưng không phải chiều rộng) của các mệnh đề 3 hoặc nhiều hơn được giới hạn ở trên bởi một hằng số? Điều gì đặc biệt khi chỉ có một điều khoản như vậy?

10 np-hardness  sat  upper-bounds 

Giả sử chúng ta xem xét 3-SAT với biến và mệnh đề . Tôi đang nghiên cứu một phương pháp có vẻ mất thời gian / không gian để giải quyết bất kỳ vấn đề SAT nào phù hợp với mô tả này, trong một lỗi có thể được điều …

10 ds.algorithms  sat  upper-bounds 

Tôi muốn biết trạng thái hiện tại của quá trình chuyển pha cho k-sat ngẫu nhiên, với n biến và m mệnh đề, c = m / n được biết đến nhiều nhất cho giới hạn trên và dưới.

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition 

Đặt xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} cho i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\} , với lời hứa rằng x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (trong đó tổng là trên ZZ\mathbb{Z} ). Vậy thì độ phức tạp của việc xác định nếu x=1x=1x = 1 gì? ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]}x≡1modmx≡1modmx \equiv 1\bmod{m}x=1x=1x = 1AC0AC0\mathsf{AC}^0

9 reference-request  complexity-classes  circuit-complexity  upper-bounds 

Xác định dưới dạng đồ thị có hướng ngẫu nhiên ( đỉnh; chúng ta đặt cạnh giữa hai đỉnh với xác suất p ).G(n,p)G(n,p)G(n, p)pnnnppp Các kết quả được biết đến cho vấn đề sau đây là gì: Sửa hai đỉnh và . Xác suất có ít nhất một đường …

8 graph-theory  upper-bounds  random-walks  random-graphs