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

Tôi khá bối rối bởi tài liệu tối ưu hóa liên tục và tài liệu TCS về loại chương trình toán học (MP) (liên tục) nào có thể được giải quyết một cách hiệu quả, và loại nào không thể. Cộng đồng tối ưu hóa liên tục dường như tuyên …

31 ds.algorithms  optimization  linear-programming  semidefinite-programming  polynomial-time 

Trong giáo dục khoa học máy tính của tôi, tôi ngày càng nhận thấy rằng hầu hết các vấn đề riêng biệt là NP-đầy đủ (ít nhất), trong khi tối ưu hóa các vấn đề liên tục hầu như luôn luôn có thể dễ dàng đạt được, thường là thông …

27 cc.complexity-theory  co.combinatorics  optimization 

Những gì được biết về sự phức tạp của vấn đề sau đây: Đưa ra: số hữu tỉ x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n . Output: số nguyên y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n . Mục tiêu: giảm thiểu ∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j), nơi …

25 ds.algorithms  reference-request  optimization 

Xem xét các vấn đề tối ưu hóa của các hình thức sau đây. Đặt là hàm tính toán thời gian đa thức, ánh xạ một chuỗi thành một số hữu tỷ. Vấn đề tối ưu hóa là đây: giá trị tối đa của so với chuỗi -bit bao nhiêu?f(x)f(x)f(x)xxxf(x)f(x)f(x)nnnxxx …

23 cc.complexity-theory  graph-algorithms  complexity-classes  optimization  linear-programming 

Máy tính lượng tử rất tốt để lấy mẫu phân phối mà chúng ta không biết cách lấy mẫu bằng máy tính cổ điển. Ví dụ: nếu f là hàm Boolean (từ đến ) có thể được tính trong thời gian đa thức thì với máy tính lượng tử, chúng …

23 quantum-computing  cg.comp-geom  optimization 

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 

Như chúng ta đã biết, hàm -clique C L I Q U E ( n , k ) lấy một sơ đồ con ( bao trùm ) G ⊆ K n của một đồ thị n -vertex hoàn chỉnh K n và xuất ra 1 iff G chứa một k …

21 cc.complexity-theory  optimization  circuit-complexity 

Mã Huffman cho phân phối xác suất ppp là mã tiền tố có độ dài từ mã trung bình có trọng số tối thiểu ∑piℓi∑piℓi\sum p_i \ell_i , trong đó ℓiℓi\ell_i là độ dài của từ mã thứ iii . Một định lý nổi tiếng là độ dài trung bình …

21 optimization  it.information-theory  coding-theory 

Bạn được cho một đồ thị với n đỉnh. Nó có thể là lưỡng cực nếu bạn muốn. Có m bộ cạnh E 1 , ... , E m ⊆ E (nói rời nhau). Tôi quan tâm đến vấn đề tìm một tập hợp con S ⊆ V , càng …

19 ds.algorithms  graph-theory  optimization 

Có thể kiểm tra bằng thuật toán nếu một số tính toán là số nguyên hay số nguyên? Nói cách khác, một thư viện có thể thực hiện các số tính toán để cung cấp các hàm isIntegerhay isRationalkhông? Tôi đoán rằng điều đó là không thể, và điều này …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

8 tuổi của tôi đã chán việc tạo ra các mê cung thông thường và đã tạo ra các biến thể trông như thế này: Ý tưởng là bắt đầu từ x và đạt o thông qua các quy tắc thông thường. Ngoài ra, bạn có thể "nhảy" từ bất …

18 ds.algorithms  optimization  puzzles 

Hãy xem xét vấn đề này: Cho một danh sách các bộ hữu hạn, tìm một trật tự s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots giảm thiểu |s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s_1| + |s_1 \cup s_2| + |s_1 \cup s_2 \cup s_3| + \ldots . Có các thuật toán được biết đến cho điều này? Sự phức …

17 cc.complexity-theory  ds.algorithms  optimization 

Nhiều năm trước tôi đã nghe nói rằng tính toán NFA tối thiểu (máy tự động hữu hạn hữu hạn) từ DFA (xác định) là một câu hỏi mở, trái ngược với hướng ngược lại đã được biết đến trong nhiều thập kỷ và được nghiên cứu kỹ với hiệu …

17 ds.algorithms  reference-request  fl.formal-languages  automata-theory  optimization 

Hãy xem xét vấn đề sau: Input : a siêu phẳng H = { y ∈ R n : một T y = b }H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\} , được đưa ra bởi một vector một ∈ Z na∈Zn\mathbf{a} \in \mathbb{Z}^n và b ∈ Zb∈Zb …

15 cc.complexity-theory  optimization  linear-algebra  integer-lattice 

Tôi đã hỏi câu hỏi này trên Stack Overflow trước đây: Vấn đề: Việc bán hàng của Bob . Có người đề nghị đăng câu hỏi ở đây là tốt. Ai đó đã hỏi một câu hỏi liên quan đến vấn đề này ở đây - Trọng lượng tối thiểu …

15 ds.algorithms  np-hardness  tree  optimization  application-of-theory