«optimization» 태그된 질문

최근에 사용 가능한 메모리가 두 종류 이상인 상황에서 메모리 사용을 최적화하는 일반적인 문제에 관심을 갖게되었으며, 주어진 메모리 세그먼트의 용량과 액세스 속도 사이에 상충 관계가 있습니다. 익숙한 예는 프로세서 캐시, RAM 및 하드 드라이브 (가상 메모리를 통해) 에서 읽 거나 쓸 때를 결정하는 프로그램 입니다. 특히로드해야하는 데이터 양 (프로그램 자체 포함)이 …

14 optimization  program-analysis 

고려 차원 공간 및하자 형태의 선형 제약 될 여기서 , 및 .nnn{0,1}n{0,1}n\{0,1\}^ncccㅏ1엑스1+ a2엑스2+ a삼엑스삼+ . . . + a n - 1엑스n - 1+ a엔엑스엔≥ka1x1+a2x2+a3x3+ ... +an−1xn−1+anxn≥ka_1x_1 + a_2x_2 + a_3x_3 +\ ...\ + a_{n-1}x_{n-1} + a_nx_n \geq kai∈Rai∈Ra_i \in \mathbb{R}xi∈{0,1}xi∈{0,1}x_i \in \{0,1\}k∈Rk∈Rk \in \mathbb{R} 분명히 ccc 는 두 개의 …

14 reference-request  co.combinatorics  optimization  linear-programming  convex-optimization 

