«reference-request» 태그된 질문

다음은 자연적인 정의처럼 보이고 어딘가에서 연구되었는지 궁금합니다. 고려 언어의 집합. 이어서 "라고 있을 때 -verifiable 정보" 세인트X ⊂2{ 0 , 1}※X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1 \rbrace^*}케이⊂ { 0 , 1}ωK⊂{0,1}ωK \subset \lbrace 0, 1 \rbrace^\omega엑스X\mathsf{X}L ∈ XL∈XL \in \mathsf{X} (I)이 주어 의 모든 접두사 인x ∈ Lx∈Lx \in L엑스xx엘LL (ⅱ)이 …

9 cc.complexity-theory  reference-request 

Elementary-recursive 함수에 대한 Chris Pressey의 흥미로운 질문에 흥미를 느끼 면서 웹에서 더 많은 질문을하고 답을 찾을 수 없었습니다. 기본 재귀 함수는 지수 계층 좋게 대응DTIME (2엔) ∪ DTIME (22엔) ∪ ⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots. 더 낮은 기본 기능에 의한 결정 문제 (단어?)가 EXP 및 실제로 DTIME에 포함되어야한다는 정의에서 간단 …

9 cc.complexity-theory  reference-request  complexity-classes  computability 

내 질문은 약간 모호합니다. 그래프의 패킹 문제에 treewidth 개념을 적용 할 수 있는지 궁금합니다. 나는 이것에 대한 과거의 연구 작업에 대한 통찰력이나 언급에 기뻐할 것입니다 (그들이 어떤 관계라고 가정). 감사.

9 ds.algorithms  reference-request  graph-theory  graph-algorithms  approximation-algorithms 

최근 연구 의 맥락에서 , 우리는 클레인 (La Kleene)의 3 치 논리를 기반으로 언어를 정의 해 왔습니다.111 사실, 000 거짓으로 ⊥⊥\bot오류가 있거나 모르는 경우 우리의 언어가 표현 적이라는 것을 보여주기 위해, 우리는 기능적으로 완전한 일련의 연산자를 만들 수 있음을 증명하고자했습니다. 문헌에서 기존 결과를 찾기는 매우 어려웠습니다. 우리는 Jobe이 1962 년에 …

9 reference-request  lo.logic 

두 명의 플레이어 A (lice)와 B (ob)와 R (eferee)이있는 의사 소통 복잡성의 프레임 워크를 가정합니다. A와 B는 서로 직접 통신하지 않습니다. 각각의 통신 라운드에서, 그들 각각은 메시지 ( , )를 R로 전송한다. R은 두 함수 및 하고 그 결과를 그들에게 전송한다. 기능이 수정되었습니다. 아이디어는 플레이어 간의 통신이 제한된다는 것입니다. 또한 …

9 cc.complexity-theory  reference-request  communication-complexity 

