«reference-request» 태그된 질문

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

13 ds.algorithms  reference-request  sat  optimization 

계산이라고 부르는 것은 함수에 대한 솔루션 수를 찾는 것으로 구성된 문제입니다. 더 정확하게 말하면, 함수 f:N→{0,1}f:N→{0,1}f:N\to \{0,1\} (블랙 박스 일 필요는 없음), 대략적인 #{x∈N∣f(x)=1}=|f−1(1)|#{x∈N∣f(x)=1}=|f−1(1)|\#\{x\in N\mid f(x)= 1\}= |f^{-1}(1)|. 나는 일종의 계산과 관련된 알고리즘 문제를 찾고 있으며이 복잡한 계산 문제에 의해 시간 복잡성이 크게 영향을받습니다. 물론 문제 자체를 계산하지 않는 문제를 …

13 ds.algorithms  reference-request  counting-complexity  time-complexity 

고정 파라미터와 근사치는 어려운 문제를 해결하기위한 완전히 다른 접근법입니다. 그들은 다른 동기가 있습니다. 근사는 근사 솔루션으로 더 빠른 결과를 찾습니다. 고정 매개 변수는 k의 지수 또는 일부 함수와 n의 다항 함수에서 n이 입력 크기이고 k가 매개 변수라는 점에서 시간이 복잡한 복잡한 솔루션을 찾습니다. 예 .2케이엔삼2kn32^kn^3 이제 제 질문은 어떤 상위 …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

문제를 해결하려고 노력하면서 결국 그 부분을 다음 정수 선형 프로그램으로 표현했습니다. 여기서 는 모두 다음과 같이 주어진 양의 정수입니다. 입력의 일부. 변수 의 지정된 서브 세트는 0으로 설정되며 나머지는 양의 정수 값을 취할 수 있습니다.x i jℓ , m , n1, n2, … , nℓ, c1, c2, … , c미디엄, …

13 reference-request  linear-programming  polynomial-time  integer-programming  integrality-gap 

최근에는 홀로그램 알고리즘에 대해 소개했습니다. 나는 Pfaffians라는 조합 개체를 발견했습니다. 나는 현재 그 사람들에 대해 많이 알지 못하고 그들이 사용할 수있는 놀라운 용도를 발견했습니다. 예를 들어 평면 그래프에서 완벽하게 일치하는 수를 효율적으로 계산하는 데 사용할 수 있다는 것을 알게되었습니다. 또한 2 * 1 타일을 사용하여 체스 판의 가능한 타일 수를 …

13 reference-request  co.combinatorics  counting-complexity 

분산 알고리즘에 대한 하한을 증명하는 다른 기술을 탐색하는 동안 다음과 같은 Ramsey 정리의 변형이 적용 될 수 있습니다. 매개 변수 : , K , n 이 주어진 다음 N 이 충분히 크게 선택됩니다. 용어 : m- 서브 세트는 m 크기의 서브 세트입니다 .케이kk케이KK엔nn엔NN미디엄mm미디엄mm 하자 . . . , N } …

13 reference-request  co.combinatorics  ramsey-theory 

분산 컴퓨팅 모델에는 두 가지 주요 유형의 프로세서 장애가 있습니다. (1) 충돌 실패 : 프로세서가 중지되고 다시 시작되지 않습니다. (2) 비잔틴 장애 : 프로세서가 악의적으로 악의적으로 행동합니다. 내 질문은 : 크래시 또는 비잔틴 오류를 줄이지 않는 다른 유형의 프로세서 오류는 무엇입니까? 또한 더 구체적인 질문 : 어떤 가능성으로 프로세스가 시간 …

13 reference-request  dc.distributed-comp 

분산 시스템에서 험담하는 문제는 다음과 같습니다. 우리는 n 개의 꼭짓점 이있는 그래프 GGG 를 가지고 있습니다 . 각 정점 v 에는 모든 노드에 보내야 하는 메시지 m v 가 있습니다.nnnvvvmvmvm_v 이제 제 질문은 애드혹 네트워크 모델과 관련이 있습니다 (우리는 노드에 네트워크의 토폴로지, 인 / 아웃 정도 및 이웃 집합에 대한 …

13 reference-request  dc.distributed-comp 

배경 : 기계 학습에서 종종 높은 차원 확률 밀도 함수를 나타 내기 위해 그래픽 모델 을 사용합니다. 밀도가 1에 통합되는 (제한) 제약 조건을 무시하면 정규화되지 않은 그래프 구조 에너지 함수를 얻게 됩니다 . 그래프 G = ( V , E ) 에 정의 된 에너지 함수 가 있다고 가정 합니다. …

13 reference-request  machine-learning  lg.learning  boolean-functions 

2004 년 솔 Schleimer 의해 작업을 통해 삼각 주어진 3 매니 폴드 3 구가 있는지의 여부를 결정하는 NP되어 알려진 "NP의 구형 인식 거짓" arXiv : 수학 / 0407047v1 [math.GT] . 지난 5-6 년 동안 이것이 NP 완료로 설정되었는지 궁금합니다. 3- 매니 폴드 매듭 속 문제와 같은 유사한 문제가 NP- 완료로 …

13 cc.complexity-theory  reference-request  open-problem  topology 

2 개의 이진 검색 트리는 순차 순회에 동의 할 때 선형 적으로 동일하다고합니다. 다음 정리는 왜 나무 회전이 그렇게 근본적인지를 설명합니다. A와 B를 이진 검색 트리로 둡니다. 그런 다음 A와 B는 일련의 트리 회전으로 연결된 경우에만 선형 적으로 동일합니다. 오래 전에 데이터 구조에 대해 처음 알게되었을 때이 결과를보고 트리 회전의 …

13 reference-request  ds.data-structures 

그 정수 포인트 D 차원 격자를 주어진 검증하기 쉬운 정규 인접하여 한 크기의 세퍼레이터 찾을 수 없음 (D) - (1) (다만 어떤 중간 초평면을 선택하고, 전체 삭제 정점). 또한 분리막의 크기가 Ω ( n d - 1 ) 이어야한다는 것을 확인하는 것은 너무 어렵지 않지만 (즉각적이지는 않습니다 ) . 아무도 …

13 reference-request  cg.comp-geom  lower-bounds 

Immerman과 Szelepcsényi 덕분에 경우 (공간을 구성 할 수없는 함수 일지라도 라는 것이 알려져 있습니다.f = Ω ( 로그 )N S P A C E (f) = c o N S P A C E ( f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)에프= Ω ( 로그 )f=Ω(log)f=\Omega(\log) 같은 논문에서 Immerman은 로그 스페이스 대체 계층 구조가 …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

Treewidth 및 pathwidth는 그래프가 나무 또는 경로에 근접한지를 각각 측정하는 일반적인 매개 변수입니다. 실제로 treewidth는 너무 인기가있어 많은 논문, 서적 및 강의 노트에 소개되어 treewidth의 알고리즘 측면에 대한 소개를 제공합니다 (예 : Downey & Fellows 책 참조). 일반적으로 이러한 자료는 트리 분해에 대한 동적 프로그래밍을 통해 다항식 시간에 NP- 하드 …

13 reference-request  graph-algorithms  parameterized-complexity 

경계도의 무 방향 평면 그래프 에서 피드백 정점 설정 문제가 -hard 인지 여부를 알고 있습니까?NPNP\mathsf{NP}

13 cc.complexity-theory  reference-request  graph-algorithms  np-hardness