«optimization» 태그된 질문

나는 어떤 유형의 (연속적) 수학적 프로그램 (MP)이 효율적으로 해결 될 수 있고 어떤 것이 불가능한 지에 대한 지속적인 최적화 문헌과 TCS 문헌에 혼란을 느낀다. 지속적인 최적화 커뮤니티는 모든 볼록한 프로그램이 효율적으로 해결 될 수 있다고 주장하는 것 같지만, "효율적"에 대한 그들의 정의는 TCS 정의와 일치하지 않는다고 생각합니다. 이 질문은 지난 …

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

컴퓨터 과학 교육에서 나는 대부분의 불연속 문제가 NP 완료 (적어도) 인 반면 점차적 인 문제를 최적화하는 것은 대개 항상 그래디언트 기법을 통해 쉽게 달성 할 수 있음을 알게되었습니다. 이것에 대한 예외가 있습니까?

27 cc.complexity-theory  co.combinatorics  optimization 

다음 문제의 복잡성에 대해 알려진 것 : 주어진 숫자 : 유리수 .x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n 출력 : 정수 .y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n 목표 : 최소화 여기서∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j),e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j) = | (y_j-y_i) - (x_j-x_i)|. 즉, 유리수를 정수로 반올림하여 쌍 거리의 …

25 ds.algorithms  reference-request  optimization 

다음 형식의 최적화 문제를 고려하십시오. f(x)f(x)f(x) 문자열 xxx 를 유리수로 매핑하는 다항식 시간 계산 가능 함수라고 합시다 . 최적화 문제는 다음과 같습니다. n 비트 문자열 x에 대한 의 최대 값은 얼마입니까?f(x)f(x)f(x)nnnxxx gggmaxxf(x)=minyg(y)maxxf(x)=minyg(y)\max_x f(x) = \min_y g(y)xxxnnnyyymmmnnnmmm 수많은 자연스럽고 중요한 최적화 문제에는 이러한 미니맥 특성이 있습니다. 몇 가지 예 (특성에 기초한 …

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

양자 컴퓨터는 우리가 고전 컴퓨터를 사용하여 샘플링하는 방법을 모르는 분포 분포 샘플링에 매우 적합합니다. 예를 들어 F 부울 (발 기능의 경우 에 - 1 , 1 ) 양자 컴퓨터에 다음의 다항식 시간 내에 계산 될 수있다 우리 수 (F)의 푸리에 전개에 의해 기술되는 분포로 효율적 시료 방법. (우리는 고전적인 컴퓨터로 …

23 quantum-computing  cg.comp-geom  optimization 

나는 (2 차원) 사각형의 동일한 사본을 겹치지 않고 볼록한 (2 차원) 다각형으로 포장하는 문제에 관심이 있습니다. 내 문제에서 사각형을 회전시킬 수 없으며 축과 평행하게 있다고 가정 할 수 있습니다. 직사각형의 치수와 다각형의 꼭짓점이 주어졌으며 다각형에 동일한 직사각형 사본을 몇 개나 포장 할 수 있는지 물었습니다. 사각형을 회전시킬 수 있다면이 문제는 …

23 reference-request  np-hardness  cg.comp-geom  optimization  packing 

우리가 알고 있듯이 kkk clique 함수 CLIQUE(n,k)CLIQUE(n,k)CLIQUE(n,k) 는 완전한 n- 정점 그래프 K n 의 ( 스패닝 ) 하위 그래프 G⊆KnG⊆KnG\subseteq K_n 을 취하고 출력 1 iff G 는 k- 크릭을 포함합니다 . 이 경우 변수 는 K n의 모서리 에 해당합니다 . 3 ≤ k ≤ n / 2 …

21 cc.complexity-theory  optimization  circuit-complexity 

확률 분포 대한 허프만 코드 ppp는 최소 가중 평균 코드 워드 길이 갖는 접두사 코드이며 ∑piℓi∑piℓi\sum p_i \ell_i, 여기서 ℓiℓi\ell_i 는 iii 번째 코드 워드 의 길이입니다 . 허프만 코드의 심볼 당 평균 길이는 H(p)H(p)H(p) 와 H(p)+1H(p)+1H(p)+1 이며, 여기서 H(p)=−∑ipilog2piH(p)=−∑ipilog2⁡piH(p) = -\sum_i \, p_i \log_2 p_i 는 확률 분포의 Shannon …

21 optimization  it.information-theory  coding-theory 

n 개의 꼭짓점이 있는 그래프 가 제공 됩니다. 원한다면이 분할 수도 있습니다. 엣지 E 1 , … , E m ⊆ E 의 m 세트 가 있습니다 (예 : 분리). I는 서브 찾는 문제에 관심 S ⊆ V를 가능한 (또는 이하)으로 작게, 예컨대 유도 그래프 것을 G S는 각 클래스로부터 …

19 ds.algorithms  graph-theory  optimization 

계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …

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 살짜리 아이는 기존의 미로를 만드는 데 지루해졌으며 다음과 같은 변형을 만들었습니다. 아이디어는 x에서 시작하여 일반 규칙을 통해 o에 도달하는 것입니다. 또한 모든 정수 에서 다른 정수 b로 "홉"할 수 있지만 | a - b | 특권을위한 달러. 목표는 최소 비용으로 미로를 해결하는 것입니다. 위의 예에서 비용 5로 x-14-18-27-28-o를 …

18 ds.algorithms  optimization  puzzles 

이 문제점을 고려하십시오. 유한 세트 목록이 을 최소화 하는 순서 를 .| s 1 | + | s 1 ∪ s 2 | + | s 1 ∪ s 2 ∪ s 3 | + …s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots|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| + …

17 cc.complexity-theory  ds.algorithms  optimization 

몇 년 전 DFA (결정 론적)에서 최소 NFA (비결정론 적 유한 오토 마톤)를 계산하는 것은 수십 년 동안 알려져 왔으며 효율적인 알고리즘. 누구든지 알고리즘을 생각해 냈습니까?O ( n lgn )영형(엔lg⁡엔)O(n \lg n) 빠른 검색을 통해이 논문은 확실히 어려운 문제임을 증명해 주었다. 분명히 알고리즘은 제공되지 않습니다. [1] 최소 NFA 문제는 어려움 …

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

다음 문제를 고려하십시오. 입력 : 표준 이진 표현에서 벡터 a ∈ Z n 및 b ∈ Z 로 주어진 초평면 H = { y ∈ R n : a T y = b } .H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\}a∈Zn\mathbf{a} \in \mathbb{Z}^nb∈Zb \in \mathbb{Z} 출력 :x ∈ …

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

얼마 전에 Stack Overflow 에서이 질문을했습니다. 문제 : Bob의 판매 . 누군가가 여기에 질문을 게시 할 것을 제안했습니다. 누군가가 이미이 문제와 관련된 질문을했습니다. 주어진 카디널리티의 최소 무게 하위 포리스트 -내가 이해하는 한 내 문제에 도움이되지 않습니다. StackOverflow에 대한 최고 등급의 답변도 살펴볼 가치가 있습니다. 다음은 내 StackOverflow 질문의 축약 사본입니다. …

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