기계 학습 응용 프로그램의 경우, 우리 그룹은 유클리드 거리를 계산해야합니다. kkk세트에서 가장 가까운 이웃 XXX 각각 x∈(X∪Y)⊂Rdx∈(X∪Y)⊂Rdx \in (X \cup Y) \subset \mathbb R^d (에 대한 ddd 5 내지 약 100, 및 |X|≈|Y||X|≈|Y||X| \approx |Y|수백에서 수백만까지). 우리는 현재 무차별 대입 중 하나를 사용하고 있습니다O(d|X||X∪Y|)O(d|X||X∪Y|)O(d \lvert X \rvert \lvert X \cup …

9 reference-request  cg.comp-geom  near-neighbors 

가장 드문 컷 문제에 대해 읽은 모든 곳에서 문제는 NP 하드라고 알려져 있습니다 . 이것에 대한 증거는 어디서 찾을 수 있습니까? 어떤 가장 알려진 NP- hard 문제가 가장 희박한 절단 문제로 감소합니까? Leighton Rao 알고리즘을 제공하는 Vazirani의 책 Approximation Algorithms 또는 NP 가 완전히 완료되지 않은 많은 문제 를 요약 …

9 cc.complexity-theory  reference-request  np-hardness 

선형 프로그래밍 문제가 있습니다 : 를 , 따라 최대화하십시오 . 의 요소 , 및 음이 아닌 정수이다 엄격히 긍정적. ( 도 정수 여야하지만 나중에 걱정할 것입니다.)씨'엑스c′xc' xA x ≤ bAx≤bA x\le bx ≥ 0x≥0x\ge0ㅏAA비bb씨cc씨cc엑스xx 내 응용 프로그램에서 계수 와 는 단순화 된 원 패스 알고리즘이 모든 선택에 대해 최적의 솔루션을 …

9 ds.algorithms  reference-request  linear-programming  matrices 

캐시를 모르는 알고리즘과 데이터 구조에 대해 더 많이 배우는 데 흥미가 있지만 시작점이 어디인지 모르는 논문이 너무 많습니다. 나는 주제에 대한 Prokup의 독창적 인 논문을 찾았습니다. 좋은 출발점처럼 보이지만 주제에 대한 간단하고 접근 가능한 소개가 있다면 훨씬 더 시작하겠습니다. 주제에 대한 표준 "go-to"참조가 있습니까? 감사!

9 ds.algorithms  reference-request  cache-oblivious 

올바른 방향으로 시작할 수있는 조언이나 용어에 감사드립니다. 양으로 가정 할 수있는 각 모서리 에 대해 유향 그래프 및 길이 가 있습니다. 특별한 시작 노드가 최종 노드 .G = ( V, E)지=(V,이자형)G=(V,E)엘나는 j엘나는제이l_{ij}나는 j나는제이ij에스에스s티티t 각 모서리를 들어 , 우리의 최단 경로의 길이를 계산하고 싶습니다 에 가장자리 사용하지 않는 .나는 j나는제이ij에스에스s티티t나는 j나는제이ij …

9 ds.algorithms  reference-request  graph-algorithms 

금요일이기 때문에 CW 질문을 할 시간입니다. 최적화 문제에서 널리 사용되는 휴리스틱을 찾고 있습니다. 범위를 '이론 친화적'휴리스틱으로 제한하기 위해 규칙은 다음과 같습니다 (일부 임의, 일부는 아님) 많은 매개 변수가없고 구체적인 실행 시간이있는 잘 정의 된 방법이어야합니다 (반복 당) 그것과 관련된 몇 가지 알려진 이론적 결과를 가져야합니다 (수렴 률, 근사치, 고정 특성 …

9 ds.algorithms  reference-request  optimization  heuristics 

다음 문제에 이름이나 관련 결과가 있는지 궁금합니다. 를 가중 그래프로 하자. 여기서 는 와 사이의 간선의 무게를 나타내고 모든 , . 문제는 인접한 가장자리의 가중치 합계를 최대화하는 정점의 하위 집합을 찾는 것입니다. 서브 세트 내부와 서브 세트 외부에있는 모서리를 세고 있습니다. 이것이이 문제를 max-cut과 구별하는 것입니다. 그러나 u 와 v …

9 reference-request  graph-theory  approximation-algorithms  terminology  approximation-hardness 

자체 교차 다각형 (구멍 구조가있는 다각형) 삼각 측량에 대한 알고리즘을 찾거나 논문을 출판하는 데 어려움이있었습니다. 출판 된 논문 / 알고리즘을 찾도록 안내해 줄 수 있습니까? 추신 : 누군가이 질문에 적절하게 태그하십시오. 평판 포인트가 충분하지 않습니다.

9 ds.algorithms  reference-request  cg.comp-geom 

k-SAT를 훌륭하고 부드럽게 소개 할 수있는 곳을 알고 싶습니다 (컴퓨터 과학 배경이 좋지 않은 수학자 일 수 있음). 또한 k-SAT를 해결하는 데 사용되는 현재 방법을 조사하거나 설명하는 논문을 알고 싶습니다. 마지막으로 k-SAT를 해결하는 가장 잘 알려진 방법에 관심이 있습니다. 최고의 평균 사례와 최고의 최악의 행동에 대한 아이디어를 얻고 싶습니다. 요컨대, …

9 reference-request  sat  survey 

를 차원 직사각형 모양 의 집합으로 하자 . 용 및 , 길이 설명 차원에서 . 컨테이너 대해 동일한 표기법이 사용됩니다 . 차원 직교 패킹 문제 (OPP- ) 결정되는 경우 용기에 끼워 중첩되지는. 공식적으로 말하면, 문제는 함수가 있는지 알아 내는 것입니다.VVV디DD디∈ { 1 , . . . , D }d∈{1,...,D}d \in …

9 cc.complexity-theory  reference-request  np-hardness  packing