«ds.algorithms» 태그된 질문

작업 완료를위한 잘 정의 된 지침 및 시간 / 메모리 등의 관련 분석에 관한 질문

10
#SAT 솔버 다운로드
누구나 #SAT 솔버의 실제 구현을 다운로드 할 수있는 하나 이상의 웹 사이트를 가리킬 수 있습니까? 나는 근사치가 아닌 정확한 솔루션 수를 반환하는 사람들에 관심이 있습니다.

1
“거의 쉬운”NP- 완전 문제
거의 모든 입력에서 L 을 올바르게 결정하는 다항식 시간 알고리즘이있는 경우 언어 엘LL 은 P- 밀도-클로즈 라고 가정하겠습니다 .엘LL ∈A∈A\in L Δ ALΔAL\Delta AALL임n → ∞| (LΔA)∩{0,1 }엔|2엔= 0limn→∞|(LΔA)∩{0,1}n|2n=0.\lim_{n\rightarrow\infty} \frac{|(L\Delta A) \cap \{0,1\}^n|}{2^n}=0.에이AA엘LL엘LL 참고 드문 드문 일 필요는 없습니다. 예를 들어, 비트 문자열이있는 경우 이므로 지수 지수로 여전히 소실됩니다. .2 …

3
블랙 박스를 사용하여 정렬
우리는 목록 정렬한다고 가정 의 n 개의 실수를. 우리가 정렬 할 수있는 블랙 박스가 있다고 가정합니다 √에스SS엔nn실수 n 개 . 이 블랙 박스를 사용하면 얼마나 많은 이점을 얻을 수 있습니까?엔−−√n\sqrt n 예를 들어 숫자 만 블랙 박스에 전화합니까? 내가 찾은 최고의 알고리즘은 블랙 박스에 대한n 개의호출을사용합니다. 그러나 나는 그것을 더 …

2
나무와 레 벤슈 테인 거리를위한 효율적인 diff 알고리즘
나는 최근 에 나무 사이의 차이점을 다루는 데 관련된 문제에 대한 요약 을 읽었 으며이 문제에 대한 최신 기술을 배우는 데 관심이있었습니다. 또한 허용 된 편집 조작 사이에 기존의 추가 / 삭제 노드, 복사 / 이동 서브 트리의 확장 조작을 추가하는 컨텐츠 편집이 있다고 가정하면 (최적의 diff를 찾는 중) 문제점이 …

2
n 차원 패턴 매칭
n 차원 배열 내에서 정확한 n 차원 하위 ​​배열을 찾는 알려진 결과는 무엇입니까? 1D에서는 문자열 일치 문제 일 뿐이며 KMP는 선형 시간으로 처리합니다. 2D 에서이 논문 은 여분의 공간이 거의없는 선형 시간에 수행 될 수 있음을 보여주었습니다. 고정 치수에 대해 선형 시간 최악의 경우에이 문제를 해결할 수 있습니까?

1
두 다항식 사이의 거리 찾기 (나무로 표시)
유전자 프로그래밍 작업을하는 동료 가 다음과 같은 질문을했습니다. 처음에는 욕심 많은 접근 방식으로 해결하려고 시도했지만 두 번째 생각에는 욕심 알고리즘에 대한 반례를 발견했습니다. 그래서 여기서 언급 할 가치가 있다고 생각했습니다. 표현식 트리로 표시되는 두 개의 다항식을 고려하십시오. 예를 들어, 엑스삼− 2 x + 1엑스삼−2엑스+1x^3-2x+1 및 엑스2+ 4엑스2+4x^2 + 4 아래 …

3
선형 대수 알고리즘 / 복잡성 조사
병렬 ( 계층 구조) 을 강조 하면서 선형 대수 (순위, 역, 고유 값, ... 부울, 및 정수 / 합리 행렬과 같은 연산)의 알고리즘과 복잡성에 대한 좋은 조사를 찾고 있습니다. 및 폴리 타임 알고리즘. 최근에 찾지 못했습니다. NCFpFp\mathbb{F}_pNCNCNC 선형 대수의 복잡성에 대한 최근의 좋은 조사 나 책을 알고 있습니까?

5
일반 그래프에서 완벽한 매칭을위한 결정적 병렬 알고리즘?
복잡성 클래스 에는 클래스 에 속하지 않는 것으로 추정되는 몇 가지 문제 , 즉 결정 론적 병렬 알고리즘 문제가 있습니다. 최대 흐름 문제가 한 예입니다. 에있을 것으로 예상되는 문제가 있지만 아직 증거를 찾을 수 없습니다.PP\mathsf{P}NCNC\mathsf{NC}NCNC\mathsf{NC} 완벽한 매칭 문제는 그래프 이론에서 제기 된 가장 근본적인 문제 중 하나입니다 : 그래프 주어진 …

4
긍정적 인 토폴로지 순서, 3
n x n 행렬이 있다고 가정합니다. 상위 삼각 행렬을 얻도록 행과 열의 순서를 바꿀 수 있습니까? 이 질문은이 문제에 의해 유발됩니다 : 긍정적 인 위상 순서 원래의 결정 문제는 이것만큼 어렵 기 때문에 NP- 완전성 결과로도 해결할 수 있습니다. 편집 : 라즐로 Vegh와 안드라스 프랭크는 해당 문제에 대한 내 관심은 …


1
부분 선형 공간에서 거리 편집
입력 크기의 하위 선형 작업 공간을 사용하여 동일한 길이의 두 문자열 사이의 정확한 편집 거리를 계산하는 데 가장 잘 알려진 복잡성은 무엇입니까? 입력이 일부 읽기 전용 형식으로 저장되어 있다고 가정합니다. 이것은 이전에 연구 된 문제입니까? 질문을 좀 더 구체적으로 만들려면 공백. 여기서n은 각 입력 문자열의 길이입니다.Θ ( n−−√)Θ(엔)\Theta(\sqrt{n})엔엔n 편집하다. David …

2
Cheeger 상수 계산 : 어떤 클래스에 적합합니까?
isoperimetric 상수라고도 하는 그래프 의 Cheeger 상수를 계산하는 것은 (기본적으로 최소 면적 / 볼륨 비율이기 때문에) NP- 완전한 것으로 알려져 있습니다. 일반적으로 근사치입니다. 정확한 다항식 알고리즘이 특수 클래스의 그래프에 대해 알려 진지 알고 싶습니다. 예를 들어, 일반 그래프의 경우 NP- 완료 상태 입니까? 대한 거리 정규 그래프 ? (나는 그들의 …

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

1
깨지기 쉬운 객체 목록 병합
배경 : 차오 쑤 몇 시간 전에 다음과 같은 질문을 게시 : " 이 정렬 네트워크에 감소하지 않는 알고리즘 등 각 요소가 비교되어 정렬 공지의 비교 있습니까 ? 시간을O(logn)O(log⁡n)O(\log n) ." 우리는이 문제에 약간 얽매어있는 것 같습니다. 2009 년 Valentin Polishchuk과 같은 문제에 대해 논의했지만 아무데도 갈 수 없었습니다. 신선한 …


당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.