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

Shiva Kintali vừa công bố một (cool!) Cho kết quả rằng phép đẳng cấu đồ thị cho các biểu đồ treewidth bị chặn chiều rộng là -Hard≥4≥4\geq 4⊕L⊕L\oplus L . Một cách không chính thức, câu hỏi của tôi là "Khó đến mức nào?" Chúng tôi biết rằng không đồng …

26 cc.complexity-theory  complexity-classes  logspace 

Nghiên cứu về biểu diễn Succinc của đồ thị được Galperin và Wigderson khởi xướng trong một bài báo từ năm 1983, trong đó họ chứng minh rằng đối với nhiều vấn đề đơn giản như tìm tam giác trong biểu đồ, phiên bản cô đọng tương ứng trong . …

26 cc.complexity-theory  reference-request  complexity-classes 

Người ta biết rằng kết nối st theo hướng là -complete. Kết quả đột phá Reingold cho thấy rằng vô hướng st-kết nối là trong L . Planar đạo st-kết nối được biết đến là trong U L ∩ c o U L . Chợ và Huỳnh định nghĩa một …

26 cc.complexity-theory  space-bounded 

Đó sẽ là hậu quả của #P = FP? Tôi quan tâm đến cả hậu quả thực tế và lý thuyết. Từ quan điểm thực tế, tôi đặc biệt quan tâm đến hậu quả đối với Trí tuệ nhân tạo. Con trỏ đến giấy tờ hoặc sách được chào đón …

26 cc.complexity-theory  ds.algorithms  complexity-classes  counting-complexity  ai.artificial-intel 

Một máy PHPHPH được cấp quyền truy cập vào một hàm Boolean ngẫu nhiên f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f:\{0,1\}^n \to \{ -1,1 \} và hai phổ Fourier ggg và hhh . Phổ Fourier của hàm fff được định nghĩa là F:{0,1}n→RF:{0,1}n→RF:\{0,1\}^n \to R : F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=\sum_{x\in\{0,1\}^n} (-1)^\left( s\cdot x \mod\ 2 \right) f(x) …

26 cc.complexity-theory  lg.learning  boolean-functions  fourier-analysis 

Có bất kỳ vấn đề tự nhiên nào trong không (được biết là / được cho là) ​​trong không?NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP Rõ ràng cái lớn mà mọi người đều biết trong là phiên bản quyết định của bao thanh toán (n có yếu tố kích thước tối đa …

26 cc.complexity-theory  complexity-classes  np 

Đối với một công thức 3CNF để là số tối đa của các điều khoản thỏa mãn trong bất kỳ chuyển nhượng tới . Được biết, Max-3SAT khó gần đúng (theo P ≠ NP), tức là không có thuật toán đa thời gian có đầu vào là công thức 3CNF …

26 cc.complexity-theory  sat 

Là vấn đề sau NP-cứng? Với một cấu hình ban cho thảo quốc tế , tìm một động thái pháp lý duy nhất.n×nn×nn\times n Vấn đề tương ứng đối với người kiểm tra người Mỹ (còn gọi là bản nháp tiếng Anh) có thể giải quyết được trong thời gian …

26 cc.complexity-theory  np-hardness  open-problem  board-games 

Xem xét vấn đề che phủ tập tối thiểu với các hạn chế sau: mỗi bộ chứa tối đa kkk phần tử và mỗi phần tử của vũ trụ xảy ra trong tối đa fff bộ. Ví dụ: trường hợp k=4k=4k = 4 và f=2f=2f = 2 tương đương với …

26 cc.complexity-theory  reference-request  approximation-algorithms  set-cover  np-hardness 

Đối với bất kỳ , tôi nói rằng một chuỗi s của số nguyên trong { 1 , ... , n } là n -complete nếu, mỗi hoán vị p của { 1 , ... , n } , viết như một chuỗi các cặp số nguyên phân biệt p …

25 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

Một đặc điểm nổi tiếng của các trường hợp -SAT là tỷ lệ của số mệnh đề so với số lượng biến , nghĩa là thương số . Với mỗi , có một giá trị ngưỡng st \ cho , hầu hết các trường hợp đều thỏa đáng và đối …

25 cc.complexity-theory  sat  random-k-sat  phase-transition 

Theo D. den Hertog, Phương pháp tiếp cận điểm nội bộ đối với lập trình tuyến tính, bậc hai và lồi, 1994 , một chương trình tuyến tính với biến, ràng buộc và độ chính xác có thể giải quyết được trong thời gian . Điều đó đã được cải …

25 cc.complexity-theory  reference-request  linear-programming 

Có ngôn ngữ hoàn chỉnh NP (tốt nhất là tự nhiên) , sao cho với mọi giữ? Nói cách khác, chứa chính xác một nửa của tất cả các trường hợp -bit. n ≥ 1 | L ∩ { 0 , 1 } n | = 2 nL⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^*n≥1n≥1n\geq 1 …

25 cc.complexity-theory  np  np-complete 

Bạn có biết hậu quả thú vị của các phỏng đoán (tiêu chuẩn) trong lý thuyết phức tạp trong các lĩnh vực khác của toán học (tức là ngoài khoa học máy tính lý thuyết) không? Tôi muốn câu trả lời trong đó: phỏng đoán lý thuyết phức tạp là …

25 cc.complexity-theory  conditional-results 

Những gì được biết về độ phức tạp tính toán của số nguyên bao thanh toán trong các trường số chung? Cụ thể hơn: Qua các số nguyên, chúng tôi đại diện cho các số nguyên thông qua các mở rộng nhị phân của chúng. Các biểu diễn tương tự …

25 cc.complexity-theory  nt.number-theory  comp-number-theory