정수 프로그램의 값과 이중 ( "이중 간격") 사이의 간격이 0 인 경우 정수 프로그램의 선형 프로그래밍 이완과 이완의 이중은 모두 적분 솔루션을 인정합니다 (제로 "적분) 갭"). 적어도 경우에 따라 대화가 유지되는지 알고 싶습니다. 0 - 1 P ' P P '피: 최대 { 1티x : A x ≤ 1 , …

14 ds.algorithms  optimization  linear-programming  integrality-gap 

단일 그룹 대해 다양한 기능을 최적화하는 계산상의 복잡성은 무엇입니까 ?U(n)U(n)\mathcal{U}(n) 일반적인 작업, 양자 정보 이론에서 자주 발생하는 입력의 양 극대화 될 것 (또는 그 이상 차 다항식에서 U )를 통해 모든 단일 행렬 U . 이 유형의 최적화는 효율적으로 (아마도) 계산 가능합니까, 아니면 NP-hard입니까? (아마도 이것은 잘 알려져 있지만 일반적인 …

14 cc.complexity-theory  reference-request  optimization  quantum-information 

최적화를 위해 휴리스틱에 대한 강의 자료를 준비 중이며 좌표 하강 방법을 살펴보고 있습니다. 여기서 설정은 최적화하려는 다변량 함수 입니다. 는 단일 변수로 제한되는 특성을 가지며 최적화하기 쉽습니다. 따라서 좌표 하강은 좌표를 순환하면서 선택된 것을 제외한 모든 것을 고정하고 해당 좌표를 따라 최소화함으로써 진행됩니다. 결국 개선이 멈춰서 종료됩니다.ffffff 내 질문은 : …

14 ds.algorithms  reference-request  optimization  heuristics 

데이터 흐름 및 제어 흐름 그래프를 최적화하고 특히 계산이 더 복잡합니다. 그러나 들여다 보는 구멍 최적화 분야의 최신 발명에 대해 아는 것도 흥미로울 것입니다.

14 optimization  compilers 

아무것도 두 번째 작은 대해 알려진 - t 절단의 흐름 네트워크에서? 또는이 문제에 대한보다 일반적인 내용은 다음과 같습니다.에스ss티tt 입력 : 네트워크 과 숫자 k 는 모두 이진수입니다. 출력 : k 번째 가장 작은 s - t 컷.엔NN케이kk케이kk에스ss티tt 번째 작은 S - t의 컷 ( S , T는 ) 어느 하나 …

13 cc.complexity-theory  optimization  max-flow-min-cut  flow-problems 

나는의 제곱합 방법 (SOS)에 대해 조금 읽어 된 바락 & STEURER의 조사 와 바락의 강의 노트를 . 두 경우 모두 양탄자 아래에서 수치 정확도 문제를 청소합니다. 이 방법에 대한 나의 (제한적으로 제한적인) 이해에서 다음이 사실이어야합니다. 실수 변수 대한 다항식 항등 시스템 주어지면 모든 모수가 ( , , 각 구속 조건의 …

13 optimization  sum-of-squares 

이 질문은 박스 제약 (box-QP)을 가진 2 차 프로그래밍 문제, 즉 양식의 최적화 문제에 관한 것입니다. 최소화 하고 x ∈ [ 0 , 1 ] n에 적용 합니다.에프( x ) = x티A x + c티엑스f(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x}x ∈[0,1 ]엔x∈[0,1]n\mathbf{x} \in [0,1]^n 가 양의 반정의 라면 …

13 ds.algorithms  optimization  exp-time-algorithms 

분기 및 바운드는 검색 문제에 대한 효과적인 휴리스틱이며 Wikipedia는 분기 및 바운드가 사용 된 여러 가지 어려운 문제를 나열합니다 . 그러나 이러한 문제를 해결하기위한 "한 가지 방법"이상의 것을 제안하는 참고 자료를 찾을 수 없었습니다. 일화 적으로 SAT 및 정수 프로그래밍에 대한 최고의 휴리스틱 중 일부가 분기 및 경계에서 나온다는 것을 …

13 ds.algorithms  reference-request  optimization  heuristics 

관심있는 최적화 문제를 해결하기 위해 SAT 솔버에 의존 할 가능성을 조사하기 시작했으며 현재 SAT 변형 (예 : 결과 변환)에 대한 "영리한"변환의 예를 특징으로하는 설문 조사를 찾고 있습니다. 적당한 크기의 문제에서 경도 결과를 증명하는 데 관심이 없지만 실제로 문제를 해결하는 데 관심이 있기 때문에) Greenlaw와 Petreschi의 입방 그래프 에 대한 조사에서 …

13 ds.algorithms  reference-request  sat  optimization 

압축을 위해 데이터를 재정렬하는 알고리즘이 있습니까? 나는 이것이 데이터와 압축 알고리즘에 고유하다는 것을 이해하지만이 주제에 대한 단어가 있습니까? 이 분야의 연구는 어디서 찾을 수 있습니까? 특히, 나는 150 만 문자열의 json 목록을 가지고 있으며 gzip (HTTP의 경우) 압축이 최적화되도록 문자열을 다시 정렬하려고합니다. 문자열을 정렬하는 것은 꽤 좋지만 실제로 그것이 최적인지는 …

12 optimization  permutations 

입력 유니버스 인 UUU 와의 하위 집합의 가족 UUU , 말 F⊆2UF⊆2U{\cal F} \subseteq 2^U . 의 부분 집합은 U , 즉 ⋃ E ∈ F E = U를 포함FF{\cal F} 할 수 있다고 가정합니다 .UUU⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U 증분 피복 시퀀스 의 서브 세트의 서열이다 FF{\cal F} 말하자면 = { …

12 cc.complexity-theory  ds.algorithms  approximation-algorithms  optimization  set-cover 

심플 렉스 알고리즘은 종종 실제 산술 또는 정확한 계산으로 이산 세계에서 처리됩니다. 그러나 부동 소수점 산술로 가장 자주 구현되는 것 같습니다. 이것은 단순 알고리즘을 수치 알고리즘으로 간주해야하는지, 특히 반올림 오류가 계산에 어떤 영향을 미치는지에 대한 의문을 야기합니다. 나는 실제적인 구현에 관심이없고 이론적 인 기초에 관심이있다. 이 문제에 대한 연구를 알고 …

12 ds.algorithms  reference-request  optimization  linear-programming  na.numerical-analysis 

물론 선형 프로그래밍은 오늘날 매우 잘 이해되고 있습니다. 우리는 실현 가능한 솔루션의 구조와 최적의 솔루션의 구조를 특징 짓는 많은 일을했습니다. 우리는 강력한 이중성, 다중 시간 알고리즘 등을 가지고 있습니다. 그러나 LP의 최소 최대 솔루션 에 대해 알려진 것은 무엇 입니까? 아니면 최대 최소 솔루션입니까? (이것은 실제로 연구 문제는 아니지만 공휴일에는 …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization