이론 컴퓨터 과학 ds.algorithms

2

가중 가장자리와 그래프 감안할 때, 우리는 어떻게 주어진 정점 세트에 적어도 하나 개의 정점을 포함하는 음의주기를 찾을 수 있습니다 ? 감사.{ V1, V2, … , V케이}{V1,V2,…,Vk}\{V_1, V_2, \ldots, V_k\}

11 ds.algorithms graph-theory

2

적어도에있는 항목 찾기

고려 값 세트 (중복되지 정렬 된 배열로 표현하고, 알려진 크기 (예. 크기는 O (1)) 값은 O 평등에 대한 테스트 할 수 있습니다. (1) 시간을 얻을 수 있습니다. 내가 원하는 n 중 적어도 k 개의 상이한 세트에 존재하는 값 세트를 획득하기 위해 .nnnkkknnn 이를 수행하는 확실한 알고리즘은 모든 세트를 거치고 각 …

11 ds.algorithms

1

일반적인 위치에 벡터 생성

열 모음 이 전체 순위 라는 속성을 가진 실제 k × nk×nk\times n ( ) 행렬 를 보자 .Ak ≤ nk≤nk\le nㅏA{\bf A}케이kk Q : 증강 행렬 가 와 동일한 속성을 유지하도록 벡터 를 결정적으로 찾는 효율적인 방법이 있습니까? : 모든 열이 전체 순위입니다.A ' = [ Aㅏa{\bf a}A kㅏ'= …

11 ds.algorithms linear-algebra matrices coding-theory

5

다차원 공간에서 함수의 절대 최소 (최대)를 검색하기위한 경사 하강 기반 기술이 있습니까?

주어진 함수의 로컬 최소 (최대)를 찾을 수있는 그라디언트 하강 알고리즘에 익숙합니다. 함수가 여러 국소 극한을 갖는 절대 최소값 (최대)을 찾을 수있는 경사 하강의 수정이 있습니까? 절대 극한을 찾기위한 국소 극한을 찾을 수있는 알고리즘을 향상시키는 일반적인 기술이 있습니까?

11 ds.algorithms approximation-algorithms machine-learning

3

대략적인 주파수 모멘트에 대한 경계

하자 1 , a는 2 , ... , m은 정수의 시퀀스 일 여기서 각 J ∈ { 1 , 2 , ... , N } . 들어 난 ∈ { 1 , 2 , ... , N } ,하자 m I = | { j : a j = i …

11 ds.algorithms reference-request communication-complexity data-streams

3

일반 그래프에서 근사치가 2 미만인 컴퓨팅 거리?

가장자리 가 가중 비 지향 그래프가 주어지면 주어진 정점 쌍 사이의 근사 거리가 2 미만으로 계산되고 싶습니다. 물론, 나는 이차 공간과 아 선형 쿼리 시간을 사용하고 싶습니다.m = o ( n2)m=o(n2)m = o(n^2) 행렬 곱셈을 사용하는 Zwick의 결과를 알고 있지만 조합 알고리즘이이 문제로 알려진 경우 궁금합니다.

11 ds.algorithms graph-algorithms

3

멀린이 아서에게 특정 금액에 대해 설득 할 수 있습니까?

무한한 계산 자원을 보유한 멀린은 Arthur에게 를위한 ( N , M , K ) 와 K = O ( 로그 N을 ) 및 m = O ( N ) . 이 합계를 간단한 방법으로 계산하면 (모듈 지수 및 덧셈) 시간 N ( log log N ) 2 + o (m|∑p≤N, …

11 cc.complexity-theory ds.algorithms time-complexity interactive-proofs nt.number-theory

1

'반사'해시 알고리즘이 있습니까?

이론적이든 실용적이든 클래스의 알고리즘이 아래에 주어진 정의에 따라 '반사'로 간주 될 수 있도록 해시 알고리즘의 클래스가 있습니까? hash1 = algo1 ( "입력 텍스트 1") hash1 = algo1 ( "입력 텍스트 1"+ hash1) + 연산자는 알고리즘 (algo1)이 정확히 동일한 결과를 생성하도록 출력 (hash1)을 다시 입력 ( "입력 텍스트 1")으로 결합하기 위해 …

11 ds.algorithms hash-function

1

특수 알고리즘으로 SAT 솔버의 경쟁력 강화

SAT 솔버를 특수 그래프 알고리즘과 경쟁적으로 만드는 데 어떤 장애물이 있습니까? 다시 말해, 알고리즘 디자이너의 역할을 대체 할 수있는 SAT 솔버를 예상 할 수 있습니까? 즉, 문제 구조를 자동으로 인식 한 후 특수 알고리즘만큼 빨리 해결할 수 있습니까? 다음은 오늘날의 SAT 솔버에게 도전적인 몇 가지 예입니다. 크기 의 독립 세트를 …

11 ds.algorithms graph-theory sat

1

확장 된 유클리드 알고리즘의 "오버플로"

질문을 할 장소가 틀렸다면 죄송합니다 (아마도 stackoverflow.com/mathoverflow.net으로 이동해야합니까?). I는 유클리드 알고리즘을 확장 평가할 때 Bezout에의 계수 (즉한다는 증거가 궁금 S 및 t 정체성 으로 + BT = GCD ( , B )), I 추측 A의 B에 따라 (일부 합리적인 값을 초과하지 않으며이 ). 특히 일부 범용 프로그래밍 언어에서 구현하면 프로그램의 …

11 ds.algorithms nt.number-theory

3

모든 정점에 대해 DAG의 도달 가능한 정점 수

하자 에서도 모든 정점이되도록, 비순환 방향 그래프 수 O ( 로그 | V | ) . G의 모든 정점에 대해 모든 정점 에서 dfs 를 실행하는 것만으로 도달 가능한 정점의 수를 계산할 수 있으며 O ( | V | | E | ) 시간이 걸립니다. 이 문제를 해결하는 더 좋은 …

11 ds.algorithms graph-theory graph-algorithms directed-acyclic-graph

4

휴먼 인텔리전스 및 알고리즘

휴먼 인텔리전스가 알고리즘을 능가 할 수 있는지 여부를 결정하기위한 연구가 있습니까 (즉, 무료 점심 식사 정리가 휴먼 인텔리전스에 적용되는지 테스트)? 같은 선을 따라, 사람 지능의 독특하고 계산력이 뛰어난 속성을 이용하는 기술적 인 방법을 개발 한 사람이 있습니까?

11 ds.algorithms big-picture ai.artificial-intel

2

"확률 방정식"시스템

개의 꼭지점과 모서리가 있는 그래프를 고려하십시오 . 꼭짓점에는 실제 변수 로 레이블이 지정되며 여기서 은 고정됩니다. 각 모서리는 "측정"을 나타냅니다. 모서리 에 대해 측정 값 . 보다 정확히 말하면 는 의 진정한 임의의 양으로 , 다른 모든 측정 값 (에지)과 균등하게 분포되고 독립적입니다.m x i x 1 = 0 ( …

11 ds.algorithms graph-algorithms

2

효율적으로 N 비트를 얻는다! ?

감안 과 M 은 얻는 것이 가능하다 M 의 '(모든 작은 염기 또는 숫자) 번째 비트 N을 ! O ( p ( l n ( N ) , l n ( M ) ) ) 의 시간 / 공간 에서 p ( x , y ) 는 x 와 y의 …

11 ds.algorithms nt.number-theory

3

안정적인 결혼 문제로의 확장?

이것은 TCS 질문보다 사회 과학 질문처럼 들릴 수도 있지만 그렇지 않습니다. 안정적인 결혼 문제를 설명하는 " 랜덤 화 알고리즘 "을 읽을 때 다음을 읽을 수 있습니다 (p54) "모든 선호 목록을 선택할 때마다 적어도 하나의 안정된 결혼이 존재한다는 것을 알 수 있습니다. (다행스럽게도, 주민 수가 많은 동성애자 일부일처 사회에서는 그렇지 않습니다.)" …

11 ds.algorithms graph-theory matching

«ds.algorithms» 태그된 질문