«application-of-theory» 태그된 질문

컴퓨터 과학 연구 / 실습 또는 다른 과목의 다른 분야에서 이론적 컴퓨터 과학을 적용 할 때 발생하는 질문.

29
배포 된 핵심 알고리즘
알고리즘의 중요성을 증명하기 위해 (예 : 이론을하지 않거나 전혀 다른 분야의 학생이나 교수에게), 핵심 알고리즘이 상용, 정부, 또는 널리 사용되는 소프트웨어 / 하드웨어. 다음 기준을 충족시키는 그러한 예를 찾고 있습니다. 알고리즘을 사용하는 소프트웨어 / 하드웨어가 현재 널리 사용되고 있습니다. 예는 구체적이어야합니다. 특정 시스템 및 특정 알고리즘에 대한 참조를 제공하십시오. 예를 …

3
최첨단 Maximum Flow 알고리즘이 실용적입니까?
를 들어 최대 흐름 문제 , 최근 작년로 개발 적어도 하나, 매우 정교한 알고리즘의 수있을 것 같다. Orlin의 Max는 O (mn) 시간 이상으로 흐르거나 O (VE)에서 실행되는 알고리즘을 제공합니다. 반면에 가장 일반적으로 구현되는 알고리즘은 다음과 같습니다. (완전한 검색을 수행했다고 주장하지는 않습니다. 에드몬드-카프 : ,O(VE2)O(VE2)O(VE^2) 푸시-리 라벨 : FIFO 정점 선택을 …

5
알고리즘 렌즈를 통한 생태와 진화
생태와 진화에 대한 연구는 점점 더 수학적으로 발전하고 있지만 대부분의 이론적 도구는 물리학에서 나온 것 같습니다. 그러나 대부분의 경우 문제는 매우 불 연속적이며 (예 : SLBS00 참조 ) 컴퓨터 과학의 관점에서 이점을 얻을 수 있습니다 . 그러나 나는 생태와 진화에 대한 특정 질문을 다루려고하는 TCS의 심각한 결과 만 알고 있습니다. …

4
유 방향 그래프에서 가장 많은 수의 비공유 에지를 포함하는 사이클을 찾는 방법은 무엇입니까?
저는 컴퓨터 과학 이론가는 아니지만이 실제 문제가 여기에 있다고 생각합니다. 문제 우리 회사에는 전국에 여러 부대가 있습니다. 우리는 직원들에게 다른 부서에서 일할 수있는 가능성을 제공했습니다. 그러나 한 가지 조건이 있습니다. 한 유닛의 총 근로자 수는 변경할 수 없습니다. 즉, 누군가 자신의 자리를 원할 경우 직원이 퇴사 할 수 있습니다. 예 …

3
과학자들에게 점근 적 최악의 분석을 정당화
나는 생물 학자들에게 흥미롭고 유용한 목표를 가지고 계산 복잡성의 결과 를 이론적 생물학, 특히 진화 및 생태학 에 도입하기 위해 노력하고 있습니다. 내가 직면 한 가장 큰 어려움 중 하나는 하한에 대한 점근 적 최악의 분석의 유용성을 정당화하는 것입니다. 과학 관객에게 하한과 점근 적 최악의 분석을 정당화하는 기사 길이 참조가 …

5
근사 알고리즘에 대한 이론적 응용
최근에 NP-hard 문제에 대한 근사 알고리즘을 조사하기 시작했으며 이론적 인 이유를 연구하고 있습니다. (질문은 염증성이 아닙니다. 단지 궁금합니다.) PCP 정리와 근사 경도 사이의 연결, UGC 추측, Goeman-Williamson 근사 알고리즘 등 근사 알고리즘에 대한 연구에서 실제로 아름다운 이론이 나왔습니다. Traveling Salesman, Asymmetric Traveling Salesman 및 기타 변형, 메커니즘 설계의 다양한 문제 …

4
무작위 추출기의 구현에 대한 현재 연구가 있습니까?
무작위 추출기 구성 구현에 대한 연구가 있었습니까? 추출기 증명은 Big-Oh를 사용하여 숨겨진 숨겨진 상수가 많을 수 있으므로 프로그래밍 방식으로 구현하는 것은 비현실적입니다. 몇 가지 맥락 : Monte Carlo 시뮬레이션에 사용하기 위해 임의 추출기 (아마도?)의 빠른 소스로 임의 추출기를 사용하는 데 관심이 있습니다. 우리 (ETHZ Computational Physics 그룹)는 무작위 추출을 원하는 …

4
수학 이야기 : 자식 수정 제어 시스템에 대한 정리?
git 개정 제어 시스템 에 대해 수학 이야기를하고 싶습니다 . 이제는 컴퓨터 과학 산업뿐만 아니라 수학에서도 널리 사용됩니다. 예를 들어 HoTT (Homotopy Type Theory) 커뮤니티에서는이를 사용하며 소스 코드이든 라텍스 마크 업이든 텍스트 파일을 공동으로 편집하기위한 시스템으로 이동합니다. 나는 git이 시작 된 방향성 비순환 그래프의 개념을 사용한다는 것을 알고있다. 그러나 좋은 …

5
경제학자들이 계산 복잡성에 관심을 가져야하는 이유
경제학자들이 인쇄에서 복잡성 이론의 관련성을 확신 시키려고 할 때 인용에 대한 표준 참조가 있습니까? 저는 Noam Nisan의 블로그 게시물 , Tim Roughgarden의 설문 조사 및 Scott Aaronson의 에세이 11 장에 익숙 합니다. 이 게시물은 컴퓨터 과학자가 액세스 할 수 있지만 경제학자의 언어를 사용하지 않으며 일반적으로 읽는 장소에는 게시되지 않습니다. 경제학자를 …

5
양자 컴퓨팅의 실제 응용 (보안 제외)
우리가 보편적 인 양자 컴퓨터를 만들었다 고 가정 해 봅시다. 현재의 실제 문제로 인해 보안 관련 문제 (암호화, 개인 정보 보호 등)를 제외하고는? 두 가지 모두에 관심이 있습니다. 현재 실용화 할 수없는 문제 현재 해결되고 있지만 상당한 속도 향상은 사용성을 크게 향상시킵니다.

3
Bob 's Sale (제품 합계를 최소화하기 위해 제약 조건이있는 페어 재정렬)
얼마 전에 Stack Overflow 에서이 질문을했습니다. 문제 : Bob의 판매 . 누군가가 여기에 질문을 게시 할 것을 제안했습니다. 누군가가 이미이 문제와 관련된 질문을했습니다. 주어진 카디널리티의 최소 무게 하위 포리스트 -내가 이해하는 한 내 문제에 도움이되지 않습니다. StackOverflow에 대한 최고 등급의 답변도 살펴볼 가치가 있습니다. 다음은 내 StackOverflow 질문의 축약 사본입니다. …


1
번호 분할의 특별한 경우의 NP 경도
다음 문제를 고려하십시오. 자 세트 양수 있는 상수, 우리로 세트 분할 할 크기의 서브 세트 되도록 각각의 합계의 생성물 부분 집합이 최대화됩니다.n=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n \}k≥3k≥3k \ge 3mmmkkk 이 문제는 각 파티션의 수에 제한이 있다는 점을 제외하고 잘 알려진 way 숫자 분할 과 매우 유사 합니다. 들면 …

2
낮은 치수의 유클리드 제곱 최대 컷
하자 면의 일 점 R 2 . 정점으로 그리고 에지 가중치 포인트와 전체 그래프를 고려 ‖ X I - X J ‖ 2 . 항상 최소한 2 의 체중 감량을 찾을 수 있습니까엑스1, … , x엔x1,…,xnx_1, \ldots, x_nR2R2\mathbb{R}^2∥xi−xj∥2‖xi−xj‖2\|x_i - x_j\|^2총 무게의 3 ? 그렇지 않은 경우2를대체해야하는 상수2323\frac 2 3 ?2323\frac …

3
실제 응용 프로그램에서 실제로 사용되는 비밀 공유 체계의 예는 무엇입니까?
a의 개념 비밀 공유 기법은 종종 (A. 샤미르, 사밀에 기인 비밀 공유하는 방법 , 블래키 (GR 블래키 612-613.., 쪽을, 통신. ACM, 22 (1979)) 및 암호화 키를 안전 보호 에, Proc. NCC, vol. 48, 1979, 313-317 쪽). 전체적인 아이디어는 몇 가지 비밀 S 대신 각 공유의받는 참가자 숨겨져 있다는 것입니다 난을 …

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